Proves dTC(Γ)=TC(Γ) for torsion-free hyperbolic and nilpotent groups, shows dTC(L^n_p)≤2p-1 and dcat(L^n_p)≤p-1 (equality in some cases), and derives counterexamples to product formulas.
On the topological complexity of aspherical spaces
1 Pith paper cite this work. Polarity classification is still indexing.
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.
fields
math.GT 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On distributional topological complexity of groups and manifolds
Proves dTC(Γ)=TC(Γ) for torsion-free hyperbolic and nilpotent groups, shows dTC(L^n_p)≤2p-1 and dcat(L^n_p)≤p-1 (equality in some cases), and derives counterexamples to product formulas.