Pith. sign in

REVIEW 2 major objections 2 minor

Non-isotopic surfaces in $T^4\#(S^2\times S^2)$: an example

T0 review · 2 major / 2 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Infinitely many tori in T^4#(S^2×S^2) share a geometric dual yet remain non-isotopic after any number of external stabilizations.

desk verdict Abstract-only existence claim of infinite non-isotopic tori in T^4#(S^2 imes S^2) surviving external stabilizations; standard Norman-trick outline, but the stabilization-invariant separator is unverified. read the letter →

arxiv 2604.05805 v2 pith:WT4HYX7D submitted 2026-04-07 math.GT

Jianfeng Lin , Yue Wu This is my paper · ORCID
classification math.GT MSC 57K4057R5257R40
keywords 4-manifoldsembeddedtoriisotopyexternalstabilizationNormantrickgeometricdualT^4#(S^2×S^2)handlehomotopy
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

This paper constructs infinitely many embedded tori inside the 4-manifold T^4#(S^2×S^2) that all share one common geometric dual sphere. The tori are homotopic to one another and diffeomorphic as abstract surfaces, yet they lie in distinct isotopy classes, and those classes stay distinct even after any number of external stabilizations. The surfaces are built from a single fixed immersed surface by the Norman trick, tubing along different arcs that are not homotopic to each other. The authors show that the resulting isotopy classes can be told apart by looking at the homotopy classes of the 2-handles (relative to the boundary) that appear once the 0- and 1-handles of a handle decomposition have been removed. For a reader interested in 4-dimensional topology, the result supplies a concrete infinite family of surfaces that cannot be made isotopic by the usual stabilization moves.

What carries the argument

The Norman trick applied to a fixed immersed surface via non-homotopic tubing arcs, together with the resulting relative homotopy classes of 2-handles in the complement of the image of the 0- and 1-handles, which serve as an isotopy invariant that survives arbitrary external stabilization.

What would settle it

An explicit ambient isotopy (possibly after a finite number of external stabilizations) that carries one of the constructed tori onto another built from a non-homotopic tubing arc, or a calculation showing that the relative 2-handle homotopy classes become equivalent after some stabilization.

Watch

Extended reading notes

Core claim

There exist infinitely many embedded tori in T^4#(S^2×S^2) that possess a common geometric dual, are mutually homotopic and diffeomorphic, yet are pairwise non-isotopic, and remain non-isotopic after arbitrarily many external stabilizations; they arise by applying the Norman trick to one fixed immersed surface along non-homotopic tubing arcs, and their isotopy classes are distinguished by the relative homotopy classes of the 2-handles in the complement of the 0- and 1-handles.

Load-bearing premise

That the relative homotopy classes of the 2-handles in the complement of the 0- and 1-handles form a well-defined isotopy invariant of the constructed surfaces that is unchanged by external stabilizations and separates surfaces coming from non-homotopic tubing arcs.

Editorial extensions

If this is right

  • Infinitely many distinct isotopy classes of tori share a single geometric dual sphere inside T^4#(S^2×S^2).
  • Homotopy and diffeomorphism type of an embedded surface, even together with a geometric dual, do not determine its isotopy class after external stabilization.
  • The relative homotopy type of 2-handles after removing 0- and 1-handles can serve as a practical invariant for distinguishing stabilized surfaces.
  • The Norman trick with non-homotopic arcs systematically produces infinite non-isotopic families from a single immersion.

Reading between the lines

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

  • Similar non-isotopic families may appear in other simply-connected 4-manifolds that admit a geometric dual sphere and enough room for the Norman trick.
  • The same relative 2-handle invariant could be used to detect non-isotopy for higher-genus surfaces or for knotted spheres with duals.
  • If the invariant remains non-trivial after stabilization, it suggests that external stabilization alone cannot erase all tubing-arc data.
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

2 major / 2 minor

Summary. The manuscript claims that there exist infinitely many embedded tori in T^4#(S^2×S^2) sharing a common geometric dual that are pairwise homotopic and diffeomorphic, yet pairwise non-isotopic even after arbitrarily many external stabilizations. The surfaces are produced by applying the Norman trick to a fixed immersed surface along non-homotopic tubing arcs; their isotopy classes are asserted to be separated by the relative homotopy classes of the 2-handles (relative to the boundary) in the complement of the image of the 0- and 1-handles.

Significance. If the construction and the claimed stabilization-invariant distinction both hold, the result would be a meaningful contribution to the study of exotic surfaces in 4-manifolds: an infinite family of homotopic, diffeomorphic, non-isotopic tori with a common geometric dual that survive arbitrary external stabilizations. Distinguishing such surfaces by relative 2-handle homotopy classes is a natural and potentially reusable technique in the area. The claim sits outside the most common stabilization-collapse phenomena and would therefore be of genuine interest if fully verified.

major comments (2)
  1. The abstract's strongest claim—that the surfaces remain pairwise non-isotopic after arbitrarily many external stabilizations—rests on the assertion that the relative homotopy classes of the 2-handles (in the complement of the 0- and 1-handles) form a well-defined isotopy invariant that continues to separate the family after external connected sum with S^2×S^2. External stabilization changes both the ambient 4-manifold and that complement; without a careful argument that the relative classes survive and remain distinguishing, the infinite non-isotopic family may collapse after sufficiently many stabilizations. This invariance step is load-bearing for the central claim and must be checked in full detail.
  2. The abstract states that the surfaces arise from a fixed immersed surface via the Norman trick along non-homotopic tubing arcs, and that the resulting relative 2-handle classes separate them. It is essential that the manuscript verify that distinct tubing-arc homotopy classes produce genuinely distinct relative 2-handle classes (rather than classes that become equivalent after the Norman tubing or after handle cancellation), and that this distinction is independent of choices in the handle decomposition. Absent that verification, the infinite family may not be infinite up to isotopy.
minor comments (2)
  1. Only the abstract was available for this review. A full assessment of the handle calculations, embedding arguments, and the claimed stabilization invariance requires the complete manuscript (including any figures of the immersed surface, tubing arcs, and handle decompositions).
  2. The abstract would benefit from a brief indication of the ambient fundamental group or the precise sense in which the tori are 'homotopic' (as maps, or as surfaces with fixed dual), to orient the reader before the technical sections.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: pure existence construction distinguished by a standard handle-theoretic invariant

full rationale

This is an abstract-only pure topology paper claiming an existence result: infinitely many embedded tori in T^4#(S^2×S^2) obtained by the Norman trick on a fixed immersed surface via non-homotopic tubing arcs, which are homotopic and diffeomorphic but not isotopic even after arbitrary external stabilizations. The distinguishing data are homotopy classes of relative 2-handles in the complement of the 0- and 1-handles. Nothing in the abstract exhibits self-definition (the invariant is not defined as the tubing-arc classes it is meant to separate), fitted parameters renamed as predictions, load-bearing self-citation, imported uniqueness theorems, smuggled ansatzes, or renaming of a known empirical pattern. Handle decompositions of surface neighborhoods are ordinary 4-manifold technique; using them to separate constructed surfaces is independent content, not circular reduction. With only the abstract available and no equations or citations to inspect, no circular step can be quoted. Score 0 is the correct honest finding.

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

Pure existence result in smooth 4-manifold topology. No numerical free parameters. Background is standard handle theory and the Norman trick; the load-bearing domain assumptions are that the Norman trick along non-homotopic arcs yields the claimed embeddings and that relative 2-handle homotopy classes separate their isotopy types after external stabilization. No new particles or forces are introduced.

assumptions (3)
  • domain assumption The Norman trick applied to a fixed immersed surface along a tubing arc produces an embedded torus with a geometric dual in T^4#(S^2×S^2).
    Invoked as the construction method in the abstract; standard in 4-manifold topology but essential to obtaining the family.
  • domain assumption Homotopy classes of 2-handles relative to the boundary, in the complement of the 0- and 1-handles, are isotopy invariants of the resulting surfaces and remain unchanged under external stabilizations.
    This is the distinguishing mechanism stated in the abstract's last sentence; if it fails, the infinite family collapses.
  • standard math Standard smooth category of 4-manifolds, handle decompositions, and homotopy of maps of 2-disks relative to boundary.
    Background language of the entire argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-isotopic surfaces in $T^4\#(S^2\times S^2)$: an example." pith.science (2026). https://pith.science/paper/WT4HYX7D

@misc{pith2026260405805,
  author       = {Pith},
  title        = {Pith review of: Non-isotopic surfaces in $T^4\#(S^2\times S^2)$: an example},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WT4HYX7D}},
  note         = {Machine review of arXiv:2604.05805}
}
abstract

We prove that there exist infinitely many embedded tori with a common geometric dual in $T^4\#(S^2\times S^2)$ that are homotopic, diffeomorphic, but not isotopic to each other, even after arbitrary many external stabilizations. These surfaces are obtained by applying the Norman trick to a fixed immersed surface, using non-homotopic tubing arcs. The isotopy classes of these surfaces are distinguished by homotopy classes of the 2-handles (relative to the boundary) in the complement of the image of the $0$- and $1$-handles.

Figures

Figures reproduced from arXiv: 2604.05805 by the authors.

Figure 1
Figure 1. The construction of Σσ We now give an explicit construction of the embedded surfaces Σσ = iσ(T 2 ). First, we let Σ0 = i0(T 2 ) be obtained by taking the connected sum between ({∗} × T 2 , T4 ) and ({∗} × S 2 , S2 × S 2 ). Consider the sphere G1 = S 2 × {∗} ,→ X, which is a geometric dual of Σ0. Let {p1} = G ∩ Σ1. Take a small disk B1 ⊂ Σ0 such that p1 ∈ ∂B1. Let G2 be a parallel copy of G1 that passes some point p2… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.