Pith. sign in

REVIEW 2 cited by

On the automorphism groups of hyperbolic manifolds

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.05010 v1 pith:HODAHNVH submitted 2023-03-09 math.GT

classification math.GT
keywords diffgroupgeneratedhyperbolicinfinitelytopologicalautomorphismgroups
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds

    math.GT 2025-06 conditional novelty 7.0 of 10

    A topological version of the Hatcher-Wagoner pseudo-isotopy obstructions is defined in dimension four and used to construct homeomorphisms of Y times S1 that are pseudo-isotopic but not isotopic to the identity.

  2. Survey on the Farrell-Jones Conjecture

    math.KT 2025-07 unverdicted

    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.

Pith tools