Explicit Hopf-Galois description of $SL_{e^{2i\pi/3}}$-induced Frobenius homomorphisms
Abstract
The exact sequence of ``coordinate-ring'' Hopf algebras A(SL(2,C)) -> A(SL_q(2)) -> A(F) determined by the Frobenius map Fr, and the same way obtained exact sequence of (quantum) Borel subgroups, are studied when q is a cubic root of unity. An A(SL(2,C))-linear splitting of A(SL_q(2)) making A(SL(2,C)) a direct summand of A(SL_q(2)) is constructed and used to prove that A(SL_q(2)) is a faithfully flat A(F)-Galois extension of A(SL(2,C)). A cocycle and coaction determining the bicrossed-product structure of the upper-triangular (Borel) quantum subgroup of A(SL_q(2)) are computed explicitly.
- Publication:
-
eprint arXiv:q-alg/9708031
- Pub Date:
- August 1997
- DOI:
- 10.48550/arXiv.q-alg/9708031
- arXiv:
- arXiv:q-alg/9708031
- Bibcode:
- 1997q.alg.....8031D
- Keywords:
-
- Mathematics - Quantum Algebra;
- Mathematical Physics
- E-Print:
- 20 pages, AMS-LaTeX, globally rewritten, more things included, reference added