Higher generation by abelian subgroups in Lie groups

DOI10.1007/S00031-021-09659-8MaRDI QIDQ6185767zbMATH OpenWikidataFDO

Authors Omar Antolín Camarena, Simon Philipp Gritschacher, Bernardo Villarreal

Publication date 8 January 2024

Published in Transformation Groups (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

affinely commutativecommutator map

Mathematics Subject Classification ID

Connections of group theory with homological algebra and category theory (20J99) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

Abstract: To a compact Lie group $G$ one can associate a space $E(2,G)$ akin to the poset of cosets of abelian subgroups of a discrete group. The space $E(2,G)$ was introduced by Adem, F. Cohen and Torres-Giese, and subsequently studied by Adem and G'omez, and other authors. In this short note, we prove that $G$ is abelian if and only if $p{i}_i(E(2,G))=0$ for $i=1,2,4$. This is a Lie group analogue of the fact that the poset of cosets of abelian subgroups of a discrete group is simply--connected if and only if the group is abelian.

Review text

Let \(G\) be a group. A finite set \(S=\{g_{0},\ldots ,g_{n}\}\) of elements of \(G\) is called affinely commutative if the group generated by \(\{s_{i}^{-1}s_{j}\mid s_{i},s_{j}\in S\}\) is abelian. Let \(G\) be a topological group, define the following space \(E_{n}(2,G):=\{(g_{0},\ldots , g_{n})\in G^{n+1}\mid \{ g_{0},\ldots , g_{n}\} \text{ is affinely commutative}\}\). These spaces form a simplicial subspace of the bar construction; define \(E(2,G) \) as the geometric realization \(|E_{\bullet}(2,G)|\). The authors relate topological properties of \(E(2,G)\) with algebraic properties of \(G\). The main result is the following \textbf{Theorem 1} Let \(G\) be a compact Lie group, then the following assertions are equivalent \begin{itemize} \item[1.] \(G\) is abelian, \item[2.] \(E(2,G)\) is contratctible, \item[3.] \(\mathfrak{c}\) is null-homotopic, where \(\mathfrak{c}:E(2,G)\to B[G,G]\) is the commutator map, \item[4.] \(\pi_{i}(E(2,G))=0\) for \(i=1,2,4\). \end{itemize}

Recommendations

• scientific article; zbMATH DE number 1076120
• Elementary abelian 2-subgroups of compact Lie groups
• Margulis lemma for compact Lie groups
• The structure of abelian pro-Lie groups
• Generators and relations in compact Lie groups

Cites work

• A classifying space for commutativity in Lie groups
• Applications of the Theory of Morse to Symmetric Spaces
• Classifying spaces for commutativity of low-dimensional Lie groups
• Colimits of abelian groups
• Commutative cocycles and stable bundles over surfaces
• Commuting elements, simplicial spaces and filtrations of classifying spaces
• Commuting tuples in reductive groups and their maximal compact subgroups.
• Fundamental groups of commuting elements in Lie groups
• Fusion systems in algebra and topology.
• Higher commutativity and nilpotency in finite groups
• Higher generation by subgroups
• Homotopy-abelian Lie groups
• scientific article; zbMATH DE number 44928 (Why is no real title available?)
• Infinite loop spaces and nilpotent K-theory
• Polyhedral products, flag complexes and monodromy representations
• Spherical posets from commuting elements
• Structure and geometry of Lie groups
• The geometry of iterated loop spaces
• The spectrum for commutative complex K-theory
• The structure of compact groups. A primer for the student -- A handbook for the expert

Cited in

(1)

• On the second homotopy group of the classifying space for commutativity in Lie groups

This page was built for publication: Higher generation by abelian subgroups in Lie groups

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