pith. machine review for the scientific record. sign in

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

Recognition: unknown

Diffeomorphism groups and gauge theory for families

Authors on Pith no claims yet

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

classification 🧮 math.GT math.DGmath.SG
keywords gauge theory for familiesdiffeomorphism groups4-manifoldsgauge theorytopological invariantsmapping class groups
0
0 comments X

The pith

This survey organizes recent work applying gauge theory to families of 4-manifolds in order to study their diffeomorphism groups.

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

The paper surveys gauge theory adapted to families of manifolds, with emphasis on applications to diffeomorphism groups of 4-manifolds that appeared between 2021 and 2025. A sympathetic reader would care because these groups describe all continuous symmetries of a given 4-manifold, and dimension four remains the least understood case in smooth topology. The survey collects the methods and results from that period to show how family versions of gauge-theoretic invariants yield information about the homotopy type and algebraic structure of the groups. It presents the material as a coherent body of techniques rather than isolated results.

Core claim

The survey reviews gauge theory for families and focuses on its applications to diffeomorphism groups of 4-manifolds developed during 2021-2025.

What carries the argument

Gauge theory for families, which equips a base space of parameters with a bundle of 4-manifolds and produces invariants that vary continuously with the parameter to detect symmetries invisible to single-manifold invariants.

If this is right

  • Family gauge invariants supply obstructions to the existence of certain diffeomorphisms that ordinary invariants miss.
  • The homotopy groups of diffeomorphism groups of many 4-manifolds receive concrete calculations or bounds from the family techniques surveyed.
  • The methods interact with existing 4-manifold tools such as Seiberg-Witten theory by incorporating a parameter space.
  • The survey covers developments from 2021 to 2025 that link these invariants directly to mapping class groups.

Where Pith is reading between the lines

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

  • These techniques could extend to questions about the stable diffeomorphism group in higher dimensions.
  • Future comparisons with other family invariants such as those from Heegaard Floer theory may appear.
  • Applications to the classification of exotic smooth structures on 4-manifolds become more feasible with the surveyed tools.

Load-bearing premise

The survey accurately and fairly represents the content, methods, and implications of the research papers published on gauge theory for families and diffeomorphism groups of 4-manifolds between 2021 and 2025.

What would settle it

A major paper published between 2021 and 2025 on gauge theory for families or its use on diffeomorphism groups of 4-manifolds that the survey omits or misstates.

read the original abstract

This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.

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

Summary. This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of 4-manifolds that were developed during the period 2021--2025.

Significance. If the survey faithfully represents the cited literature without introducing errors, it would be a useful consolidation of recent work in an active area of 4-manifold topology. The manuscript does not claim new theorems or derivations but organizes existing results on family gauge theory and diffeomorphism groups, which can aid researchers in navigating the 2021--2025 literature.

minor comments (2)
  1. The abstract and title are clear, but the introduction should include an explicit section-by-section outline to help readers navigate the survey structure.
  2. Ensure that all cited works from 2021--2025 are listed in the references with complete bibliographic details and that any omitted papers in the period are justified by scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the survey and for recommending minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

Survey article advances no derivations or claims; circularity impossible

full rationale

This manuscript is a survey of prior work on gauge theory for families and its 2021-2025 applications to diffeomorphism groups of 4-manifolds. It states no new theorems, derivations, predictions, or parameter fits. The central claim is purely descriptive (that the article surveys the indicated literature), which requires no technical reduction or self-referential justification. No equations, ansatzes, uniqueness theorems, or fitted inputs appear. Per the hard rules, a self-contained descriptive survey receives score 0 with empty steps list.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a survey article the paper introduces no new free parameters, axioms, or invented entities; all such elements remain in the cited prior literature.

pith-pipeline@v0.9.0 · 5308 in / 890 out tokens · 55470 ms · 2026-05-10T09:29:53.385250+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

90 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    Inanc Baykur

    Mihail Arabadji and R. Inanc Baykur. Nielsen realization in dimension four and projective twists. Adv. Math. , 463:Paper No. 110112, 22, 2025

  2. [2]

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

    Dave Auckly and Daniel Ruberman. Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via S eiberg- W itten theory. arXiv:2501.11892 , 2025

  3. [3]

    Smoothly knotted surfaces that remain distinct after many internal stabilizations

    David Auckly. Smoothly knotted surfaces that remain distinct after many internal stabilizations. arXiv:2307.16266 , 2023

  4. [4]

    Obstructions to smooth group actions on 4-manifolds from families S eiberg- W itten theory

    David Baraglia. Obstructions to smooth group actions on 4-manifolds from families S eiberg- W itten theory. Adv. Math. , 354:106730, 32, 2019

  5. [5]

    Constraints on families of smooth 4-manifolds from B auer- F uruta invariants

    David Baraglia. Constraints on families of smooth 4-manifolds from B auer- F uruta invariants. Algebr. Geom. Topol. , 21(1):317--349, 2021

  6. [6]

    Non-trivial smooth families of K3 surfaces

    David Baraglia. Non-trivial smooth families of K3 surfaces. Math. Ann. , 387(3-4):1719--1744, 2023

  7. [7]

    On the mapping class groups of simply-connected smooth 4-manifolds

    David Baraglia. On the mapping class groups of simply-connected smooth 4-manifolds. arXiv:2310.18819 , 2023

  8. [8]

    An adjunction inequality obstruction to isotopy of embedded surfaces in 4-manifolds

    David Baraglia. An adjunction inequality obstruction to isotopy of embedded surfaces in 4-manifolds. Math. Res. Lett. , 31(2):329--352, 2024

  9. [9]

    A stable cohomotopy refinement of S eiberg- W itten invariants

    Stefan Bauer and Mikio Furuta. A stable cohomotopy refinement of S eiberg- W itten invariants. I . Invent. Math. , 155(1):1--19, 2004

  10. [10]

    Math.341(2019), 609–615

    Ryan Budney and David Gabai. Knotted 3-balls in S^4 . arXiv:1912.09029 , 2021

  11. [11]

    Brieskorn spheres, cyclic group actions and the M ilnor conjecture

    David Baraglia and Pedram Hekmati. Brieskorn spheres, cyclic group actions and the M ilnor conjecture. J. Topol. , 17(2):Paper No. e12339, 40, 2024

  12. [12]

    Equivariant S eiberg- W itten- F loer cohomology

    David Baraglia and Pedram Hekmati. Equivariant S eiberg- W itten- F loer cohomology. Algebr. Geom. Topol. , 24(1):493--554, 2024

  13. [13]

    A gluing formula for families S eiberg- W itten invariants

    David Baraglia and Hokuto Konno. A gluing formula for families S eiberg- W itten invariants. Geom. Topol. , 24(3):1381--1456, 2020

  14. [14]

    On the B auer- F uruta and S eiberg- W itten invariants of families of 4-manifolds

    David Baraglia and Hokuto Konno. On the B auer- F uruta and S eiberg- W itten invariants of families of 4-manifolds. J. Topol. , 15(2):505--586, 2022

  15. [15]

    A note on the N ielsen realization problem for K3 surfaces

    David Baraglia and Hokuto Konno. A note on the N ielsen realization problem for K3 surfaces. Proc. Amer. Math. Soc. , 151(9):4079--4087, 2023

  16. [16]

    Irreducible 4-manifolds can admit exotic diffeomorphisms

    David Baraglia and Hokuto Konno. Irreducible 4-manifolds can admit exotic diffeomorphisms. Duke Math. J. , 175(4):717--733, 2026

  17. [17]

    Finiteness properties of automorphism spaces of manifolds with finite fundamental group

    Mauricio Bustamante, Manuel Krannich, and Alexander Kupers. Finiteness properties of automorphism spaces of manifolds with finite fundamental group. arXiv:2103.13468 , 2023

  18. [18]

    Brieskorn

    E. Brieskorn. Singular elements of semi-simple algebraic groups. In Actes du C ongr\`es I nternational des M ath\'ematiciens ( N ice, 1970), T ome 2 , pages 279--284. Gauthier-Villars \'Editeur, Paris, 1971

  19. [19]

    Exotic diffeomorphisms of 4-manifolds with b_+ = 2

    David Baraglia and Joshua Tomlin. Exotic diffeomorphisms of 4-manifolds with b_+ = 2 . arXiv:2511.13976 , 2025

  20. [20]

    S. K. Donaldson. An application of gauge theory to four-dimensional topology. J. Differential Geom. , 18(2):279--315, 1983

  21. [21]

    S. K. Donaldson. Polynomial invariants for smooth four-manifolds. Topology , 29(3):257--315, 1990

  22. [22]

    Family S eiberg- W itten equation on K ahler surface and _i(symp) on multiple-point blow ups of C alabi- Y au surfaces

    Yi Du. Family S eiberg- W itten equation on K ahler surface and _i(symp) on multiple-point blow ups of C alabi- Y au surfaces. arXiv:2412.19375 , 2025

  23. [23]

    The topology of four-dimensional manifolds

    Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry , 17(3):357--453, 1982

  24. [24]

    M. Furuta. Monopole equation and the 11 8 -conjecture. Math. Res. Lett. , 8(3):279--291, 2001

  25. [25]

    Pseudo-isotopies of simply connected 4-manifolds

    David Gabai, David Gay, Daniel Hartman, Vyacheslav Krushkal, and Mark Powell. Pseudo-isotopies of simply connected 4-manifolds. Forum Math. Pi , 14:Paper No. e9, 2026

  26. [26]

    Homological stability for moduli spaces of high dimensional manifolds

    S ren Galatius and Oscar Randal-Williams. Homological stability for moduli spaces of high dimensional manifolds. I . J. Amer. Math. Soc. , 31(1):215--264, 2018

  27. [27]

    The A lexander trick for homology spheres

    S ren Galatius and Oscar Randal-Williams. The A lexander trick for homology spheres. Int. Math. Res. Not. IMRN , (24):14689--14703, 2024

  28. [28]

    John L. Harer. Stability of the homology of the mapping class groups of orientable surfaces. Ann. of Math. (2) , 121(2):215--249, 1985

  29. [29]

    A. E. Hatcher. Concordance spaces, higher simple-homotopy theory, and applications. In Algebraic and geometric topology ( P roc. S ympos. P ure M ath., S tanford U niv., S tanford, C alif., 1976), P art 1 , volume XXXII of Proc. Sympos. Pure Math. , pages 3--21. Amer. Math. Soc., Providence, RI, 1978

  30. [30]

    A B auer- F uruta-type refinement of K ronheimer and M rowka's invariant for 4-manifolds with contact boundary

    Nobuo Iida. A B auer- F uruta-type refinement of K ronheimer and M rowka's invariant for 4-manifolds with contact boundary. Algebr. Geom. Topol. , 21(7):3303--3333, 2021

  31. [31]

    Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

    Nobuo Iida, Hokuto Konno, Anubhav Mukherjee, and Masaki Taniguchi. Diffeomorphisms of 4-manifolds with boundary and exotic embeddings. Math. Ann. , 391(2):1845--1897, 2025

  32. [32]

    Seiberg- W itten F loer homotopy contact invariant

    Nobuo Iida and Masaki Taniguchi. Seiberg- W itten F loer homotopy contact invariant. Studia Sci. Math. Hungar. , 58(4):505--558, 2021

  33. [33]

    -operadic foundations for embedding calculus

    Manuel Krannich and Alexander Kupers. -operadic foundations for embedding calculus. arXiv:2409.10991 , 2024

  34. [34]

    Rigidity of the mod 2 families S eiberg- W itten invariants and topology of families of spin 4-manifolds

    Tsuyoshi Kato, Hokuto Konno, and Nobuhiro Nakamura. Rigidity of the mod 2 families S eiberg- W itten invariants and topology of families of spin 4-manifolds. Compos. Math. , 157(4):770--808, 2021

  35. [35]

    Homological instability for moduli spaces of smooth 4-manifolds

    Hokuto Konno and Jianfeng Lin. Homological instability for moduli spaces of smooth 4-manifolds. arXiv:2211.03043 , 2022

  36. [36]

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

    Hokuto Konno, Jianfeng Lin, Anubhav Mukherjee, and Juan Mu^^c3^^b1oz-Ech^^c3^^a1niz. The monodromy diffeomorphism of weighted singularities and S eiberg-- W itten theory. arXiv:2411.12202 , 2024

  37. [37]

    On four-dimensional D ehn twists and M ilnor fibrations

    Hokuto Konno, Jianfeng Lin, Anubhav Mukherjee, and Juan Mu^^c3^^b1oz-Ech^^c3^^a1niz. On four-dimensional D ehn twists and M ilnor fibrations. arXiv:2409.11961 , 2024. to appear in Duke Math. J

  38. [38]

    Constraints on L efschetz fibrations with four-dimensional fibers from S eiberg- W itten theory

    Hokuto Konno, Jianfeng Lin, Anubhav Mukherjee, and Juan Mu^^c3^^b1oz-Ech^^c3^^a1niz. Constraints on L efschetz fibrations with four-dimensional fibers from S eiberg- W itten theory. arXiv:2511.00601 , 2025

  39. [39]

    P. B. Kronheimer and T. S. Mrowka. The genus of embedded surfaces in the projective plane. Math. Res. Lett. , 1(6):797--808, 1994

  40. [40]

    P. B. Kronheimer and T. S. Mrowka. The D ehn twist on a sum of two K3 surfaces. Math. Res. Lett. , 27(6):1767--1783, 2020

  41. [41]

    Corks for exotic diffeomorphisms

    Vyacheslav Krushkal, Anubhav Mukherjee, Mark Powell, and Terrin Warren. Corks for exotic diffeomorphisms. arXiv:2407.04696 , 2024

  42. [42]

    Exotic codimension-1 submanifolds in 4-manifolds and stabilizations

    Hokuto Konno, Anubhav Mukherjee, and Masaki Taniguchi. Exotic codimension-1 submanifolds in 4-manifolds and stabilizations. arXiv:2210.05029 , 2022

  43. [43]

    Exotic D ehn twists on 4-manifolds

    Hokuto Konno, Abhishek Mallick, and Masaki Taniguchi. Exotic D ehn twists on 4-manifolds. arXiv:2306.08607 , 2023. to appear in Geom. Topol

  44. [44]

    Exotically knotted closed surfaces from D onaldson's diagonalization for families

    Hokuto Konno, Abhishek Mallick, and Masaki Taniguchi. Exotically knotted closed surfaces from D onaldson's diagonalization for families. arXiv:2409.07287 , 2024

  45. [45]

    From diffeomorphisms to exotic phenomena in small 4-manifolds

    Hokuto Konno, Abhishek Mallick, and Masaki Taniguchi. From diffeomorphisms to exotic phenomena in small 4-manifolds. Selecta Math. (N.S.) , 32(2):Paper No. 27, 2026

  46. [46]

    Constraints on families of smooth 4-manifolds from Pin ^ - (2) -monopole

    Hokuto Konno and Nobuhiro Nakamura. Constraints on families of smooth 4-manifolds from Pin ^ - (2) -monopole. Algebr. Geom. Topol. , 23(1):419--438, 2023

  47. [47]

    Gauge theory for families

    Hokuto Konno. Gauge theory for families. S\=ugaku, to appear

  48. [48]

    Bounds on genus and configurations of embedded surfaces in 4-manifolds

    Hokuto Konno. Bounds on genus and configurations of embedded surfaces in 4-manifolds. J. Topol. , 9(4):1130--1152, 2016

  49. [49]

    Positive scalar curvature and higher-dimensional families of S eiberg- W itten equations

    Hokuto Konno. Positive scalar curvature and higher-dimensional families of S eiberg- W itten equations. J. Topol. , 12(4):1246--1265, 2019

  50. [50]

    Characteristic classes via 4-dimensional gauge theory

    Hokuto Konno. Characteristic classes via 4-dimensional gauge theory. Geom. Topol. , 25(2):711--773, 2021

  51. [51]

    A cohomological S eiberg- W itten invariant emerging from the adjunction inequality

    Hokuto Konno. A cohomological S eiberg- W itten invariant emerging from the adjunction inequality. J. Topol. , 15(1):108--167, 2022

  52. [52]

    The homology of moduli spaces of 4-manifolds may be infinitely generated

    Hokuto Konno. The homology of moduli spaces of 4-manifolds may be infinitely generated. Forum Math. Pi , 12:Paper No. e25, 2024

  53. [53]

    Exotic diffeomorphisms on a contractible 4-manifold surviving two stabilizations

    Sungkyung Kang, JungHwan Park, and Masaki Taniguchi. Exotic diffeomorphisms on a contractible 4-manifold surviving two stabilizations. arXiv:2510.12394 , 2025

  54. [54]

    Exotic D ehn twists and homotopy coherent group actions

    Sungkyung Kang, JungHwan Park, and Masaki Taniguchi. Exotic D ehn twists and homotopy coherent group actions. Invent. Math. , 243(1):209--241, 2026

  55. [55]

    Some non-trivial families of symplectic structures

    Peter Kronheimer. Some non-trivial families of symplectic structures. preprint

  56. [56]

    Diffeomorphisms of discs and the second weiss derivative of BTop(-)

    Manuel Krannich and Oscar Randal-Williams. Diffeomorphisms of discs and the second weiss derivative of BTop(-) . arXiv:2109.03500 , 2021

  57. [57]

    Kirby and Laurence C

    Robion C. Kirby and Laurence C. Siebenmann. Foundational essays on topological manifolds, smoothings, and triangulations . Annals of Mathematics Studies, No. 88. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1977. With notes by John Milnor and Michael Atiyah

  58. [58]

    The groups of diffeomorphisms and homeomorphisms of 4-manifolds with boundary

    Hokuto Konno and Masaki Taniguchi. The groups of diffeomorphisms and homeomorphisms of 4-manifolds with boundary. Adv. Math. , 409:Paper No. 108627, 58, 2022

  59. [59]

    Proving homological stability for homeomorphisms of manifolds

    Alexander Kupers. Proving homological stability for homeomorphisms of manifolds. arXiv:1510.02456 , 2016

  60. [60]

    Some finiteness results for groups of automorphisms of manifolds

    Alexander Kupers. Some finiteness results for groups of automorphisms of manifolds. Geom. Topol. , 23(5):2277--2333, 2019

  61. [61]

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

    Jianfeng Lin. The family S eiberg- W itten invariant and nonsymplectic loops of diffeomorphisms. arXiv:2208.12082 , 2022

  62. [62]

    Isotopy of the D ehn twist on K3\, \#\, K3 after a single stabilization

    Jianfeng Lin. Isotopy of the D ehn twist on K3\, \#\, K3 after a single stabilization. Geom. Topol. , 27(5):1987--2012, 2023

  63. [63]

    Boundary Dehn twists are often commutators

    Ayodeji Lindblad. Boundary D ehn twists are often commutators. arXiv:2604.13194 , 2026

  64. [64]

    Symplectic T orelli groups of rational surfaces

    Jun Li, Tian-Jun Li, and Weiwei Wu. Symplectic T orelli groups of rational surfaces. arXiv:2212.01873 , 2022

  65. [65]

    Configuration space integrals and formal smooth structures

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

  66. [66]

    Configurations of L agrangian spheres in K3 surfaces

    Juan Mu^^c3^^b1oz-Ech^^c3^^a1niz. Configurations of L agrangian spheres in K3 surfaces. arXiv:2507.15039 , 2025

  67. [67]

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

    Jin Miyazawa. Boundary D ehn twists on M ilnor fibers and F amily B auer-- F uruta invariants. arXiv:2410.21742 , 2024

  68. [68]

    The stable moduli space of R iemann surfaces: M umford's conjecture

    Ib Madsen and Michael Weiss. The stable moduli space of R iemann surfaces: M umford's conjecture. Ann. of Math. (2) , 165(3):843--941, 2007

  69. [69]

    On the O zsv\'ath- S zab\'o invariant of negative definite plumbed 3-manifolds

    Andr\'as N\'emethi. On the O zsv\'ath- S zab\'o invariant of negative definite plumbed 3-manifolds. Geom. Topol. , 9:991--1042, 2005

  70. [70]

    The S eiberg- W itten equations for families and diffeomorphisms of 4-manifolds

    Nobuhiro Nakamura. The S eiberg- W itten equations for families and diffeomorphisms of 4-manifolds. Asian J. Math. , 7(1):133--138, 2003

  71. [71]

    Smoothability of Z Z -actions on 4-manifolds

    Nobuhiro Nakamura. Smoothability of Z Z -actions on 4-manifolds. Proc. Amer. Math. Soc. , 138(8):2973--2978, 2010

  72. [72]

    Homological stability and stable moduli of flat manifold bundles

    Sam Nariman. Homological stability and stable moduli of flat manifold bundles. Adv. Math. , 320:1227--1268, 2017

  73. [73]

    Stable homology of surface diffeomorphism groups made discrete

    Sam Nariman. Stable homology of surface diffeomorphism groups made discrete. Geom. Topol. , 21(5):3047--3092, 2017

  74. [74]

    Nicolaescu

    Liviu I. Nicolaescu. Notes on S eiberg- W itten theory , volume 28 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2000

  75. [75]

    Mapping class groups of simply connected 4-manifolds with boundary

    Patrick Orson and Mark Powell. Mapping class groups of simply connected 4-manifolds with boundary. J. Differential Geom. , 131(1):199--275, 2025

  76. [76]

    The D ehn twist on a connected sum of two homology tori

    Haochen Qiu. The D ehn twist on a connected sum of two homology tori. arXiv:2410.02461 , 2024

  77. [77]

    Isotopy of 4 -manifolds

    Frank Quinn. Isotopy of 4 -manifolds. J. Differential Geom. , 24(3):343--372, 1986

  78. [78]

    An obstruction to smooth isotopy in dimension 4

    Daniel Ruberman. An obstruction to smooth isotopy in dimension 4 . Math. Res. Lett. , 5(6):743--758, 1998

  79. [79]

    A polynomial invariant of diffeomorphisms of 4-manifolds

    Daniel Ruberman. A polynomial invariant of diffeomorphisms of 4-manifolds. In Proceedings of the K irbyfest ( B erkeley, CA , 1998) , volume 2 of Geom. Topol. Monogr. , pages 473--488. Geom. Topol. Publ., Coventry, 1999

  80. [80]

    Positive scalar curvature, diffeomorphisms and the S eiberg- W itten invariants

    Daniel Ruberman. Positive scalar curvature, diffeomorphisms and the S eiberg- W itten invariants. Geom. Topol. , 5:895--924, 2001

Showing first 80 references.