Lefschetz fibration

Lefschetz fibration
Name	Lefschetz fibration
Field	Algebraic topology; Symplectic geometry
Introduced	1930s
Primary contributors	Solomon Lefschetz; André Weil; Kunihiko Kodaira; John Milnor; William Thurston

Lefschetz fibration A Lefschetz fibration is a map from a compact four-manifold to a two-manifold with isolated nondegenerate critical points modeled on complex Morse singularities; it organizes four-dimensional topology via fibrations whose fibres are Riemann surfaces. The concept connects classical work by Solomon Lefschetz, developments in algebraic geometry by André Weil and Kunihiko Kodaira, and modern treatments by John Milnor and William Thurston, while interfacing with methods from Michael Atiyah, Raoul Bott, and Simon Donaldson.

Definition and basic properties

A Lefschetz fibration is defined on a smooth oriented closed four-manifold M with target S^2 (or a surface) where all critical points are nondegenerate in the complex sense, reflecting local models used by Solomon Lefschetz, Kodaira, and André Weil; the structure ties to singularity theory studied by John Milnor and René Thom. Regular fibres are closed oriented surfaces related to Riemann surfaces considered by Bernhard Riemann and Felix Klein, and singular fibres contain a single transverse vanishing cycle as in works by Henri Poincaré and Émile Picard. The monodromy around singular values is given by Dehn twists studied by Max Dehn, William Thurston, and Joan Birman, and these properties are central in the topology analyses of Michael Freedman and Simon Donaldson. Structural constraints such as existence of sections and relative spin structures involve contributions from Isadore Singer, Shing-Tung Yau, and Edward Witten, and relate to moduli problems treated by Pierre Deligne and David Mumford.

Examples and constructions

Standard examples arise from complex algebraic fibrations like elliptic surfaces studied by Kunihiko Kodaira, Enriques surfaces analyzed by Federigo Enriques, and K3 surfaces examined by André Weil and Erich Kähler, all of which yield Lefschetz fibrations via projective morphisms used by Alexander Grothendieck and Jean-Pierre Serre. Lefschetz pencils introduced by Simon Donaldson and Denis Auroux produce fibrations after blowing up base points, with constructions paralleling ideas in the work of Friedrich Hirzebruch and Kunihiko Kodaira on algebraic surfaces. Explicit constructions include the genus-one elliptic fibrations appearing in the works of Srinivasa Ramanujan-related modular forms studied by G. H. Hardy and John Littlewood, and higher-genus examples derived from branched coverings as in the techniques of Riemann, Felix Klein, and Bernhard Riemann. Symplectic constructions use results by Helmut Hofer, Dusa McDuff, and Dietmar Salamon, while stabilization methods leverage theories by Rob Kirby, Paul Melvin, and Andrew Casson.

Monodromy and vanishing cycles

Monodromy of a Lefschetz fibration is encoded by products of right-handed Dehn twists in the mapping class group, building on work by Max Dehn, Joan Birman, and William Thurston, and analyzed via algebraic descriptions used by Nikolai Ivanovich Lobachevsky and Emmy Noether in group contexts. Vanishing cycles are essential simple closed curves on fibres, whose isotopy classes relate to mapping class group relations studied by Benson Farb, Dan Margalit, and John Harer; Picard–Lefschetz theory developed by Solomon Lefschetz and Henri Picard dictates how cycles vanish following ideas by Élie Cartan and Émile Picard. Factorizations of monodromy into Dehn twists correspond to Hurwitz moves first considered by Adolf Hurwitz and to braid group actions examined by Emil Artin and Jacques Tits, with connections to moduli spaces researched by Pierre Deligne and Alexander Grothendieck. Representation-theoretic and categorical perspectives involve Maxim Kontsevich, Yuri Manin, and Edward Witten, linking to homological mirror symmetry proposed by Kontsevich and explored by Paul Seidel.

Lefschetz pencils and relation to symplectic structures

Lefschetz pencils, introduced by Simon Donaldson and Denis Auroux, are projective linear systems producing fibrations after blowing up, paralleling the linear systems treated by Guido Castelnuovo and Federigo Enriques in algebraic geometry; these pencils yield symplectic Lefschetz fibrations when compatible with symplectic forms studied by Mikhail Gromov and Dusa McDuff. The Donaldson theorem connecting Lefschetz pencils to symplectic forms uses techniques from Yang–Mills theory developed by Michael Atiyah and Isadore Singer and links to Seiberg–Witten invariants formulated by Edward Witten and Clifford Taubes. Compatibility between Lefschetz pencils and almost complex structures invokes Newlander–Nirenberg results and integrability conditions addressed by Kunihiko Kodaira, while symplectic isotopy problems relate to works of Yakov Eliashberg and John Etnyre. Applications to mirror symmetry involve Maxim Kontsevich and Paul Seidel, and the interaction with Floer homology draws on Andreas Floer and Peter Ozsváth with Zoltán Szabó.

Classification and invariants

Classification of Lefschetz fibrations up to isomorphism uses monodromy factorizations in mapping class groups of surfaces, a method developed with input from William Thurston, Benson Farb, and Dan Margalit, while uniqueness and stabilization results were studied by Robert Gompf, András Stipsicz, and Joel Hass. Invariants include Euler characteristic and signature computed using Hirzebruch’s signature theorem and Novikov additivity from Sergei Novikov, and finer invariants come from Seiberg–Witten theory of Edward Witten and Clifford Taubes as well as Heegaard Floer invariants by Peter Ozsváth and Zoltán Szabó. The use of symplectic field theory due to Yakov Eliashberg and Helmut Hofer provides additional classification tools, and relationships with exotic smooth structures on four-manifolds were investigated by Michael Freedman and Simon Donaldson. Categorical invariants relate to Fukaya categories formulated by Paul Seidel and Maxim Kontsevich.

Applications in low-dimensional topology and symplectic geometry

Lefschetz fibrations underpin constructions of symplectic four-manifolds used by Simon Donaldson and Robert Gompf to produce examples with prescribed invariants, and they play a role in constructing contact structures studied by Yakov Eliashberg and Emmanuel Giroux. They facilitate computations in Floer homology initiated by Andreas Floer and extended by Peter Ozsváth and Zoltán Szabó, and inform the study of mapping class groups by Joan Birman and William Thurston. Interactions with gauge theory link to Donaldson and Seiberg–Witten invariants from Edward Witten and Clifford Taubes, while contributions to mirror symmetry and categorical dualities follow from Maxim Kontsevich and Paul Seidel. Lefschetz techniques also appear in the study of four-dimensional handlebody decompositions pioneered by Rob Kirby and Andrew Casson, and in relations between algebraic surfaces by Kunihiko Kodaira and Enriques.

Category:Topology