Embedded surfaces with trivial extendable mapping class groups in simply connected $4$-manifolds

Weizhe Niu

REVIEW 1 major objections 4 minor 17 references

Embedded surfaces with trivial extendable mapping class groups in simply connected $4$-manifolds

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For every genus at least three and every knot K, infinitely many genus-g surfaces in S^4 have trivial extendable symmetry group and prescribed first Alexander module.

desk verdict A long, serious construction that plausibly proves the first trivial extendable mapping class groups for surfaces in S^4 with prescribed Alexander module; worth a careful referee, with two verification flags. read the letter →

arxiv 2608.01504 v1 pith:JCRBCDQW submitted 2026-08-02 math.GT

Weizhe Niu This is my paper · ORCID

classification math.GT MSC 57K4057K4557R50

keywords knottedsurfacesrimsurgeryextendablemappingclassgroupsAlexandermodulesBass–Serretheory4-manifoldstopologicalequivalence

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 ambient symmetry of an embedded surface can be switched off completely while an abelian knot invariant is prescribed. For every genus g≥3 and every classical knot K⊂$S^{3}$, it constructs infinitely many pairwise topologically inequivalent smoothly embedded genus-g surfaces in $S^{4}$ whose orientation-preserving extendable mapping class subgroups are trivial in both the smooth and topological categories, and whose first Alexander module is isomorphic to the Alexander module of K. The rigidity is detected entirely by nonabelian information in the exterior group; the Alexander data are prescribed independently. The construction uses an ordered sequence of ordinary untwisted rim surgeries with hyperbolic knots inside a 4-ball, so the same family embeds in every closed, connected, oriented, simply connected smooth 4-manifold.

What carries the argument

The load-bearing mechanism is the one-step exterior-group amalgam produced by an ordinary untwisted rim surgery, together with the push-off homomorphism. If F' is obtained from F by rim surgery along d using a hyperbolic knot J, then G' = G *_{\langle μ,h\rangle}(K_J×\langle h\rangle), where μ is the positive meridian and h=ρ_F(d); there is a canonical retraction r:G'→G with r∘ρ_{F'}=ρ_F and kernel the normal closure of [K_J,K_J]. The new push-off inserts conjugates of the preferred longitude of J at each crossing, in traversal order, so the exterior group remembers the curve rather than only its homology class. Bass–Serre theory then yields the centralizer–transporter property for each edge subgroup, the cyclic-subgroup conjugacy condition used to recover curves, and a reverse induction descending from G_i to G_{i-1}; a filling curve system with trivial labelled stabilizer completes the rigidity.

What would settle it

The most direct check is to take the smallest case, g=3 with the unknot as the prescribed module, follow the explicit construction, and compute the meridian-fixing automorphisms of the final exterior group that intertwine the push-off homomorphism with a mapping class; the theorem predicts only the identity can occur, so exhibiting a nontrivial such pair would refute it. A second check is to test whether two different varying hyperbolic knots in the family have isomorphic meridian-marked groups; by rigidity of finite-volume hyperbolic 3-manifolds they would then have equal volume, so comparing the chosen strictly increasing volumes settles whether the distinguishing mechanism works.

Watch

Extended reading notes

Core claim

The central discovery is a full rigidity theorem. For every g≥3 and every classical knot K, there exist infinitely many pairwise topologically inequivalent smoothly embedded genus-g surfaces F_{g,n}⊂$S^{4}$ with E^+_TOP(F_{g,n})=E^+(F_{g,n})=1 and A_1(F_{g,n})≅A(K) as modules over Λ=Z[t,$t^{{-1}}$]. The method first makes the surface subgroup visible in the exterior: after preliminary rim surgeries the push-off homomorphism ρ_0:π_1(Σ_g)→π_1(E_{F_0}) is injective, and each further rim surgery along a curve d_i with hyperbolic knot J_i changes the exterior group by the amalgam G_i≅G_{i-1}*_{\langle μ,h_i\rangle}(K_{J_i}×\langle h_i\rangle). The nonabelian centralizer structure of these amalgams identifies the product vertex group B_i, hence the surgery curve d_i, from the exterior group together with the positive meridian; a labelled filling system with trivial stabilizer then forces any extendable mapping class to be the identity. The first Alexander module is a direct sum of the Alexander modules of the chosen knots, so it can be prescribed independently of the rigidity.

Load-bearing premise

The load-bearing premise is that two external supply theorems hold—every knot's Alexander data is realized by a hyperbolic knot, and infinitely many Alexander-trivial hyperbolic knots have pairwise non-isomorphic groups—because if either supply fails the infinite family with the prescribed Alexander module collapses.

Editorial extensions

If this is right

For every genus g≥3 there are infinitely many topologically distinct genus-g surfaces in S^4 with trivial full extendable mapping class group, including many with vanishing first Alexander module.
The same infinite families sit inside every closed, connected, oriented, simply connected smooth 4-manifold, because the entire construction is supported in a 4-ball.
Topological inequivalence of the surfaces implies smooth inequivalence and non-isotopy, so the family provides infinitely many distinct knotted embeddings.
The Alexander module can be prescribed arbitrarily while the rigidity remains intact; the distinguishing invariant is the nonabelian centralizer structure of the exterior group.

Reading between the lines

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

Inference: the same reverse-induction recognition should apply to any ordered sequence of rim surgeries whose curves form a labelled filling system with trivial stabilizer, so the method is not bound to the specific filling chain built here.
Inference: replacing the trivial labelled stabilizer by a prescribed finite subgroup of the mapping class group might yield surfaces whose extendable subgroup is exactly that subgroup, if a filling system with that stabilizer exists.
Inference: since the Alexander module is a direct sum of knot-module summands, one could prescribe a direct sum of several knots' Alexander modules, not just a single one, by using more prescribed-module knots at preliminary stages.

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, and a circularity audit.

Desk Editor's Note

read the letter

The headline is simple: this is the first construction I know of positive-genus smoothly embedded surfaces in S^4 whose full orientation-preserving extendable mapping class group is trivial, in both the smooth and topological categories, with the first Alexander module prescribed arbitrarily. That's a real advance on the small-groups side of the realization problem. The previous record from Liu-Ni-Sun-Wang and Q. Liu gave finite or homology-controlled extendable subgroups; Baykur-Sunukjian got trivial extendable groups but in a hyperbolic 4-manifold, not a simply connected one. If Theorem 1.1 is right, it settles the 'as small as possible' direction in every genus at least 3.

What I find genuinely new is the method: an ordered sequence of rim surgeries where the traversal order is recorded in the push-off homomorphism, and a Bass-Serre centralizer-recognition theorem that recovers each surgery curve from the exterior group. It is a clever way to turn a nonabelian group invariant into a geometric rigidity statement. The paper is 84 pages of explicit lemmas and conventions, with no internal contradiction that I could find. The dependencies between sections are honest, and the final Alexander-module computation is direct. The reader's circularity worry does not land: the rigidity proof builds exterior groups, then proves recognition, then applies it.

The soft spots are proportionate. The main load-bearing point is Proposition 15.5, which relies on Friedl's theorem (any Alexander module from a hyperbolic knot) and Kalfagianni's theorem (Alexander-trivial hyperbolic knots with large volume). Both are published and the reduction to them looks correct, so this is a verification point, not a demonstrated flaw. The second flag is that the author says DeepSeek was used for algebraic computations in Propositions 8.4, 9.4, and 15.2. Those three propositions are not peripheral; they are central to the centralizer classification and the Alexander-module calculation. I would want independent, human-checkable proofs of those before accepting the whole chain. The paper is not machine-checked, so that verification burden is real.

Overall, who is this for? Topologists working on surfaces in 4-manifolds, mapping class groups, and Alexander invariants. It deserves a serious referee. Send it to referees, with a request to focus on the AI-assisted computations and the quoted supply theorems. I would not desk reject this.

Referee Report

1 major / 4 minor

Summary. The paper proves Theorem 1.1: for every g ≥ 3 and every classical knot K in S^3, there are infinitely many pairwise topologically inequivalent smoothly embedded genus-g surfaces in S^4 whose orientation-preserving extendable mapping class groups are trivial in both the topological and smooth categories and whose first Alexander module is isomorphic to A(K). The construction starts with the standard unknotted surface, performs preliminary rim surgeries along meridian-disk boundaries to make the push-off homomorphism injective, then performs an ordered sequence of rim surgeries along a filling chain of curves with consecutive geometric intersection one. The exterior groups are analyzed by Bass–Serre theory: each product vertex group is recognized intrinsically from the exterior group together with the positive meridian, and the centralizer classification in Sections 6–11 lets the reverse induction recover each surgery curve and descend to the previous exterior. A filling chain with trivial labelled stabilizer in Section 12 converts this into the statement that any extendable mapping class is the identity. The Alexander module is computed by Mayer–Vietoris in Section 15, and two published knot-supply theorems, Friedl's and Kalfagianni's, are used to prescribe the module and to produce infinitely many distinct surfaces. Corollary 1.2 transfers the construction to arbitrary closed simply connected smooth 4-manifolds.

Significance. If correct, this is the first construction of closed oriented positive-genus smoothly embedded surfaces in S^4 with trivial full orientation-preserving extendable subgroup, and the first with prescribed first Alexander module. The manuscript is exceptionally explicit about based push-off formulas, groupoid conventions, and the hypotheses needed at each induction step; the centralizer–transporter and cyclic-subgroup conjugacy conditions are stated as definitions, and the Bass–Serre arguments are self-contained. The main external input is Proposition 15.5, which uses Friedl's realization of Seifert matrices by hyperbolic knots and Kalfagianni's hyperbolic knots with trivial Alexander polynomial and arbitrarily large volume; both reductions appear correct, and I found no internal inconsistency or circularity in the recognition chain of Sections 6–11. The paper therefore makes a substantial contribution to the realization problem for extendable mapping class groups.

major comments (1)

[§15.4, Proposition 15.5] The construction of infinitely many pairwise inequivalent surfaces with prescribed Alexander module rests entirely on the two external supply theorems, [5, Theorem 1.1] and [10, Theorem 1.2]. I have checked the reductions: the elementary-enlargement computations do preserve the full Λ-module cokernel because the added 2×2 blocks have determinants t and 1, both units in Λ, and Mostow–Prasad rigidity converts strictly increasing volumes into pairwise nonisomorphic groups. The dependency is therefore real but not a demonstrated flaw. To make the paper easier to verify, please state the exact published formulations of the two theorems, including the precise class of Seifert matrices in [5] and the volume-growth condition in [10], and confirm that the meridian can be chosen compatibly with the paper's positive-meridian convention. This is a verification point rather than a correction to the internal argument.

minor comments (4)

[Title and abstract] There are typographical spacing errors, most notably 'simply connected4-manifolds' in the title and several instances of 'S4' that should read 'S^4'; these should be fixed in the final version.
[§15.4, Proposition 15.5] In the row/column computation, please state explicitly that the two 2×2 blocks have determinants t and 1 respectively, both units in Λ, since the current wording asserts invertibility without giving the determinants and a reader might initially misread the first block as having determinant t outside the units of Z[t,t^{-1}].
[§12, Lemma 12.7] The map κ_c is not injective, as the proof notes by allowing arc endpoints to move along the boundary; it would help to add one sentence after the statement that this non-injectivity is intentional and is controlled in Lemma 12.8 through the twist relationship.
[§15.5, Proof of Theorem 1.1] After choosing K^♯ and the sequence L_r, it would be helpful to state explicitly that the fixed rank-two knots form a finite set and that the varying knot J_{i_0} is chosen from the L_r outside that finite set, so that the pairwise-nonisomorphism hypothesis of Theorem 14.1 is satisfied at every stage.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is self-contained apart from correctly applied external knot-supply theorems, and the sole self-citation is contextual.

full rationale

The derivation chain is not circular. Theorem 1.1 is proved by an explicit rim-surgery construction: the ordered filling system of Theorem 12.9 and the exterior-group recognition theorems of Sections 9–14 are internal and do not assume the extendable subgroup is trivial or that the surfaces are inequivalent. The triviality of E_TOP^+(F) is derived through push-off normalization, Bass–Serre axis arguments, centralizer classification, and reverse induction, none of which imports the conclusion. The Alexander-module claim is a genuine computation: Corollary 15.3 derives A_1(F_N) as a direct sum of knot Alexander modules by Mayer–Vietoris in the meridional cover, and Proposition 15.5 then applies two external published theorems—Friedl's realization of prescribed Alexander modules by hyperbolic knots and Kalfagianni's supply of Alexander-trivial hyperbolic knots with arbitrarily large volume—to choose knots with the needed data. These are load-bearing assumptions, but they are verified external inputs, not restatements of the paper's results, and the reductions to them are correct. The one self-citation, [15], appears only in the introduction as a precursor describing what a single rim surgery cannot do; it is not used in any proof step and is therefore not load-bearing. No fitted parameter is renamed a prediction, and no uniqueness theorem is imported from the authors' own prior work. The paper's central claims retain independent mathematical content.

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

No fitted parameters appear; this is a pure existence and construction proof. The load-bearing inputs are the standard topological and group-theoretic toolbox plus two external supply theorems for hyperbolic knots (Friedl, Kalfagianni). The only self-citation [15] is contextual and not load-bearing.

assumptions (7)

domain assumption Uniqueness of topological normal bundles in dimension four [3, Theorem 9.3D]
Used in Proposition 2.2 to normalize an ambient homeomorphism so it is a bundle isomorphism on the normal neighborhood; if false or inapplicable, the naturality equation for the push-off could not be put in the form used throughout.
domain assumption Identification of homeomorphism and diffeomorphism mapping class groups of Sigma_g [7, Theorem B]
Quoted in the introduction to identify E^+_X(F) <= E^+_{X,TOP}(F) and to speak of mapping classes uniformly; standard in surface topology.
domain assumption Fintushel-Stern ordinary untwisted rim surgery preserves the ambient 4-manifold [4]
The entire construction builds surfaces inside S^4 without changing S^4; this is the foundational local model used in Theorem 3.1 and Section 4.
domain assumption Peripheral subgroup of a hyperbolic knot group is malnormal [6, Corollary 2]
Used in Proposition 4.1 and Lemma 9.1 to compute meridian centralizers and transporters in knot groups and in cyclic and amalgam stages. Central to the recognition argument.
domain assumption Friedl's realization of Alexander modules by hyperbolic knots [5, Theorem 1.1]
Proposition 15.5(i) uses this to obtain a hyperbolic knot K sharp with A(K sharp) isomorphic to A(K); the main theorem's prescribed Alexander module depends on it.
domain assumption Kalfagianni's supply of hyperbolic knots with trivial Alexander polynomial and arbitrarily large volume [10, Theorem 1.2]
Proposition 15.5(ii) uses this to obtain infinitely many Alexander-trivial hyperbolic knots with pairwise nonisomorphic groups via Mostow-Prasad rigidity; the infinite family and distinctness of the surfaces depend on it.
standard math Standard algebraic topology and combinatorial group theory tools: van Kampen, Mayer-Vietoris, Bass-Serre theory, Britton's lemma, Alexander duality
Used throughout the proof; these are standard theorems of 3- and 4-manifold topology and combinatorial group theory, invoked without special assumptions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Embedded surfaces with trivial extendable mapping class groups in simply connected $4$-manifolds." pith.science (2026). https://pith.science/paper/JCRBCDQW

@misc{pith2026260801504,
  author       = {Pith},
  title        = {Pith review of: Embedded surfaces with trivial extendable mapping class groups in simply connected $4$-manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JCRBCDQW}},
  note         = {Machine review of arXiv:2608.01504}
}

abstract

For every $g\geq 3$, every closed, connected, oriented, simply connected smooth $4$-manifold $X$, and every knot $K\subset S^3$, we construct infinitely many pairwise topologically inequivalent smoothly embedded oriented genus-$g$ surfaces $F\subset X$ whose orientation-preserving extendable mapping class subgroups are trivial in both the topological and smooth categories and whose first Alexander modules are isomorphic to the Alexander module of $K$. In particular, there are infinitely many such surfaces with vanishing first Alexander module. The construction is supported in a $4$-ball. Although their Alexander data are prescribed independently, the surfaces are distinguished, and their mapping-class rigidity is detected, by the nonabelian centralizer structure of their exterior groups.

Figures

Figures reproduced from arXiv: 2608.01504 by the authors.

**Figure 1.** Schematic for Proposition 3.4. In panel (a), the loop γ is decomposed into arcs aj outside the surgery annulus and short crossing arcs τj . In panel (b), the upper path is the old pushed-off crossing path followed by the suitably based longitude, while the lower path is the new pushed-off crossing path. The two paths are homotopic relative to their endpoints. Proof. At the j-th crossing, Lemma 3.3, with κj oriented … view at source ↗

**Figure 2.** A complete arc system on P = Σ1,2. The broken pieces of α2 and α3 continue across the indicated side identifications, and the quotient complement is a disk. The product disks ∆j = αj × I ⊂ H [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗

**Figure 3.** A local product model for cj = ∂∆j . The curves c1, . . . , cg are essential and disjoint; cutting along them gives a sphere with 2g boundary components, so the complement is connected. Choose oriented nontrivial hyperbolic knots J D j , where D marks the meridian-disk stage, and write KD j = KJD j = π1(E(J D j )), with chosen meridian and longitude mD j = mJD j , ℓD j = ℓJD j . In disjoint product neighborhoods, av… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages

[5]

Friedl,Realizations of Seifert matrices by hyperbolic knots, J

S. Friedl,Realizations of Seifert matrices by hyperbolic knots, J. Knot Theory Ramifications18(2009), no. 11, 1471–1474

work page 2009
[10]

Kalfagianni,Alexander polynomial, finite type invariants and volume of hyperbolic knots, Algebr

E. Kalfagianni,Alexander polynomial, finite type invariants and volume of hyperbolic knots, Algebr. Geom. Topol.4(2004), 1111–1123

work page 2004
[1]

R. ˙I. Baykur, R. C. Kirby, and D. Ruberman, editors,K3: A new problem list in low-dimensional topology, Mathematical Surveys and Monographs, vol. 295, American Mathematical Society, Providence, RI, 2026

work page 2026
[2]

R. ˙I. Baykur and N. Sunukjian,Exotic knottings and symmetries of surfaces in4-manifolds, arXiv:2607.27751, 2026

work page Pith review arXiv 2026
[3]

M. H. Freedman and F. Quinn,Topology of4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990

work page 1990
[4]

Fintushel and R

R. Fintushel and R. J. Stern,Surfaces in4-manifolds, Math. Res. Lett.4(1997), no. 6, 907–914

work page 1997
[6]

de la Harpe and C

P. de la Harpe and C. Weber,On malnormal peripheral subgroups of the fundamental group of a3-manifold, Confluentes Math.6(2014), no. 1, 41–64

work page 2014
[7]

Hatcher,The Kirby torus trick for surfaces, Enseign

A. Hatcher,The Kirby torus trick for surfaces, Enseign. Math. (2)72(2026), 161–174

work page 2026

Show all 17 references

[8]

Hirose,On diffeomorphisms over surfaces trivially embedded in the4-sphere, Algebr

S. Hirose,On diffeomorphisms over surfaces trivially embedded in the4-sphere, Algebr. Geom. Topol.2(2002), 791–824

2002
[9]

Hirose and A

S. Hirose and A. Yasuhara,Surfaces in4-manifolds and their mapping class groups, Topology47(2008), no. 1, 41–50

2008
[11]

Lawande and K

S. Lawande and K. Saha,Surfaces in4-manifolds and extendible mapping classes, arXiv:2502.17640, 2025

2025 arXiv
[12]

Liu,Knotted surfaces, homological norm and extendable subgroup, Topology Appl.377(2026), Art

Q. Liu,Knotted surfaces, homological norm and extendable subgroup, Topology Appl.377(2026), Art. 109644

2026
[13]

Y. Liu, Y. Ni, H. Sun, and S. Wang,On slope genera of knotted tori in4-space, Pacific J. Math.261(2013), no. 1, 117–144

2013
[14]

R. C. Lyndon and P. E. Schupp,Combinatorial group theory, Classics in Mathematics, Springer-Verlag, Berlin, 2001; reprint of the 1977 edition

2001
[15]

Niu,Extendable mapping classes of knotted surfaces obtained by rim surgery in S4, arXiv:2605.31383, 2026

W. Niu,Extendable mapping classes of knotted surfaces obtained by rim surgery in S4, arXiv:2605.31383, 2026

2026 arXiv
[16]

Serre,Trees, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003; translated from the French original by J

J.-P. Serre,Trees, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003; translated from the French original by J. Stillwell

2003
[17]

Wang and Z

S. Wang and Z. Wang,Extending periodic maps on surfaces over the4-sphere, J. Topol. Anal.16(2024), no. 4, 641–660. Yau Mathematical Sciences Center, Tsinghua University Email address:weizheniu@mail.tsinghua.edu.cn

2024

Pith tools

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

[1] [5]

Friedl,Realizations of Seifert matrices by hyperbolic knots, J

S. Friedl,Realizations of Seifert matrices by hyperbolic knots, J. Knot Theory Ramifications18(2009), no. 11, 1471–1474

work page 2009

[2] [10]

Kalfagianni,Alexander polynomial, finite type invariants and volume of hyperbolic knots, Algebr

E. Kalfagianni,Alexander polynomial, finite type invariants and volume of hyperbolic knots, Algebr. Geom. Topol.4(2004), 1111–1123

work page 2004

[3] [1]

R. ˙I. Baykur, R. C. Kirby, and D. Ruberman, editors,K3: A new problem list in low-dimensional topology, Mathematical Surveys and Monographs, vol. 295, American Mathematical Society, Providence, RI, 2026

work page 2026

[4] [2]

R. ˙I. Baykur and N. Sunukjian,Exotic knottings and symmetries of surfaces in4-manifolds, arXiv:2607.27751, 2026

work page Pith review arXiv 2026

[5] [3]

M. H. Freedman and F. Quinn,Topology of4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990

work page 1990

[6] [4]

Fintushel and R

R. Fintushel and R. J. Stern,Surfaces in4-manifolds, Math. Res. Lett.4(1997), no. 6, 907–914

work page 1997

[7] [6]

de la Harpe and C

P. de la Harpe and C. Weber,On malnormal peripheral subgroups of the fundamental group of a3-manifold, Confluentes Math.6(2014), no. 1, 41–64

work page 2014

[8] [7]

Hatcher,The Kirby torus trick for surfaces, Enseign

A. Hatcher,The Kirby torus trick for surfaces, Enseign. Math. (2)72(2026), 161–174

work page 2026