pith. sign in

arxiv: 2605.21905 · v1 · 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-05-22 03:03 UTC · model grok-4.3

classification 🧮 math.GT
keywords Goeritz groupHeegaard splitting3-spheretopological minimalityPowell conjecturediffeomorphismsgenus gdisk complex
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 all g at least 3.

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

This paper establishes that the Goeritz group, consisting of isotopy classes of diffeomorphisms preserving a genus g Heegaard splitting of the 3-sphere setwise, is generated by four explicit elements whenever g is at least 3. A sympathetic reader would care because this gives an explicit finite generating set for the symmetries of these standard splittings. The argument proceeds by using the topological minimality of the Heegaard surface. Along the way the paper also supplies a new proof that the surface has topological index equal to 2g minus 1.

Core claim

For every integer g greater than or equal to 3, the Goeritz group of a genus g Heegaard splitting of the 3-sphere is generated by four specific elements. The proof relies crucially on the topological minimality of the Heegaard surface, that is, the fact that its disk complex has a nontrivial homotopy group in some dimension. A new proof is also given that any such surface has topological index 2g-1.

What carries the argument

Topological minimality of the Heegaard surface (its disk complex has nontrivial homotopy in some dimension), which is used to control the action of diffeomorphisms and deduce the four generators.

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 genus g splitting for some g at least 3 whose Goeritz group cannot be generated by the four listed elements, or whose disk complex is contractible in all dimensions.

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

1 major / 2 minor

Summary. The manuscript proves Powell's conjecture: for every g ≥ 3, the Goeritz group of a genus-g Heegaard splitting of S^3 is generated by four specific elements. The argument proceeds by establishing that the Heegaard surface is topologically minimal (its disk complex has nontrivial homotopy in some dimension) and supplies an independent proof that the topological index equals 2g-1, which is then used to control stabilizers and the action on the disk complex.

Significance. If correct, the result settles a longstanding conjecture in 3-manifold topology on the finite generation of the Goeritz group. The new proof of the topological index 2g-1 is of independent interest, as it furnishes an explicit homotopy-theoretic description of the disk complex without relying on prior self-citations, thereby strengthening the grounding for minimality arguments in Heegaard theory.

major comments (1)
  1. [Section on topological index and minimality] The proof that the topological index equals 2g-1 (used to deduce topological minimality) must be examined for completeness in the analysis of links of vertices and connectivity statements in the disk complex; any gap here directly undermines the reduction to the four generators, as this minimality controls the stabilizers in the subsequent group-theoretic argument.
minor comments (2)
  1. [Abstract] The abstract should explicitly name the four generators whose action generates the Goeritz group.
  2. [Preliminaries] Notation for the disk complex and its homotopy groups should be introduced with a brief reminder of standard conventions before the index calculation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for their positive evaluation of the result. We address the single major comment below.

read point-by-point responses

  1. Referee: [Section on topological index and minimality] The proof that the topological index equals 2g-1 (used to deduce topological minimality) must be examined for completeness in the analysis of links of vertices and connectivity statements in the disk complex; any gap here directly undermines the reduction to the four generators, as this minimality controls the stabilizers in the subsequent group-theoretic argument.

    Authors: We thank the referee for drawing attention to this foundational step. The proof that the topological index is 2g-1 proceeds by constructing an explicit simplicial model for the disk complex of the Heegaard surface and then determining its homotopy type via a direct computation of the links of vertices together with a verification of the required connectivity properties in each dimension. These steps are carried out without external citations beyond standard facts about simplicial complexes, and the resulting homotopy groups are shown to be nontrivial precisely in dimension 2g-2. Because the argument is self-contained and the connectivity statements are established by induction on the dimension of the links, we believe no gap exists that would affect the subsequent control of stabilizers or the reduction to the four generators. We are therefore confident that the minimality statement is rigorously justified as written. revision: no

Circularity Check

0 steps flagged

Direct proof of external conjecture with independent new argument for topological index

full rationale

The paper proves Powell's conjecture by showing the Goeritz group is generated by four elements, using the topological minimality of the Heegaard surface (nontrivial homotopy in the disk complex). It supplies an original calculation establishing that the topological index equals 2g-1, which is then used to control the relevant homotopy groups and stabilizers. No step reduces a claimed prediction or generator set to a fitted parameter, self-citation chain, or definitional tautology; the supporting index result is derived within the paper rather than imported from prior self-work as an unverified black box. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard facts from 3-manifold topology and algebraic topology together with the domain assumption that Heegaard surfaces are topologically minimal. No free parameters or new entities are introduced.

axioms (2)
  • domain assumption A Heegaard surface of the 3-sphere is topologically minimal (disk complex has nontrivial homotopy group in some dimension)
    Invoked crucially in the proof as stated in the abstract.
  • standard math Standard properties of disk complexes, homotopy groups, and Heegaard splittings in 3-manifolds
    Background assumptions from algebraic and geometric topology used to define topological index and minimality.

pith-pipeline@v0.9.0 · 5669 in / 1344 out tokens · 49911 ms · 2026-05-22T03:03:08.955418+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Bachman, David , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.585 , URL =

    work page doi:10.2140/gt.2010.14.585 2010

  2. [2]

    Birman, Joan and Broaddus, Nathan and Menasco, William , TITLE =. J. Topol. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1142/S179352531550003X , URL =

    work page doi:10.1142/s179352531550003x 2015

  3. [3]

    Duke Math

    Broaddus, Nathan , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1645634 , URL =

    work page doi:10.1215/00127094-1645634 2012

  4. [4]

    Duke Math

    Colding, Tobias Holck and Gabai, David and Ketover, Daniel , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2018-0023 , URL =

    work page doi:10.1215/00127094-2018-0023 2018

  5. [5]

    Surveys in differential geometry 2020

    Colding, Tobias Holck and Gabai, David and Ketover, Daniel , TITLE =. Surveys in differential geometry 2020. [2022] 2022 , MRCLASS =

    work page 2020

  6. [6]

    Johnson, Jesse , TITLE =. J. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/jtopol/jtq021 , URL =

    work page doi:10.1112/jtopol/jtq021 2010

  7. [7]

    Johnson, Jesse , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0002-9939-2010-10545-2 , URL =

    work page doi:10.1090/s0002-9939-2010-10545-2 2010

  8. [8]

    Johnson, Jesse and McCullough, Darryl , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1515/crelle.2012.016 , URL =

    work page doi:10.1515/crelle.2012.016 2013

  9. [9]

    Harer, John , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01389321 , URL =

    work page doi:10.1007/bf01389321 1983

  10. [10]

    2018 , howpublished =

    Michael Freedman and Martin Scharlemann , title =. 2018 , howpublished =

    work page 2018

  11. [11]

    Cho, Sangbum and Koda, Yuya and Lee, Jung Hoon , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2026 , NUMBER =. doi:10.1090/proc/17520 , URL =

    work page doi:10.1090/proc/17520 2026

  12. [12]

    2020 , howpublished =

    Daiki Iguchi , title =. 2020 , howpublished =

    work page 2020

  13. [13]

    Topology , FJOURNAL =

    Waldhausen, Friedhelm , TITLE =. Topology , FJOURNAL =. 1968 , PAGES =. doi:10.1016/0040-9383(68)90027-X , URL =

    work page doi:10.1016/0040-9383(68)90027-x 1968

  14. [14]

    Li, Tao , TITLE =. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-006-0009-y , URL =

    work page doi:10.1007/s00222-006-0009-y 2007

  15. [15]

    , TITLE =

    Brown, Kenneth S. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1987 , NUMBER =. doi:10.1016/0022-4049(87)90015-6 , URL =

    work page doi:10.1016/0022-4049(87)90015-6 1987

  16. [16]

    Topology , FJOURNAL =

    Hatcher, Allen , TITLE =. Topology , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0040-9383(76)90027-6 , URL =

    work page doi:10.1016/0040-9383(76)90027-6 1976

  17. [17]

    , TITLE =

    Hatcher, Allen E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2007035 , URL =

    work page doi:10.2307/2007035 1983

  18. [18]

    Campisi, Marion and Torres, Luis , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0218216520500923 , URL =

    work page doi:10.1142/s0218216520500923 2020

  19. [19]

    2010 , howpublished=

    Determination of the Topological Indices of Surfaces in the 3 -Sphere , author=. 2010 , howpublished=

    work page 2010

  20. [20]

    Powell, Jerome , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/1998131 , URL =

    work page doi:10.2307/1998131 1980

  21. [21]

    Scharlemann, Martin , TITLE =. Bol. Soc. Mat. Mexicana (3) , FJOURNAL =. 2004 , NUMBER =

    work page 2004

  22. [22]

    2016 , PAGES =

    Scharlemann, Martin and Schultens, Jennifer and Saito, Toshio , TITLE =. 2016 , PAGES =. doi:10.1142/10019 , URL =

    work page doi:10.1142/10019 2016

  23. [23]

    Scharlemann, Martin , TITLE =. Proc. Amer. Math. Soc. Ser. B , FJOURNAL =. 2020 , PAGES =. doi:10.1090/bproc/58 , URL =

    work page doi:10.1090/bproc/58 2020

  24. [24]

    Goeritz, Lebrecht , TITLE =. Abh. Math. Sem. Univ. Hamburg , FJOURNAL =. 1933 , NUMBER =. doi:10.1007/BF02940650 , URL =

    work page doi:10.1007/bf02940650 1933