Skip to main content
Log in

Quantum homogeneous spaces with faithfully flat module structures

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    Article  MathSciNet  Google Scholar 

  • [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.

    MATH  MathSciNet  Google Scholar 

  • [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.

    Google Scholar 

  • [DG] M. Demazure and P. GabrielGroupes Algébriques, Tome I, Masson, Paris, 1970.

    MATH  Google Scholar 

  • [D] M. Dijkhuizen,Some remarks on the construction of quantum symmetric spaces, Acta Applicandae Mathematicae44 (1996), 59–80.

    Article  MATH  MathSciNet  Google Scholar 

  • [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.

    MATH  Google Scholar 

  • [K] C. Kassel,Introduction to Quantum Groups, GTM 155, Springer, New York, 1995.

    Google Scholar 

  • [Ko] M. Koppinen,Coideal subalgebras in Hopf algebras: freeness, integrals, smash products, Communications in Algebra21 (1993), 427–444.

    Article  MATH  MathSciNet  Google Scholar 

  • [KD] T. K. Koornwinder and M. Dijkhuizen,Quantum homogeneous spaces, quantum duality and quantum 2-spheres, Geometriae Deducata52 (1994), 291–315.

    Article  MATH  MathSciNet  Google Scholar 

  • [KS] A. U. Klimyk and K. Schmüdgen,Quantum Groups and their Representations, Springer, Berlin, 1997.

    MATH  Google Scholar 

  • [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.

    Google Scholar 

  • [L] G. Letzter,Subalgebras which appear in quantum Iwasawa decompositions, Canadian Journal of Mathematics49 (1997), 1206–1223.

    MATH  MathSciNet  Google Scholar 

  • [M1] A. Masuoka,Quotient theory of Hopf algebras, inAdvances in Hopf Algebras (J. Bergen and S. Montgomery, eds.), Dekker, New York, 1994.

    Google Scholar 

  • [M2] A. Masuoka,On Hopf algebras with cocommutative coradicals, Journal of Algebra144 (1991), 451–466.

    Article  MATH  MathSciNet  Google Scholar 

  • [MW] A. Masuoka and D. Wigner,Faithful flatness of Hopf algebras, Journal of Algebra170 (1994), 156–164.

    Article  MATH  MathSciNet  Google Scholar 

  • [M] S. Montgomery,Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathematics 82, American Mathematical Society, Providence, R.I., 1993.

    MATH  Google Scholar 

  • [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.

    Google Scholar 

  • [P] P. Podleś,Quantum spheres, Letters in Mathematical Physics14 (1987), 193–202.

    Article  Google Scholar 

  • [R] L. Rowen,Ring Theory, Vol. I, Academic Press, Boston, 1988.

    Google Scholar 

  • [Sch] H.-J. Schneider,Principal homogeneous spaces for arbitrary Hopf algebras, Israel Journal of Mathematics72 (1990), 167–195.

    Article  MathSciNet  Google Scholar 

  • [Sw] M. E. Sweedler,Hopf Algebras, Benjamin, New York, 1969.

    Google Scholar 

  • [T1] M. Takeuchi,Relative Hopf modules—equivalences and freeness criteria, Journal of Algebra60 (1979), 452–471.

    Article  MATH  MathSciNet  Google Scholar 

  • [T2] M. Takeuchi,Hopf algebra techniques applied to the quantum group U q (sl(2)), Contemporary Mathematics134 (1992), 309–323.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to E. F. Müller.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02810683

Keywords

Navigation