Pith. sign in

REVIEW 2 cited by

Thick isotopy property and the mapping class groups of Heegaard splittings

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 2008.11548 v5 pith:LO26FP4I submitted 2020-08-26 math.GT

Thick isotopy property and the mapping class groups of Heegaard splittings

classification math.GT
keywords heegaardconditionfinitelygeneratedgroupisotopyclassconclusion
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We give a necessary and sufficient condition for the fundamental group of the space of Heegaard splittings of an irreducible $3$-manifold to be finitely generated. The condition is exactly the conclusion of the thick isotopy lemma proved by Colding, Gabai and Ketover, which says that any isotopy of a Heegaard surface is achieved by a $1$-parameter family of surfaces with area bounded above by a universal constant and with some ``thickness property''. We also prove that a Heegaard splitting of a hyperbolic or spherical $3$-manifold satisfies the condition if it is topologically minimal (in the sense of Bachman) and its disk complex has finitely generated homotopy group. In conclusion, such a Heegaard splitting has finitely generated mapping class group.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

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

  1. A proof of Powell's conjecture on the Goeritz group of $S^3$

    math.GT 2026-05 unverdicted novelty 8.0

    Proves Powell's conjecture that the Goeritz group for genus g≥3 Heegaard splittings of S³ is generated by four elements, using the topological minimality of the Heegaard surface.

  2. A proof of Powell's conjecture on the Goeritz group of $S^3$

    math.GT 2026-05 unverdicted novelty 7.0

    Proves that the Goeritz group of genus g≥3 Heegaard splittings of S^3 is generated by four elements, using topological minimality.