Recognition: unknown
Diffeomorphism groups and gauge theory for families
Pith reviewed 2026-05-10 09:29 UTC · model grok-4.3
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.
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 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.
Referee Report
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)
- The abstract and title are clear, but the introduction should include an explicit section-by-section outline to help readers navigate the survey structure.
- 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
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
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
Reference graph
Works this paper leans on
-
[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
2025
-
[2]
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]
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]
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
2019
-
[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
2021
-
[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
2023
-
[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]
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
2024
-
[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
2004
-
[10]
Ryan Budney and David Gabai. Knotted 3-balls in S^4 . arXiv:1912.09029 , 2021
-
[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
2024
-
[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
2024
-
[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
2020
-
[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
2022
-
[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
2023
-
[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
2026
-
[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]
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
1970
-
[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]
S. K. Donaldson. An application of gauge theory to four-dimensional topology. J. Differential Geom. , 18(2):279--315, 1983
1983
-
[21]
S. K. Donaldson. Polynomial invariants for smooth four-manifolds. Topology , 29(3):257--315, 1990
1990
-
[22]
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]
The topology of four-dimensional manifolds
Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry , 17(3):357--453, 1982
1982
-
[24]
M. Furuta. Monopole equation and the 11 8 -conjecture. Math. Res. Lett. , 8(3):279--291, 2001
2001
-
[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
2026
-
[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
2018
-
[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
2024
-
[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
1985
-
[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
1976
-
[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
2021
-
[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
2025
-
[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
2021
-
[33]
-operadic foundations for embedding calculus
Manuel Krannich and Alexander Kupers. -operadic foundations for embedding calculus. arXiv:2409.10991 , 2024
-
[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
2021
-
[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]
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]
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]
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]
P. B. Kronheimer and T. S. Mrowka. The genus of embedded surfaces in the projective plane. Math. Res. Lett. , 1(6):797--808, 1994
1994
-
[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
2020
-
[41]
Corks for exotic diffeomorphisms
Vyacheslav Krushkal, Anubhav Mukherjee, Mark Powell, and Terrin Warren. Corks for exotic diffeomorphisms. arXiv:2407.04696 , 2024
-
[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]
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]
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]
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
2026
-
[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
2023
-
[47]
Gauge theory for families
Hokuto Konno. Gauge theory for families. S\=ugaku, to appear
-
[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
2016
-
[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
2019
-
[50]
Characteristic classes via 4-dimensional gauge theory
Hokuto Konno. Characteristic classes via 4-dimensional gauge theory. Geom. Topol. , 25(2):711--773, 2021
2021
-
[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
2022
-
[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
2024
-
[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]
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
2026
-
[55]
Some non-trivial families of symplectic structures
Peter Kronheimer. Some non-trivial families of symplectic structures. preprint
-
[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]
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
1977
-
[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
2022
-
[59]
Proving homological stability for homeomorphisms of manifolds
Alexander Kupers. Proving homological stability for homeomorphisms of manifolds. arXiv:1510.02456 , 2016
-
[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
2019
-
[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]
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
1987
-
[63]
Boundary Dehn twists are often commutators
Ayodeji Lindblad. Boundary D ehn twists are often commutators. arXiv:2604.13194 , 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[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]
Configuration space integrals and formal smooth structures
Jianfeng Lin and Yi Xie. Configuration space integrals and formal smooth structures. arXiv:2310.14156 , 2023
-
[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]
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]
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
2007
-
[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
2005
-
[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
2003
-
[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
2010
-
[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
2017
-
[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
2017
-
[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
2000
-
[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
2025
-
[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]
Isotopy of 4 -manifolds
Frank Quinn. Isotopy of 4 -manifolds. J. Differential Geom. , 24(3):343--372, 1986
1986
-
[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
1998
-
[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
1998
-
[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
2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.