On the mod- homology of the classifying space for commutativity

DOI10.2140/AGT.2020.20.883MaRDI QIDQ2175883zbMATH OpenOpenAlexFDO

Authors Cihan Okay, Ben Williams

Publication date 30 April 2020

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.00142

zbMATH Keywords

classifying spacesLie groupsmapping spaces

Mathematics Subject Classification ID

Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Maps between classifying spaces in algebraic topology (55R37) Homology of classifying spaces and characteristic classes in algebraic topology (55R40)

Abstract: We study the mod-$ell$ homotopy type of classifying spaces for commutativity, $B(mathbbZ,G)$, at a prime $ell$. We show that the mod-$ell$ homology of $B(mathbbZ,G)$ depends on the mod-$ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$ell$ homology isomorphism $BGoBH$ for such groups induces a mod-$ell$ homology isomorphism $B(mathbbZ,G)oB(mathbbZ,H)$. In order to prove this result, we study a presentation of $B(mathbbZ,G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an idea of Adem and G'omez. We also study the relationship between the mod-$ell$ type of a Lie group $G(mathbbC)$ and the locally finite group $$ where $G$ is a Chevalley group. We see that the na"ive analogue for $B(mathbbZ,G)$ of the celebrated Friedlander--Mislin result cannot hold, but we show that it does hold after taking the homotopy quotient of a $G$ action on $B(mathbbZ,G)$.

Review text

The classifying space for commutativity \(B_{\text{com}}G\) of a topological group \(G\), which is denoted in this article by \(B(\mathbb{Z},G)\), is the geometric realization of a simplicial space which in degree \(n\) is given by the space of homomorphisms from \(\mathbb{Z}^n\) to \(G\). This article focuses on the mod-\(p\) homotopy of \(B(\mathbb{Z},G)\) when \(G\) is a compact Lie group or the group of points of a Chevalley group, and \(p\) is a prime. There are analogous spaces \(B(\mathbb{Z}/n,G)\) and \(B(\mathbb{Z} _p^{\wedge},G)\), where \(\mathbb{Z}\) is replaced in the simplicial space by \(\mathbb{Z}/n\) and \(\mathbb{Z}_p^{\wedge}\), respectively. In the case of \(\mathbb{Z}_p^{\wedge}\) one must consider continuous homomorphisms. The spaces \(B(\mathbb{Z},G)\) and \(B(\mathbb{Z}/n,G)\) fit into a more general setup. A cosimplicial group \(\tau^{\bullet}\) which is finitely generated in each degree defines a simplicial space \(\text{Hom}(\tau^{\bullet},G)\) and its geometric realization is denoted by \(B(\tau,G)\). When \(G\) is a compact Lie group, the space \(B(\tau,G)\) admits a natural decomposition as a homotopy colimit, which applies in particular to \(B(\mathbb{Z},G)\) and \(B(\mathbb{Z}/n,G)\). Together with the fact that \(B(\mathbb{Z} _p^{\wedge},G)\) is the colimit of the spaces \(B(\mathbb{Z}/p^k,G)\), this implies that the natural map \(B(\mathbb{Z} _p^{\wedge},G) \to B(\mathbb{Z},G)\) is a mod-\(p\) equivalence. This property holds when \(G\) is a locally finite group as well. When the group of components of the compact Lie group \(G\) is a \(p\)-group and \(\tau^{\bullet}\) is a reduced cosimplicial group which is a finite \(p\)-group in each degree, the authors show that \(B(\tau,G)\) is mod-\(p\) equivalent to the fat realization of \(\text{Map}_*(B\tau^{\bullet},BG _p^{\wedge})\). Therefore if \(G\) and \(H\) are compact Lie groups with \(p\)-groups as their groups of components, a homotopy equivalence between \(BG _p^{\wedge}\) and \(BH _p^{\wedge}\) will induce a homotopy equivalence between \(B(\tau,G) _p^{\wedge}\) and \(B(\tau,H) _p^{\wedge}\). This holds in particular for \(B(\mathbb{Z}/p^k,G)\) and using the mod-\(p\) equivalence between \(B(\mathbb{Z} _p^{\wedge},G)\) and \(B(\mathbb{Z},G)\), one obtains that \(B(\mathbb{Z},G) _p^{\wedge}\) and \(B(\mathbb{Z},H) _p^{\wedge}\) are homotopy equivalent. With a suitable definition, this holds for \(p\)-compact groups as well. A direct analogue of the Milnor-Friedlander conjecture does not hold for these spaces. A counterexample is given by \(B(\mathbb{Z},GL_2(\mathbb{C}))\) and \(B(\mathbb{Z},GL_2(\overline{\mathbb{F}}_p))\), which are not mod-\(q\) equivalent for any prime \(q\) different from \(p\). However, if \(G\) is a Chevalley group and \(q \neq p\), the Borel constructions of \( B(\mathbb{Z},G(\overline{\mathbb{F}}_p))\) and \( B(\mathbb{Z},G(\mathbb{C}))\) are mod-\(q\) equivalent. The proof follows a similar line of argument as above, but in this case using the fact that the fat realization of \(\text{Map}(B\tau^{\bullet},BK _p^{\wedge})\) is mod-\(q\) equivalent to the Borel construction of \(B(\tau^{\bullet},K)\) when \(K\) is a compact Lie group and \(\tau^{\bullet}\) is a cosimplicial group which is a finite \(q\)-group in each degree.

Recommendations

• On the cohomology of mod \(p\) homotopy commutative H-spaces
• scientific article; zbMATH DE number 1803806
• The mod-p homology of the classifying spaces of certain gauge groups
• Higher homotopy commutativity of H-spaces and the mod p torus theorem
• A classification theorem for homotopy commutative 𝐻-spaces with finitely generated mod 2 cohomology rings
• Homology of moduli spaces of curves and commutative homotopy algebras
• HOMOLOGY DECOMPOSITIONS FOR CLASSIFYING SPACES OF FINITE GROUPS ASSOCIATED TO MODULAR REPRESENTATIONS
• On the homology of commutative algebras
• Homotopy-Commutative H-Spaces

Cites work

• A classifying space for commutativity in Lie groups
• Bar and cobar constructions. II
• Categories and cohomology theories
• Classifying spaces of Kač-Moody groups
• Cohomology of classifying spaces of complex Lie groups and related discrete groups
• Colimits of abelian groups
• Commuting elements, simplicial spaces and filtrations of classifying spaces
• Conjugacy classes of finite solvable subgroups in Lie groups
• Cosimplicial groups and spaces of homomorphisms
• Diagram spaces, diagram spectra and spectra of units
• Equivariant stable homotopy and Sullivan's conjecture
• Exceptional isogenies and the classifying spaces of simple Lie groups
• Fundamental groups of commuting elements in Lie groups
• Homotopy colimits of classifying spaces of abelian subgroups of a finite group
• Homotopy fixed-point methods for Lie groups and finite loop spaces
• scientific article; zbMATH DE number 4067207 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Infinite loop spaces and nilpotent K-theory
• Locally finite approximation of Lie groups. I
• Modules of topological spaces, applications to homotopy limits and \(E_ \infty\) structures
• Spherical posets from commuting elements
• The homotopy category is a homotopy category
• The spectrum for commutative complex K-theory
• The spectrum of an equivariant cohomology ring. I. II
• Varieties of representations of finitely generated groups

Cited in

(7)

• On homomorphisms of modified \(EL\)-hyperstructures
• A classifying space for commutativity in Lie groups
• Classifying spaces for commutativity of low-dimensional Lie groups
• Nilpotent \(n\)-tuples in \(\mathrm{SU}(2)\)
• Commutative d-torsion K-theory and its applications
• On the second homotopy group of the classifying space for commutativity in Lie groups
• Commutative classifying space for simplicial groups

This page was built for publication: On the mod-\( \ell\) homology of the classifying space for commutativity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2175883)