On the topological complexity of aspherical spaces
Abstract
The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the sense of Gromov the topological complexity of an aspherical space $K(\pi, 1)$ either equals or is by one larger than the cohomological dimension of $\pi\times \pi$. We approach the problem by studying essential cohomology classes, i.e. classes which can be obtained from the powers of the canonical class via coefficient homomorphisms. We describe a spectral sequence which allows to specify a full set of obstructions for a cohomology class to be essential. In the case of a hyperbolic group we establish a vanishing property of this spectral sequence which leads to the main result.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.06732
- arXiv:
- arXiv:1708.06732
- Bibcode:
- 2017arXiv170806732F
- Keywords:
-
- Mathematics - Algebraic Topology;
- 55-xx
- E-Print:
- 25 pages, 2 figures. This version contains an additional section 10 with Theorem 8