pith. sign in

arxiv: 2605.21905 · v2 · pith:CH3KB56Hnew · submitted 2026-05-21 · 🧮 math.GT

A proof of Powell's conjecture on the Goeritz group of S³

Daiki Iguchi This is my paper

Pith reviewed 2026-06-30 16:39 UTC · model grok-4.3

classification 🧮 math.GT
keywords Goeritz groupHeegaard splitting3-spheretopological minimalitydisk complextopological indexdiffeomorphisms
5
0 comments X

The pith

The Goeritz group of any genus g Heegaard splitting of the 3-sphere is generated by four specific elements for g at least 3.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves Powell's conjecture by showing that four particular isotopy classes of diffeomorphisms generate the Goeritz group for every genus g at least 3. The Goeritz group is the group of isotopy classes of diffeomorphisms of the 3-sphere that preserve a given Heegaard splitting setwise. The argument rests on the topological minimality of the Heegaard surface, defined by the disk complex having nontrivial homotopy in some dimension. The work also supplies a new proof that the topological index of such a surface equals 2g minus 1.

Core claim

For every g ≥ 3, the Goeritz group of a genus g Heegaard splitting of the 3-sphere is generated by four specific elements.

What carries the argument

The topological minimality of the Heegaard surface, that is, its disk complex having nontrivial homotopy group in some dimension.

If this is right

  • The four elements generate all isotopy classes of diffeomorphisms preserving the splitting.
  • The topological index of any genus g Heegaard surface in the 3-sphere equals 2g-1.
  • The generating set works uniformly for every g at least 3.
  • The same four elements generate the group for any topologically minimal Heegaard surface in the 3-sphere.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may allow explicit computation of the full group presentation for small values of g.
  • The generators could be used to compare Goeritz groups across different splittings or manifolds.
  • The minimality property might be applied to study related stabilizer groups in 3-manifold diffeomorphism groups.

Load-bearing premise

A Heegaard surface of the 3-sphere is topologically minimal, that is, its disk complex has nontrivial homotopy group in some dimension.

What would settle it

An explicit example of a genus g Heegaard splitting of the 3-sphere whose Goeritz group requires more than the four specified generators.

Figures

Figures reproduced from arXiv: 2605.21905 by Daiki Iguchi.

Figure 1
Figure 1. Figure 1: Left: a standard spine K. Right: the Heegaard surface T can be viewed as the boundary of a regular neigh￾borhood of K. π 2π/g [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Dω flips the first 1-handle (left), Dη rotates T along the z-axis (middle), and Dη12 exchanges the first and the second 1-handles (right) [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Dθ slides the first 1-handle over the second. It suffices to prove Theorem 1.1 that any isotopy Tθ is a Powell move. To state a key step of the proof, we need a few definitions. Let Aθ be the isotopy of A corresponding to Tθ. Definition 2.1. We will say Tθ is supposed by a family of spines Kθ if for every θ, Kθ is a spine of Aθ [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Sliding an edge along an arc. An edge slide is an operation on a spine K′ that sidles one of the two ends of an edge of K′ along an arc in a regular neighborhood of K′ ( [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: A schematic proof of Lemma 3.4. Green segments indicate innermost disks in S × {±ǫ}. consisting of those simplexes that are represented by a non-filling arc system in T ∗ . In particular, A∞(T ∗ ) contains the (2g − 2)-skeleton of A(T ∗ ). Similarly, the curve complex C(T) (resp. C(T ∗ )) is the simplicial complex whose k-simplex is represented by a system of k+1 pairwise disjoint essential simple closed c… view at source ↗
Figure 6
Figure 6. Figure 6: A (2g − 1)-simplex σ0 of A(T ∗ ). S 3 . Thus, this collection of disks must represent a nontrivial sphere in Γ(T), which proves the lemma. 4.2. A sweepout by genus g Heegaard surfaces. In what follows, fix a triangulation S0 of (d−1)-sphere, d ≤ 2g−1, and a homotopically nontrivial simplicial map ψ0 : S0 → Γ(T). The existence of such a pair of S0 and ψ0 is guaranteed by Lemma 4.1. We will construct a sweep… view at source ↗
Figure 7
Figure 7. Figure 7: A sweepout of S 3 by genus 2 surfaces. 4.3. The graphic. The graphic determined by {Tt}t∈Bd and {Ss}s∈[−1,1] is the subset G ⊂ Bd×[−1, 1] consisting of those points (t, s) such that for some u ∈ Tt ∩ Ss, d(f|Tt ) has rank 0 at u. Here, we summarize basic properties of the graphic G . Although the parameter space for t is d-dimensional, a local picture of the intersection between Tt and Ss is rather simple:… view at source ↗
Figure 8
Figure 8. Figure 8: Segments in σ. ( [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Ji is related to Ji−1 by a sequence of S-slides followed by an isotopy. the proof of Lemma 7.8 to obtain a sequence of standard peripheral spines J ′ i ⊂ Q, i = 1, 2, . . . , n. Then, J ′ = J ′ n satisfies the desired properties. We now complete the proof of Theorem 7.4. Proof of Theorem 7.4. Let J and J ′ be as given in Lemmas 7.8 and 7.9. Then, the loops of J are isotopic to circles c 1 , c2 , . . . , cg… view at source ↗
Figure 10
Figure 10. Figure 10: J (red) is isotopic to J ′ (green) in V . Proof. Let V and Kθ be as given in Theorem 7.4. After enlarging V slightly, we may assume that Al(θ) ⊂ int V . Define an isotopy of a Heegaard surface by T ′ θ = ∂N(Kθ), where N(Kθ) is a regular neighborhood of Kθ. We can view both Tl(θ) and T ′ θ as the boundaries of product neighborhoods of ∂V . Since the space of product neighborhoods is contractible, Tl(θ) is … view at source ↗
Figure 11
Figure 11. Figure 11: A small neighborhood of L ′ ∪ Br. Proof. Let r > 0 be sufficiently close to 1. By passing to subdivisions, we may assume that Br ⊂ Bd×{0} is a subcomplex of C. We define a map from the vertices of ∂Br to Γ(T) by sending each vertex t to a compressing disk Dt that corresponds to a thin neck of Tt . Since Dt ∈ Σt , this map extends to ψ : ∂Br → Γ(T) by Lemma 5.3. Moreover, ψ is homotopic to ψ0. Now suppose,… view at source ↗
Figure 12
Figure 12. Figure 12: The arc γ in Bd × [0, 2π]. is supported by a family of spines Kθ with K0 = K2π = K that arises from a sequence of S-slides and isotopies. Proof. Let γ : [0, 2π] → Bd × [0, 2π] be an arc given in Theorem 8.8. Since γ is homotopic to the segment {0} × [0, 2π], Tγ(θ) is equivalent to Tθ. By replacing Tθ with Tγ(θ) , we may assume that Tθ is nearly parallel to Sθ for θ ∈ [2π/3, 4π/3]. In particular, Tθ is sup… view at source ↗
Figure 13
Figure 13. Figure 13: Left: in Tθi , the preimage of aθi+1 (green) is disjoint from aθi (red) while it may intersect bθi (blue) in a single point. Right: aθi+1 and the images of aθi and bθi in Tθi+1 . sequence of spines Kθi ⊂ S such that Kθi related to Kθi−1 by either an S-slide or an isotopy. First, we define aθi for 0 < i < n by induction. Assume that aθi−1 has already been defined. If Kθi is related to Kθi−1 by an isotopy, … view at source ↗
read the original abstract

For a genus $g$ Heegaard splitting of the $3$-sphere, the Goeritz group is defined to be the group of isotopy classes of diffeomorphisms of the $3$-sphere that preserve the splitting setwise. In this paper, we prove the following conjecture proposed by Powell: For every $g \ge 3$, the Goeritz group of a genus $g$ Heegaard splitting is generated by four specific elements. Our proof relies crucially on the fact that a Heegaard surface of the $3$-sphere is topologically minimal, that is, its disk complex has nontrivial homotopy group in some dimension. Along the way, we also give a new proof of the fact that a genus $g$ Heegaard surface of the $3$-sphere has topological index $2g-1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves Powell's conjecture that, for every genus g ≥ 3, the Goeritz group of a genus-g Heegaard splitting of S^3 is generated by four explicit elements. The argument proceeds by establishing that the topological index of any such surface is exactly 2g−1; this computation yields a nontrivial homotopy group of the disk complex and thereby shows that the surface is topologically minimal, from which the four generators are deduced.

Significance. If correct, the result resolves a long-standing conjecture on the structure of the Goeritz group. The new, self-contained computation of the topological index 2g−1 supplies an internal lemma for minimality rather than an external assumption and constitutes an independent contribution to the study of disk complexes of Heegaard surfaces.

minor comments (3)
  1. [Abstract] The abstract refers to “four specific elements” without naming them; the introduction should state the generators explicitly (e.g., the standard Dehn twists or handle slides) so that the claim is immediately readable.
  2. [§1] The notation for the Goeritz group Γ(Σ) and the disk complex D(Σ) is introduced late; define both in §1 before the statement of the main theorem.
  3. [§4] The proof that the index equals 2g−1 is described as “new,” yet no comparison with the original argument of [reference] is given; a brief remark on the difference in technique would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, their recognition that the result resolves Powell's conjecture, and their note that the self-contained computation of the topological index constitutes an independent contribution. The report recommends minor revision but lists no specific major comments.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives the topological index 2g-1 internally as a new lemma, which directly yields the nontrivial homotopy group establishing topological minimality of the Heegaard surface; this minimality is then used to prove that the Goeritz group is generated by four explicit elements. No step reduces by definition or construction to its own inputs, no parameters are fitted and renamed as predictions, and the central claims rest on explicit topological arguments rather than self-citation chains or imported uniqueness theorems. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof depends on the domain assumption that Heegaard surfaces of S^3 are topologically minimal; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Heegaard surfaces of the 3-sphere are topologically minimal (disk complex has nontrivial homotopy group in some dimension)
    Explicitly identified in the abstract as crucial to the proof.

pith-pipeline@v0.9.1-grok · 5669 in / 1181 out tokens · 45465 ms · 2026-06-30T16:39:23.085393+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

4 extracted references · 2 canonical work pages · 2 internal anchors

  1. [1]

    [Bac10] David Bachman, Topological index theory for surfaces in 3-manifolds , Geom. Topol. 14 (2010), no. 1, 585–609. MR 2602846 [Bro12] Nathan Broaddus, Homology of the curve complex and the Steinberg module of the mapping class group , Duke Math. J. 161 (2012), no. 10, 1943–1969. MR 2954621 [CGK18] Tobias Holck Colding, David Gabai, and Daniel Ketov er,...

    2010

  2. [2]

    MR 4216036 [FS18] Michael Freedman and Martin Scharlemann, Powell moves and the Goeritz group, Preprint, arXiv:1804.05909 [math.GT],

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    [Har83] John Harer, The second homology group of the mapping class group of an ori - entable surface , Invent. Math. 72 (1983), no. 2, 221–239. MR 700769 24 DAIKI IGUCHI [Igu20] Daiki Iguchi, Thick isotopy property and the mapping class groups of Heega ard splittings, to appear in J. Differential Geometry. arXiv:2008.11548 [m ath.GT],

    work page internal anchor Pith review Pith/arXiv arXiv 1983

  4. [4]

    Reine Angew

    [JM13] Jesse Johnson and Darryl McCullough, The space of Heegaard splittings, J. Reine Angew. Math. 679 (2013), 155–179. MR 3065157 [Joh10] Jesse Johnson, Bounding the stable genera of Heegaard splittings from belo w, J. Topol. 3 (2010), no. 3, 668–690. MR 2684516 [Pow80] Jerome Powell, Homeomorphisms of S3 leaving a Heegaard surface invariant , Trans. Am...

    2013