Picard–Lefschetz theory

Picard–Lefschetz theory
Name	Picard–Lefschetz theory
Caption	Vanishing cycle schematic
Field	Algebraic geometry, Singularity theory, Topology
Introduced	Early 20th century
Founders	Émile Picard, Solomon Lefschetz
Key concepts	Vanishing cycle, Monodromy, Morse theory
Applications	Hodge theory, Mirror symmetry, Seiberg–Witten theory

Picard–Lefschetz theory provides a framework relating the topology of complex algebraic varieties, the behavior of critical points of holomorphic functions, and the action of monodromy on homology. It connects methods introduced by Émile Picard and Solomon Lefschetz with ideas from Marston Morse and others to analyze how homology classes vanish or transform when parameters vary around singularities. The theory has deep links to Henri Poincaré's work, influences from Bernard Riemann, and consequences exploited in modern programs such as Grothendieck's algebraic geometry and Edward Witten's quantum field theory.

Introduction

Picard–Lefschetz techniques study families of complex hypersurfaces defined by maps influenced by figures like Hermann Weyl, André Weil, and Alexander Grothendieck, tracing how homology and cohomology groups change under monodromy around critical values. The central objects include vanishing cycles inspired by George David Birkhoff and monodromy operators related to Élie Cartan and Jean-Pierre Serre, with links to period integrals studied by Félix Klein and Henri Cartan. Applications range across problems considered by David Hilbert, Oscar Zariski, and Kunihiko Kodaira.

Historical development and motivation

Origins trace to the work of Émile Picard on analytic continuation and value distribution, and to Solomon Lefschetz's algebraic topology insights applied to algebraic geometry, influenced by contemporaries like Felix Klein and Henri Poincaré. Subsequent contributions came from Hassler Whitney, John Milnor, René Thom, and Marston Morse who formalized critical point theory; further evolution followed through collaborations with Claude Chevalley, Alexander Grothendieck, and Jean Leray. Developments in the mid-20th century involved Raoul Bott, Shreeram Shankar Abhyankar, and Oscar Zariski, while later expansions engaged Pierre Deligne, Phillip Griffiths, and Wilfried Schmid in bridging to Hodge theory and period domains.

Morse theory and vanishing cycles

The link between Morse theory and vanishing cycles was shaped by Marston Morse and refined by John Milnor in his study of singular points, with further technical tools contributed by René Thom and Hassler Whitney. Vanishing cycles encode how homology from a smooth fibre degenerates at a critical fibre; analyses drew on techniques associated with Lars Ahlfors, Rolf Nevanlinna, and Oscar Zariski. The Picard–Lefschetz perspective integrates ideas used by Heisuke Hironaka in resolution of singularities and by David Mumford in moduli problems, and it connects to monodromy constructions familiar to Jean-Pierre Serre, Alexander Grothendieck, and Klaus Johann.

Picard–Lefschetz formula and monodromy

The Picard–Lefschetz formula expresses how a vanishing cycle modifies intersection pairings under analytic continuation around a critical value, building on intersection theory developed by Enriques, Federico Enriques, and André Weil. Monodromy operators arise in the study of local systems influenced by Henri Poincaré's fundamental group ideas and were formalized by Jean Leray and Aleksandr Lyapunov; later algebraic formulations involved Alexander Grothendieck and Pierre Deligne. The formula underpins computations leveraged in the works of Phillip Griffiths, Wilfried Schmid, and Gérard Laumon.

Applications in algebraic geometry and singularity theory

Picard–Lefschetz methods are central in resolving problems tackled by David Mumford, Kunihiko Kodaira, and Phillip Griffiths such as variation of Hodge structure and period mappings. They appear in classification programs associated with Igor Dolgachev, Shigeru Mukai, and in mirror symmetry developments driven by Maxim Kontsevich, Cumrun Vafa, and Edward Witten. In singularity theory, techniques tie to the work of Vladimir Arnold, John Milnor, and B. Teissier; they also inform deformation theories advanced by Michel Demazure and Michael Artin and influence enumerative projects connected to Alexander Givental and Richard Thomas.

Examples and computations

Classical computations include vanishing cycles for plane curve singularities studied by Oscar Zariski, nodal degenerations analyzed by Solomon Lefschetz himself, and simple singularities classified by Vladimir Arnold. Explicit monodromy calculations were advanced by John Milnor and exemplified in cases considered by Enrico Bombieri, Shreeram Abhyankar, and Pál Erdős (contextual interactions), with algorithmic approaches later developed by researchers like Bernhard Keller, David Eisenbud, and Michael Artin. Computations play roles in concrete situations explored by Igor Dolgachev, Shigeru Mukai, and Sheldon Katz in connection with enumerative geometry.

Further developments and generalizations

Extensions of Picard–Lefschetz theory interact with derived categories as in work by Maxim Kontsevich and Paul Seidel, with perverse sheaves and decomposition theorems due to Pierre Deligne and Alexander Beilinson, and with categorical approaches promoted by Jacob Lurie and Denis-Charles Cisinski. Relations to gauge theory and low-dimensional topology are pursued by Edward Witten, Simon Donaldson, and Ciprian Manolescu, while arithmetic incarnations touch research of Alexander Grothendieck, Pierre Deligne, and Nicholas Katz. Modern computational and theoretical developments engage researchers such as Richard Thomas, Dmitry Kaledin, Tony Pantev, and Mikhail Kapranov.

Category:Algebraic geometry