Hopf algebras of polynomial growth. (English) Zbl 0676.16008

Felix, Yves; Halperin, Stephen; Thomas, Jean-Claude

J. Algebra 125, No. 2, 408-417 (1989).

Let G be a graded connected cocommutative Hopf algebra, with graded pieces \(G_ i\), \(i\geq 0\), of finite dimension over a field k (arbitrary characteristic). Assume that G has polynomial growth, i.e., for some integer \(r\geq 0\) and constant C, \(\sum^{n}_{i=0}(\dim G_ i)\leq Cn^ r\) for all \(n\geq 1\). Assume also that \(Ext_ G(k,G)\neq 0\). The main theorem of this paper is that G is then nilpotent and finitely- generated (as an algebra). The hypothesis \(Ext_ G(k,G)\neq 0\) is satisfied by \(H_*(\Omega X,k)\), \(\Omega\) X the loop space of a simply connected topological space X which has finite Lusternik-Schnirelmann category, and a topological application is obtained in this setting.

Reviewer: E.J.Taft

MSC:

16W30	Hopf algebras (associative rings and algebras) (MSC2000)
57T05	Hopf algebras (aspects of homology and homotopy of topological groups)

Keywords:

graded connected cocommutative Hopf algebra; polynomial growth; loop space; finite Lusternik-Schnirelmann category

References:

[1]	Felix, Y; Halperin, S, Rational L.S. category and its applications, Trans. amer. math. soc., 273, 1-37, (1982) · Zbl 0508.55004
[2]	Felix, Y; Halperin, S; Lemaire, J.M; Thomas, J.C, Mod p loop space homology, Invent. math., 95, 247-262, (1989) · Zbl 0667.55007
[3]	Felix, Y; Halperin, S; Thomas, J.C, Gorenstein spaces, Adv. in math., 71, 92-112, (1988) · Zbl 0659.57011
[4]	Halperin, S, Finiteness in the minimal models of Sullivan, Trans. amer. math. soc., 230, 173-199, (1977) · Zbl 0364.55014
[5]	McCleary, J, On the mod p Betti numbers of loop spaces, Invent. math., 87, 643-654, (1987) · Zbl 0611.57024
[6]	Milnor, J.W; Moore, J.C, On the structure of Hopf algebras, Ann. of math. (2), 81, 211-264, (1965) · Zbl 0163.28202
[7]	Moore, J.C; Smith, L, Hopf algebras and multiplicative fibration, I, Amer. J. math., 90, 752-780, (1968) · Zbl 0194.24501