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

Weizhe Niu

arxiv: 2606.29122 · v1 · pith:JAIEVSVLnew · submitted 2026-06-28 · 🧮 math.GT

Image nonconcordance of positive-genus π₁-injective surfaces

Weizhe Niu This is my paper

Pith reviewed 2026-06-30 02:44 UTC · model grok-4.3

classification 🧮 math.GT

keywords surface embeddingsimage concordanceπ1-injective surfacesmapping toriself-intersection invariantsFreedman-Quinn invariantsgraph manifoldsKlein bottle bundles

0 comments

The pith

For every genus g at least 2, infinite families of homotopic π1-injective embeddings of a closed surface exist whose images are pairwise not smoothly image-concordant.

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

The paper shows that homotopy and π1-injectivity fail to guarantee smooth image-concordance for embeddings of closed surfaces of genus at least 2. It produces infinite families inside one-fold stabilizations of closed aspherical mapping tori with torsion-free fundamental group. The surfaces share a homotopy class and induce π1-isomorphisms on complements after stabilization, yet their images cannot be connected by a concordance. The distinction is given by a marked mod-two invariant extracted from self-intersection numbers of potential concordance tracks, indexed by self-dual double-cosets of the surface subgroup. The labels come from elements outside the subgroup whose squares lie inside it, realized through Klein-bottle bundle pieces that survive in the closed examples.

Core claim

For every g≥2, infinite families of homotopic smooth embeddings of a closed genus-g surface exist whose images are pairwise not smoothly image-concordant, while each surface is π1-injective. The obstruction is a computable marked 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≤π1X. The geometric source of the relevant labels is a Möbius-band square-root relation: elements t∉H with t²∈H produce self-dual labels in torsion-free ambient groups. These square roots are realized naturally in Klein-bottle I-bundle pieces and retained in closed graph-manifold mapping-torus exam

What carries the argument

Marked mod-two coordinate of Freedman-Quinn/Dax-type self-intersection data indexed by self-dual double-cosets of the surface subgroup H≤π1X, which assigns labels to potential concordance tracks.

If this is right

The image-nonconcordance already occurs in the underlying closed aspherical mapping tori before stabilization by S²×S².
After stabilization the surfaces share a common framed dual sphere and each complement inclusion induces a π1-isomorphism.
The square-root elements t are realized in Klein-bottle I-bundle pieces retained in the closed graph-manifold mapping-torus examples.
The invariant is computable directly from the group data of the surface subgroup and its double cosets.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same construction may produce non-concordant families in other aspherical 4-manifolds whose fundamental groups contain suitable square-root elements.
Whether vanishing of the invariant implies existence of a concordance is left open by the examples.
The technique of indexing by self-dual double-cosets could extend to concordance questions for surfaces in other dimensions or with different fundamental-group constraints.

Load-bearing premise

The marked mod-two self-intersection data indexed by self-dual double-cosets separates the concordance classes and the Möbius-band square-root elements produce independent labels that survive in the torsion-free ambient groups.

What would settle it

An explicit smooth concordance between two embeddings whose self-dual double-coset labels differ under the invariant would falsify the obstruction.

Figures

Figures reproduced from arXiv: 2606.29122 by Weizhe Niu.

**Figure 1.** 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.** 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… view at source ↗

**Figure 3.** 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 wi… view at source ↗

read the original abstract

We construct, for every $g\ge2$, 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. The obstruction is a computable marked 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 retained in closed graph-manifold mapping-torus examples.

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

Niu constructs infinite families of homotopic π1-injective genus-g surfaces in 4-manifolds whose images are not image-concordant, with the obstruction given by mod-2 self-intersection data indexed by self-dual double-cosets from Möbius square-root elements.

read the letter

The main thing here is that for every g ≥ 2 the paper produces infinite families of homotopic smooth embeddings of closed genus-g surfaces into 4-manifolds. Each surface is π1-injective, but the images are pairwise not smoothly image-concordant. The obstruction is a marked mod-two coordinate of Freedman-Quinn/Dax-type self-intersection data indexed by self-dual double-cosets of the surface subgroup H ≤ π1X. These labels arise from Möbius-band square-root elements t ∉ H with t² ∈ H, realized in Klein-bottle I-bundle pieces and retained in the closed graph-manifold mapping tori.

The work supplies concrete examples in one-fold stabilizations of closed aspherical mapping tori with torsion-free fundamental group. After adding S²×S² the surfaces share a framed dual sphere and the complement inclusions induce π1-isomorphisms. The non-concordance already holds in the unstabilized mapping tori. This gives explicit infinite families separating homotopy from image-concordance for these surfaces, which is useful for sharpening classification statements.

The indexing of the obstruction by self-dual double-cosets from square-root elements and its realization in these specific 4-manifolds looks new relative to the cited literature.

The potential soft spot is whether the marked mod-two coordinates stay distinct and non-vanishing once embedded in the stabilized manifold. The argument rests on the square-root labels remaining linearly independent over ℤ/2 in the torsion-free groups, with no collapse from group-ring relations or the intersection form. The paper presents the labels as computable directly from the group data and claims they survive in the examples, so the construction stands if those calculations hold.

This is for people working on 4-manifold embeddings and concordance, especially those who know Freedman-Quinn theory and self-intersection obstructions. Readers looking for concrete families rather than abstract existence will get the most from it.

It deserves a serious referee because the families are explicit and the obstruction is presented as computable from fundamental-group data.

Referee Report

1 major / 2 minor

Summary. The manuscript constructs, for every g≥2, infinite families of homotopic smooth embeddings of closed genus-g surfaces into 4-manifolds (one-fold stabilizations of closed aspherical mapping tori with torsion-free fundamental group) such that each surface is π1-injective, the embeddings share a common framed dual sphere after stabilization, and the images are pairwise not smoothly image-concordant. Non-concordance is detected by a computable marked mod-2 Freedman-Quinn/Dax-type self-intersection invariant indexed by self-dual double-cosets of the (possibly non-normal) surface subgroup H≤π1X; the relevant labels arise from Möbius-band square-root elements t∉H with t²∈H realized in Klein-bottle I-bundle pieces and retained in the closed graph-manifold examples.

Significance. If the constructions are correct and the self-intersection labels remain independent, the result supplies explicit, computable examples showing that homotopy and π1-injectivity do not determine smooth image-concordance for positive-genus surfaces even in stabilized aspherical 4-manifolds; the emphasis on a directly computable obstruction from group-theoretic data is a strength.

major comments (1)

The assertion that Möbius square-root elements produce linearly independent non-vanishing self-dual mod-2 coordinates after passage to the torsion-free π1 of the closed mapping tori is load-bearing for the separation of concordance classes. The abstract states that these labels are retained, but an explicit check is required that no relations in the group ring or stabilized intersection form force the coordinates to coincide or vanish for distinct families; without this verification the infinite families may collapse into fewer classes than claimed.

minor comments (2)

Clarify the precise definition of the marking on the mod-2 coordinates and the self-dual double-cosets with a low-genus example computation.
The transition from the Klein-bottle I-bundle pieces to the closed mapping tori could include a short diagram or reference to the relevant π1 presentation to make retention of the square roots more transparent.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verification of coordinate independence. We respond to the major comment below.

read point-by-point responses

Referee: The assertion that Möbius square-root elements produce linearly independent non-vanishing self-dual mod-2 coordinates after passage to the torsion-free π1 of the closed mapping tori is load-bearing for the separation of concordance classes. The abstract states that these labels are retained, but an explicit check is required that no relations in the group ring or stabilized intersection form force the coordinates to coincide or vanish for distinct families; without this verification the infinite families may collapse into fewer classes than claimed.

Authors: We agree that an explicit verification is required to confirm that the coordinates remain independent. In the revised manuscript we will insert a new subsection (immediately following the construction of the closed graph-manifold examples) that carries out this check. The argument proceeds by noting that each Möbius-band square-root element t∉H is supported in a distinct Klein-bottle I-bundle summand of the graph manifold; the resulting self-dual double-cosets therefore remain distinct in the torsion-free fundamental group of the mapping torus. Because the ambient group is torsion-free and the manifold is aspherical, the mod-2 group-ring elements corresponding to these double-cosets are linearly independent over 𝔽_{2}, and the stabilized intersection form does not impose additional relations that would identify or annihilate distinct labels. Consequently the marked Freedman–Quinn/Dax invariant continues to separate the infinite families after stabilization. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation self-contained via explicit geometric construction

full rationale

The paper presents a direct geometric construction of embeddings in mapping tori using Klein-bottle I-bundle pieces to realize Möbius-band square-root elements t∉H with t²∈H, then defines the obstruction explicitly as marked mod-two Freedman-Quinn/Dax self-intersection data indexed by self-dual double-cosets of H. No equations or claims reduce a 'prediction' to a fitted input by construction, no self-definitional loops appear, and the provided text invokes no load-bearing self-citations or uniqueness theorems from the same authors. The central claim that these labels separate concordance classes is asserted from the group-theoretic and geometric data without circular reduction to the target result itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no explicit free parameters, axioms, or invented entities can be extracted; the construction appears to rely on standard facts about fundamental groups of mapping tori and self-intersection theory, but these cannot be audited.

pith-pipeline@v0.9.1-grok · 5748 in / 1341 out tokens · 55195 ms · 2026-06-30T02:44:57.115126+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 8 canonical work pages

[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

work page doi:10.24033/asens.1230 1972
[3]

Rigorous derivation of the leapfrogging motion for planar Euler equations

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

work page 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

work page 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
[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
[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

work page doi:10.1112/topo.12191 2021
[12]

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

work page arXiv 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

work page doi:10.1215/00127094-2021-0016 2022
[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

work page doi:10.1016/0040-9383(93)90046-x 1993
[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

work page doi:10.1093/imrn/rnu187 2015

[1] [1]

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

1982

[2] [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

work page doi:10.24033/asens.1230 1972

[3] [3]

Rigorous derivation of the leapfrogging motion for planar Euler equations

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

work page doi:10.1007/s00222- 2026

[4] [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] [5]

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

1990

[6] [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

work page doi:10.1090/jams/920 2020

[7] [7]

Hatcher and F

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

1974

[8] [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

[9] [9]

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

1979

[10] [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] [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

work page doi:10.1112/topo.12191 2021

[12] [12]

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

work page arXiv 2026

[13] [13]

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

1997

[14] [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

work page doi:10.1215/00127094-2021-0016 2022

[15] [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] [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

work page doi:10.1016/0040-9383(93)90046-x 1993

[17] [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

work page doi:10.1093/imrn/rnu187 2015