Pith. sign in

REVIEW 5 major objections 4 minor 14 references

Genus three Goeritz groups of connected sums of two lens spaces

T0 review · 5 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The Goeritz groups of genus-three reducible Heegaard splittings of connected sums of two lens spaces are finitely generated, and their reducing sphere complexes are connected.

desk verdict Real, useful progress on finite generation of Goeritz groups, but the keystone lemma is under-proved and needs to be filled before the theorem is fully established. read the letter →

arxiv 2411.15471 v1 pith:4EXP3OO5 submitted 2024-11-23 math.GT

Hao Chen , YanQing Zou This is my paper · ORCID
classification math.GT MSC 57K3057K2020F05
keywords GoeritzgroupHeegaardsplittingreducingspherecomplexfinitegenerationlensspaceseyeglasstwistvisionalbubblemovemappingclass
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 that for every genus-three reducible Heegaard splitting of a connected sum of two lens spaces, the Goeritz group — the group of orientation-preserving diffeomorphisms of the manifold that preserve the two handlebodies — is finitely generated. This is the first finite-generation result for this family of weakly reducible splittings (splittings whose two handlebodies contain disjoint essential disks). The same argument shows that the reducing sphere complex, a simplicial complex whose vertices are reducing curves, is connected for these splittings. The proof works by pinning the Goeritz group down to three stabilizer subgroups, proving each stabilizer is finitely generated by a reduction to genus at most two, and then assembling them.

What carries the argument

The central objects are eyeglass twists, automorphisms built from a weakly reducing pair of disks joined by an arc, and visional bubble moves, automorphisms that push a singular bubble (a submanifold bounded by a reducing sphere) along a path; together they generate enough of the Goeritz group. The load-bearing identity is $G(N,\Sigma) = \langle H_1, H_2, H_3\rangle$, where $H_i$ fixes the isotopy class of the reducing curve $\mu_i$. Finite generation of each $H_i$ is obtained from exact sequences that cap off one side of the reducing sphere; the kernel of the capping map is generated by a single Dehn twist about the reducing curve, and the image is a Goeritz group of the capped manifold, which has smaller genus.

What would settle it

Check Lemma 5.1 directly: on a genus-two surface with one boundary component, explicitly search for a diffeomorphism in the kernel of the action on isotopy classes of oriented essential simple closed curves that is not a power of the boundary Dehn twist. The existence of such a diffeomorphism would invalidate Lemma 5.1 and with it the exact sequence (1), so the finite-generation conclusion for Gμ would no longer follow.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the Goeritz group $G(N,\Sigma)$ of a genus-three reducible splitting $N = V \cup_\Sigma W$ with $N$ a connected sum of two lens spaces coincides with the subgroup $H$ generated by the stabilizers $H_1, H_2, H_3$ of the three curves $\mu_1, \mu_2, \mu_3$ cut out by a complete sphere triplet. Each $H_i$ is finitely generated via an exact-sequence argument that caps off the bubble bounded by the reducing sphere and compares the stabilizer to the Goeritz group of the capped manifold; the base cases are the genus at most two Goeritz groups of lens spaces and their connected sums, which were previously known to be finitely generated. Consequently $G(N,\Sigma)$ is finitely generated, and the reducing sphere complex is connected.

Load-bearing premise

The whole proof depends on the claim that the only diffeomorphisms of a capped surface that fix the isotopy class of every oriented essential simple closed curve are powers of the Dehn twist about the reducing curve, and that this twist acts trivially in the capped manifold; the paper sketches this by induction on genus without writing out the induction.

Editorial extensions

If this is right

  • If Theorem 1.1 is right, every genus-three reducible splitting of a connected sum of two lens spaces has a finitely generated Goeritz group, resolving the finiteness question for that family.
  • The reducing sphere complex $R$ is connected for such splittings (Corollary 1.2), so any two reducing spheres can be connected by a chain of pairwise disjoint reducing spheres.
  • Theorem 1.3 gives a general transfer principle: whenever the two summand splittings have finitely generated (or finitely presented) Goeritz groups, the stabilizer $G_\mu$ of the reducing curve is finitely generated (or finitely presented).
  • Combining Theorem 1.3 with known finite-generation results for genus at most two yields finite generation of the stabilizers $H_i$, and hence of $G(N,\Sigma)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A plausible extension is that the same exact-sequence scheme proves finite presentability of these Goeritz groups, not just finite generation, if the genus at most two base cases are finitely presented; the paper only states finite generation for the genus-three case.
  • The identity $G(N,\Sigma)=H$ suggests a normal-generating set: the whole Goeritz group of such a splitting might be generated by the stabilizers of the three curves of a complete sphere triplet; this could serve as an algorithm to compute presentations for explicit lens-space sums.
  • The connectedness of the reducing sphere complex may open the door to studying its higher homotopy type, in analogy with curve complexes; the paper only proves connectedness.
  • Because the proof of Lemma 5.1 is sketched by induction on genus, a fully written inductive proof of that lemma would be needed before adapting the same strategy to arbitrary genus reducible splittings.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 4 minor

Summary. The paper studies genus-three reducible Heegaard splittings of connected sums of two lens spaces. Its main claim, Theorem 1.1, is that the Goeritz group of any such splitting is finitely generated, and Corollary 1.2 asserts connectedness of the corresponding reducing sphere complex. The proof strategy is modular: introduce three reducing curves μ_i, define their stabilizers H_i inside the Goeritz group, prove via the strong Haken theorem of Freedman-Scharlemann and eyeglass-twist reductions that the whole Goeritz group equals the subgroup H generated by the H_i (Theorem 4.5), and then prove each H_i is finitely generated using capping homomorphisms and known finite generation of genus at most two Goeritz groups (Section 5). The paper also states a more general result, Theorem 1.3, that finite generation of the two summand Goeritz groups implies finite generation of the stabilizer G_μ of the reducing curve μ.

Significance. If the proof can be completed, Theorem 1.1 would give the first finite-generation result for Goeritz groups of weakly reducible genus-three Heegaard splittings outside the genus-two cases already treated by Cho and Koda, and Corollary 1.2 would provide a new family of connected reducing sphere complexes. The overall architecture is attractive and potentially reusable: it separates the problem into a generation statement for the whole Goeritz group and a finite-generation statement for stabilizers of reducing curves. The paper is also honest in its dependence on external anchors—Freedman-Scharlemann's strong Haken theorem, Cho-Koda's lower-genus results, and standard mapping class group sequences—and it introduces no free parameters. However, several load-bearing arguments are only sketched or delegated to omitted cases, most importantly the rigidity statement in Lemma 5.1. The significance is therefore conditional on filling these gaps.

major comments (5)
  1. [Lemma 5.1, Section 5] Lemma 5.1 is the keystone of the finite-generation argument, but its proof is not supplied. From ρ1(f)=id and [FM12, Lemma 3.16] the authors conclude that f fixes every oriented essential simple closed curve in the bordered surface Σ_B, and then state: 'Then we can prove by induction on genus that such a diffeomorphism is isotopic to a power of Dehn twist along the boundary curve μ.' This is a strong rigidity statement and is not a formal consequence of the cited lemma. The omitted induction is the only justification for identifying I(ρ') ∩ I(ρ) with ⟨τ̃_μ⟩, which in turn makes the exact sequences (1)-(3) and Lemma 5.3 valid. If the kernel of the action on oriented essential curves of Σ_B is larger than the subgroup generated by the boundary twist, then the finite-generation conclusion for G_μ, and hence for each H_i, collapses. Please provide a complete proof of Lemma 5.1 or a precise reference that contains this statement.
  2. [Lemma 4.1, Section 4] The proof of Lemma 4.1 is incomplete in the induction step of Case 3. After applying the visional bubble move h, the authors assert that an outermost-disk compression of D along D′ produces two essential disks whose boundary curves α1 ∪ α2 intersect h(λ) in at most one point; no argument for this bound is given, and the subsequent split into Subcases 3.1 and 3.2 depends on it. Moreover, the induction step only records I(h(α), μ3) ≤ I(α, μ3), not a strict decrease, so it is unclear why the induction hypothesis applies when equality occurs. Finally, the sentence 'The proof for the other cases are similar. So we omit it' covers several remaining configurations, including the analogues for i=2 and i=3. Since Lemma 4.1 is used in Theorem 4.5 to show every eyeglass twist lies in H, these gaps are load-bearing.
  3. [Lemma 4.2 and Claim 4.3, Section 4] The compression argument in Lemma 4.2 is not fully justified. Claim 4.3 only establishes that the assumption that S contains no scar of D leads to a contradiction when α is separating, but it does not prove the converse direction needed for the construction: that the curves ℓ1 and ℓ2 chosen on the compressed sphere S are reducing curves for the original Heegaard surface Σ. The sentence 'It is not hard to see that both ℓ1 and ℓ2 are reducing curves' is essential, because these curves are used to produce the complete sphere triplet T′ and to apply Lemma 2.2. This lemma is needed for Subcase 2.2 of Theorem 4.5, so the missing justification should be supplied.
  4. [Theorem 4.5, Section 4] The proof of Theorem 4.5, Case 1, contains an unjustified bridge. After choosing a reducing sphere S with μ̄ ∈ O1, the text says: 'By an innermost argument, these two essential spheres S and S1 are isotopic.' Under Definition 2.1, isotopy of reducing spheres is required to preserve the Heegaard surface Σ, so if μ is not isotopic to μ1 as a curve on Σ, this statement cannot hold. The subsequent appeal to Theorem 4.4 requires the sphere sets to be properly isotopic. The proof should either justify this isotopy claim or reformulate the argument so that only the aligned sphere sets associated with S and S1 are compared after applying a suitable element of the Goeritz group. As written, this step is the main bridge from arbitrary elements of G(N,Σ) to bubble moves and eyeglass twists, and it is not established.
  5. [Theorem 4.5, Section 4, Case 2] The case N1 = N2 is dismissed with 'By the same argument as above ... with only slight modifications.' This case is needed for the full statement of Theorem 1.1, since a connected sum of two lens spaces may have equal summands. In particular, the construction of a diffeomorphism f with f(S1,S2,S3) = (S2,S1,S3) is asserted, and it is claimed that this implies O′_1 = O′_2. But O′_1 and O′_2 are orbits under the subgroup H, not under the full Goeritz group, so it is unclear why existence of f ∈ Diff^+(N,Σ) swapping the spheres implies equality of the H-orbits. Please supply the details of this case, including why the constructed f can be taken in H or why the orbit equality follows differently.
minor comments (4)
  1. [Throughout] There are numerous typographical and grammatical errors, including 'Futhermore' before Definition 3.2, 'buddle move' in Theorem 4.5, 'Geschlect' in the reference [Goe33], 'squence' after equation (2), and 'M od' in Lemma 5.3. These should be corrected.
  2. [Lemma 3.3 and following display] The notation E_k(S_i) is overloaded: the same symbol is used for the generating set and for the subgroup it generates, and the displayed chain E_1(S_i) = E_2(S_i) = ... appears immediately after proving E_{k+1}(S_i) ≤ E_k(S_i). The intended meaning is clear, but the notation should be disambiguated and the inclusions stated consistently.
  3. [Lemma 5.2, Section 5] In the proof of Lemma 5.2, the phrase 'Then We extend f|B by the identity' is ambiguous; the intended operation is to extend the identity on B to obtain a diffeomorphism of N, not to extend the restriction f|B . Rewording would avoid confusion.
  4. [Figure references, Section 4] Several arguments in Lemma 4.1 and Lemma 4.2 rely on Figures 5, 6, 9, and 10, but the written text does not state which facts are being illustrated and which are being proved. The induction in Lemma 4.1 would be much easier to verify if the figure captions explicitly identified the curve h(λ), the arc λ3, and the new eyeglasses in each subcase.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and reduces to external lower-genus and standard mapping class group results.

full rationale

The paper's central claim is derived without using the target result as an input. Theorem 4.5 proves G(N,Σ)=H by showing every reducing sphere lies in the H-orbit using the external strong Haken theorem [FS24] and lemmas about eyeglass twists and bubble moves. Section 5 proves each stabilizer H_i is finitely generated by building a capping exact sequence and reducing to finite generation of genus at most two Goeritz groups of lens spaces and their connected sums, which are cited externally from Cho and Koda [Cho13, CK16, CK19]. The Birman exact sequence and capping-kernel facts are cited from Farb–Margalit [FM12], also external. There are no fitted parameters, no data-fitting renamed as prediction, and no self-citation chain that assumes Theorem 1.1. The reference to 'the second author' in the introduction is contextual and not load-bearing. The only load-bearing unproved statement is the 'induction on genus' assertion in Lemma 5.1, which is a potential correctness gap rather than a circular reduction: it does not define the target result in terms of itself, nor does it fit the conclusion into the assumptions. Therefore no circularity is exhibited.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted constants or new physical entities are introduced. The proof imports standard mapping class group machinery and the strong Haken theorem as external results. The only new object, the visional bubble move, is a construction within the existing Goeritz group rather than a postulate.

assumptions (5)
  • domain assumption Strong Haken uniqueness: any two properly isotopic sphere sets that are aligned with Σ are related by bubble moves and eyeglass twists up to equivalence [FS24, Theorem 1.6].
    Invoked as Theorem 4.4 to show every reducing sphere is connected to S1 by moves, which is the core of Theorem 4.5 (G=H).
  • domain assumption Transitivity of complete sphere triplets: Lemma 2.1 asserts any complete sphere triplet is diffeomorphic to the standard triplet (S1,S2,S3).
    The proof is a gluing argument over four regions; it assumes uniqueness of the decomposition of a connected sum of two lens spaces.
  • standard math Birman exact sequence and capping kernel description from Farb-Margalit [FM12, Lemma 3.16, Proposition 3.19].
    Used in Section 5 to identify the kernel of the Forget map with π1(Σ(B)) and to identify I(ρ')∩I(ρ) with the group generated by the boundary Dehn twist.
  • domain assumption Finite generation of Goeritz groups for genus at most two splittings of lens spaces and their connected sums [Cho13, CK16, CK19].
    Supplies the base cases for the induction proving Theorem 1.1.
  • domain assumption Decomposition of an eyeglass twist into two eyeglass twists when a lens is a band sum, Lemma 3.2, from [FS18, Figure 8].
    Used in the inductive reduction of intersection numbers in Lemma 4.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Genus three Goeritz groups of connected sums of two lens spaces." pith.science (2026). https://pith.science/paper/4EXP3OO5

@misc{pith2026241115471,
  author       = {Pith},
  title        = {Pith review of: Genus three Goeritz groups of connected sums of two lens spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4EXP3OO5}},
  note         = {Machine review of arXiv:2411.15471}
}
read the original abstract

We prove that the mapping class groups of the genus 3 Heegaard splittings of the connected sum of two lens spaces are finitely generated, and the corresponding reducing sphere complexes are all connected.

Figures

Figures reproduced from arXiv: 2411.15471 by the authors.

Figure 1
Figure 1. Heegaard surface Σ and triplet T 3. Eyeglass Twist and Bubble Move A Heegaard splitting N = A ∪Σ B is weakly reducible if there are two disjoint properly embedded essential disks, a and b in A and B respectively. We call (a, b) a weakly reducing pair for Σ. An eyeglass is a triple (a, b, λ), where (a, b) is a weakly reducing pair for Σ and λ ⊂ Σ is an arc connecting a and b with its interior disjoint from them. For … view at source ↗
Figure 2
Figure 2. eyeglass twist Let η = (a, b, λ) be an eyeglass, where α d= ∂a, β d= ∂b, and ∆ a regular neighborhood of α ∪ λ ∪ β in surface Σ. Denote by γ the component(as in [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. regular neighborhood ∆ Definition 3.2. Suppose η1 and η2 are two eyeglasses in N. They are isotopic if there is an isotopy Ht(0 ≤ t ≤ 1) : (N, Σ) → (N, Σ) such that H0 = id and H1(η1) = η2. Futhermore, the isotopy class of an eyeglass η is denoted by [η]. It is not hard to see that the eyeglass twist Tη depends only on the isotopy class of η. In analogy to the case for Dehn twists, we have the following lemma. Lemma… view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: composition of eyeglass twists Proof. See [PITH_FULL_IMAGE:figures/full_fig_p005_4.png]
Figure 5
Figure 5. Figure 5: The point p divides λ into two segments, λ1 and λ2, where λ1 denotes the one that is disjoint from µi ; see [PITH_FULL_IMAGE:figures/full_fig_p005_5.png]
Figure 5
Figure 5. Figure 5: intersection pattern p' (a) new eyeglass β α γ (b) new intersection pattern [PITH_FULL_IMAGE:figures/full_fig_p006_5.png]
Figure 7
Figure 7. Figure 7: a bubble move Given a genus 1 trivial bubble B for Σ, a bubble(B) move represents an element of G(N, Σ). The subgroup of G(N, Σ) generated by all bubble(B) moves is denoted by VΣ(B). For a singular bubble B, the definition of a bubble move does not directly apply. Ther…
Figure 8
Figure 8. Figure 8: Heegaard surface Σ′ where Hi is the stabilizer of the isotopy class of the curve µi . Furthermore, let H be the subgroup of G(N, Σ) generated by H1, H2, and H3, i.e., H = ⟨H1, H2, H3⟩. According to the definition of the visional bubble moves, we have VΣ(Bi) ⩽ Hi . 4. S…
Figure 10
Figure 10. Figure 10: It is not hard to see that Th(η) can be expressed as a composition of Tη1 and Tη2 . It follows that Th(η) ∈ H. The proof for the other cases are similar. So we omit it. □ Lemma 4.2. For any eyeglass η = (a, b, λ) (with ∂η = (α, β, λ)) satisfying that both α and β lie …
Figure 10
Figure 10. Figure 10: new eyeglasses Hence S contains D and the scars of a and b. Then we choose two disjoint simple closed curves ℓ1, ℓ2 ⊂ S such that ℓ1 cuts off a disk containing only the scars of a, while ℓ2 cuts off a disk containing only the scars of b. It is not hard to see that bot…
Figure 11
Figure 11. Figure 11: a pair of pants bounded by g (λi+1), ℓ, and µ1 By the above argument, we have completed the proof for the statement that λ¯ i ∈ O′ 1 ∪ O′ 2 for all i ⩽ n. In particular, ¯µ = λ¯ n ∈ O′ 1 ∪ O′ 2 . However, ¯µ ∈ O1, O1 ∩ O2 = ∅, and O′ i ⊂ Oi ; it implies that ¯µ ∈ O′ 1…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 13 canonical work pages

  1. [1]

    Genus-two Goeritz groups of lens spaces

    Sangbum Cho. Genus-two Goeritz groups of lens spaces. Pacific Journal of Mathematics , 265(1):1--16, 2013. Publisher: Mathematical Sciences Publishers

    work page 2013

  2. [2]

    Connected primitive disk complexes and genus two Goeritz groups of lens spaces

    Sangbum Cho and Yuya Koda. Connected primitive disk complexes and genus two Goeritz groups of lens spaces. International Mathematics Research Notices , 2016(23):7302--7340, 2016. Publisher: Oxford University Press

    work page 2016

  3. [3]

    The mapping class groups of reducible Heegaard splittings of genus two

    Sangbum Cho and Yuya Koda. The mapping class groups of reducible Heegaard splittings of genus two. Transactions of the American Mathematical Society , 371(4):2473--2502, 2019

    work page 2019

  4. [4]

    A Primer on Mapping Class Groups ( PMS -49)

    Benson Farb and Dan Margalit. A Primer on Mapping Class Groups ( PMS -49) . Princeton University Press, 2012

    work page 2012

  5. [5]

    Powell moves and the Goeritz group, April 2018

    Michael Freedman and Martin Scharlemann. Powell moves and the Goeritz group, April 2018. arXiv:1804.05909 [math]

    arXiv 2018

  6. [6]

    Uniqueness in Haken ’s theorem

    Michael Freedman and Martin Scharlemann. Uniqueness in Haken ’s theorem. Michigan Mathematical Journal , 74(1):119--142, 2024. Publisher: University of Michigan, Department of Mathematics

    work page 2024

  7. [7]

    Goeritz, Die Abbildungen der Brezelfl\"ache und der Volbrezel vom Gesschlect 2, Abh

    L. Goeritz, Die Abbildungen der Brezelfl\"ache und der Volbrezel vom Gesschlect 2, Abh. Math. Sem. Univ. Hamburg 9 (1933) 244--259

    work page 1933

  8. [8]

    Problems

    Cameron McA Gordon. Problems. In Heegaard splittings of 3--manifolds ( Haifa 2005) , pages 401--411, Haifa, December 2007. Mathematical Sciences Publishers. ISSN: 1464-8989, 1464-8997

    work page 2005

Show all 14 references
  1. [9]

    Strong Haken via Sphere Complexes , February 2021

    Sebastian Hensel and Jennifer Schultens. Strong Haken via Sphere Complexes , February 2021. arXiv:2102.09831 [math]

    2021 arXiv

  2. [10]

    Homeomorphisms of s^3 leaving a Heegaard surface invariant

    Jerome Powell. Homeomorphisms of s^3 leaving a Heegaard surface invariant. Trans. Amer. Math. Soc. , 257(1):193--216, 1980

    1980

  3. [11]

    Powell's Conjecture on the Goeritz group of \ S 3\ is stably true, November 2022

    Martin Scharlemann. Powell's Conjecture on the Goeritz group of \ S 3\ is stably true, November 2022. arXiv:2210.13629 [math]

    2022

  4. [12]

    A strong Haken theorem

    Martin Scharlemann. A strong Haken theorem. Algebraic & Geometric Topology , 24(2):717--753, 2024. Publisher: Mathematical Sciences Publishers

    2024

  5. [13]

    Strong Haken via Thin Position , February 2024

    Scott Taylor. Strong Haken via Thin Position , February 2024. arXiv:2402.14077 [math]

    2024 arXiv

  6. [14]

    The Powell conjecture and reducing sphere complexes

    Alexander Zupan. The Powell conjecture and reducing sphere complexes. J. London Math. Soc. , 101(1):328--348, February 2020

    2020

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.