Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Mobile Device Pairing
 Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)

     

Frobenius extensions of subalgebras of Hopf algebras

Author(s): D. Fischman; S. Montgomery; H.-J. Schneider
Journal: Trans. Amer. Math. Soc. 349 (1997), 4857-4895.
MSC (1991): Primary 16W30; Secondary 17B35, 17B37
MathSciNet review: 1401518
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: We consider when extensions $S\subset R$ of subalgebras of a Hopf algebra are $\beta $-Frobenius, that is Frobenius of the second kind. Given a Hopf algebra $H$, we show that when $S\subset R$ are Hopf algebras in the Yetter-Drinfeld category for $H$, the extension is $\beta $-Frobenius provided $R$ is finite over $S$ and the extension of biproducts $S\star H\subset R\star H$ is cleft.

More generally we give conditions for an extension to be $\beta $-Frobenius; in particular we study extensions of integral type, and consider when the Frobenius property is inherited by the subalgebras of coinvariants.

We apply our results to extensions of enveloping algebras of Lie coloralgebras, thus extending a result of Bell and Farnsteiner for Lie superalgebras.

References:

[BMPZ]
Yu A. Bahturin, A. A. Mikhalev, V. M. Petrogradsky, and M. V. Zaicev, Infinite Dimensional Lie Superalgebras, DeGruyter, Berlin, 1992. MR 94b:17001

[BF]
A. D. Bell and R. Farnsteiner, On the theory of Frobenius extensions and its application to Lie superalgebras, Trans Amer. Math. Soc. 335 (1993), 407-424. MR 93c:17049

[Be]
J. Bergen, Semisimplicity of restricted enveloping algebras of Lie superalgebras, Pacific J. Math 162 (1994), 1-11. MR 94k:17016

[CMZ]
S. Caenepeel, G. Militaru, and S. Zhu, Doi-Hopf modules, Yetter-Drinfeld modules, and Frobenius-type properties, Trans. Amer. Math. Soc. 349 (1997), 4311-4342.

[Dr 86]
V. G. Drinfeld, Quantum groups, Proc. ICM, Berkeley, 1986, vol. 1, 789-820. MR 89f:17017

[F]
R. Farnsteiner, On Frobenius extensions defined by Hopf algebras, J. Algebra 166 (1994), 130-141. MR 95e:16034

[FM]
D. Fischman and S. Montgomery, A Schur double centralizer theorem for cotriangular Hopf algebras and generalized Lie algebras, J. Algebra 168 (1994), 594-614. MR 95h:16051

[K]
F. Kasch, Projektive Frobenius-Erweiterungen, Sitzungsber. Heidelberger. Akad. Wiss. Math.-Natur. Kl., 1960-61, 89-109. MR 24:A1932

[Ko]
M. Koppinen, Coideal subalgebras in Hopf algebras: freeness, integrals, smash products, Comm. in Algebra 21 (1993), 427-444. MR 93j:16029

[KT]
H. F. Kreimer and M. Takeuchi, Hopf algebras and Galois extensions of an algebra, Indiana Univ. Math. J. 30 (1981), 675-692. MR 83h:16015

[LS]
R. Larson and M. Sweedler, An associative orthogonal bilinear form for Hopf algebras, Amer. J. Math. 91 (1969), 75-93. MR 39:1523

[Mj]
S. Majid, Doubles of quasitriangular Hopf algebras, Comm. in Algebra 19 (1991), 3061-3073. MR 92k:16052

[MD]
A. Masuoka and Y. Doi, Generalization of cleft comodule algebra, Comm. in Algebra 20 (1992), 3703-3721. MR 93j:16030

[M]
S. Montgomery, Hopf algebras and Their Actions on Rings, CBMS Lectures vol. 82, AMS, Providence, RI, 1993. MR 94i:16019

[NT 60]
T. Nakayama and T. Tsuzuku, On Frobenius extensions I, Nagoya Math. J. 17 (1960), 89-110. MR 23:A1687

[NT 61]
T. Nakayama and T. Tsuzuku, On Frobenius extensions II, Nagoya Math. J. 19 (1961), 127-148. MR 25:3959

[NZ]
W. D. Nichols and M. B. Zoeller, A Hopf algebra freeness theorem, Amer. J. Math 111 (1989), 381-385. MR 90c:16008

[OSch]
U. Oberst and H.-J. Schneider, Über Untergruppen endlicher algebraischer Gruppen, Manuscripta Math. 8 (1973), 217-241. MR 50:339

[R 76]
D. Radford, The order of the antipode of a finite-dimensional Hopf algebra is finite, Amer. J. Math. 98 (1976), 333-355. MR 53:10852

[R 85]
D. Radford, The structure of Hopf algebras with a projection, J. Algebra 92 (1985), 322-347. MR 86k:16004

[R 93]
D. Radford, Minimal quasi-triangular Hopf algebras, J. Algebra 157(1993), 285-315. MR 94c:16052

[Sb]
P. Schauenburg, Hopf bi-Galois extensions, Comm. in Algebra 24 (1996), 3797-3825. CMP 97:01

[Sche]
M. Scheunert, Generalized Lie algebras, J. Math. Phys. 20 (1979), 712-720. MR 80f:17007

[Sch 90]
H.-J. Schneider, Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. Math 72 (1990), 167-195. MR 92a:16047

[Sch 92]
H.-J. Schneider, Normal basis and transitivity of crossed products for Hopf algebras, J. Algebra 152 (1992), 289-312. MR 93j:16032

[Sw]
M. Sweedler, Hopf algebras, Benjamin, New York (1969). MR 40:5705

[Tf]
E.J. Taft, The order of the antipode of a finite-dimensional Hopf algebra, Proc. Nat. Acad. Sci. USA 68 (1971), 2631-2633. MR 44:4075

[T 72]
M. Takeuchi, A correspondence between Hopf ideals and sub-Hopf algebras, Manuscripta Math 7 (1972), 251-270. MR 48:328

[T 79]
M. Takeuchi, Relative Hopf modules-equivalences and freeness criteria, J. Algebra 60 (1979), 452-471. MR 82m:16006

[Wa]
W. C. Waterhouse, Introduction to Affine Group Schemes, Springer-Verlag, Berlin, 1979. MR 82e:14003

[We]
A. Weil, L'intégration dans les groupes topologiques et ses applications, Hermann, Paris, 1938. MR 3:198b

[Y]
D. N. Yetter, Quantum groups and representations of monoidal categories, Math. Proc. Cambridge Phil. Soc. 108 (1990), 261-290. MR 91k:16028

Similar Articles:

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 16W30, 17B35, 17B37

Retrieve articles in all Journals with MSC (1991): 16W30, 17B35, 17B37

Additional Information:

D. Fischman
Affiliation: Department of Mathematics, California State University, San Bernardino, California 92407
Email: fischman@math.csusb.edu

S. Montgomery
Affiliation: Department of Mathematics, University of Southern California, Los Angeles, California 90089-1113
Email: smontgom@math.usc.edu

H.-J. Schneider
Affiliation: Mathematisches Institut, Universität München, Theresienstrasse 39, D-80333 Munich, Germany
Email: hanssch@rz.mathematik.uni-muenchen.de

DOI: 10.1090/S0002-9947-97-01814-X
PII: S 0002-9947(97)01814-X
Received by editor(s): December 10, 1995
Copyright of article: Copyright 1997, American Mathematical Society




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia