Every finite complex has the homology of some CAT(0) cubical duality group

DOI10.1007/S10711-014-9956-4MaRDI QIDQ2349862zbMATH OpenOpenAlexFDO

Authors Raeyong Kim

Publication date 18 June 2015

Published in Geometriae Dedicata (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathrm{CAT}(0)\) cubical complexesduality groupsKan-Thurston theorem

Mathematics Subject Classification ID

Hyperbolic groups and nonpositively curved groups (20F67) Homological methods in group theory (20J05) Eilenberg-Mac Lane spaces (55P20) Poincaré duality spaces (57P10)

Abstract: We prove that every finite connected simplicial complex has the homology of the classifying space for some $mathrmCAT(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally $mathrmCAT(0)$ cubical complex $T_X$ and an acyclic map $t_X:T_{X}oX$ such that $p{i}_1(T_X)$ is a duality group.

Review text

The starting point of the paper under review is an old result by \textit{D. M. Kan} and \textit{W. P. Thurston} [Topology 15, 253--258 (1976; Zbl 0355.55004)], which associates, to any path-connected space \(X\), a discrete group \(G_X\) and a map from its classifying space \(BG\) to \(X\), inducing an isomorphism on integer homology. (In other words, the Kan-Thurston theorem says that any connected simplicial complex \(X\) has the same homology as the classifying space for some discrete group \(G_X\)). Several authors have generalized this result, among these \textit{J.-C. Hausmann} [Math. Ann. 275, 327--336 (1986; Zbl 0583.55004)], who proved that, whenever \(X\) is finite, the group \(G_X\) may be taken to be a duality group. More recently \textit{I. J. Leary} [J. Topol. 6, No. 1, 251--284 (2013; Zbl 1343.20044)] used metric geometry tools to show that the classifying space \(BG\) of the group \(G_X\) can be realized as a locally CAT(0) cubical complex. In the present paper the author proves that one can actually obtain simultaneously the last two results, showing for instance that every finite connected simplicial complex \(X\) has the same homology as the classifying space for some \(\mathrm{CAT}(0)\) cubical duality group \(G_X\). More precisely, to a given finite simplicial complex \(X\), he associates a finite locally \(\mathrm{CAT}(0)\) cubical complex \(T_X\) and a map \(t_X : T_X \to X\) such that \(\pi_1 (T_X)\) is a duality group and \(t_X\) induces an isomorphism on homology, for any local coefficients on \(X\). Furthermore, for a connected \(X\), the space \(T_X\) is just the classifying space for the group \(\pi_1 (T_X)\).

Recommendations

• Every finite complex has the homology of a duality group
• Every finite complex is the classifying space for proper bundles of a virtual Poincaré duality group
• A metric Kan-Thurston theorem.
• Finite asymptotic dimension for CAT(0) cube complexes.
• Geometric two-dimensional duality groups

Cites work

• A metric Kan-Thurston theorem.
• A Short Proof of a Theorem of Kan and Thurston
• Connectivity at infinity for right angled Artin groups
• Every connected space has the homology of a \(K\) \((\pi,1)\)
• Every CW-complex is a classifying space for proper bundles
• Every finite complex has the homology of a duality group
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• Metric spaces of non-positive curvature
• On the classifying spaces of discrete monoids
• The topology of discrete groups

Cited in

(5)

• Every finite complex has the homology of a duality group
• On the simplicial volume and the Euler characteristic of (aspherical) manifolds
• Every finite complex is the classifying space for proper bundles of a virtual Poincaré duality group
• A Note on Simple Duality
• A metric Kan-Thurston theorem.

This page was built for publication: Every finite complex has the homology of some \(\mathrm{CAT}(0)\) cubical duality group

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