Abstract
LetA be a Hopf algebra with bijective antipode andB⊃A a right coideal subalgebra ofA. Formally, the inclusionB⊃A defines a quotient mapG→X whereG is a quantum group andX a right homogeneousG-space. From an algebraic point of view theG-spaceX only has good properties ifA is left (or right) faithfully flat as a module overB.
In the last few years many interesting examples of quantumG-spaces for concrete quantum groupsG have been constructured by Podleś, Noumi, Dijkhuizen and others (as analogs of classical compact symmetric spaces). In these examplesB consists of infinitesimal invariants of the function algebraA of the quantum group. As a consequence of a general theorem we show that in all these casesA as a left or rightB-module is faithfully flat. Moreover, the coalgebraA/AB + is cosemisimple.
Similar content being viewed by others
References
[B] T. Brzeziński,Quantum homogeneous spaces as quantum quotient spaces, Journal of Mathematical Physics37 (1996), 2388–2399.
[CM] W. Chin and I. M. Musson,The coradical filtration for quantized enveloping algebras, Journal of the London Mathematical Society, (2)53 (1996), 50–62.
[CP] V. Chari and A. Pressley,A Guide to Quantum Groups, Cambridge University Press, 1994.
[dCK] C. De Concini and V. G. KacRepresentations of quantum groups at roots of 1, inOperator Algebras, Unitary Representations, Enveloping Algebras and Invariant Theory (A. Connes, M. Duflo, A. Joseph and R. Rentschler, eds.), Progress in Mathematics 92, Birkhäuser, Boston, 1990, pp. 471–506.
[DG] M. Demazure and P. GabrielGroupes Algébriques, Tome I, Masson, Paris, 1970.
[D] M. Dijkhuizen,Some remarks on the construction of quantum symmetric spaces, Acta Applicandae Mathematicae44 (1996), 59–80.
[DN] M. Dijkhuizen and M. Noumi,A family of quantum projective spaces and related q-hypergeometric orthogonal polynomials, Transactions of the American Mathematical Society, to appear.
[J] A. Joseph,Quantum Groups and their Primitive Ideals, Springer, Berlin-New York, 1995.
[K] C. Kassel,Introduction to Quantum Groups, GTM 155, Springer, New York, 1995.
[Ko] M. Koppinen,Coideal subalgebras in Hopf algebras: freeness, integrals, smash products, Communications in Algebra21 (1993), 427–444.
[KD] T. K. Koornwinder and M. Dijkhuizen,Quantum homogeneous spaces, quantum duality and quantum 2-spheres, Geometriae Deducata52 (1994), 291–315.
[KS] A. U. Klimyk and K. Schmüdgen,Quantum Groups and their Representations, Springer, Berlin, 1997.
[KV] L. I. Korogodsky and L. L. VaksmanQuantum G-spaces and Heisenberg algebra, inQuantum Groups, Proceedings of Workshops held in the Euler International Mathematical Institute 1990 (P. P. Kulish, ed.), Lecture Notes in Mathematics1510, Springer, Berlin, 1992, pp. 56–66.
[L] G. Letzter,Subalgebras which appear in quantum Iwasawa decompositions, Canadian Journal of Mathematics49 (1997), 1206–1223.
[M1] A. Masuoka,Quotient theory of Hopf algebras, inAdvances in Hopf Algebras (J. Bergen and S. Montgomery, eds.), Dekker, New York, 1994.
[M2] A. Masuoka,On Hopf algebras with cocommutative coradicals, Journal of Algebra144 (1991), 451–466.
[MW] A. Masuoka and D. Wigner,Faithful flatness of Hopf algebras, Journal of Algebra170 (1994), 156–164.
[M] S. Montgomery,Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathematics 82, American Mathematical Society, Providence, R.I., 1993.
[Mü] E. Müller,Konstruktion von Rechtscoidealunteralgebren, Diploma Thesis, Munich, 1995.
[NM] M. Noumi and K. Mimachi,Askey-Wilson polynomials as spherical functions on SU q (2), inQuantum Groups, Proceedings of Workshops held in the Euler International Mathematical Institute 1990 (P. P. Kulish, ed.), Lecture Notes in Mathematics1510, Springer, Berlin, 1992, pp. 98–103.
[P] P. Podleś,Quantum spheres, Letters in Mathematical Physics14 (1987), 193–202.
[R] L. Rowen,Ring Theory, Vol. I, Academic Press, Boston, 1988.
[Sch] H.-J. Schneider,Principal homogeneous spaces for arbitrary Hopf algebras, Israel Journal of Mathematics72 (1990), 167–195.
[Sw] M. E. Sweedler,Hopf Algebras, Benjamin, New York, 1969.
[T1] M. Takeuchi,Relative Hopf modules—equivalences and freeness criteria, Journal of Algebra60 (1979), 452–471.
[T2] M. Takeuchi,Hopf algebra techniques applied to the quantum group U q (sl(2)), Contemporary Mathematics134 (1992), 309–323.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Müller, E.F., Schneider, H.J. Quantum homogeneous spaces with faithfully flat module structures. Isr. J. Math. 111, 157–190 (1999). https://doi.org/10.1007/BF02810683
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02810683