Colimits of abelian groups

DOI10.1016/J.JALGEBRA.2015.07.018MaRDI QIDQ497695zbMATH OpenOpenAlexFDO

Authors Cihan Okay

Publication date 25 September 2015

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

abelian groupsclassifying spacescolimit of groups

Mathematics Subject Classification ID

Homological methods in group theory (20J05) Classification of homotopy type (55P15) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Simplicial sets and complexes in algebraic topology (55U10) Topological methods in group theory (57M07)

Abstract: In this paper we study the colimit N_2(G) of abelian subgroups of a discrete group G. This group is the fundamental group of a subspace B(2,G) of the classifying space BG. We describe N_2(G) for certain groups, and apply our results to study the homotopy type of the space B(2,G). We give a list of classes of groups for which B(2,G) is not an Eilenberg--Maclane space of type K(pi,1).

Review text

Let \(G\) be a discrete group and let \(BG\) denote the classifying space (i.e. the geometric realization) of the simplicial set \(B_{\bullet}G\) given by \(B_nG=G^n\) with usual simplicial operations. For each positive integer \(q\), let \(B(q,G)\) denote the classifying space of the simplicial subset \(B_{\bullet}(q,G)\) of \(B_{\bullet}G\), where \(B_n(q,G)\) denotes the set of all \((g_1,\cdots ,g_n)\in G^n\) such that the subgroup \(\langle g_1,\cdots ,g_n\rangle\) generated by \(\{g_i\}_{i=1}^n\) is a subgroup of nilpotency class less than \(q\). The set \(\{g_i\}^{2r}_{i=1}\subset G\) of non-identity elements is called a symplectic sequence if \([g_i,g_{i+r}]=[g_j,g_{j*+r}]\) for all \(1\leq i,j\leq r\) and \([g_i,g_j]=1\) otherwise, where \([g,h]=ghg^{-1}h^{-1}.\) In this paper, the author studies the homotopy type of the space \(B(q,G)\) and he considers whether it is an Eilenberg-MacLane space of type of \(K(\pi,1)\). When \(G\) is a finite group and \(q=2\), he proves that \(B(2,q)\) is not an Eilenberg-MacLane space of type of \(K(\pi,1)\) if the group \(G\) has an non-trivial symplectic sequence \(\{g_i\}^{2r}_{i=1}\) for some \(r\geq 2\). As an application, he also obtains that extra-special \(p\)-groups of rank \(\geq 4\), general linear groups \(\text{GL}_n(\mathbb{F}_q)\) \((n\geq 4)\) and the symmetric group \(\Sigma_k\) of \(k\) letters \((k\geq 2^4)\) are not Eilenberg-MacLane spaces of type of \(K(\pi ,1)\).

Recommendations

• Homotopy colimits of classifying spaces of abelian subgroups of a finite group
• On spaces with the same \(n\)-type for all \(n\)
• A colimit of classifying spaces
• Eilenberg-Mac Lane spaces for topological groups
• Equivariant Eilenberg-MacLane spaces of type 1.

Cites work

• A survey on spaces of homomorphisms to Lie groups
• Commuting elements, simplicial spaces and filtrations of classifying spaces
• Homotopy colimits of classifying spaces of abelian subgroups of a finite group
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• Infinite loop spaces and nilpotent K-theory

Cited in

(7)

• Polyhedral products, flag complexes and monodromy representations
• On the mod-\( \ell\) homology of the classifying space for commutativity
• Classifying space for quantum contextuality
• On families of nilpotent subgroups and associated coset posets
• On the second homotopy group of the classifying space for commutativity in Lie groups
• Higher generation by abelian subgroups in Lie groups
• Spherical posets from commuting elements

This page was built for publication: Colimits of abelian groups

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