Pith. sign in

REVIEW 3 minor 4 references

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

T0 review · 0 major / 3 minor · reviewed 2026-06-30 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Goeritz group of any genus g Heegaard splitting of the 3-sphere is generated by four specific elements for g at least 3.

desk verdict Iguchi proves Powell's conjecture on the four generators of the Goeritz group for g ≥ 3 by computing the topological index internally as 2g-1. read the letter →

arxiv 2605.21905 v2 pith:CH3KB56H submitted 2026-05-21 math.GT

Daiki Iguchi This is my paper · ORCID
classification math.GT
keywords GoeritzgroupHeegaardsplitting3-spheretopologicalminimalitydiskcomplexindexdiffeomorphisms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

What carries the argument

The topological minimality of the Heegaard surface, that is, its disk complex having 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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A proof of Powell's conjecture on the Goeritz group of $S^3$." pith.science (2026). https://pith.science/paper/CH3KB56H

@misc{pith2026260521905,
  author       = {Pith},
  title        = {Pith review of: A proof of Powell's conjecture on the Goeritz group of $S^3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CH3KB56H}},
  note         = {Machine review of arXiv:2605.21905}
}
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$.

Figures

Figures reproduced from arXiv: 2605.21905 by the authors.

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. 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. 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 ↗
Figures from the paper (10 more)
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]
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 …
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 homotopical…
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 …
Figure 8
Figure 8. Figure 8: Segments in σ. ( [PITH_FULL_IMAGE:figures/full_fig_p015_8.png]
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.…
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…
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 corr…
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 …
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 isot…

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

  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,...

    work page 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 Pith review 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 Pith review 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...

    work page 2013

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.