Image nonconcordance of positive-genus $\pi_1$-injective surfaces

Weizhe Niu

Image nonconcordance of positive-genus $\pi_1$-injective surfaces

T0 review · 0 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read This paper constructs, for every genus g≥2, closed four-manifolds containing infinitely many homotopic, π₁-injective embedded genus-g surfaces that are pairwise not smoothly image-concordant, even with a common framed dual sphere and π₁-iso

desk verdict A careful, credible construction of the first homotopic pi_1-injective surfaces that are image-nonconcordant despite dual spheres; the main risk is the endpoint-rigidity bridge, but the paper is worth refereeing. read the letter →

arxiv 2606.29122 v2 pith:JAIEVSVL submitted 2026-06-28 math.GT

Weizhe Niu This is my paper · ORCID

classification math.GT MSC 57K4057K4557R52

keywords surfaceconcordanceπ₁-injectivesurfacesimagedouble-cosetobstructiongraphmanifoldsmappingtoriself-intersectioninvariants4-manifolds

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

For every genus g≥2, the paper constructs closed four-manifolds—one-fold S²×S² stabilizations of aspherical mapping tori built from graph manifolds—that contain infinitely many embedded genus-g surfaces. All are homotopic and π₁-injective with the same image subgroup H, share a common framed dual sphere, and have complement inclusions inducing π₁-isomorphisms; nevertheless their embedded images are pairwise not smoothly image-concordant. The nonconcordance is detected by a computable mod-two self-intersection coordinate for concordance tracks, indexed by self-dual double-cosets D_n=Ht_nH, where each t_n lies outside H but squares into H. These square-root labels are realized geometrically by Möbius bands in a Klein-bottle I-bundle, and endpoint rigidity—the normalizer of H equals H—promotes the marked invariant to a genuine image-concordance obstruction.

What carries the argument

The carrying mechanism is the pair (H, D_n): a non-normal surface subgroup H with trivial normalizer quotient, and self-dual double-cosets D_n=Ht_nH represented by elements t_n outside H with t_n²=c∈H. Self-duality (D_n=D_n⁻¹) makes a mod-two count of D-labelled off-diagonal self-intersection points of a concordance track well-defined. The geometric certificate is a standard square-root neighbourhood built from an embedded Möbius band: the orientable twisted I-bundle over the Klein bottle contains infinitely many Möbius bands with cores a^n t and common boundary square t², and these supply pairwise distinct labels in a torsion-free group. A finger-plus-Whitney movie supported in such a neigh

What would settle it

Check whether the Dehn twist really destroys conjugacy of H: compute τ^k_*[Σ] in H₂(N^K_g;Z) for k≠0—if some k satisfies τ^k_*[Σ]=±[Σ], Lemma 5.17 fails and endpoint rigidity breaks. Equivalently, test the non-fiber hypothesis by seeing whether the quotient G→D∞ used to separate labels factors through G/H≅Z; if it does, the surface is a fiber and the cited normalizer theorem no longer applies.

Watch

Extended reading notes

Core claim

The central discovery is that a computable mod-two coordinate of self-intersection data for concordance tracks can obstruct image concordance of π₁-injective positive-genus surfaces, not merely parametrized concordance. In the main examples, the surface subgroup H is non-normal, and the labels are self-dual double-cosets D_n=Ht_nH with t_n∉H and t_n²∈H. A Möbius band in the complement provides the square root t_n, and a finger-plus-Whitney movie crossing the band produces exactly one D_n-labelled double-point component, giving FQ^{D_i}_ρ(F_0,F_n)=u_{D_i} if i=n and 0 otherwise. A Dehn twist along a nonseparating torus from the canonical decomposition ensures that τ^k(H) is not conjugate to H

Load-bearing premise

The promotion from marked nonconcordance to image nonconcordance rests on a cited normalizer theorem requiring the surface to be a non-fiber, two-sided, incompressible surface in a closed orientable P²-irreducible 3-manifold to conclude N_G(H)=H; if that condition fails (for example, if Σ were a fiber of a fibration over S¹), endpoint rigidity collapses and the invariant would obstruct only marked concordance, not image concordance.

Editorial extensions

If this is right

For every g≥2 and every n≥1, the constructed surfaces F_n are all homotopic, π₁-injective with common image subgroup H, have a common framed embedded dual sphere, and have complement maps π₁(Xτ\νF_n)→π₁Xτ isomorphisms; these features do not force concordance.
The image nonconcordance already occurs in the underlying closed aspherical mapping torus Yτ, before stabilization, and persists after any finite number of further S²×S² stabilizations.
The distinguishing invariant is a computable mod-two coordinate: FQ^{D_i}_ρ(F_0,F_n)=u_{D_i} if i=n and 0 otherwise, indexed by pairwise distinct self-dual double-cosets D_n=H(a^n t)H.
The same examples are not locally flat topologically image-concordant: a topological concordance could be smoothed, yielding a smooth image concordance and contradicting the main theorem.
A normal index-two specialization, using the orientation double cover of a closed nonorientable surface, gives a pair of homotopic π₁-injective surfaces in D(L⊕ε¹)#(S²×S²) with a common dual sphere and complement π₁-isomorphisms that are not smoothly image-concordant, for every g≥1.

Reading between the lines

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

A natural fixed-ambient criterion suggested by the square-root mechanism: any essential Möbius band in the complement of a π₁-injective surface in a 3-manifold, thickened to four dimensions, should produce a nontrivial image-concordance obstruction; the Klein-bottle model is one instance, and Seifert or I-bundle pieces with vertical Möbius bands are worth testing.
The normalizer-equals-H condition is the real gate to image concordance; when the normalizer quotient is nontrivial, the invariant should be replaced by a coarser image-level quotient that records the action of the normalizer on H\Γ/H, which the paper leaves open as a question.
Because the invariant is a single mod-two component count, a natural testable extension is a Z-valued or oriented refinement associated to non-self-dual labels D≠D⁻¹; the paper notes such a refinement would require paired-label or oriented counting.
Persistence under arbitrary finite stabilization suggests the nonconcordance is stably intrinsic to the aspherical part; checking whether it survives replacing the S²×S² summand by other handles or in the stabilized limit would clarify the role of the dual sphere.

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 real: this paper gives the first examples of homotopic positive-genus pi_1-injective surfaces with a common framed dual sphere and complement pi_1-isomorphisms that are not smoothly image-concordant, in torsion-free ambient 4-manifolds. That is a genuine advance, not a repackaging of earlier isotopy or pi_1-negligible arguments.

What I like most is the concreteness. The marked double-coset coordinate is built carefully: labels, raw counts, invariance under tracks, local and mapping-space indeterminacies, and a survival criterion. Proposition 3.4 is an actual explicit local movie whose fiber product is computed as a single circle; that is checkable work. The group-theoretic label distinctness in the closed examples is proved by explicit quotients to D_infinity, and the Mobius-band square-root mechanism is simple and clearly explained. The Klein-bottle I-bundle pieces and the graph-manifold mapping-torus construction are intricate but follow a coherent plan.

The soft spot is exactly where the stress-test note lands: Lemma 5.15 uses Heil's normalizer theorem to conclude N_G(H)=H, and that conclusion is the bridge from marked nonconcordance to image nonconcordance. Heil is cited, not proved. If the exact hypotheses are not met, the main theorem downgrades to marked nonconcordance. That said, on the evidence in the paper the hypotheses look satisfied: the manifold is closed, orientable, irreducible, and the surface is two-sided, nonseparating, incompressible, with a sound non-fiber argument via q:G to D_infinity. So this is a verification gap, not a detected flaw. It would be cleaner to prove N_G(H)=H directly from the explicit Bass-Serre presentation; that would remove dependence on the exact wording of [8].

The other caveat is the usual one: the paper relies on standard Dax/Freedman-Quinn machinery without reproving it. That is acceptable for a research paper, but it means an independent check of those foundations is part of a serious referee's job.

Overall, the central argument holds up as far as I can see. The construction is new, the examples are significant, and the local calculations are reproducible. The paper deserves a serious referee.

Recommendation: send it to peer review. I would ask the author to add a direct normalizer computation for Lemma 5.15, but I would not block acceptance on that if the Heil citation checks out.

Referee Report

0 major / 4 minor

Summary. The paper defines a marked mod-two Freedman–Quinn/Dax-type concordance obstruction for π1-injective surfaces, indexed by self-dual double-cosets D = HtH in H\π/H with t∉H and t²∈H. It proves well-definedness of the obstruction, computes the relevant local indeterminacies, and constructs explicit D-crossed tracks from Möbius-band square-root neighbourhoods. Using these tools, it produces, for every g≥2, infinite families of homotopic, π1-injective genus-g surfaces in closed aspherical mapping tori Yτ and in one-fold stabilizations Xτ = Yτ # (S²×S²), with a common framed dual sphere and complement π1-isomorphisms, whose embedded images are pairwise not smoothly image-concordant. Compact Klein-bottle I-bundle examples and an orientation-double-cover family are also given.

Significance. If the constructions are correct, the paper answers Question 1.1 affirmatively and extends the concordance/light-bulb literature from the π1-negligible setting to positive-genus π1-injective surfaces in torsion-free ambient groups. The paper is unusually explicit: Proposition 3.4 computes the labelled fiber product of the local movie as a single circle; the distinctness of labels is certified by explicit quotients to D∞; and no fitted parameters or ad hoc axioms are introduced. The main proof is detailed and largely self-contained. The only load-bearing external premise is the endpoint-rigidity step in Lemma 5.15 via Heil's normalizer theorem [8]; the concern raised by the stress-test note does not land on reading the paper, because the manuscript verifies that N^K_g is closed, orientable, P²-irreducible, and that Σ is two-sided, nonseparating, incompressible and non-fiber. The quoted theorem is a standard classical result, though a direct Bass–Serre verification would make the paper even more self-contained.

minor comments (4)

[§5.3, Lemma 5.15] This is the least internally verified step: N_G(H)=H is obtained by citing Heil's normalizer theorem. The hypotheses stated in the text are checked, and the argument is sound. For self-containment, please quote the precise form of [8] used, or add the direct Bass–Serre computation from the explicit presentation of G. This would make the promotion from marked nonconcordance to image nonconcordance easier to audit.
[Abstract and §2.6/§5.5] The notation H_1(Σ_g;(π2X)_ρ) appears where the proof uses the first cohomology H^1(Σ_g;(π2X)_ρ), e.g. Lemma 5.5 uses H^1(H;Z[H]). Please standardize the superscript/subscript to avoid confusion between homology and cohomology.
[Throughout] There are numerous OCR-like artifacts in the text, including 'M¨ obius', 'S¡sup¿1', and broken math symbols. These should be cleaned in the final version. The figures are helpful but should be referenced consistently and placed near the relevant lemmas.
[§3.2, Proposition 3.4] The movie parameter λ and the function T(x) are both denoted by related symbols; the figure caption helps, but explicitly labelling the birth/death values λ_± = 1/2 ± α in the main text would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and uses external theorems only as standard benchmarks.

full rationale

The paper contains no fitted parameters called predictions, no load-bearing self-citations, and no definition that covertly presupposes the target result. The marked obstruction FQ^D is defined independently of the examples, and the nonzero values in the main theorem are certified by explicit D-crossed tracks whose defining condition #π0(P_D(G))=1 is verified by a concrete local model (Proposition 3.4) rather than assumed. The square-root labels t_n with t_n^2 in H are realized geometrically from Möbius bands in a Klein-bottle I-bundle, so the label set is not manufactured from the invariant. The promotion from marked nonconcordance to image nonconcordance depends on the normalizer equality N_Γ(H)=H, proved using Heil's normalizer theorem [8]; this is an external classical result, not a self-citation, and it does not already contain the paper's conclusion. If the exact hypotheses of Heil's theorem were unmet, the conclusion could downgrade to marked nonconcordance, but that is a correctness risk about an external premise, not circularity. The paper is self-contained against external benchmarks, so the honest finding is no significant circularity.

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

All inputs are standard mathematical objects and theorems. The paper introduces a new invariant and constructions, but no unsupported entities. There are no fitted parameters; the obstruction is combinatorial and explicitly computed. Heavily cited external results are treated as axioms/domain assumptions because they are not proved in the paper.

assumptions (8)

standard math Standard smooth transversality, finger moves, and Whitney moves for tracks in 4-manifolds.
Used throughout Sections 2-3 to make the labeled fiber product a compact 1-manifold and to realize the D-crossed movie.
domain assumption Dax/Freedman-Quinn/Hatcher-Quinn self-intersection invariants are well-defined and satisfy the stated invariance properties.
The new coordinate is constructed inside this standard but not machine-checked machinery, cited as [2,5,7,16].
domain assumption Jaco-Shalen-Johannson characteristic pair theorem localizes essential Möbius bands in irreducible surface complements.
Used in Proposition 5.2 to localize the square-root mechanism; cited as [9,10,13].
domain assumption Heil's normalizer theorem: a non-fiber two-sided incompressible surface in a closed orientable P²-irreducible 3-manifold has self-normalizing fundamental group.
Used in Lemma 5.15 to obtain N_G(H)=H, a key endpoint-rigidity input.
standard math Extended Dehn-Nielsen-Baer theorem identifies Mod(Σ_g) with Out(π_1Σ_g).
Used in Corollary 4.3 and Section 5 to reduce image-concordance reparametrizations to outer automorphisms; cited as [4, Theorem 8.1].
standard math Bass-Serre theory: normal forms, Britton's lemma, torsion-freeness from vertex groups, and tree-action facts.
Used throughout Section 5 to compute fundamental groups, prove injectivity, and establish torsion-freeness; cited as [15].
standard math PD₂ group cohomology vanishing H¹(H; Z[H]) = 0 for orientable surface groups.
Used in Lemma 5.5 to kill the mapping-space loop indeterminacy; cited as [1, Chapter VIII].
domain assumption Daher-Powell smoothing theorem: a locally flat topological concordance of smoothly embedded surfaces in a smooth 4-manifold can be homotoped rel boundary to a smooth concordance.
Used only in the introduction to deduce topological image-nonconcordance from smooth nonconcordance; cited as [3].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Image nonconcordance of positive-genus $\pi_1$-injective surfaces." pith.science (2026). https://pith.science/paper/JAIEVSVL

@misc{pith2026260629122,
  author       = {Pith},
  title        = {Pith review of: Image nonconcordance of positive-genus $\pi_1$-injective surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JAIEVSVL}},
  note         = {Machine review of arXiv:2606.29122}
}

abstract

We construct, for every $g\geq 2$, infinite families of homotopic smooth embeddings of a closed genus-$g$ surface whose images are pairwise not smoothly image-concordant, while each surface is $\pi_1$-injective. The main closed examples lie in one-fold stabilizations of closed aspherical mapping tori with torsion-free fundamental group: after stabilization by $S^2\times S^2$, the surfaces have a common framed dual sphere and the inclusion of each complement induces a $\pi_1$-isomorphism. The image-nonconcordance already occurs before stabilization, in the underlying closed aspherical mapping torus, and persists after every finite number of $S^2\times S^2$-stabilizations. The obstruction is a computable mod-two coordinate of Freedman--Quinn/Dax-type self-intersection data for concordance tracks, indexed by self-dual double-cosets of a possibly non-normal surface subgroup $H\leq\pi_1X$. The geometric source of the relevant labels is a M"obius-band square-root relation: elements $t\notin H$ with $t^2\in H$ produce self-dual labels in torsion-free ambient groups. These square roots are realized naturally in Klein-bottle $I$-bundle pieces and persist in closed graph-manifold mapping-torus examples.

Figures

Figures reproduced from arXiv: 2606.29122 by the authors.

**Figure 1.** The (x, λ)-projection of the local ordered fiber-product component in Proposition 3.4. The x-circle is cut open as S 1 x = R/Z, and the curve shown is x 7−→ (x, T(x)), T(x) = 1 2 + α cos(4πx). The actual fiber-product component is Z = ((x, S(x)), J(x, S(x)), T(x)) : x ∈ S 1 [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗

**Figure 2.** The JSJ graph of N K g . The two vertices correspond to the Seifertfibered pieces WR = R × S 1 u and WK, where R is the genus-(g − 1) surface with boundary d+ ⊔ d−, and WK is the Seifert piece built from the twisted Ibundle V over the Klein bottle together with PA = A × [−1, 1]. The two edges correspond to the gluing tori T+ and T−. The gluing maps are determined by d+ 7→ m+ and u 7→ w on T+, and d− 7→ m− and u 7→… view at source ↗

**Figure 3.** The cut-open annular chart in Lemma 5.24. The upstairs annulus Ue ∼= S 1 x × [−3, 3]s is cut open to [0, 1]x × [−3, 3]s; the boundary edges x = 0 and x = 1 are re-identified when the annulus is recovered. The Whitney rectangle W projects to the strip between the two s-levels s+ = 2ϵ and s− = −ϵ. The deck transformation acts by τ (x, s, u, v) = (x + 1 2 , −s, −u, v). The skew choice s+ + s− > 0, together with the ref… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references

[8]

Heil,Normalizers of incompressible surfaces in 3-manifolds, Glas

W. Heil,Normalizers of incompressible surfaces in 3-manifolds, Glas. Mat. Ser. III16(36) (1981), no. 1, 145–150

1981
[1]

K. S. Brown,Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1982

1982
[2]

Dax, ´Etude homotopique des espaces de plongements, Ann

J.-P. Dax, ´Etude homotopique des espaces de plongements, Ann. Sci. ´Ecole Norm. Sup. (4)5(1972), no. 2, 303–377, doi:10.24033/asens.1230

doi:10.24033/asens.1230 1972
[3]

Daher and M

M. Daher and M. Powell,Smoothing 3-manifolds in 5-manifolds, Invent. Math. (2026), doi:10.1007/s00222- 026-01413-9

doi:10.1007/s00222- 2026
[4]

Farb and D

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

2012
[5]

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

1990
[6]

Gabai,The 4-dimensional light bulb theorem, J

D. Gabai,The 4-dimensional light bulb theorem, J. Amer. Math. Soc.33(2020), no. 3, 609–652, doi:10.1090/jams/920

doi:10.1090/jams/920 2020
[7]

Hatcher and F

A. Hatcher and F. Quinn,Bordism invariants of intersections of submanifolds, Trans. Amer. Math. Soc.200 (1974), 327–344

1974

Show all 17 references

[9]

W. H. Jaco and P. B. Shalen,Seifert fibered spaces in 3-manifolds, Mem. Amer. Math. Soc.21(1979), no. 220

1979
[10]

Johannson,Homotopy equivalences of 3-manifolds with boundaries, Lecture Notes in Mathematics, vol

K. Johannson,Homotopy equivalences of 3-manifolds with boundaries, Lecture Notes in Mathematics, vol. 761, Springer-Verlag, Berlin, 1979

1979
[11]

M. R. Klug and M. Miller,Concordance of surfaces in 4-manifolds and the Freedman–Quinn invariant, J. Topol.14(2021), no. 2, 560–586, doi:10.1112/topo.12191

2021 doi
[12]

J. Lin, W. Wu, Y. Xie, and B. Zhang,Dax invariants, light bulbs, and isotopies of symplectic structures, arXiv:2501.16083, 2026

2026
[13]

W. D. Neumann and G. A. Swarup,Canonical decompositions of 3-manifolds, Geom. Topol.1(1997), 21–40

1997
[14]

Schneiderman and P

R. Schneiderman and P. Teichner,Homotopy versus isotopy: spheres with duals in 4-manifolds, Duke Math. J. 171(2022), no. 2, 273–325, doi:10.1215/00127094-2021-0016

2022 doi
[15]

Serre,Trees, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003

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

2003
[16]

Stong,Uniqueness of π1-negligible embeddings in 4-manifolds: a correction to Theorem 10.5 of Freedman and Quinn, Topology32(1993), no

R. Stong,Uniqueness of π1-negligible embeddings in 4-manifolds: a correction to Theorem 10.5 of Freedman and Quinn, Topology32(1993), no. 4, 677–699, doi:10.1016/0040-9383(93)90046-X

1993 doi
[17]

N. S. Sunukjian,Surfaces in 4-manifolds: concordance, isotopy, and surgery, Int. Math. Res. Not. IMRN 2015, no. 17, 7950–7978, doi:10.1093/imrn/rnu187. Yau Mathematical Sciences Center, Tsinghua University Email address:weizheniu@mail.tsinghua.edu.cn

2015 doi

Pith tools

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

[1] [8]

Heil,Normalizers of incompressible surfaces in 3-manifolds, Glas

W. Heil,Normalizers of incompressible surfaces in 3-manifolds, Glas. Mat. Ser. III16(36) (1981), no. 1, 145–150

1981

[2] [1]

K. S. Brown,Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1982

1982

[3] [2]

Dax, ´Etude homotopique des espaces de plongements, Ann

J.-P. Dax, ´Etude homotopique des espaces de plongements, Ann. Sci. ´Ecole Norm. Sup. (4)5(1972), no. 2, 303–377, doi:10.24033/asens.1230

doi:10.24033/asens.1230 1972

[4] [3]

Daher and M

M. Daher and M. Powell,Smoothing 3-manifolds in 5-manifolds, Invent. Math. (2026), doi:10.1007/s00222- 026-01413-9

doi:10.1007/s00222- 2026

[5] [4]

Farb and D

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

2012

[6] [5]

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

1990

[7] [6]

Gabai,The 4-dimensional light bulb theorem, J

D. Gabai,The 4-dimensional light bulb theorem, J. Amer. Math. Soc.33(2020), no. 3, 609–652, doi:10.1090/jams/920

doi:10.1090/jams/920 2020

[8] [7]

Hatcher and F

A. Hatcher and F. Quinn,Bordism invariants of intersections of submanifolds, Trans. Amer. Math. Soc.200 (1974), 327–344

1974