×

zbMATH — the first resource for mathematics

The odd primary \(H\)-structure of low rank Lie groups and its application to exponents. (English) Zbl 1117.55005
If \(A\) is a space, a space \(B\) is said universal for \(A\) if \(B\) is a homotopy commutative, homotopy associative \(H\)-space and there is a map \(A\to B\) which is universal in a natural way. Now localize at an odd prime and take homology with mod-\(p\) coefficients. If \(G\) is a compact, connected, simple Lie group which is torsion free, the author proves the existence of a co-\(H\) space \(A(G)\) such that \(H_*(G)\cong S(\tilde{H}_*A(G))\) with a decomposition \(A(G)\simeq \vee_{i=1}^{p-1} A_i(G)\). One of the main results of the paper is the following one.
Theorem: Suppose \(G\) is one of the following: \(SU(n)\) if \(n\leq (p - 1)(p - 3)\), \(Sp(n)\) if \(2n \leq (p - 1)(p - 3)\), \(Spin(n)\) if \(2n + 1 \leq (p - 1)(p - 3)\); \(G_2\), \(F_4\), or \(E_6\) if \(p \geq 5\); \(E_7\) or \(E_8\) if \(p \geq 7\). Then there is a homotopy decomposition \(G \simeq \prod_{i=1}^{p-1} B_i(G)\) where each \(B_i(G)\) is homotopy associative, homotopy commutative, and universal for \(A_i(G)\).
In some particular cases (for instance, \(SU(n)\) with \(2n<p\)), the previous decomposition is an equivalence of \(H\)-spaces. Applications of these results to the torsion in the homotopy groups of \(G\), including an upper bound on its exponent, are given.

MSC:
55P45 \(H\)-spaces and duals
55Q52 Homotopy groups of special spaces
57T20 Homotopy groups of topological groups and homogeneous spaces
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Raoul Bott, A note on the Samelson product in the classical groups, Comment. Math. Helv. 34 (1960), 249 – 256. · Zbl 0094.01503
[2] F. R. Cohen, A course in some aspects of classical homotopy theory, Algebraic topology (Seattle, Wash., 1985) Lecture Notes in Math., vol. 1286, Springer, Berlin, 1987, pp. 1 – 92.
[3] F. R. Cohen, J. C. Moore, and J. A. Neisendorfer, The double suspension and exponents of the homotopy groups of spheres, Ann. of Math. (2) 110 (1979), no. 3, 549 – 565. · Zbl 0443.55009
[4] F. R. Cohen and J. A. Neisendorfer, A construction of \?-local \?-spaces, Algebraic topology, Aarhus 1982 (Aarhus, 1982) Lecture Notes in Math., vol. 1051, Springer, Berlin, 1984, pp. 351 – 359.
[6] D.M. Davis and S.D. Theriault, Odd-primary homotopy exponents of simple compact Lie groups, submitted. · Zbl 1149.57048
[7] Brayton Gray, On Toda’s fibrations, Math. Proc. Cambridge Philos. Soc. 97 (1985), no. 2, 289 – 298. · Zbl 0572.55013
[8] Bruno Harris, On the homotopy groups of the classical groups, Ann. of Math. (2) 74 (1961), 407 – 413. · Zbl 0118.18501
[9] Kouyemon Iriye and Akira Kono, Mod \? retracts of \?-product spaces, Math. Z. 190 (1985), no. 3, 357 – 363. · Zbl 0554.55004
[10] I. M. James, Reduced product spaces, Ann. of Math. (2) 62 (1955), 170 – 197. · Zbl 0064.41505
[11] Ioan James and Emery Thomas, Homotopy-abelian topological groups, Topology 1 (1962), 237 – 240. · Zbl 0107.40602
[12] C. A. McGibbon, Homotopy commutativity in localized groups, Amer. J. Math. 106 (1984), no. 3, 665 – 687. · Zbl 0574.55004
[13] Mamoru Mimura, Goro Nishida, and Hirosi Toda, Localization of \?\?-complexes and its applications, J. Math. Soc. Japan 23 (1971), 593 – 624. · Zbl 0217.48801
[15] Mamoru Mimura and Hirosi Toda, Cohomology operations and homotopy of compact Lie groups. I, Topology 9 (1970), 317 – 336. · Zbl 0204.23803
[16] J. A. Neisendorfer and P. S. Selick, Some examples of spaces with or without exponents, Current trends in algebraic topology, Part 1 (London, Ont., 1981) CMS Conf. Proc., vol. 2, Amer. Math. Soc., Providence, R.I., 1982, pp. 343 – 357. · Zbl 0551.55009
[17] Paul Selick, Odd primary torsion in \?_{\?}(\?&sup3;), Topology 17 (1978), no. 4, 407 – 412. · Zbl 0403.55021
[18] P.S. Selick, Space exponents for loop spaces of spheres, Stable and unstable homotopy theory, Fields Inst. Commun. · Zbl 0908.55006
[19] W. Specht, Die linearen Beziehungen zwischen höheren Kommutatoren, Math. Z. 51 (1948), 367 – 376 (German). · Zbl 0031.00602
[20] Stephen D. Theriault, The \?-structure of low-rank torsion free \?-spaces, Q. J. Math. 56 (2005), no. 3, 403 – 415. · Zbl 1158.55300
[21] Hirosi Toda, On iterated suspensions. I, II, J. Math. Kyoto Univ. 5 (1966), 87 – 142, 209 – 250. · Zbl 0149.40801
[22] Franz Wever, Operatoren in Lieschen Ringen, J. Reine Angew. Math. 187 (1949), 44 – 55 (German). · Zbl 0036.29901
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.