Fintushel–Stern

Fintushel–Stern
Name	Fintushel–Stern
Field	Differential topology; Low-dimensional topology
Founded	1990s
Founders	Ronald Fintushel; Ronald J. Stern
Notable concepts	knot surgery, rim surgery, Seiberg–Witten invariant

Fintushel–Stern.

Introduction

The Fintushel–Stern construction is a suite of techniques introduced by Ronald Fintushel and Ronald J. Stern that produced families of exotic smooth structures on 4-manifolds and linked classical knot theory with modern gauge theory invariants. Originating in the 1990s, the work relates operations on knots and links in S^3 to changes in differential topology of compact, simply connected 4-manifolds such as K3 surface, E8 manifold, and connected sums of S^2 × S^2. The methods rapidly influenced research by groups associated with Clifford Taubes, Edward Witten, Simon Donaldson, Peter Kronheimer, and Taubes' Gromov invariant investigations.

Construction and Key Techniques

The basic procedure, often called knot surgery, removes a tubular neighborhood of an embedded self-intersection-zero torus in a smooth 4-manifold X and glues in S^1 × (S^3 minus a tubular neighborhood of a knot K), matching meridians and longitudes to produce X_K. The construction uses detailed control of homology groups and intersection forms to preserve simply connectedness in examples such as Elliptic surfaces, K3 surface, and E(1). Complementary techniques include rim surgery and logarithmic transforms inspired by work on Lefschetz fibrations and operations used by Gompf and Stipsicz. Key inputs are careful calculations of fundamental group presentations, manipulation of Seiberg–Witten invariants, and the use of fibered knot monodromy as in constructions related to Alexander polynomial and Milnor fibration.

Applications in 4-Manifold Topology

Fintushel–Stern techniques produce infinite families of pairwise nondiffeomorphic smooth structures on fixed homeomorphism types, notably on simply connected 4-manifolds with positive definite or indefinite intersection forms. They provided examples distinguishing homeomorphism and diffeomorphism for manifolds like connected sums of S^2 × S^2 and complex surfaces including Elliptic surfaces and surfaces of general type. The methods informed classification efforts involving the Freedman topological classification results and the analytic constraints from Donaldson and Seiberg–Witten theory, impacting research by Friedl, Kronheimer–Mrowka, and Morgan.

Examples and Notable Results

The original applications produced families X_K with Seiberg–Witten invariants determined by the Alexander polynomial of K, yielding nondiffeomorphic smooth structures on K3 surface-type manifolds and on rational surfaces such as CP^2 blown up at points. Specific notable examples include exotic structures on E(1), constructions yielding infinitely many nondiffeomorphic smooth structures on manifolds homeomorphic to connected sums of copies of S^2 × S^2 and on manifolds related to the Dolbeault cohomology of complex surfaces. Subsequent work connected the construction to exotic knot-surgered manifolds used in studies by Akbulut, Matveyev, Fukaya–Ono-type symplectic considerations, and interactions with results by Taubes equating Seiberg–Witten invariants to counts of pseudo-holomorphic curves in symplectic manifolds.

Relation to Seiberg–Witten and Gauge Theory

A crucial feature is that the effect of knot surgery on the Seiberg–Witten invariant of X is multiplicative by the symmetrized Alexander polynomial Δ_K(t) of the knot K, a relation proved using techniques from Seiberg–Witten theory and comparisons to Donaldson invariants. This connection bridged classical knot theory invariants with analytic gauge theory invariants developed by Edward Witten and earlier work of Donaldson and Kronheimer–Mrowka. The approach leveraged wall-crossing phenomena, moduli space compactness results from Uhlenbeck compactness, and calculations of chamber structures familiar from studies by Morgan–Mrowka–Ruberman.

Extensions and Generalizations

Extensions include rim surgery, generalized satellite operations, higher-genus surface surgeries, and adaptations to produce exotic symplectic structures compatible with Lefschetz fibration techniques used by Gompf and Donaldson (mathematician). Variants have been applied to construct families distinguished by invariants from Heegaard Floer homology, Ozsváth–Szabó invariants, and relations to Khovanov homology in low-dimensional topology. Further generalizations exploit interactions with contact topology via Legendrian knots studied by Etnyre and Honda, and with categorical perspectives influenced by Seidel and Smith in symplectic geometry. The framework continues to motivate work by researchers such as Saveliev, Scorpan, Tange, and others exploring exotic smooth structures, knot concordance, and the landscape delineated by Freedman and Donaldson dichotomies.

Category:Low-dimensional topology