The classifying space for commutativity of geometric orientable 3-manifold groups
Let \(G\) be a group. One can identify the set of homomorphisms \(\Hom(\mathbb{Z}^{n},G)\) with the subset of commuting \(n\)-tuples in \(G^{n}\). On the other hand, this space of commuting tuples forms a simplicial subspace of the usual simplicial model construction of the classifying space \(BG\). Denote this subspace as \(B_{\mathrm{com}}(G)\). It has been shown that \(B_{\mathrm{com}}(G)\) is the classifying space of \textit{transitionally commutative} principal \(G\)-bundles and it has a universal space for transitionally commutative \(G\)-bundles denoted by \(E_{\mathrm{com}}(G)\). There have been many results relating homotopy properties of \(E_{\mathrm{com}}(G)\) to how far is \(G\) from being commutative. In this work the authors describe the homotopy type of \(E_{\mathrm{com}}(G)\) when \(G\) is the fundamental group of an orientable geometric 3-manifold. \textbf{Theorem.} Let \(G\) be the fundamental group of an orientable geometric 3-manifold. Then, \(E_{\mathrm{com}}(G)\) is homotopically equivalent to a wedge \(\vee_{I}S^{1}\), with \(I\) a (possibly empty) countable index. The following holds: (1) \(I\) is empty if and only if \(G\) is abelian, in this case \(E_{\mathrm{com}}(G)\) is contractible. (2) \(I\) is infinite if and only if \(G\) is infinite and nonabelian.\N\NThe proof is by using that \(E_{\mathrm{com}}(G)\) is homotopically equivalent to certain posets of cosets of abelian subgroups of \(G\). Then, by Thurston's geometrization theorem, the authors analyze case by case the possibilities for these posets in such a \(G\).
- 3-manifold groups
- A classifying space for commutativity in Lie groups
- AFFINE STRUCTURES FOR CLOSED 3-DIMENSIONAL MANIFOLDS WITH NIL-GEOMETRY
- Classifying spaces for the family of virtually abelian subgroups of orientable 3-manifold groups
- Commuting elements, simplicial spaces and filtrations of classifying spaces
- Computations of K- and L-theory of cocompact planar groups
- Higher commutativity and nilpotency in finite groups
- Higher generation by subgroups
- Homotopy colimits of classifying spaces of abelian subgroups of a finite group
- scientific article; zbMATH DE number 3815938 (Why is no real title available?)
- scientific article; zbMATH DE number 3935317 (Why is no real title available?)
- scientific article; zbMATH DE number 1014124 (Why is no real title available?)
- scientific article; zbMATH DE number 1385418 (Why is no real title available?)
- On classifying spaces for the family of virtually cyclic subgroups
- On the classifying space of the family of virtually cyclic subgroups
- Quasiconvexity and relatively hyperbolic groups that split.
- Recent progress on the Poincaré conjecture and the classification of 3-manifolds
- Relative hyperbolicity, classifying spaces, and lower algebraic \(K\)-theory
- Spaces of constant curvature
- The Geometries of 3-Manifolds
This page was built for publication: The classifying space for commutativity of geometric orientable 3-manifold groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934483)
