Lefschetz hyperplane theorem

Lefschetz hyperplane theorem The Lefschetz hyperplane theorem is a foundational result connecting the topology of a complex projective variety with that of its hyperplane sections, asserting isomorphisms of homotopy and homology groups in specified ranges. It links techniques from complex algebraic geometry, Hodge theory, and algebraic topology and has influenced work in areas associated with the names Solomon Lefschetz, André Weil, Jean-Pierre Serre, Alexander Grothendieck, and Phillip Griffiths. The theorem has multiple formulations—topological, cohomological, and étale—used in interactions with moduli problems, Morse theory, and duality theorems appearing in the literature of Oscar Zariski, Heisuke Hironaka, David Mumford, Pierre Deligne, and William Fulton.

Statement

The classical statement concerns a smooth complex projective variety X of complex dimension n embedded in projective space P^N over C, and a hyperplane H in P^N meeting X transversely. Then the inclusion of the hyperplane section Y = X ∩ H into X induces isomorphisms on singular homotopy groups π_i(Y) → π_i(X) for i < n−1 and a surjection for i = n−1; equivalently, the induced maps on singular homology H_i(Y, Z) → H_i(X, Z) are isomorphisms for i < n−1 and surjective for i = n−1. There are parallel formulations in singular cohomology with integer or rational coefficients and in coherent cohomology for ample line bundles as treated by A. Grothendieck in the context of the theory of schemes. The étale cohomology version replaces singular cohomology and applies over arbitrary algebraically closed fields, connecting with the work of Alexander Grothendieck and Jean-Pierre Serre on étale topoi.

Historical background

The theorem traces to pioneering work by Solomon Lefschetz in the 1920s using tools from algebraic topology and fixed-point theory; it was motivated by problems studied by Bernhard Riemann-inspired investigators and influenced by the Italian school including Federigo Enriques and Guido Castelnuovo. Subsequent reformulations and generalizations were developed by André Weil in the 1940s, who emphasized the role of cohomology in algebraic varieties, and by H. Hopf-school topologists who clarified homotopy-theoretic aspects. In the 1960s and 1970s, major expansions came from Jean-Pierre Serre and Alexander Grothendieck within the framework of scheme theory and étale cohomology, and from Phillip Griffiths and Joseph Harris via Hodge-theoretic and complex-analytic perspectives. Later refinements drew on resolution methods by Heisuke Hironaka and intersection-theoretic frameworks elaborated by William Fulton.

Proofs and variants

Proof techniques include classical Morse-theoretic arguments due to Marston Morse adapted to complex projective varieties, which exploit Lefschetz pencils and vanishing cycles as developed by René Thom and Vladimir Arnold. Algebraic proofs use coherent sheaf cohomology and vanishing theorems, notably those of Kunihiko Kodaira and later generalizations by Jean-Pierre Demailly, together with hyperplane section exact sequences popularized by Oscar Zariski and David Mumford. Étale cohomology proofs invoke the proper base change theorem and comparison theorems from Grothendieck's SGA seminars, with contributors including Pierre Deligne who related the statements to the Weil conjectures and weights. There are also Lefschetz-type results in birational geometry linked to the minimal model program associated with Shigefumi Mori and Vyacheslav Shokurov, and symplectic analogues proven using pseudoholomorphic curve techniques influenced by Mikhail Gromov.

Applications

The theorem underpins many structural results: it simplifies computation of Picard groups and Hodge numbers for hypersurfaces, used in works by Phillip Griffiths, Joe Harris, and Claire Voisin on Hodge conjecture-related problems. It is instrumental in moduli theory appearing in research by David Mumford, Goro Shimura, and Pierre Deligne where control of topology of families of varieties is required. In arithmetic geometry it informs point-counting and monodromy considerations in the research programs of André Weil, Pierre Deligne, and Nicholas Katz. In complex differential geometry it supports vanishing theorems and extension results applied by Kunihiko Kodaira and Shing-Tung Yau. Lefschetz-type principles are also used in enumerative geometry central to the work of Alexander Givental and Maxim Kontsevich on Gromov–Witten invariants.

Examples and counterexamples

Standard examples include smooth hypersurfaces in projective space, such as plane curves and K3 surfaces studied by Ernest William Barnes-era geometers and modern authors like Shigeru Mukai. For a smooth hypersurface X ⊂ P^n of degree d, hyperplane sections yield the predicted isomorphisms for homology up to the middle dimension; classical references illustrate computations for curves in P^2 and surfaces in P^3 as treated by Isaac Newton-inspired enumerative geometers and modern expositors like Robin Hartshorne. Counterexamples arise when hypotheses fail: singular hyperplane sections or non-ample embeddings give breakdowns documented in pathologies studied by Oscar Zariski and in examples constructed in the work of Heisuke Hironaka and Miles Reid. In positive characteristic, subtleties connected to wild ramification and failure of comparison theorems appear in literature associated with Alexander Grothendieck's school and later investigations by Luc Illusie and Nicholas Katz.

Category:Algebraic geometry