pith. sign in

arxiv: 2606.06299 · v2 · pith:MX6ENNNBnew · submitted 2026-06-04 · 🧮 math.GT

Smooth stable isotopy of topologically isotopic surfaces

Daniel Galvin , Patrick Orson , Mark Powell This is my paper

Pith reviewed 2026-06-27 22:42 UTC · model grok-4.3

classification 🧮 math.GT
keywords 4-manifoldssmooth surfacestopological isotopystable isotopyZ/2-homologyfundamental groupsknot groupsstabilization
0
0 comments X

The pith

Topologically isotopic smooth surfaces in a 4-manifold become smoothly isotopic after stabilization if they are trivial in Z/2-homology.

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

The paper establishes that two smooth surfaces in a 4-manifold X that are topologically isotopic must be smoothly isotopic in some stabilization of X whenever the surfaces are trivial in the Z/2-homology of X. It extends the conclusion to a large class of fundamental groups of X that includes all free products of classical knot groups and in particular all free groups. A stabilization of X is the connected sum of X with any number of copies of S^2 times S^2. Readers care because four-dimensional topology distinguishes smooth and topological categories for embeddings, and the result supplies explicit algebraic conditions under which adding 2-spheres makes the two categories agree for surfaces.

Core claim

If two smooth surfaces embedded in a 4-manifold X are topologically isotopic and represent the zero class in the Z/2-homology of X, then the surfaces are smoothly isotopic in some stabilization of X. The same conclusion holds whenever the fundamental group of X belongs to the class of free products of classical knot groups.

What carries the argument

Stabilization of the 4-manifold by connected sum with copies of S^2 × S^2, conditioned on vanishing Z/2-homology or on the fundamental group lying in the class of free products of knot groups.

If this is right

  • The result applies in particular when the ambient 4-manifold is simply connected.
  • The result applies when the fundamental group of the 4-manifold is free.
  • Stable smooth isotopy classes of surfaces are determined by their topological isotopy classes under the stated homology or group conditions.
  • The conclusion holds for any 4-manifold whose fundamental group is a free product of classical knot groups.

Where Pith is reading between the lines

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

  • In 4-manifolds satisfying the group condition, the smooth classification of surfaces up to stable isotopy reduces to their topological classification.
  • The same stabilization technique might be tested on other algebraic conditions such as vanishing integral homology classes.
  • Exotic smooth structures on surfaces in these 4-manifolds, if they exist, must disappear after sufficiently many S^2 × S^2 summands.

Load-bearing premise

The surfaces must be trivial in the Z/2-homology of the 4-manifold, or the fundamental group of the manifold must belong to the specified class of free products of knot groups.

What would settle it

Two smooth surfaces in some 4-manifold X that are topologically isotopic and trivial in Z/2-homology but remain smoothly non-isotopic after any number of connected sums with S^2 × S^2.

Figures

Figures reproduced from arXiv: 2606.06299 by Daniel Galvin, Mark Powell, Patrick Orson.

Figure 1
Figure 1. Figure 1: Left: a schematic for the decomposition of X as described in Propo￾sition 2.11. Right: the closed subspace Y used in the proof of Proposition 2.13. Lemma 2.10. Suppose we are given a homeomorphism Fb′ : X ∼=C0 −−−→ X such that Fb′ (Σ1) = (Σ2). Then Fb′ is topologically isotopic rel. boundary to a homeomorphism that is smooth near Σ1 Fb : (X, νΣ1) ∼=C0,C∞ −−−−−→ (X, νΣ2), Proof. This was proved in [Gal24a, … view at source ↗
Figure 2
Figure 2. Figure 2: A schematic for the decomposition used in the proof of Proposition 5.1. and on U × I × {1} pull back the smooth structure using Ψ. As the restriction b Ψb|(∂M∪∂N)×I is a diffeomorphism, this indeed determines a smooth structure on C ∪ D. Consider the diagram H4 (A, C; Z/2) ⊕ H4 (B, D;Z/2) H4 (A ∪ B, C ∪ D; Z/2) H4 (A ∪ B, ∂(A ∪ B); Z/2) H2(M; Z/2) ⊕ H2(N; Z/2) H2(U; Z/2) ∼= PD⊕PD ∼= ∼= PD where the top lef… view at source ↗
read the original abstract

A stabilisation of a $4$-manifold $X$ is the connected sum of $X$ with some number of copies of $S^2\times S^2$. If two smooth surfaces in a $4$-manifold are topologically isotopic, we investigate whether they must moreover be smoothly isotopic in some stabilisation of $X$. We prove this result holds whenever the surfaces are trivial in the $\mathbb{Z}/2$-homology of $X$. We also produce a large class of fundamental groups of the ambient $4$-manifold for which the result holds; this class includes free products of classical knot groups and, in particular, free groups.

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.

Referee Report

0 major / 3 minor

Summary. The paper proves that if two smooth surfaces in a 4-manifold X are topologically isotopic, then they become smoothly isotopic after stabilization of X by connected sum with sufficiently many copies of S²×S², whenever the surfaces are trivial in the ℤ/2-homology of X. It also establishes the result for a large class of fundamental groups of X, including free products of classical knot groups and free groups in particular.

Significance. If the proofs hold, the result provides explicit, checkable conditions under which topological isotopy of surfaces in 4-manifolds implies stable smooth isotopy. This is relevant to the broader program of understanding when the smooth and topological categories coincide after stabilization, with potential applications to questions about exotic 4-manifolds and isotopy classification. The explicit hypotheses (ℤ/2-homology triviality and the stated class of π₁(X)) make the theorems falsifiable and applicable to concrete examples such as surfaces in simply-connected or free-group 4-manifolds.

minor comments (3)
  1. The abstract and introduction should explicitly state the dimension of the surfaces (presumably 2-dimensional) and clarify whether the isotopy is required to be ambient or relative to the boundary if the surfaces have boundary.
  2. Notation for the stabilization operation (connected sum with k copies of S²×S²) should be introduced once and used consistently; the current phrasing “some number of copies” is informal for a theorem statement.
  3. The class of fundamental groups is described as “free products of classical knot groups”; a precise definition or reference to the class (e.g., which knot groups are included) would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a theorem that topologically isotopic surfaces in a 4-manifold become smoothly isotopic after stabilization precisely when the surfaces are trivial in Z/2-homology or when pi1(X) belongs to the class of free products of classical knot groups. The abstract and reader's summary present this as a conditional result proved via standard topological methods under explicitly stated hypotheses, with no equations, parameters, or self-citations that reduce the central claim to a definition, fit, or prior self-result by construction. The derivation chain is self-contained against external 4-manifold topology benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard axioms of algebraic topology and 4-manifold theory such as properties of connected sums, homology computations, and fundamental group calculations; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math Standard properties of connected sum with S2xS2 and its effect on homology and fundamental group
    Invoked implicitly when defining stabilization and its use in isotopy.
  • domain assumption Z/2-homology classes control isotopy obstructions in 4-manifolds
    Central to the condition under which the result holds.

pith-pipeline@v0.9.1-grok · 5630 in / 1394 out tokens · 23589 ms · 2026-06-27T22:42:49.401765+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

155 extracted references · 16 canonical work pages

  1. [1]

    Topology Appl

    Stong, Richard and Wang, Zhenghan , title =. Topology Appl. , issn =

  2. [2]

    Galvin, Daniel A. P. , Year =. Ronnie

  3. [3]

    A geometric formulation of surgery , url =

    Quinn, Frank , booktitle =. A geometric formulation of surgery , url =. 1970 , bdsk-url-1 =

    1970

  4. [4]

    Finite group actions on

    Crowley, Diarmuid and Hambleton, Ian , date-added =. Finite group actions on. Adv. Math. , mrclass =. 2015 , bdsk-url-1 =. doi:10.1016/j.aim.2015.06.010 , fjournal =

    work page doi:10.1016/j.aim.2015.06.010 2015

  5. [5]

    Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds , url =

    Daniel Galvin and Isacco Nonino , date-added =. Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds , url =. 2025 , bdsk-url-1 =

    2025

  6. [6]

    Smoothing topological pseudo-isotopies of 4-manifolds , url =

    Orson, Patrick and Powell, Mark and Randal-Williams, Oscar , note =. Smoothing topological pseudo-isotopies of 4-manifolds , url =. 2025 , bdsk-url-1 =

    2025

  7. [7]

    and Farrell, F

    Bartels, A. and Farrell, F. T. and L\"uck, W. , fjournal =. The. J. Amer. Math. Soc. , number =

  8. [8]

    , fjournal =

    Stern, Ronald J. , fjournal =. On topological and piecewise linear vector fields , volume =. Topology , number =

  9. [9]

    Isomorphism conjectures in

    L\"uck, Wolfgang , date-added =. Isomorphism conjectures in

  10. [10]

    Algebraic

    Waldhausen, Friedhelm , date-added =. Algebraic. Ann. of Math. (2) , mrclass =. 1978 , bdsk-url-1 =. doi:10.2307/1971166 , fjournal =

    work page doi:10.2307/1971166 1978

  11. [11]

    Algebraic

    Waldhausen, Friedhelm , date-added =. Algebraic. Ann. of Math. (2) , mrclass =. 1978 , bdsk-url-1 =. doi:10.2307/1971165 , fjournal =

    work page doi:10.2307/1971165 1978

  12. [12]

    Saeki, Osamu , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =

    2006

  13. [13]

    Loday, Jean-Louis , date-added =. Higher. Bull. Amer. Math. Soc. , mrclass =. 1976 , bdsk-url-1 =. doi:10.1090/S0002-9904-1976-13994-8 , fjournal =

    work page doi:10.1090/s0002-9904-1976-13994-8 1976

  14. [14]

    and Madsen, I

    Brumfiel, G. and Madsen, I. , doi =. Evaluation of the transfer and the universal surgery classes , url =. Invent. Math. , mrclass =. 1976 , bdsk-url-1 =

    1976

  15. [15]

    and Haefliger, Andr\'e , isbn =

    Bridson, Martin R. and Haefliger, Andr\'e , isbn =. Metric spaces of non-positive curvature , volume =

  16. [16]

    Auckly, Dave and Kim, Hee Jung and Melvin, Paul and Ruberman, Daniel , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2015 , NUMBER =

    2015

  17. [17]

    Auckly, Dave and Kim, Hee Jung and Melvin, Paul and Ruberman, Daniel and Schwartz, Hannah , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2018.10.040 , URL =

    work page doi:10.1016/j.aim.2018.10.040 2019

  18. [18]

    Michael and Vogt, Rainer M

    Boardman, J. Michael and Vogt, Rainer M. , fseries =. Homotopy invariant algebraic structures on topological spaces , volume =

  19. [19]

    , fseries =

    Nicas, Andrew J. , fseries =. Induction theorems for groups of homotopy manifold structures , volume =

  20. [20]

    Mathew, Akhil and Stojanoska, Vesna , doi =. The. Geom. Topol. , mrclass =. 2016 , bdsk-url-1 =

    2016

  21. [21]

    The algebraic theory of surgery

    Ranicki, Andrew , fjournal =. The algebraic theory of surgery. Proc. Lond. Math. Soc. (3) , pages =

  22. [22]

    3-manifold groups , year =

    Aschenbrenner, Matthias and Friedl, Stefan and Wilton, Henry , fseries =. 3-manifold groups , year =

  23. [23]

    , note =

    Switzer, Robert M. , note =. Algebraic topology---homotopy and homology , url =. 2002 , bdsk-url-1 =

    2002

  24. [24]

    , date-added =

    Atiyah, Michael F. , date-added =. Thom complexes , url =. Proc. London Math. Soc. (3) , pages =. 1961 , bdsk-url-1 =. doi:10.1112/plms/s3-11.1.291 , fjournal =

    work page doi:10.1112/plms/s3-11.1.291 1961

  25. [25]

    , isbn =

    Rudyak, Yuli B. , isbn =. On

  26. [26]

    , fjournal =

    Gompf, Robert E. , fjournal =. Stable diffeomorphism of compact. Topology Appl. , number =

  27. [27]

    Akbulut, Selman , booktitle =. On fake

  28. [28]

    Akbulut, Selman , booktitle =. A fake

  29. [29]

    Constructing a fake

    Akbulut, Selman , fjournal =. Constructing a fake. Topology , number =

  30. [30]

    Light bulb smoothing for topological surfaces in

    Jae Choon Cha and Byeorhi Kim , journal =. Light bulb smoothing for topological surfaces in. doi:10.4171/JEMS/1731 , year =

    work page doi:10.4171/jems/1731

  31. [31]

    Daniel A. P. Galvin , journal =. The

  32. [32]

    Terence C

    Wall, C. Terence C. , doi =. On simply-connected. J. London Math. Soc. , mrclass =. 1964 , bdsk-url-1 =

    1964

  33. [33]

    , booktitle =

    Kreck, M. , booktitle =. Some closed. 1984 , bdsk-url-1 =. doi:10.1007/BFb0075570 , mrclass =

    work page doi:10.1007/bfb0075570 1984

  34. [34]

    Terence C

    Wall, C. Terence C. , doi =. Diffeomorphisms of. J. London Math. Soc. , mrclass =. 1964 , bdsk-url-1 =

    1964

  35. [35]

    James , isbn =

    Madsen, Ib and Milgram, R. James , isbn =. The classifying spaces for surgery and cobordism of manifolds , volume =

  36. [36]

    A vanishing theorem for tautological classes of aspherical manifolds , volume =

    Hebestreit, Fabian and Land, Markus and L\"uck, Wolfgang and Randal-Williams, Oscar , doi =. A vanishing theorem for tautological classes of aspherical manifolds , volume =. Geom. Topol. , number =. 2021 , bdsk-url-1 =

    2021

  37. [37]

    A homological approach to pseudoisotopy theory

    Krannich, Manuel , doi =. A homological approach to pseudoisotopy theory. Invent. Math. , number =. 2022 , bdsk-url-1 =

    2022

  38. [38]

    and Williams, Bruce , date-added =

    Madsen, Ib and Taylor, Laurence R. and Williams, Bruce , date-added =. Tangential homotopy equivalences , url =. Comment. Math. Helv. , mrclass =. 1980 , bdsk-url-1 =. doi:10.1007/BF02566699 , fjournal =

    work page doi:10.1007/bf02566699 1980

  39. [39]

    , date-added =

    Gottlieb, Daniel H. , date-added =. A certain subgroup of the fundamental group , url =. Amer. J. Math. , mrclass =. 1965 , bdsk-url-1 =. doi:10.2307/2373248 , fjournal =

    work page doi:10.2307/2373248 1965

  40. [40]

    The total surgery obstruction , url =

    Ranicki, Andrew , booktitle =. The total surgery obstruction , url =. 1979 , bdsk-url-1 =

    1979

  41. [41]

    , fseries =

    Thurston, William P. , fseries =. Three-dimensional geometry and topology. 1997 , zbl =

    1997

  42. [42]

    , isbn =

    Thurston, William P. , isbn =. The geometry and topology of three-manifolds. [2022] 2022 , bdsk-url-1 =

    2022

  43. [43]

    and Jardine, John F

    Goerss, Paul G. and Jardine, John F. , doi =. Simplicial homotopy theory , url =. 2009 , bdsk-url-1 =

    2009

  44. [44]

    Surgery on products with finite fundamental group , url =

    Stein, Elliott , doi =. Surgery on products with finite fundamental group , url =. Topology , number =. 1977 , bdsk-url-1 =

    1977

  45. [45]

    Microbundles

    Milnor, John , fjournal =. Microbundles. Topology , note =

  46. [46]

    Topological manifolds and smooth manifolds , year =

    Milnor, John , booktitle =. Topological manifolds and smooth manifolds , year =

  47. [47]

    Obstructions to the smoothing of piecewise-differentiable homeomorphisms , url =

    Munkres, James , doi =. Obstructions to the smoothing of piecewise-differentiable homeomorphisms , url =. Ann. of Math. (2) , pages =. 1960 , bdsk-url-1 =

    1960

  48. [48]

    Higher obstructions to smoothing , volume =

    Munkres, James , fjournal =. Higher obstructions to smoothing , volume =. Topology , pages =

  49. [49]

    Concordance is equivalent to smoothability , url =

    Munkres, James , doi =. Concordance is equivalent to smoothability , url =. Topology , pages =. 1966 , bdsk-url-1 =

    1966

  50. [50]

    Obstructions to imposing differentiable structures , url =

    Munkres, James , fjournal =. Obstructions to imposing differentiable structures , url =. Illinois J. Math. , pages =. 1964 , bdsk-url-1 =

    1964

  51. [51]

    Differentiable isotopies on the

    Munkres, James , fjournal =. Differentiable isotopies on the. Michigan Math. J. , pages =. 1960 , bdsk-url-1 =

    1960

  52. [52]

    Diffeomorphisms of the

    Smale, Stephen , doi =. Diffeomorphisms of the. Proc. Amer. Math. Soc. , mrclass =. 1959 , bdsk-url-1 =

    1959

  53. [53]

    , fjournal =

    Hirsch, Morris W. , fjournal =. Obstruction theories for smoothing manifolds and maps , volume =. Bull. Amer. Math. Soc. , pages =

  54. [54]

    , fjournal =

    Cairns, Stewart S. , fjournal =. The manifold smoothing problem , volume =. Bull. Amer. Math. Soc. , pages =

  55. [55]

    La nullit\'

    Cerf, Jean , booktitle =. La nullit\'

  56. [56]

    Groupes d'automorphismes et groupes de diff\'

    Cerf, Jean , fjournal =. Groupes d'automorphismes et groupes de diff\'. Bull. Soc. Math. France , pages =

  57. [57]

    Sur les diff\'

    Cerf, Jean , pages =. Sur les diff\'

  58. [58]

    and Mazur, Barry , date-added =

    Hirsch, Morris W. and Mazur, Barry , date-added =. Smoothings of piecewise linear manifolds , year =

  59. [59]

    Obstructions to the smoothing of piecewise-differentiable homeomorphisms , volume =

    Munkres, James , date-added =. Obstructions to the smoothing of piecewise-differentiable homeomorphisms , volume =. Ann. of Math. (2) , pages =. 1960 , bdsk-url-1 =

    1960

  60. [60]

    Generalised

    Ebert, Johannes and Randal-Williams, Oscar , date-added =. Generalised. Algebr. Geom. Topol. , mrclass =. 2014 , bdsk-url-1 =. doi:10.2140/agt.2014.14.1181 , fjournal =

    work page doi:10.2140/agt.2014.14.1181 2014

  61. [61]

    and Sullivan, Dennis P

    Morgan, John W. and Sullivan, Dennis P. , date-added =. The transversality characteristic class and linking cycles in surgery theory , url =. Ann. of Math. (2) , mrclass =. 1974 , bdsk-url-1 =. doi:10.2307/1971060 , fjournal =

    work page doi:10.2307/1971060 1974

  62. [63]

    Surgery spaces: formulae and structure , url =

    Taylor, Laurence and Williams, Bruce , booktitle =. Surgery spaces: formulae and structure , url =. 1979 , bdsk-url-1 =

    1979

  63. [64]

    Algebraic

    Jacob Lurie , date-added =. Algebraic

  64. [65]

    Morgan and J

    J. Morgan and J. Hollingsworth , date-added =. Homotopy triangulations and topological manifolds , year =

  65. [66]

    Some remarks on the

    Morita, Shigeyuki , date-added =. Some remarks on the. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , mrclass =. 1972 , bdsk-url-1 =

    1972

  66. [67]

    A note on homotopy and pseudoisotopy of diffeomorphisms of 4-manifolds , year =

    Manuel Krannich and Alexander Kupers , date-added =. A note on homotopy and pseudoisotopy of diffeomorphisms of 4-manifolds , year =

  67. [68]

    Pseudo-isotopies of simply connected 4-manifolds , year =

    David Gabai and David. Pseudo-isotopies of simply connected 4-manifolds , year =

  68. [69]

    and Milgram, R

    Hambleton, I. and Milgram, R. J. and Taylor, L. and Williams, B. , fjournal =. Surgery with finite fundamental group , volume =. Proc. Lond. Math. Soc. (3) , number =

  69. [70]

    Algebraic

    Ranicki, Andrew , date-added =. Algebraic. 1992 , bdsk-url-1 =

    1992

  70. [71]

    Problems in low dimensional manifold theory

    Kirby, Rob , booktitle =. Problems in low dimensional manifold theory. , year =

  71. [72]

    and Kirk, Paul , pages =

    Davis, James F. and Kirk, Paul , pages =. Lecture notes in algebraic topology , volume =

  72. [73]

    Hudson, J. F. P. , fjournal =. Concordance, isotopy, and diffeotopy , volume =. Ann. Math. (2) , pages =

  73. [74]

    The group of disjoint 2-spheres in 4-space , volume =

    Schneiderman, Rob and Teichner, Peter , fjournal =. The group of disjoint 2-spheres in 4-space , volume =. Ann. of Math. (2) , number =

  74. [75]

    and Powell, Mark , fjournal =

    Cha, Jae Choon and Orr, Kent E. and Powell, Mark , fjournal =. Whitney towers and abelian invariants of knots , volume =. Math. Z. , number =

  75. [76]

    , booktitle =

    Lashof, R. , booktitle =. The immersion approach to triangulation and smoothing

  76. [77]

    , booktitle =

    Lashof, R. , booktitle =. The immersion approach to triangulation and smoothing , year =

  77. [78]

    Lees, J. A. , fjournal =. Immersions and surgeries of topological manifolds , volume =. Bull. Am. Math. Soc. , pages =

  78. [79]

    Groups of automorphisms of manifolds

    Burghelea, Dan and Lashof, Richard and Rothenberg, Melvin , fseries =. Groups of automorphisms of manifolds

  79. [80]

    Topological concordances , volume =

    Pedersen, Erik Kjaer , fjournal =. Topological concordances , volume =. Invent. Math. , pages =

  80. [81]

    and Mrowka, Tomasz S

    Kronheimer, Peter B. and Mrowka, Tomasz S. , fjournal =. The. Math. Res. Lett. , number =

Showing first 80 references.