This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Lefschetz (1,1) theorem | |
|---|---|
| Name | Lefschetz (1,1) theorem |
| Field | Algebraic geometry, Complex geometry, Topology |
| Introduced | 1924 |
| Introduced by | Solomon Lefschetz |
| Related | Hodge theory, Picard group, Néron–Severi group, Hodge conjecture |
Lefschetz (1,1) theorem
The Lefschetz (1,1) theorem is a fundamental result connecting algebraic cycles and Hodge theory for complex projective varieties, asserting that integral Hodge classes of type (1,1) arise from divisors. It situates Solomon Lefschetz's work within the development of Hodge structures, the Picard group, and the topology of complex algebraic surfaces, and it influences modern problems like the Hodge conjecture and the study of Kähler manifolds.
For a smooth complex projective variety X, the theorem asserts that the group of integral Hodge classes in H^{2}(X, Z) of Hodge type (1,1) coincides with the image of the Chern class map from the Picard group Pic(X) to H^{2}(X, Z). In more concrete terms, the first Chern classes of holomorphic line bundles on X generate precisely those integral cohomology classes lying in H^{1,1}(X) under the Hodge decomposition. This statement connects the Picard group, Néron–Severi group, and Chern class construction with Hodge theory as developed by Poincaré, Élie Cartan, and Hodge.
Solomon Lefschetz formulated results on hyperplane sections and topological invariants in the early 20th century, building on work of Henri Poincaré, Bernhard Riemann, and Friedrich Schottky. Motivations arose from questions considered by André Weil, Oscar Zariski, and Kunihiko Kodaira about divisors, algebraic cycles, and complex manifolds, while Henri Hodge later formalized Hodge decomposition inspired by methods of Élie Cartan and Georges de Rham. The interplay between analytic and algebraic techniques drew attention from Alexander Grothendieck, Jean-Pierre Serre, and David Mumford, who placed these ideas within cohomological frameworks influenced by the development of sheaf theory at the École Normale and the Bourbaki group. The theorem’s relevance extended to the Italian school of algebraic geometry, the Göttingen tradition, and to later advances led by Friedrich Hirzebruch, Armand Borel, and Raoul Bott.
The proof blends topological, analytic, and algebraic methods initiated by Lefschetz and refined by Kodaira and Spencer, Hodge, and Deligne. One shows inclusion of Chern classes into H^{1,1} using Dolbeault cohomology and the existence of curvature forms for line bundles via Chern–Weil theory and connections developed by Élie Cartan and André Weil. The reverse inclusion uses the exponential exact sequence of sheaves, comparisons between singular cohomology and sheaf cohomology as in Serre’s GAGA principle, and the classification of line bundles by H^{1}(X, O_X^*), building on Grothendieck’s work on Picard schemes, Néron models, and cohomological duality theorems of Alexander Grothendieck and Jean Leray. Key inputs include Hodge decomposition, the ∂∂̄-lemma for Kähler manifolds related to Kodaira–Spencer deformation theory, and Lefschetz hyperplane theorem techniques developed in Göttingen and Princeton schools. The argument intertwines methods from Élie Cartan’s theory of differential forms, Henri Cartan’s sheaf cohomology, and foundations laid by Jean-Pierre Serre.
The theorem identifies the Néron–Severi group NS(X) with H^{2}(X, Z) ∩ H^{1,1}(X), aiding classification questions pursued by Alexander Grothendieck, David Mumford, and André Weil. It provides tools for studying algebraic cycles in the context of the Hodge conjecture articulated by Grothendieck and Pierre Deligne, and informs investigations into moduli spaces such as those treated by Pierre Deligne, Phillip Griffiths, and Claire Voisin. Applications appear in the theory of K3 surfaces examined by John Tate and Igor Shafarevich, in the study of abelian varieties developed by André Weil and Jean-Pierre Serre, and in mirror symmetry contexts linked to Maxim Kontsevich, Edward Witten, and Cumrun Vafa. It underpins computations in intersection theory as formalized by William Fulton and links to arithmetic questions in the work of Gerd Faltings and Barry Mazur. The theorem also influences differential-geometric perspectives championed by Shing-Tung Yau, Karen Uhlenbeck, and Simon Donaldson.
Generalizations include the Hodge conjecture, which extends the Lefschetz assertion to higher-degree Hodge classes and motivated research by Phillip Griffiths, James Carlson, and Claire Voisin. The integral Hodge conjecture, motivated by work of Jean-Pierre Serre and Barry Mazur, probes torsion phenomena and counterexamples related to Atiyah and Hirzebruch. Deligne’s mixed Hodge theory and the work of Pierre Deligne, Alexander Grothendieck, and Vladimir Voevodsky generalize Hodge-type statements to singular and arithmetic settings, while the Hard Lefschetz theorem and Hodge–Riemann bilinear relations, developed by Solomon Lefschetz, Kunihiko Kodaira, and Friedrich Hirzebruch, provide structural constraints. Theorems of Kodaira, Spencer, and Siu on deformation and vanishing theorems, along with results by Jean-Michel Bismut and Jeff Cheeger on analytic torsion, further expand the analytic toolkit. Related algebraic frameworks include Bloch’s conjecture investigated by Spencer Bloch, motivic cohomology advanced by Vladimir Voevodsky, and crystalline cohomology studied by Pierre Berthelot.
On a complex projective curve C, the theorem reduces to classical identifications involving the Jacobian variety studied by Bernhard Riemann, Carl Gustav Jacob Jacobi, and André Weil: Pic^0(C) and degree maps determine H^{1,1} data. For complex surfaces such as K3 surfaces analyzed by Igor Shafarevich and John Tate, or for smooth hypersurfaces in projective space considered by Oscar Zariski and Philip Griffiths, one computes NS(X) by lattice-theoretic methods linked to Nikulin and Igor Dolgachev. For abelian varieties examined by André Weil and Jean-Pierre Serre, the theorem aligns with the theory of line bundles and theta functions studied by David Mumford and Friedrich Hirzebruch. Explicit computations on Del Pezzo surfaces associated to Pasquale del Pezzo, Fano varieties as in the work of Gino Fano, and surfaces from the Italian school yield concrete Néron–Severi groups and Picard numbers, connecting to arithmetic examples by Gerd Faltings, Barry Mazur, and Jean-Pierre Serre.