Abstract:To any cleft Hopf Galois object, i.e., any algebra H[t] obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle t, we attach two "universal algebras" A(H,t) and U(H,t). The algebra A(H,t) is obtained by twisting the multiplication of H with the most general two-cocycle u formally cohomologous to t. The cocycle u takes values in the field of rational functions on H. By construction, A(H,t) is a cleft H-Galois extension of a "big" commutative algebra B(H,t). Any "form" of H[t] can be obtained from A(H,t) by a specialization of B(H,t) and vice versa. If the algebra H[t] is simple, then A(H,t) is an Azumaya algebra with center B(H,t). The algebra U(H,t) is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of H[t] are satisfied. We construct an embedding of U(H,t) into A(H,t); this embedding maps the center Z(H,t) of U(H,t) into B(H,t) when the algebra H[t] is simple. In this case, under an additional assumption, A(H,t) is isomorphic to B(H,t) \otimes_{Z(H,t)} U(H,t), thus turning A(H,t) into a central localization of U(H,t). We work out these constructions in full detail for the four-dimensional Sweedler algebra.

17T7 is a Galois group over the rationals

Explicit $7$-torsion in the Tate-Shafarevich groups of genus $2$ Jacobians

Realizing cyclic linear transformations as Frobenius elements in the Galois groups of $q$-polynomials over function fields

Sporadic Cubic Torsion

The Rational Torsion Subgroup of $J_0(\mathfrak{p}^r)$

A Worked out Galois Group for the Classroom

Torsion points and Galois representations on CM elliptic curves

Galois Representations and Torsion in the Coherent Cohomology of Hilbert Modular Varieties

Group theoretic approach to cyclic cubic fields

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

The relative class number one problem for function fields, II

Rational torsion points on abelian surfaces with quaternionic multiplication

The Pauli group as Galois group of irreducible pure polynomials over Q

Harmonic $G_2$-structures on almost Abelian Lie groups

Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Iterates of polynomials over $\F_q(t)$ and their Galois groups

Torsion Points on CM Elliptic Curves Over Real Number Fields

On abelian varieties whose torsion is not self-dual

Polynomial identities and noncommutative versal torsors

Realizing Galois representations in abelian varieties by specialization

The classifying element for quotients of Fermat curves