Quantum torsors

From MaRDI portal



Abstract: This text gives some results about quantum torsors. Our starting point is an old reformulation of torsors recalled recently by Kontsevich. We propose an unification of the definitions of torsors in algebraic geometry and in Poisson geometry. Any quantum torsor is equipped with two comodule-algebra structures over Hopf algebras and these structures commute with each other. In the finite dimensional case, these two Hopf algebras share the same finite dimension. We show that any Galois extension of a field is a torsor and that any torsor is a Hopf-Galois extension. We give also examples of non-commutative torsors without character. Torsors can be composed. This leads us to define a new group-invariant, its torsors invariant. We show how Parmentier's quantization formalism of "affine Poisson groups" is part of our theory of torsors.


The aim of this paper is to present a quantum analogue of torsors in the ``parallelogram axioms [see \textit{R. Baer}, J. Reine Angew. Math. 160, 199-207 (1929; JFM 55.0084.03)]. The quantum torsor introduced in this paper is an algebra equipped with a triple coproduct and with an algebra endomorphism playing the role of the square of the antipode in a Hopf algebra. It is verified that any quantum torsor is equipped with a natural structure of bicomodule-algebra when the ground ring is a field or a ring of formal series. In this framework, the author reformulates the rules for the composition of torsors and defines an invariant group associated with any Hopf algebra. Then he discusses the relation between two approaches, respectively, with the theory of Hopf-Galois extensions and with the theory of Hopf-Galois systems (a quamtum analogue of the ``groupoid formulation of torsor axioms). Finally, a general categorical reformulation for faithfully flat Hopf-Galois extensions over a ring is given.











This page was built for publication: Quantum torsors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1410964)