A note on reducing spheres for the genus-4 Heegaard surface in the 3-sphere

Jung Hoon Lee; Sangbum Cho; Yuya Koda

arxiv: 2604.15722 · v1 · submitted 2026-04-17 · 🧮 math.GT

A note on reducing spheres for the genus-4 Heegaard surface in the 3-sphere

Sangbum Cho , Yuya Koda , Jung Hoon Lee This is my paper

Pith reviewed 2026-05-10 07:59 UTC · model grok-4.3

classification 🧮 math.GT

keywords Heegaard surfacereducing sphereweak reducing pairreducing sphere complexgenus 43-sphereconnectivity

0 comments

The pith

A sufficient condition determines when non-separating weak reducing pairs on the genus-4 Heegaard surface in the 3-sphere are separated by a reducing sphere.

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

The paper presents a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere for the genus-4 Heegaard surface in the 3-sphere. This condition allows the connectivity problem in the reducing sphere complex to be reduced to a simpler subproblem. A sympathetic reader would care because the reduction focuses attention on whether reducing spheres that avoid one fixed non-separating compressing disk are connected within the complex. If the condition holds, it narrows the path to proving full connectivity of the complex.

Core claim

For the genus-4 Heegaard surface in the 3-sphere, a sufficient condition is presented for a non-separating weak reducing pair to be separated by a reducing sphere for the surface. As a consequence, the connectivity problem in the reducing sphere complex for the surface is reduced to the problem of showing that any two vertices, whose representative reducing spheres are disjoint from a fixed non-separating compressing disk for the surface, are connected in the complex.

What carries the argument

The sufficient condition on non-separating weak reducing pairs that guarantees they can be separated by a reducing sphere, which simplifies the connectivity analysis in the reducing sphere complex.

If this is right

The connectivity of the reducing sphere complex reduces to verifying connections among vertices whose spheres avoid a fixed non-separating compressing disk.
Any two such vertices must be shown connected to resolve the overall connectivity question.
The reduction applies specifically to the genus-4 case and non-separating pairs 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 same style of condition might be testable on genus-5 or higher surfaces to see if the reduction pattern persists.
Proving connectivity for the restricted set of spheres disjoint from the fixed disk would immediately settle the full connectivity claim.
The approach isolates a low-genus phenomenon that could be checked computationally for small numbers of spheres.

Load-bearing premise

The ambient space is the 3-sphere and the surface has genus exactly 4, with the condition stated only for non-separating weak reducing pairs.

What would settle it

A concrete non-separating weak reducing pair on the genus-4 Heegaard surface in the 3-sphere that cannot be separated by any reducing sphere would show the sufficient condition fails.

Figures

Figures reproduced from arXiv: 2604.15722 by Jung Hoon Lee, Sangbum Cho, Yuya Koda.

**Figure 1.** Figure 1: (a), there are infinitely many separating compressing disks for ∂+V up to isotopy, that can be obtained by banding two parallel copies of D1 along arcs in ∂+V . But such a separating disk cannot form a complete disk system for V by definition [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗

**Figure 2.** Figure 2: A weak reducing sequence D − E′ − ∆ − E′′ − D′ with E′ , ∆, E′′ non-separating. Next, assume that the curve ∂D is non-separating in ∂W1. Then the torus Σ1 contains two scars from D and one scar of E, and Σ1 is the boundary of the solid torus W1 ∪ N(D) [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗

**Figure 3.** Figure 3: A reducing sphere P and a weak reducing sequence D − E ′ − D′′ − E′′ − D′ . Proof of Lemma 1.1. We want to find a reducing sphere P that separates the pair D − E. If one of D and E, say D, is primitive, then by Lemma 2.1 we have a dual disk ∆ ⊂ W of D that is disjoint from E. Then a reducing sphere P for Σ associated with (D, ∆) separates the pair D − E as desired. In this case, the conclusion follows with… view at source ↗

**Figure 4.** Figure 4: The disks D∗∗ 1 in V0 and E∗∗ 1 in W0. Suppose that D∗ 1 ∩ (E × [0, 1]) 6= ∅. Let A be the annulus D∗ 1 ∩ W1 and let F be the disk D∗ 1 ∩ V1. Then D∗ 1 = A ∪ F and α = A ∩ F is a circle in Σ1. Since D∗ 1 is disjoint from E×{0}, E×{1} and E×{ 1 2 }, the disk D∗ 1 intersects E×[0, 1] only in E×(0, 1 2 )∪E×( 1 2 , 1). First assume that D∗ 1 intersects E × (0, 1 2 ). If we cut W1 along E × { 1 2 }, then we get… view at source ↗

**Figure 5.** Figure 5: Isotopies of ∂D∗ 1 and ∂E∗ 1 . Case 1-2. The curves ∂D∗ 1 and ∂E∗ 1 are isotopic in Σ0. Let A be the annulus in Σ0 bounded by ∂D∗ 1 ∪ ∂E∗ 1 . Then, a component of Σ0/(D∗ 1 ∪ E∗ 1 ) is a non-separating 2-sphere in S 3 , a contradiction. Case 2. The curve ∂D∗ 1 is separating and the curve ∂E∗ 1 is non-separating in Σ0. Let S be the 2-sphere component of Σ0/(D∗ 1 ∪ E∗ 1 ), which may contain k scars from E, wh… view at source ↗

**Figure 6.** Figure 6: A reducing sphere P for Σ separating D and E. To have the conclusion, it is enough to show that both curves ∂E0 and ∂D0 are essential in the genus-2 surface Σ0 = Σ/(D ∪ E). If then, both disks D0 and E0 are compressing disks for Σ0, which means Σ0 is compressible to both sides. Thus Lemma 1.1 implies the existence of a reducing sphere P separating the pair D − E. Suppose that ∂E0 is inessential in Σ0. Let … view at source ↗

read the original abstract

For the genus-$4$ Heegaard surface in the $3$-sphere, we present a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere for the surface. As a consequence, we reduce the connectivity problem in the reducing sphere complex for the surface to the problem of showing that any two vertices, whose representative reducing spheres are disjoint from a fixed non-separating compressing disk for the surface, are connected in the complex.

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.

Desk Editor's Note private letter to a colleague

This note reduces the connectivity problem for the reducing sphere complex of the genus-4 Heegaard surface in S^3 to a subcomplex of spheres missing one fixed non-separating disk by giving a sufficient condition on weak reducing pairs.

read the letter

The punchline for this paper is a new sufficient condition that separates non-separating weak reducing pairs by a reducing sphere for the genus-4 Heegaard surface in the 3-sphere, allowing the connectivity problem in the reducing sphere complex to be reduced to the subcomplex consisting of spheres disjoint from a fixed non-separating compressing disk. This is actually new content in the sense that the abstract presents it as a direct contribution rather than a known fact. The paper does well by stating the condition and deriving the reduction in a straightforward way. For the narrow community studying these complexes, this can turn a potentially messy global connectivity question into something more localized and perhaps easier to resolve with pictures or inductive arguments that work in low genus. There are no major soft spots visible. The argument is scoped exactly to this surface and does not rely on unstated assumptions about higher genus. The reduction is a logical consequence once the sufficient condition is accepted, and the stress-test note confirms there is no hidden circularity or unsupported step. If the full manuscript includes a check that the condition is not vacuous, that would strengthen it further, but even without that the reduction stands as a useful observation. This work is really for specialists in 3-manifold topology who are already engaged with Heegaard splittings and disk complexes. Someone outside that subfield would find it too technical and specific to follow without background. A reader trying to settle the connectivity of the reducing sphere complex for this surface would get concrete value from it. It deserves a serious referee because the mathematics is precise and the result is falsifiable in principle through the definitions given. I recommend sending it for peer review. The note is short and focused, but the reduction it provides is worth having in the literature for anyone working on this problem.

Referee Report

1 major / 2 minor

Summary. The manuscript presents a sufficient condition under which a non-separating weak reducing pair on the genus-4 Heegaard surface in S^3 is separated by a reducing sphere. As a consequence, the connectivity problem for the reducing sphere complex is reduced to showing that any two vertices whose representative spheres are disjoint from a fixed non-separating compressing disk remain connected in the complex.

Significance. If the sufficient condition is established and shown to be non-vacuous, the reduction supplies a concrete simplification for analyzing connectivity in the reducing sphere complex of this specific low-genus splitting. Such targeted reductions are useful in Heegaard theory for isolating the essential combinatorial difficulties.

major comments (1)

The manuscript must explicitly define the sufficient condition (presumably in §2 or §3) and verify that it is satisfied by at least one non-separating weak reducing pair; without this, the claimed reduction cannot be evaluated for applicability.

minor comments (2)

Clarify the notation for weak reducing pairs and reducing spheres early in the introduction to ensure the sufficient condition is immediately readable.
Add a brief remark on whether the fixed non-separating compressing disk can be chosen arbitrarily or must satisfy additional properties.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the constructive comment. We agree that the sufficient condition requires clearer exposition and an explicit example to demonstrate that the reduction is applicable.

read point-by-point responses

Referee: The manuscript must explicitly define the sufficient condition (presumably in §2 or §3) and verify that it is satisfied by at least one non-separating weak reducing pair; without this, the claimed reduction cannot be evaluated for applicability.

Authors: We accept this point. In the revised manuscript we will insert an explicit definition of the sufficient condition at the beginning of Section 2, followed immediately by a concrete non-separating weak reducing pair (together with the reducing sphere that separates it) that satisfies the condition. This example will be chosen so that the reader can directly verify both the hypotheses and the conclusion, thereby confirming that the reduction is non-vacuous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a sufficient condition for non-separating weak reducing pairs on the genus-4 Heegaard surface in S^3 to be separated by a reducing sphere, then applies this directly to reduce the connectivity question in the reducing sphere complex to a subproblem on spheres disjoint from one fixed non-separating compressing disk. This is a standard logical implication in a pure topological proof paper with no fitted parameters, self-definitional quantities, or load-bearing self-citations that collapse the central claim back to its inputs. The argument remains self-contained and scoped to the specific low-genus case without circular reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background from 3-manifold topology; no new free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)

standard math Existence and basic properties of Heegaard surfaces, compressing disks, and reducing spheres in the 3-sphere
Invoked implicitly by the statement of the result for the genus-4 surface.

pith-pipeline@v0.9.0 · 5376 in / 1232 out tokens · 25375 ms · 2026-05-10T07:59:53.913994+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Bachman, Critical Heegaard surfaces, Trans

D. Bachman, Critical Heegaard surfaces, Trans. Amer. Math. Soc. 354 (2002), no. 10, 4015–4042

work page 2002
[2]

Bachman, Connected sums of unstabilizd Heegaard splittings a re unstabilized, Geom

D. Bachman, Connected sums of unstabilizd Heegaard splittings a re unstabilized, Geom. Topol. 12 (2008), no. 4, 2327–2378

work page 2008
[3]

Bachman, Topological index theory for surfaces in 3-manifold s, Geom

D. Bachman, Topological index theory for surfaces in 3-manifold s, Geom. Topol. 14 (2010), no. 1, 585–609

work page 2010
[4]

A. J. Casson and C. McA. Gordon, Reducing Heegaard splittings, Topology Appl. 27 (1987), no. 3, 275–283

work page 1987
[5]

S. Cho, Y. Koda, and J. H. Lee, The Powell Conjecture for the g enus-three Heegaard splitting of the 3-sphere, Proc. Amer. Math. Soc. 154 (2026), no. 5, 2195–2208

work page 2026
[6]

S. Cho, Y. Koda, and J. H. Lee, Reducing spheres and weak redu cing pairs for Heegaard surfaces in the 3-sphere, arXiv:2509.24388

work page arXiv
[7]

Farb and D

B. Farb and D. Margalit, A primer on mapping class groups, Princet on Mathematical Series, 49, Princeton University Press, Princeton, NJ, 2012

work page 2012
[8]

C. McA. Gordon, On primitive sets of loops in the boundary of a han dlebody, Topology Appl. 27 (1987), no. 3, 285–299

work page 1987
[9]

Waldhausen, Heegaard-Zerlegungen der 3-Sph¨ are, Topolo gy 7 (1968), 195–203

F. Waldhausen, Heegaard-Zerlegungen der 3-Sph¨ are, Topolo gy 7 (1968), 195–203

work page 1968
[10]

Zupan, The Powell conjecture and reducing sphere complex es, J

A. Zupan, The Powell conjecture and reducing sphere complex es, J. Lond. Math. Soc. (2) 101 (2020), no. 1, 328–348. Department of Mathematics Education, Hanyang University, Seoul 04763, Korea Email address : scho@hanyang.ac.kr Department of Mathematics, Hiyoshi Campus, Keio Universit y, Yokohama 223-8521, Japan, and International Institute for Sustainabil...

work page 2020

[1] [1]

Bachman, Critical Heegaard surfaces, Trans

D. Bachman, Critical Heegaard surfaces, Trans. Amer. Math. Soc. 354 (2002), no. 10, 4015–4042

work page 2002

[2] [2]

Bachman, Connected sums of unstabilizd Heegaard splittings a re unstabilized, Geom

D. Bachman, Connected sums of unstabilizd Heegaard splittings a re unstabilized, Geom. Topol. 12 (2008), no. 4, 2327–2378

work page 2008

[3] [3]

Bachman, Topological index theory for surfaces in 3-manifold s, Geom

D. Bachman, Topological index theory for surfaces in 3-manifold s, Geom. Topol. 14 (2010), no. 1, 585–609

work page 2010

[4] [4]

A. J. Casson and C. McA. Gordon, Reducing Heegaard splittings, Topology Appl. 27 (1987), no. 3, 275–283

work page 1987

[5] [5]

S. Cho, Y. Koda, and J. H. Lee, The Powell Conjecture for the g enus-three Heegaard splitting of the 3-sphere, Proc. Amer. Math. Soc. 154 (2026), no. 5, 2195–2208

work page 2026

[6] [6]

S. Cho, Y. Koda, and J. H. Lee, Reducing spheres and weak redu cing pairs for Heegaard surfaces in the 3-sphere, arXiv:2509.24388

work page arXiv

[7] [7]

Farb and D

B. Farb and D. Margalit, A primer on mapping class groups, Princet on Mathematical Series, 49, Princeton University Press, Princeton, NJ, 2012

work page 2012

[8] [8]

C. McA. Gordon, On primitive sets of loops in the boundary of a han dlebody, Topology Appl. 27 (1987), no. 3, 285–299

work page 1987

[9] [9]

Waldhausen, Heegaard-Zerlegungen der 3-Sph¨ are, Topolo gy 7 (1968), 195–203

F. Waldhausen, Heegaard-Zerlegungen der 3-Sph¨ are, Topolo gy 7 (1968), 195–203

work page 1968

[10] [10]

Zupan, The Powell conjecture and reducing sphere complex es, J

A. Zupan, The Powell conjecture and reducing sphere complex es, J. Lond. Math. Soc. (2) 101 (2020), no. 1, 328–348. Department of Mathematics Education, Hanyang University, Seoul 04763, Korea Email address : scho@hanyang.ac.kr Department of Mathematics, Hiyoshi Campus, Keio Universit y, Yokohama 223-8521, Japan, and International Institute for Sustainabil...

work page 2020