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.

Geometric Property (T) and Kazhdan projections

Kazhdan's Property T for Discrete Quantum Groups

Property (T) with respect to non-commutative Lp-spaces

Property (T) for groups acting on affine buildings

On groups with Property (T_lp)

Property (T) for Banach algebras

Property (T) for locally compact groups and C*-algebras

A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

Geometric Quantization for Proper Actions

SL2 representations and relative property (T)

Quasi-homomorphism rigidity with noncommutative targets

Uniform property $Γ$ and finite dimensional tracial boundaries

A Complex Geometric Approach to the Discrete Gabor Transform and Localization Operators on the Flat Torus

Torus quotient of the Grassmannian $G_{n,2n}$

The projectively Hurewicz property is t-invariant

On the Glasner Property of Linear Maps with Prime Entries on Tori

Equivariant extensions of Ga-torsors over punctured surfaces

Polynomial identities and noncommutative versal torsors

Higher Kazhdan property and unitary cohomology of arithmetic groups

Cohomological properties of multinorm-one tori

Tensor spaces and the geometry of polynomial representations