zbMATH — the first resource for mathematics

Homology decompositions for \(p\)-compact groups. (English) Zbl 1156.55014
By a homology decomposition of a space \(X\) with respect to a generalized homology theory \(h_*\) the authors mean an \(h_*\)-equivalence \(f:Z \to X\) with \(Z\) a space that is constructed as a homotopy colimit from a diagram of spaces which themselves are homotopy-theoretically easier to understand than the given space \(X\). A typical context for homology decompositions is the theory of classifying spaces where homology decompositions for the classifying space of a topological group are assembled from suitable classifying spaces which evolve from certain families of subgroups of the group.
For a given prime \(p\) there are two (by now) classical \(mod\;p\)-homology decompositions of the classifying space of a compact Lie group \(G\): the centralizer decomposition, established in [S. Jackowski and J. McClure, Topology 31, No. 1, 113–132 (1992; Zbl 0754.55014)], and the subgroup decomposition, established in [S. Jackowski, J. McClure and B. Oliver, Ann. Math. (2) 135, No. 1, 183–226 (1992; Zbl 0758.55004)]. In the centralizer decomposition one realizes the \(mod\;p\)-homology type of \(BG\) by gluing together the classifying spaces of the centralizers of the \(p\)-elementary abelian subgroups, while in the subgroup decomposition one glues together the classifying spaces of the so-called \(p\)-stubborn subgroups. In [B. Dwyer and C. Wilkerson, Contemp. Math. 181, 119–157 (1995; Zbl 0828.55009)] the centralizer decomposition was generalized from compact Lie groups to so-called \(p\)-compact groups. \(p\)-compact groups are certain homotopy-theoretic analogues of compact Lie groups, which were introduced in [ibid., Ann. Math. (2) 139, No. 2, 395–442 (1994; Zbl 0801.55007)], and which have extensively been studied ever since. For a first introduction to \(p\)-compact groups see e.g. [W. Dywer, Doc. Math., J. DMV, Extra Vol. ICM Berlin 1998, vol. II, 433–442 (1998; Zbl 0912.55005)]. One important feature of \(p\)-compacts groups is of course that many concepts from the theory of compact Lie groups, like e.g. the existence of maximal tori, carry over. In particular the notion of a \(p\)-compact toral subgroup makes sense.
In the paper under review the authors establish a variant of the subgroup decomposition above, which applies to \(p\)-compact groups. They proceed in two steps. First the authors show that the existence of the Dwyer and Wilkerson centralizer decomposition for a \(p\)-compact group \(X\) is equivalent to the existence of a subgroup decomposition for \(X\) where the indexing family of subgroups for the homotopy colimit is the family of centric \(p\)-compact toral subgroups. In a second step they show that one still obtains a \(\bmod p\) homology decomposition of \(X\) if one uses the smaller family of radical centric \(p\)-compact toral subgroups. It is not obvious to see that the authors’ new homology decomposition actually generalizes the subgroup decomposition of Jackowski, McClure and Oliver, however, the authors clarify this issue in an appendix to the main text. In a second appendix the authors give a short exposition of the basic theory of \(p\)-compact groups and provide some relevant background material. This appendix may also serve very well as a quick introduction to the theory of \(p\)-compact groups for a novice with a serious background in algebraic topology.

55R35 Classifying spaces of groups and \(H\)-spaces in algebraic topology
55R40 Homology of classifying spaces and characteristic classes in algebraic topology
20D20 Sylow subgroups, Sylow properties, \(\pi\)-groups, \(\pi\)-structure
Full Text: DOI
[1] Bousfield, A.K.; Kan, D.M., Homotopy limits, completions and localizations, Lecture notes in math., vol. 304, (1972), Springer-Verlag Berlin-New York, v+348 pp · Zbl 0259.55004
[2] Broto, C.; Levi, R., On spaces of self homotopy equivalences of p-completed classifying spaces of finite groups and homotopy group extensions, Topology, 41, 229-252, (2002) · Zbl 1059.55007
[3] Dror Farjoun, E., Cellular spaces, null spaces and homotopy localization, Lecture notes in math., vol. 1622, (1996), Springer-Verlag Berlin · Zbl 0842.55001
[4] Dwyer, W.G., Homology decompositions for classifying spaces of finite groups, Topology, 36, 783-804, (1997) · Zbl 0872.55014
[5] Dwyer, W.G.; Kan, D.M., Centric diagrams and realization of diagrams in the homotopy category, Proc. amer. math. soc., 114, 575-584, (1992) · Zbl 0742.55004
[6] Dwyer, W.G.; Wilkerson, C., Homotopy fixed point methods for Lie groups and finite loop spaces, Ann. of math., 139, 395-442, (1994) · Zbl 0801.55007
[7] Dwyer, W.G.; Wilkerson, C., The center of a p-compact group, (), 119-157 · Zbl 0828.55009
[8] Dwyer, W.G.; Wilkerson, C., Product splittings of p-compact groups, Fund. math., 147, 279-300, (1995) · Zbl 0847.55005
[9] Hollander, J.; Vogt, R.M., Modules of topological spaces, applications to homotopy limits and \(E_\infty\) structures, Arch. math. (basel), 59, 2, 115-129, (1992) · Zbl 0766.55006
[10] Jackowski, S.; McClure, J., Homotopy decomposition of classifying spaces via elementary abelian subgroups, Topology, 31, 1, 113-132, (1992) · Zbl 0754.55014
[11] Jackowski, S.; McClure, J.; Oliver, B., Homotopy classification of self-maps of BG via G-actions, I, II, Ann. of math., 135, 183-270, (1992) · Zbl 0771.55003
[12] Møller, J., Normalizers of maximal tori, Math. Z., 231, 1, 51-74, (1999) · Zbl 0927.55014
[13] Møller, J.; Notbohm, D., Centers and finite coverings of finite loop spaces, J. reine angew. math., 456, 99-133, (1994) · Zbl 0806.55008
[14] Notbohm, D., The fixed-point conjecture for p-toral groups, (), 253-260
[15] Quillen, D., Homotopy properties of the poset of nontrivial p-subgroups of a group, Adv. math., 28, 101-128, (1978) · Zbl 0388.55007
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.