An algebraic model for finite loop spaces
type: Item
instance of: scholarly article
title: An algebraic model for finite loop spaces
zbMATH Open document ID: 1306.55008
author: Carles Broto
author: Ran Levi
author: Bob Oliver
published in: Algebraic \& Geometric Topology
publication date: 2014-11-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/1212.2033
reviewed by: Jérôme Scherer
Mathematics Subject Classification ID: 55R35
Mathematics Subject Classification ID: 20D20
Mathematics Subject Classification ID: 20E22
zbMATH DE Number: 6369101
zbMATH Keywords: finite loop spaces
zbMATH Keywords: classifying spaces
zbMATH Keywords: \(p\)-local compact groups
zbMATH Keywords: fusion
MaRDI profile type: Publication
OpenAlex ID: W2034821905
arXiv ID: 1212.2033
cites work: Reduced, tame and exotic fusion systems
cites work: Q3114249
cites work: On Semisimplicial Fibre-Bundles
cites work: Homotopy limits, completions and localizations
cites work: Subgroup families controlling p-local finite groups
cites work: Extensions of $p$-local finite groups
cites work: Homotopy equivalences of \(p\)-completed classifying spaces of finite groups
cites work: The homotopy theory of fusion systems
cites work: Discrete models for the \(p\)-local homotopy theory of compact Lie groups and \(p\)-compact groups
cites work: The rational cohomology of a 𝑝-local compact group
cites work: Simplicial homotopy theory
cites work: Homotopy fixed-point methods for Lie groups and finite loop spaces
cites work: Homotopy classification of self-maps of \(BG\) via \(G\)-actions. I
cites work: Unstable Adams operations on \(p\)-local compact groups
cites work: Extensions of linking systems and fusion systems
cites work: Extensions of linking systems with \(p\)-group kernel
cites work: On the definition of saturated fusion systems
DOI: 10.2140/AGT.2014.14.2915
Recommended article: Q4656983
Recommended article: Lie groups and \(p\)-compact groups
Recommended article: Finite approximations of \(p\)-local compact groups
Recommended article: Homotopy fixed-point methods for Lie groups and finite loop spaces
Recommended article: Q4851854
Recommended article: Rational isomorphisms of \(p\)-compact groups
Recommended article: The realizability of local loop spaces as manifolds
Recommended article: Some new examples of simple \(p\)-local compact groups
Recommended article: Classifying spaces of compact Lie groups that are p-compact for all prime numbers
Recommended article: Chevalley \(p\)-local finite groups
review text: When Dwyer and Wilkerson introduced \(p\)-compact groups in [\textit{W. G. Dwyer} and \textit{C. W. Wilkerson}, Ann. Math. (2) 139, No. 2, 395--442 (1994; Zbl 0801.55007)], they managed to provide a \(p\)-local version of finite loop spaces. A compact Lie group defines a \(p\)-compact group if it is connected, and more generally if its group of connected components is a \(p\)-group. The technical issue here is that the classifying space of a \(p\)-compact group is required to be \(p\)-complete. The theory of \(p\)-local compact groups, [the authors, Geom. Topol. 11, 315--427 (2007; Zbl 1135.55008)], built in analogy with that of \(p\)-local finite groups, [\textit{C. Broto} et al., J. Am. Math. Soc. 16, No. 4, 779--856 (2003; Zbl 1033.55010)], solves this problem as the authors proved that one can associate to \textit{any} compact Lie group a \(p\)-local compact group (consisting of a discrete \(p\)-toral ``Sylow'' subgroup and fusion data).NEWLINENEWLINEHowever, if the original motivation behind this is the study of \(p\)-local analogues of finite loop spaces, there is still a natural question left to answer: Can one construct, at the prime \(p\), any finite loop space as a \(p\)-local compact group? This is precisely what is achieved in this article. If \(X\) is a space such that \(\Omega X\) is mod \(p\) finite, consider the universal cover fibration \(\tilde X \rightarrow X \rightarrow B \pi\), where \(\pi= \pi_1 X\) is not necessarily a \(p\)-group. What one knows is that \(\tilde X^\wedge_p\) is the classifying space of a \(p\)-compact group, hence that of a \(p\)-local compact group. A careful study of \textit{extensions} of finite groups by \(p\)-local compact groups allows the authors to conclude that so is \(X^\wedge_p\). This goes through a classification of principal bundles over \(B\pi\) with fiber a \(p\)-local compact group, generalizing the study in [\textit{C. Broto} et al., Trans. Am. Math. Soc. 359, No. 8, 3791--3858 (2007; Zbl 1145.55013)] for \(…
description: scientific article; zbMATH DE number 6369101