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.

Two-Term Polynomial Identities

A new classification of algebraic identities for linear operators on associative algebras

The $2\times 2$-upper triangular matrix algebra and its generalized polynomial identities

The Graded Algebras whose Neutral Components Satisfy a Polynomial Identity of Degree 2

Linear algebra of quadratic forms and polynomial identity

Trace identities and almost polynomial growth

Superpolynomial identities of finite-dimensional simple algebras

Two Families of Constant Term Identities

Mal'cev Complexes

A note on the image of polynomials on upper triangular matrix algebras

Polynomials as terms and the Boolean Independence Theorem

Polynomial identities and noncommutative versal torsors

Small Solutions of generic ternary quadratic congruences

Irreducibility properties of Carlitz' binomial coefficients for algebraic function fields

Rogers-Ramanujan type identities involving double sums

$\mathbb{Z}_2$-graded $*$-polynomial identities and cocharacteres for $M_{1,1}(E)$, $UT_{1,1}(E)$ and $UT_{(0,1,0)}(E)$

The $q-$Onsager algebra and multivariable $q-$special functions

Small solutions of generic ternary quadratic congruences to general moduli

Gradings, graded identities, $$-identities and graded $$-identities of an algebra of upper triangular matrices

On Maximal Families of Binary Polynomials with Pairwise Linear Common Factors

Non-Matrix Polynomial identity enveloping algebras