Pith. sign in

On the automorphism groups of hyperbolic manifolds

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

Let Diff(N) and Homeo(N) denote the smooth and topological group of automorphisms respectively that fix the boundary of the n-manifold N, pointwise. We show that the (n-4)-th homotopy group of Homeo(S^1 \times D^{n-1}) is not finitely-generated for n >= 4 and in particular the topological mapping-class group of S^1\times D^3 is infinitely generated. We apply this to show that the smooth and topological automorphism groups of finite-volume hyperbolic n-manifolds (when n >= 4) do not have the homotopy-type of finite CW-complexes, results previously known for n >= 11 by Farrell and Jones. In particular, we show that if N is a closed hyperbolic n-manifold, and if Diff_0(N) represents the subgroup of diffeomorphisms that are homotopic to the identity, then the (n-4)-th homotopy group of Diff_0(N) is infinitely generated and hence if n=4, then \pi_0\Diff_0(N) is infinitely generated with similar results holding topologically.

citation-role summary

background 1

citation-polarity summary

fields

math.KT 1

years

2025 1

verdicts

UNVERDICTED 1

roles

background 1

polarities

unclear 1

representative citing papers

Survey on the Farrell-Jones Conjecture

math.KT · 2025-07-15 · unverdicted · novelty 0.0

The Farrell-Jones Conjecture is known for hyperbolic, CAT(0), arithmetic, and many other groups, and it implies a long list of conjectures about group rings and aspherical manifolds.

citing papers explorer

Showing 1 of 1 citing paper.

  • Survey on the Farrell-Jones Conjecture math.KT · 2025-07-15 · unverdicted · none · ref 20 · internal anchor

    The Farrell-Jones Conjecture is known for hyperbolic, CAT(0), arithmetic, and many other groups, and it implies a long list of conjectures about group rings and aspherical manifolds.