Lefschetz pencil

Lefschetz pencil A Lefschetz pencil is a tool in algebraic geometry and symplectic geometry that organizes a projective variety into a one-parameter family of hyperplane sections with controlled singularities; it links techniques from Solomon Lefschetz, André Weil, Jean-Pierre Serre, Alexander Grothendieck and later developments by Simon Donaldson. The construction facilitates study of topology via monodromy, vanishing cycles and Picard–Lefschetz theory, connecting to work of Élie Cartan, Hermann Weyl, René Thom and John Milnor. Lefschetz pencils underpin advances in classification problems led by David Mumford, Arnaud Beauville, Shing-Tung Yau, and computational approaches influenced by David Eisenbud and Joseph Harris.

Definition and basic properties

A Lefschetz pencil on a smooth projective variety over a field (commonly C or another algebraically closed field) is given by two global sections of an ample line bundle whose base locus is smooth and finite; generic members are smooth hyperplane sections while singular fibers have a single ordinary double point (a nondegenerate quadratic singularity) discovered in classical work by Lefschetz, Solomon contemporaries and refined in the context of Hodge theory by Phillip Griffiths and Wilfried Schmid. Fundamental properties involve the Picard group and the canonical class studied by Federigo Enriques and Oscar Zariski, the Bertini theorem variants attributed to Julius Plücker and Clifford style arguments, and stability under small deformations analyzed by Kunihiko Kodaira and Donaldson–Kronheimer techniques. The base locus can be resolved by blowing up along a smooth center, invoking methods of Heisuke Hironaka and Birger Iversen.

Construction and examples

Standard constructions begin with a smooth projective hypersurface in projective space P^n; choose two independent linear forms yielding a rational map to P^1, then resolve indeterminacy by blowing up the base locus as in classical work by Federico Enriques and modern expositions by Robin Hartshorne and William Fulton. Examples include pencils on plane curves studied by Bernard Riemann's successors, pencils on K3 surfaces central to research by Igor Dolgachev and Claire Voisin, and pencils on Calabi–Yau varieties motivated by Philip Candelas and Maxim Kontsevich. Explicit low-dimensional examples arise in studies of elliptic fibrations used by Kodaira and Shioda–Inose families, and in constructions of symplectic four-manifolds pioneered by Simon Donaldson and Ronald Fintushel.

Lefschetz pencils and fibrations

A Lefschetz pencil induces a Lefschetz fibration after blowing up the base locus; this bridge between algebraic and symplectic categories was crystallized by comparisons between algebraic geometers like Jean-Louis Colliot-Thélène and symplectic topologists such as Yakov Eliashberg and Dusa McDuff. Lefschetz fibrations on four-manifolds play a central role in the work of Robert Gompf, Stéphane Guillermou, and Paul Seidel, linking to Floer homology developed by Andreas Floer and categorical frameworks advanced by Maxim Kontsevich and Paul Hacking. The fibration viewpoint informs mapping class group actions studied by John Harer and monodromy factorizations made explicit by Benson Farb and Dan Margalit.

Monodromy and vanishing cycles

Picard–Lefschetz formulae describe how monodromy around a singular fiber acts on homology, a theme pioneered by Solomon Lefschetz and extended by Vladimir Arnold and Wilfried Schmid in singularity theory. Vanishing cycles are Lagrangian spheres in symplectic settings as studied by Paul Seidel, and correspond to vanishing cycles in classical Milnor fiber analysis by John Milnor. Mapping class group representations arising from monodromy link to braid group phenomena analyzed by Emil Artin and to stability conditions investigated by Tom Bridgeland and Maxim Kontsevich. Computations of monodromy inform Torelli-type results explored by Igor Dolgachev and global Torelli conjectures considered by Claire Voisin.

Applications in algebraic and symplectic geometry

In algebraic geometry, Lefschetz pencils provide Lefschetz hyperplane theorems used by Alexander Grothendieck and Jean-Pierre Serre to compute fundamental groups, cohomology, and to deduce hard Lefschetz statements central to proofs involving the Hodge conjecture and contributions by Pierre Deligne. In symplectic geometry, pencils and fibrations underpin existence theorems for symplectic structures developed by Simon Donaldson and refined by Fukaya–Oh–Ohta–Ono in Fukaya category contexts. Applications include constructions of exotic four-manifolds in work by Ronald Fintushel and Ronald Stern, interactions with gauge theory from Donaldson–Thomas invariants and Seiberg–Witten theory, and categorical mirror symmetry programs led by Maxim Kontsevich and Paul Seidel. Lefschetz techniques also appear in enumerative geometry projects influenced by Kontsevich–Manin and degeneration arguments used by Eduard Looijenga and Joe Harris.

Category:Algebraic geometry