pith. sign in

arxiv: 2604.15071 · v1 · submitted 2026-04-16 · 🧮 math.GT · math.DG· math.SG

Gauge theory for families

Hokuto Konno This is my paper

Pith reviewed 2026-05-10 09:10 UTC · model grok-4.3

classification 🧮 math.GT math.DGmath.SG
keywords gauge theory for families4-manifoldsdiffeomorphism grouphomeomorphism groupSeiberg-Witten invariantsparametrized moduli spacessmooth structures
0
0 comments X

The pith

Gauge theory applied to families of 4-manifolds distinguishes their diffeomorphism groups from homeomorphism groups beyond classical topological invariants.

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

The paper surveys the development and use of gauge theory techniques when applied to families of 4-manifolds rather than single manifolds. It compiles results showing how these family versions of the theory can compare the group of diffeomorphisms with the group of homeomorphisms on the same underlying topological manifold. A sympathetic reader cares because 4-dimensional manifolds often carry smooth structures whose symmetries are stricter than their continuous counterparts, and family methods detect differences invisible to ordinary invariants. The survey restricts attention to developments through 2021 and focuses on concrete applications that separate the smooth and topological categories. If the surveyed techniques succeed, they supply systematic ways to prove that certain homeomorphisms of 4-manifolds cannot be smoothed.

Core claim

Gauge theory for families extends classical gauge-theoretic invariants by considering them over a parameter space or base manifold, thereby producing information about how smooth structures behave in continuous families. The survey assembles these methods and demonstrates their effectiveness at detecting cases where the diffeomorphism group of a 4-manifold is properly smaller than its homeomorphism group, results obtained from the literature up to 2021.

What carries the argument

Gauge theory for families, which produces parametrized moduli spaces or invariants over a base space to track smooth structures across continuous deformations of 4-manifolds.

If this is right

  • For many 4-manifolds the group of orientation-preserving diffeomorphisms is strictly smaller than the group of orientation-preserving homeomorphisms.
  • Family gauge invariants detect smooth mapping class group elements that have no topological counterparts.
  • Parametrized moduli spaces yield obstructions to smoothing homeomorphisms that single-manifold invariants miss.
  • The techniques apply uniformly to simply-connected 4-manifolds and certain non-simply-connected examples treated in the survey.

Where Pith is reading between the lines

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

  • The same family methods might be adapted to produce new examples of exotic 4-manifolds whose symmetries are controlled by gauge theory.
  • If the distinctions persist under stabilization by connected sum with standard manifolds, they would constrain the classification of smooth structures on 4-manifolds with boundary.
  • The survey's organization suggests that family gauge theory could be compared directly with other parametrized invariants such as those coming from Heegaard Floer homology.

Load-bearing premise

That the cited results from the gauge theory literature up to 2021 are accurately and completely represented in the survey without omission of key counterexamples or later corrections.

What would settle it

A post-2021 counterexample to one of the surveyed theorems showing that the diffeomorphism group equals the homeomorphism group for a 4-manifold where the survey claims they differ.

read the original abstract

This article surveys gauge theory for families and its applications to the comparison between the diffeomorphism group and the homeomorphism group of $4$-manifolds, up to 2021.

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 / 0 minor

Summary. The manuscript is a survey of gauge theory for families of 4-manifolds and its applications to distinguishing the diffeomorphism group from the homeomorphism group, summarizing key results and techniques from the literature up to 2021.

Significance. If the coverage is faithful, the survey provides a coherent synthesis of family gauge-theoretic methods (such as parametrized moduli spaces and invariants) and their role in 4-manifold topology. This could serve as a useful reference for connecting gauge theory to questions about smooth vs. topological structures, particularly in light of results showing that Diff(M) and Homeo(M) are not homotopy equivalent for certain 4-manifolds.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report accurately captures the scope of the survey as a synthesis of gauge-theoretic techniques for families of 4-manifolds and their applications to diffeomorphism versus homeomorphism groups.

Circularity Check

0 steps flagged

Survey paper with no internal derivations exhibits no circularity

full rationale

This manuscript is explicitly a survey of existing gauge theory results for families and their applications to Diff vs Homeo comparisons for 4-manifolds up to 2021. No new derivations, predictions, fitted parameters, ansatzes, or uniqueness theorems are claimed or constructed within the paper itself. All content references external published results, so no load-bearing step reduces to the paper's own inputs by construction. This is the expected outcome for a review article with no original mathematical chain to inspect.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a survey, the paper introduces no new free parameters, axioms, or invented entities; it relies entirely on the prior literature it cites.

pith-pipeline@v0.9.0 · 5298 in / 945 out tokens · 38982 ms · 2026-05-10T09:10:37.874078+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

20 extracted references · 20 canonical work pages

  1. [1]

    Abouzaid and A.J

    [AB21] Mohammed Abouzaid and Andrew J. Blumberg. Arnold conjecture and Morava K-theory.arXiv:2103.01507,

    work page arXiv

  2. [2]

    Isotoping 2-spheres in 4-manifolds

    [Akb15] Selman Akbulut. Isotoping 2-spheres in 4-manifolds. InProceedings of the G¨ okova Geometry-Topology Conference 2014, pages 264–266. G¨ okova Geometry/Topology Conference (GGT), G¨ okova,

    work page 2014

  3. [3]

    Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via S eiberg- W itten theory

    [AR25] Dave Auckly and Daniel Ruberman. Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via Seiberg-Witten theory.arXiv:2501.11892,

    work page arXiv

  4. [4]

    [Fur02] M. Furuta. Finite dimensional approximations in geometry. InProceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pages 395–403. Higher Ed. Press, Beijing,

    work page 2002

  5. [5]

    [Hat80] A. E. Hatcher. Linearization in 3-dimensional topology. InProceedings of the Inter- national Congress of Mathematicians (Helsinki, 1978), pages 463–468. Acad. Sci. Fennica, Helsinki,

    work page 1978

  6. [6]

    The monodromy diffeomorphism of weighted singularities and S eiberg-- W itten theory

    [KLMM24] Hokuto Konno, Jianfeng Lin, Anubhav Mukherjee, and Juan Mu˜ noz-Ech´ aniz. The monodromy diffeomorphism of weighted singularities and Seiberg–Witten theory. arXiv:2411.12202,

    work page arXiv

  7. [7]

    On four-dimensional D ehn twists and M ilnor fibrations

    [KLMME24] Hokuto Konno, Jianfeng Lin, Anubhav Mukherjee, and Juan Mu˜ noz-Ech´ aniz. On four-dimensional Dehn twists and Milnor fibrations.arXiv:2409.11961,

    work page arXiv

  8. [8]

    to ap- pear in Duke Math. J. [KLS18] Tirasan Khandhawit, Jianfeng Lin, and Hirofumi Sasahira. Unfolded Seiberg-Witten Floer spectra, I: Definition and invariance.Geom. Topol., 22(4):2027–2114,

    work page 2027

  9. [9]

    Kronheimer and Ciprian Manolescu

    [KM02] Peter B. Kronheimer and Ciprian Manolescu. Periodic Floer pro-spectra from the Seiberg-Witten equations.arXiv:math/0203243,

    work page arXiv

  10. [10]

    Exotic D ehn twists on 4-manifolds

    [KMT23] Hokuto Konno, Abhishek Mallick, and Masaki Taniguchi. Exotic Dehn twists on 4-manifolds.arXiv:2306.08607,

    work page arXiv

  11. [11]

    The family S eiberg- W itten invariant and nonsymplectic loops of diffeomorphisms

    [Lin22] Jianfeng Lin. The family Seiberg-Witten invariant and nonsymplectic loops of dif- feomorphisms.arXiv:2208.12082,

    work page arXiv

  12. [12]

    Isotopy of the Dehn twist onK3 #K3 after a single stabilization

    [Lin23] Jianfeng Lin. Isotopy of the Dehn twist onK3 #K3 after a single stabilization. Geom. Topol., 27(5):1987–2012,

    work page 1987

  13. [13]

    Configuration space integrals and formal smooth structures

    [LX23] Jianfeng Lin and Yi Xie. Configuration space integrals and formal smooth structures. arXiv:2310.14156,

    work page arXiv

  14. [14]

    On diffeomorphisms of aK3 surface

    [Mat86] Takao Matumoto. On diffeomorphisms of aK3 surface. InAlgebraic and topological theories (Kinosaki, 1984), pages 616–621. Kinokuniya, Tokyo,

    work page 1984

  15. [15]

    Boundary D ehn twists on M ilnor fibers and F amily B auer-- F uruta invariants

    Differential topology. [Miy24] Jin Miyazawa. Boundary Dehn twists on Milnor fibers and Family Bauer–Furuta invariants.arXiv:2410.21742,

    work page arXiv

  16. [16]

    A knot Floer stable homotopy type

    [MS21] Ciprian Manolescu and Sucharit Sarkar. A knot Floer stable homotopy type. arXiv:2108.13566,

    work page arXiv

  17. [17]

    Configurations of L agrangian spheres in K3 surfaces

    [Mu˜ n25] Juan Mu˜ noz-Ech´ aniz. Configurations of Lagrangian spheres ink3 surfaces. arXiv:2507.15039,

    work page arXiv

  18. [18]

    A polynomial invariant of diffeomorphisms of 4-manifolds

    [Rub99] Daniel Ruberman. A polynomial invariant of diffeomorphisms of 4-manifolds. InPro- ceedings of the Kirbyfest (Berkeley, CA, 1998), volume 2 ofGeom. Topol. Monogr., pages 473–488. Geom. Topol. Publ., Coventry,

    work page 1998

  19. [19]

    Seidel’s theorem via gauge theory.arXiv:2010.03361,

    [Smi20] Gleb Smirnov. Seidel’s theorem via gauge theory.arXiv:2010.03361,

    work page arXiv 2010

  20. [20]

    Rakuten Institute of Technology, Rakuten, Inc

    [Wat18] Tadayuki Watanabe. Some exotic nontrivial elements of the rational homotopy groups of Diff(S 4).arXiv:1812.02448,

    work page arXiv