Fact-checked by Grok 2 weeks ago

Lefschetz hyperplane theorem

The Lefschetz hyperplane theorem, also known as the weak Lefschetz theorem, is a foundational result in algebraic topology and algebraic geometry that establishes a precise relationship between the homology (or cohomology) groups of a smooth complex algebraic variety and those of its smooth hyperplane sections.^[1] Specifically, for a smooth complex projective variety X of dimension n \geq 2 and a smooth hyperplane section H \subset X, the inclusion map i: H \hookrightarrow X induces an isomorphism i_*: H_k(H, \mathbb{Q}) \to H_k(X, \mathbb{Q}) for k \leq n-2 and a surjection for k = n-1.^[1] Originally proved by Solomon Lefschetz in 1924 as part of his pioneering work on the topology of algebraic varieties, the theorem initially focused on hyperplane sections of projective surfaces, where the inclusion of a smooth curve into the surface induces a surjective map on first homology groups.^[1] Lefschetz's proof relied on combinatorial methods and early notions of homology, building on his development of simplicial homology for manifolds.^[1] The result was later generalized and refined, notably through cohomological formulations using sheaf theory by Grothendieck, Artin, and Verdier in the 1960s, which extended it to arbitrary dimensions and incorporated rational coefficients for cleaner statements.^[1] The theorem's significance lies in its revelation that hyperplane sections preserve much of the "shape" or topological complexity of the ambient variety in low dimensions, enabling inductive arguments to study higher-dimensional geometry via lower-dimensional slices.^[1] It underpins key tools in algebraic geometry, such as the study of Hodge structures and the hard Lefschetz theorem, which involves multiplication by powers of the hyperplane class to yield isomorphisms between cohomology groups of complementary degrees.^[1] Modern extensions apply to stacks, singular varieties, and birational geometry, where it informs classifications of varieties up to birational equivalence and properties like the Noether-Lefschetz theorem on Picard groups.^[1]

Statement and Implications

Precise Formulation in Homology

The Lefschetz hyperplane theorem provides a precise relation between the homology groups of a smooth complex projective variety and those of its smooth hyperplane section. Consider a smooth complex projective variety X \subset \mathbb{CP}^N of complex dimension n \geq 2, embedded via a very ample line bundle. Let H \subset \mathbb{CP}^N be a hyperplane such that the intersection Y = X \cap H is smooth; here, Y is an ample divisor on X, meaning the restriction of the hyperplane bundle \mathcal{O}_{\mathbb{CP}^N}(1) to X is ample. Both X and Y are compact Kähler manifolds of real dimensions $2n and $2n-2, respectively, and the singular homology groups are taken with integer coefficients \mathbb{Z}. The inclusion i: Y \hookrightarrow X induces a homomorphism i_*: H_k(Y; \mathbb{Z}) \to H_k(X; \mathbb{Z}) on singular homology groups. The core statement of the theorem asserts that this map is an isomorphism for all integers k < n-1 and surjective for k = n-1. This holds under the assumptions that X is smooth and projective over \mathbb{C}, and Y is a smooth ample hyperplane section.^[2] Dually, via Poincaré duality on the compact oriented manifolds X and Y, the induced map i^*: H^k(X; \mathbb{Z}) \to H^k(Y; \mathbb{Z}) in cohomology is an isomorphism for k < n-1 and injective for k = n-1. This cohomological formulation follows directly from the homological one, as the cap product with the fundamental classes relates the two via the real dimensions of X and Y. Additionally, the theorem implies a corresponding result in homotopy groups: the inclusion i: Y \hookrightarrow X induces isomorphisms \pi_k(Y) \to \pi_k(X) for k < n-1 and a surjection \pi_{n-1}(Y) \to \pi_{n-1}(X). This homotopy formulation arises from the low-dimensional homology isomorphisms combined with the Hurewicz theorem.

Corollaries and Examples

One immediate corollary of the Lefschetz hyperplane theorem concerns the Betti numbers of the hyperplane section. Let X be a smooth complex projective variety of dimension n, and let Y \subset X be a smooth hyperplane section. The theorem implies that the Betti numbers satisfy b_k(Y) = b_k(X) for k < n-1, and b_{n-1}(Y) \geq b_{n-1}(X).^[3] The theorem also yields additivity of the Euler characteristic: \chi(X) = \chi(Y) + \chi(X \setminus Y).^[4] If X is (n-2)-connected, then so is Y, as the isomorphism in homology up to degree n-2 implies the result via the Hurewicz theorem.^[4] A basic example is the case X = \mathbb{CP}^n and Y = \mathbb{CP}^{n-1}. Here the homology groups match exactly up to degree n-2, with b_k(X) = 1 for even k from 0 to $2n and 0 otherwise, and similarly for Y up to $2n-2, illustrating the theorem's prediction of triviality in this ambient projective space setting.^[5] Another example is the smooth quintic hypersurface Y \subset \mathbb{CP}^4, a Calabi-Yau threefold, with X = \mathbb{CP}^4 of dimension n=4. The theorem implies a surjection i_*: H_3(Y; \mathbb{Q}) \twoheadrightarrow H_3(\mathbb{CP}^4; \mathbb{Q}) \cong 0. In fact, this map vanishes (as X has no odd-degree homology), so H_3(Y; \mathbb{Q}) is purely primitive, of dimension 204, with Hodge numbers h^{2,1} = h^{1,2} = 101, without requiring a full computation.^[6] The primitive classes arising in the cokernel of the injection relate to the hard Lefschetz theorem via the action of the hyperplane class.^[3]

Proofs in the Complex Projective Case

Original Proof by Lefschetz (1924)

Solomon Lefschetz published the original proof of the hyperplane theorem in his 1924 memoir L'analysis situs et la géométrie algébrique, marking the first systematic connection between algebraic geometry and combinatorial topology.^[7] In this work, Lefschetz established that for a smooth hyperplane section Y of a projective variety X \subset \mathbb{P}^N(\mathbb{C}) of complex dimension n, the inclusion Y \hookrightarrow X induces isomorphisms H_k(Y; \mathbb{Z}) \to H_k(X; \mathbb{Z}) for k < n-1 and a surjection for k = n-1, thereby linking the topological invariants of varieties to those of their sections.^[8] This proof laid foundational groundwork for applying topological methods to algebraic geometry, influencing subsequent developments in the field.^[9] The core innovation of Lefschetz's approach was the construction of a Lefschetz pencil of hyperplanes, a one-parameter family of hyperplanes in \mathbb{P}^N all passing through a fixed base locus of codimension 2, obtained via a linear projection.^[9] Rather than analyzing Y in isolation, Lefschetz embedded it within this pencil, considering the total space \overline{X} as a fibration over \mathbb{P}^1 after resolving singularities along the base locus.^[10] The generic fibers of this pencil are smooth hyperplane sections homotopy equivalent to Y, while the singular fibers deform Y to configurations featuring only ordinary double points as singularities, allowing controlled study of the topology through deformation.^[9] To establish the theorem, Lefschetz employed an analytic argument analogous to the later Morse lemma, treating the pencil parameter as a real-valued function on the total space and analyzing critical points arising at the singular fibers.^[10] By controlling these critical points—ensuring they are non-degenerate in a suitable real analytic sense—he demonstrated that the relative homology groups satisfy H_k(X, Y; \mathbb{Z}) = 0 for k \leq n-1, using a chain homotopy that deforms chains in X relative to Y into the ambient space.^[9] This homotopy equivalence arises from the pencil's structure, where paths in the base \mathbb{P}^1 (avoiding slits at singular points) induce retractions that preserve homology up to the middle dimension. Technically, the smooth fibers are shown to be homotopy equivalent to wedges of (2n-1)-spheres, with the singular fibers attaching cells in a manner that induces the required isomorphisms and surjection on homology groups via the monodromy action around critical values.^[9] The proof relies on the real analytic structure of the complex projective variety, embedding the algebraic data into a real Morse-theoretic framework to handle the deformations rigorously.^[10] However, it assumes the ambient variety X and generic sections are smooth, limiting direct applicability to singular cases without additional resolution techniques.^[9] This analytic-Morse approach influenced later purely topological proofs, such as those by Andreotti and Frankel in the 1950s.^[9]

Topological Proofs: Andreotti-Frankel (1950s)

In the 1950s, Aldo Andreotti and Theodore Frankel developed a purely topological proof of the Lefschetz hyperplane theorem in their 1956 paper, emphasizing its invariance under topological equivalence rather than relying on the analytic structure of complex varieties.^[11] Their approach demonstrated that the theorem holds for smooth manifolds with a hyperplane section embedded transversely, extending its scope beyond algebraic geometry.^[11] The core idea of these proofs involves embedding the hyperplane section Y transversely into the ambient manifold X of complex dimension n, and leveraging general position arguments with respect to a CW-complex structure on X. Since X admits a CW-complex decomposition into cells of dimension at most $2n (as a smooth manifold of real dimension $2n), transversality ensures that Y, being a real codimension-2 submanifold, intersects the cells of X properly: it misses all cells of dimension less than or equal to n-1 and intersects higher-dimensional cells in subcomplexes of the expected dimension. This proper intersection implies that the relative cell chain complex C_*(X, Y) vanishes in degrees i \leq n-1.^[11] Consequently, the inclusion Y \hookrightarrow X induces isomorphisms H_i(Y) \to H_i(X) for i < n-1 and a surjection H_{n-1}(Y) \to H_{n-1}(X), by the long exact sequence of the pair (X, Y).^[11] To establish these relative homology vanishings, the proofs employ excision and the Mayer-Vietoris sequence. Specifically, one decomposes X into neighborhoods around the cells and excises the contributions from low-dimensional skeletons, showing that the relative groups H_i(X, Y; \mathbb{Z}) = 0 for i \leq n-1. The Mayer-Vietoris argument then propagates this vanishing to confirm the desired isomorphisms and surjection in absolute homology via the exact sequence \cdots \to H_{i+1}(X, Y) \to H_i(Y) \to H_i(X) \to H_i(X, Y) \to \cdots.^[11] This combinatorial topology framework avoids any reference to differential forms or complex structure details. For the homotopy version of the theorem, where the inclusion induces isomorphisms \pi_i(Y) \to \pi_i(X) for i < n-1 and a surjection \pi_{n-1}(Y) \to \pi_{n-1}(X), the proofs adapt simplicial approximation techniques. Given the CW-structure, maps into X can be approximated by simplicial maps, and the proper intersection ensures that the mapping cylinder of the inclusion Y \hookrightarrow X has trivial homotopy groups in low degrees. Surjectivity in degree n-1 follows from connectivity arguments: since X is simply connected in low dimensions relative to Y, any loop in X based away from Y can be pushed into Y via general position.^[11] A key advantage of these topological proofs is their avoidance of analytic assumptions, such as the existence of Kähler metrics or holomorphic functions, making the result applicable to piecewise-linear (PL) manifolds with a codimension-2 submanifold satisfying similar transversality conditions. This PL extension underscores the theorem's robustness in combinatorial topology.^[11]

Morse-Theoretic Proofs: Thom-Bott (1950s)

In the 1950s, René Thom provided an early Morse-theoretic approach to the Lefschetz hyperplane theorem in an unpublished lecture delivered at Princeton University in 1957, applying Morse theory to analyze the topology of projective manifolds and their hyperplane sections via pencils of hyperplanes. Thom considered a smooth projective variety X \subset \mathbb{P}^N of complex dimension n and a generic hyperplane section Y = X \cap H, focusing on the meromorphic function defining the pencil and resolving singularities through a blow-up \tilde{X} to obtain a proper holomorphic map \tilde{f}: \tilde{X} \to \mathbb{P}^1. The critical points of this map, studied as a Morse function, reveal the attachment of handles of sufficiently high index, ensuring that low-dimensional relative homology classes vanish. This framework computes the Thom class associated to the normal bundle of Y in X, establishing the isomorphism H_i(Y; \mathbb{Z}) \to H_i(X; \mathbb{Z}) for i < n-1 and surjection for i = n-1. Raoul Bott extended and formalized Thom's ideas in 1959, adapting the Morse-theoretic proof to algebraic varieties using generic sections of ample line bundles. For a smooth projective variety X of complex dimension n embedded in \mathbb{P}^N, Bott considered a generic holomorphic section s of the tautological line bundle \mathcal{O}_X(1), with zero locus Y = s^{-1}(0), and equipped with a Hermitian metric h to define the Morse-Bott function \phi = |s|_h^2 on X. The critical points of \phi occur where the section vanishes or along degenerate loci, but for generic s, these are nondegenerate manifolds of codimension controlled by the bundle's positivity; specifically, critical points away from Y have Morse index at least $2n (the real dimension of X), while those on Y form a critical submanifold diffeomorphic to Y with index $2n - 1. The argument proceeds by perturbing \phi slightly to a genuine Morse function, whose critical points inherit high indices, implying that X deformation retracts onto Y union cells of dimension at least n+1. Consequently, the relative homology groups satisfy H_k(X, Y; \mathbb{Z}) = 0 for k \leq n-1, as no cycles of dimension below n can bound in X without intersecting Y nontrivially; this uses the Lusternik-Schnirelmann category or handlebody decomposition to control attachments. The Thom class of the normal bundle N_{Y/X} is realized as the Poincaré dual of Y, confirming the theorem via duality in the long exact sequence of the pair (X, Y). Bott's approach also extends briefly to non-holomorphic settings, such as smooth manifolds with a positive line bundle (e.g., via a Riemannian metric inducing a convex function), where generic sections yield similar index bounds and relative vanishing, paralleling transversality arguments in topological proofs.

Proofs Using Hodge Theory: Kodaira-Spencer

In the 1950s, Kunihiko Kodaira and Donald C. Spencer developed a proof of the Lefschetz hyperplane theorem within the framework of Hodge theory on Kähler manifolds, as detailed in their seminal work generalizing topological results to complex analytic settings. Their approach leverages the Hodge decomposition of cohomology groups, which splits H^k(X, \mathbb{C}) into summands H^{p,q}(X) with p + q = k, arising from the action of the Laplacian on differential forms. The core insight relies on the hyperplane class [\eta] lying in H^{1,1}(X), represented by a positive definite (1,1)-form compatible with the Kähler metric. This ensures the restriction map i^*: H^k(X, \mathbb{C}) \to H^k(Y, \mathbb{C}) from the ambient variety X to its ample hyperplane section Y respects the Hodge decomposition, as the action of the circle group U(1) on forms—via phase rotations e^{i(p-q)\theta} on H^{p,q}—is preserved under restriction. The semi-simplicity of this representation follows from the irreducibility of the eigenspaces in the Hodge filtration, implying that the map is type-preserving and thus injective on primitive components up to the middle degree. To establish injectivity on primitive cohomology in low degrees, Kodaira and Spencer invoke the hard Lefschetz theorem, which provides an isomorphism via cup product with powers of [\eta], and analyze the kernel using exact sequences in Dolbeault cohomology H^{p,q}(X, \Omega^q). They further employ variation of Hodge structure along a pencil of hyperplanes—a one-parameter family deforming Y within X—to show that any class vanishing on Y extends trivially across the family, leveraging the flat Gauss-Manin connection to control infinitesimal changes in the filtration. This yields the isomorphism i^*: H^k(X) \to H^k(Y) for k < \dim X - 1 and surjection for k = \dim X - 1. A key detail is that the restriction preserves the Hodge filtration F^p H^k = \bigoplus_{r \geq p} H^{r, k-r} up to the middle degree, as positivity of the hyperplane form ensures vanishing of certain higher cohomology groups via Kodaira vanishing, maintaining the bidegree structure for H^{p,q} with p + q \leq \dim X - 1. This preservation aligns the topological Lefschetz map with the algebraic Hodge structure. The proof's advantage lies in its seamless integration with global Hodge theory on families of Kähler varieties, facilitating extensions to deformations and moduli spaces where primitive cohomology controls infinitesimal variations.

Modern Algebraic Proofs: Artin-Grothendieck

In the 1960s, Michael Artin and Alexander Grothendieck developed a sheaf-theoretic generalization of the Lefschetz hyperplane theorem, building on Artin's 1962 seminar notes on Grothendieck topologies and Grothendieck's comprehensive treatment in SGA 2 (based on seminars from 1965–1966).^[12]^[13] This algebraic approach establishes the theorem for the hypercohomology of constructible sheaves \mathbf{F} on a smooth projective variety X of dimension n over an algebraically closed field, where the restriction map H^i(X, \mathbf{F}) \to H^i(Y, \mathbf{F}) is an isomorphism for i < n-1 and injective for i = n-1, with Y a smooth ample hyperplane section of X.^[13]^[14] The core argument employs the distinguished triangle in the derived category D^b(X) arising from the short exact sequence $0 \to \mathcal{O}_X(-H) \to \mathcal{O}_X \to \mathcal{O}_Y \to 0, after tensoring with a bounded coherent resolution of \mathbf{F} or using the pushforward functors, which yields a long exact sequence in hypercohomology connecting the groups on X and Y.^[13] A pivotal ingredient is the vanishing of higher direct images R^i j_* (j: U \to X) for i < n-1, where U = X \setminus Y is the open complement and the sheaf is the pullback of \mathbf{F} to U; this follows from the Artin–Grothendieck vanishing theorems for coherent sheaves on affine varieties, combined with base change isomorphisms for proper morphisms.^[13]^[14] Subsequent extensions incorporate this framework into mixed Hodge modules, as developed by Morihiko Saito, enabling compatibility with variations of Hodge structure and further algebraic cycles.^[15] These results integrate seamlessly into derived algebraic geometry, where the derived category of constructible sheaves provides a unified setting for such vanishing and comparison theorems.^[14]

Extensions to Other Cohomology Theories

de Rham Cohomology and Kähler Manifolds

In the context of de Rham cohomology, the Lefschetz hyperplane theorem asserts that for a compact Kähler manifold X of complex dimension n and an ample divisor Y \subset X, the restriction map H^k_{\mathrm{dR}}(X; \mathbb{R}) \to H^k_{\mathrm{dR}}(Y; \mathbb{R}) is an isomorphism for k < n-1 and injective for k = n-1. This formulation leverages the real coefficients inherent to de Rham cohomology while benefiting from the analytic structure of Kähler manifolds. A key aspect of the theorem in this setting is the use of harmonic representatives for cohomology classes, enabled by the Hodge theorem on compact Kähler manifolds, where closed forms are cohomologous to unique harmonic forms with respect to the Kähler metric. The Kähler form \omega on X induces the Lefschetz operator L, defined as wedge multiplication by \omega, which commutes with the restriction map to Y because the induced metric on Y makes the restriction of \omega a Kähler form on Y. This compatibility preserves the action of L across the restriction, linking the theorem to internal structures like the hard Lefschetz theorem. The proof proceeds analytically by passing to Dolbeault cohomology via the Hodge decomposition H^k_{\mathrm{dR}}(X; \mathbb{C}) \cong \bigoplus_{p+q=k} H^{p,q}(X), where the restriction map preserves bidegrees, reducing the problem to showing isomorphisms and injectivity on H^{p,q}. Using the \bar{\partial}-lemma, which holds on Kähler manifolds, the case p=0 (holomorphic forms) is isolated, and the relative de Rham cohomology H^k(X, Y; \mathbb{R}) vanishes in low degrees through integration by parts arguments on the tubular neighborhood of Y, confirming the desired mapping properties. As an implication, the theorem ensures that the Hodge decomposition on X is preserved under restriction to Y up to the middle degree, meaning H^{p,q}(X) \to H^{p,q}(Y) is an isomorphism for p+q < n-1 and injective for p+q = n-1. This compatibility maintains the mixed Hodge structure in low degrees and facilitates computations in families of Kähler manifolds. A representative example arises in projective toric varieties, which admit explicit combinatorial descriptions of their de Rham cohomology via the Stanley-Reisner ring of the fan; for an ample divisor Y (itself toric), direct verification shows the restriction map matches cohomology groups in degrees below the middle dimension, aligning with the theorem's predictions.

Étale Cohomology and Arithmetic Varieties

The Lefschetz hyperplane theorem extends to étale cohomology for smooth projective varieties over fields of characteristic zero or positive characteristic p, where a hyperplane section Y \subset X induces isomorphisms H^i_{\ét}(X_{\bar{k}}, \mathbb{Q}_\ell) \to H^i_{\ét}(Y_{\bar{k}}, \mathbb{Q}_\ell) for i < \dim X - 1, and an injection in degree \dim X - 1, with coefficients in \mathbb{Q}_\ell for

\ell \neq \char(k)

.^[16] This formulation captures the topological behavior in an arithmetic setting, where the base field k may be a number field or finite field, and the geometric generic fiber X_{\bar{k}} is considered. The theorem holds under the étale topology, which is well-suited to varieties over such fields due to its compatibility with Galois actions.^[16] The proof relies on the framework developed by Artin and Grothendieck for étale cohomology with \ell-adic sheaves, adapted to arithmetic base schemes via proper base change theorems that ensure cohomology commutes with base extensions.^[16] Specialization arguments, applied to Lefschetz pencils over the base, reduce the problem to nearby cycles and vanishing cycles in the étale site, where the arithmetic Frobenius action on fibers provides the necessary control.^[17] Deligne established the result in the 1970s, with key refinements in 1980 using mixed Hodge-étale comparison isomorphisms to bridge analytic and arithmetic cohomologies.^[18] Vanishing of certain cohomology groups follows from weight arguments tied to the Weil conjectures, where the Frobenius eigenvalues on H^i_{\ét} have absolute value q^{i/2} for finite fields of cardinality q, ensuring the required isomorphisms.^[16]^[18] A significant implication is the control of Galois representations on étale cohomology groups, as the theorem relates the Galois module structure of H^i_{\ét}(X_{\bar{k}}, \mathbb{Q}_\ell) to that of hyperplane sections Y. For instance, in the case of elliptic curves embedded as hyperplane sections in higher-dimensional abelian varieties over number fields, the theorem restricts Galois actions from the ambient cohomology to the curve's, facilitating computations of L-functions and modularity.^[16] This arithmetic perspective contrasts with de Rham cohomology via comparison theorems that identify the two under suitable conditions.^[16]

The Hard Lefschetz Theorem

The Hard Lefschetz theorem asserts that if X is a compact Kähler manifold of complex dimension n equipped with a Kähler form \omega, then for each integer k = 0, 1, \dots, n, the linear map L^k: H^{n-k}(X, \mathbb{C}) \to H^{n+k}(X, \mathbb{C}) defined by wedging with the Poincaré dual of [\omega]^k is an isomorphism of vector spaces.^[19] This operator L, often called the Lefschetz operator, encodes the action of the positive (1,1)-class [\omega] on the cohomology ring H^*(X, \mathbb{C}). The theorem was first proved by W. V. D. Hodge in 1941 using his theory of harmonic integrals, initially for projective algebraic varieties where the Kähler form can be taken as the first Chern class of the ample line bundle from the embedding. An algebraic proof, avoiding analytic tools, was later provided by P. Deligne via mixed Hodge structures on smooth projective varieties. For general compact Kähler manifolds (not necessarily projective), the result holds by the same Hodge-theoretic arguments, with a modern analytic confirmation in the semi-positive curvature case appearing in work by Demailly, Peternell, and Schneider.^[20] A standard proof sketch relies on the primitive decomposition of cohomology induced by L. For a compact Kähler manifold X of dimension n, the cohomology group decomposes as

H^m(X, \mathbb{C}) = \bigoplus_{r \geq 0} L^r H^{m-2r}_{\mathrm{prim}}(X, \mathbb{C}),

where the primitive classes H^{m}_{\mathrm{prim}}(X, \mathbb{C}) are the kernel of L^{n-m+1}: H^m(X, \mathbb{C}) \to H^{2n-m+2}(X, \mathbb{C}). The hard Lefschetz theorem then follows from showing that L^k restricts to an isomorphism on the primitive components in complementary degrees, leveraging the Hodge-Riemann bilinear relations, which ensure positivity and non-degeneracy of the pairing induced by [\omega]. This decomposition respects the Hodge filtration, preserving the bigrading H^{p,q}(X).^[19] A key implication of the theorem is the symmetry of Hodge numbers: h^{p,q}(X) = h^{n-p, n-q}(X) for all p, q. This arises because L^k maps H^{n-k, 0}(X) isomorphically onto the (n, k)-part of H^{n+k}(X), and conjugation yields the dual symmetry, with primitives filling the off-diagonal terms symmetrically.^[21] In the projective case, the hard Lefschetz theorem follows from the weak Lefschetz hyperplane theorem by iterating restrictions to general hyperplane sections of powers of the embedding \mathbb{P}^n \hookrightarrow \mathbb{P}^{n+k}, which induces isomorphisms on the relevant primitive cohomology groups via Gysin maps.^[22]

Weak Lefschetz for Singular Varieties

The weak Lefschetz theorem extends to singular projective varieties through intersection homology, a topological invariant designed to satisfy Poincaré duality on stratified singular spaces. For a singular complex projective variety X \subset \mathbb{P}^N of dimension n and a hyperplane section Y = X \cap H, the inclusion map j: Y \hookrightarrow X induces a homomorphism in intersection homology with middle perversity \overline{m}, j_*: IH_k^{\overline{m}}(Y; \mathbb{Q}) \to IH_k^{\overline{m}}(X; \mathbb{Q}), which is an isomorphism for k < n-1 and surjective for k = n-1.^[23] This formulation handles singularities by allowing chains to intersect strata in a controlled manner, avoiding the issues of ordinary homology where duality fails.^[24] The theory originated in the late 1970s and early 1980s with the work of Mark Goresky and Robert MacPherson, who introduced intersection homology for stratified pseudomanifolds and proved the weak Lefschetz hyperplane theorem using stratified Morse theory.^[23] Independently, Pierre Deligne provided a sheaf-theoretic realization of intersection homology via perverse sheaves, constructing the intersection complex IC_X on singular spaces and extending the theorem to cases where the hyperplane Y itself may be singular, such as normal crossing divisors.^[25] These developments resolved key obstacles in applying Lefschetz-type results to singular settings, building on earlier topological proofs while incorporating algebraic geometry tools. At the core of this extension lies the use of perverse sheaves to resolve singularities: the intersection homology groups are computed as the hypercohomology of the shifted intersection complex \mathbb{H}^*(X, IC_X ), a perverse sheaf that satisfies support and cosupport conditions tailored to the stratification.^[25] For varieties with normal crossing singularities, the theorem holds specifically for middle perversity \overline{m}, ensuring compatibility with the vanishing cycle sheaves along strata and preserving the hyperplane section properties.^[26] This framework unifies geometric and sheaf-theoretic approaches, allowing the weak Lefschetz map to commute with the natural transformations between ordinary and intersection cohomologies. A modern algebraic proof adapts the Artin-Grothendieck approach by considering the pushforward j_* IC_Y [n-1] of the intersection complex on Y, which remains perverse on X due to the weak Lefschetz property for perverse sheaves.^[27] Vanishing cycles are controlled via the nearby and vanishing cycle functors, ensuring that the induced map on hypercohomology is an isomorphism in low degrees and surjective in the middle degree, leveraging Artin's vanishing theorem for constructible sheaves on affine varieties.^[26] This sheaf-pushforward technique extends the classical algebraic methods to singular strata without requiring resolution of singularities. The theorem applies broadly to spaces with quotient singularities, such as orbifolds and algebraic stacks, where intersection homology captures orbifold cohomology and the hyperplane section map retains the weak Lefschetz injectivity.^[14] For instance, on a quotient variety X/G by a finite group action, the middle perversity groups align with invariant cohomology, enabling computations for toric orbifolds. In contemporary contexts, this singular version underpins applications in mirror symmetry, where perverse sheaves on singular Calabi-Yau varieties model D-brane categories and Hodge-theoretic structures across mirrors.^[28] It also connects briefly to étale cohomology for arithmetic singular varieties over finite fields, generalizing point-counting via compatible Lefschetz isomorphisms.^[29]

References

[1]
On the Weak Lefschetz Principle in Birational Geometry
Tracing Back the Lefschetz Hyperplane Theorem. In this section we formulate the theorem that sets the theme of this article: the Lefschetz hyperplane theorem.
[2]
[PDF] Chapter 1: Topology of algebraic varieties, Hodge decomposition ...
In this chapter we will review a number of fundamental facts on the topology of smooth complex projective varieties, and the Hodge decomposition of their ...
[3]
[PDF] arXiv:0711.3927v2 [math.AG] 21 Feb 2009
Feb 21, 2009 · Lefschetz Hyperplane Theorem. The restriction map i∗ : Hk(X ... vanishing cohomology with integer coefficients. Hd−1(S0, Z)van = ker ...
[4]
[PDF] Homotopy groups of complements to ample divisors - arXiv
It uses the reduction to the case of normal crossings divisors using Lefschetz hyperplane section ... Milnor fiber) is homotopy equivalent to a wedge of spheres: ...
[5]
[PDF] Noether-Lefschetz theory and questions of Srinivas
Oct 27, 2018 · The Lefschetz hyperplane theorem says that the maps. Hk(Pn,Z) → Hk(Y,Z) are isomorphisms for k<n − 1 and injective for k = n − 1. Thus β is an ...
[6]
[PDF] LECTURE 6 1. The Quintic 3-fold and Its Mirror The simplest Calabi ...
The quintic in P4 is the world's most studied Calabi-Yau 3-fold. The coho- mology of the quintic can be computed via the Lefschetz hyperplane theorem:.Missing: CP^ | Show results with:CP^
[7]
Catalog Record: L'analysis situs et la géométrie algébrique
L'analysis situs et la géométrie algébrique / par S ... Lefschetz, Solomon, 1884-1972. Language(s): French. Published: Paris : Gauthier-Villars et cie, [1924].
[8]
L'Analysis Situs et la Géométrie algébrique. By S. Lefschetz. Pp. vi ...
L'Analysis Situs et la Géométrie algébrique. By S. Lefschetz. Pp. vi, 154. 20 fr. 1924. Collection Borel. (Gauthier-Villars) - Volume 18 Issue 231.
[9]
None
### Summary of Lefschetz's 1924 Proof of the Hyperplane Theorem (Pages 22-24, Griffiths' Slides, IAS)
[10]
Lefschetz Hyperplane Theorem's original proof - Math Stack Exchange
Apr 15, 2021 · I'm trying to understand the main ideas used in the original proof by Lefschetz of his Hyperplane theorem. Here it is sketched shortly ...Strictness of Lefschetz Hyperplane Theorem - Math Stack ExchangeApplications of the Lefschetz Hyperplane TheorenMore results from math.stackexchange.com
[11]
The Lefschetz Theorem on Hyperplane Sections - jstor
THE LEFSCHETZ THEOREM ON HYPERPLANE SECTIONS'. BY ALDO ANDREOTTI AND THEODORE ... The Lefschetz theorem in question states that if V7, is a nonsingular.
[12]
Grothendieck topologies, notes on a seminar - The Online Books Page
Author: Artin, Michael ; Author: Harvard University. Dept. of Mathematics ; Note: Harvard University, Dept. of Mathematics, 1962 ; Link: page images at HathiTrust.Missing: Lefschetz | Show results with:Lefschetz
[13]
Cohomologie locale des faisceaux cohérents et théorèmes ... - arXiv
Nov 10, 2005 · Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2). Authors:Alexander Grothendieck (IHES, Bures), ...Missing: 1966 | Show results with:1966<|control11|><|separator|>
[14]
[PDF] Constructible sheaf complexes in complex geometry and Applications.
Jun 2, 2021 · ABSTRACT. We present a detailed introduction of the theory of constructible sheaf com- plexes in the complex algebraic and analytic setting.
[15]
[PDF] Mixed Hodge Modules - Purdue Math
2) It was first remarked by Ramanujan that the Kodaira vanishing can be reduced to the weak Lefschetz theorem using Hodge structures. His idea was further ...
[16]
[PDF] Lectures on etale cohomology - James Milne
dinary cohomology if the varieties are smooth or one assumes a theorem of Deligne ... and avoid the use of the weak Lefschetz theorem by using another Künneth ...
[17]
[PDF] Trying to understand Deligne's proof of the Weil conjectures
Jan 29, 2008 · This is the weak Lefschetz theorem, which extended to étale cohomology says the following. Theorem 2 For all i ⩾ 2 there are maps. Hi−2 ét ...<|control11|><|separator|>
[18]
https://eudml.org/doc/103927
[19]
[PDF] MAT 545: Complex Geometry - Notes on Lefschetz Decomposition
Lr : Hm−r(M) −→ Hm+r(M). (1) is an isomorphism for all r≥0. Since ω is a (1,1)-form, by the Hodge decomposition theorem the above claim is equivalent to the.Missing: Spencer simplicity circle group
[20]
[PDF] Compact Kähler 3-manifolds without nontrivial subvarieties
Apr 29, 2013 · Brunella's theorem and the hard Lefschetz theorem appear to be the only steps of the proof requiring the Kähler hypo- thesis in depth. 2 Pseudo- ...
[21]
[PDF] the hodge conjecture
This is the starting point of the proof given by Kodaira and Spencer [7] of the. Hodge conjecture for H2: a class c ∈ H2(X, Z) of type (1, 1) has image 0 in the.
[22]
[PDF] The decomposition theorem and the topology of algebraic maps
The starting point is the Lefschetz hyperplane theorem: Theorem 1.1 (S. Lefschetz 1924). Let U be a non-singular complex affine algebraic variety of complex ...
[23]
[PDF] Intersection Homology II
Goresky and R. MacPherson. This vanishing condition is an essential property in the axiomatic character- ization of the intersection homology sheaf. 2.0. In ...
[24]
[PDF] INTERSECTION HOMOLOGY THEORY
In this paper we develop intersection homology theory using geometric cycles and their intersections as in Lefschetz. Our proof of generalized Poincare duality ...
[25]
[PDF] Faisceaux pervers
Les faisceaux pervers n'étant ni des faisceaux, ni pervers, la ter- minologie requiert une explication. Le mot "pervers". n'enchante pas certains de nous ...
[26]
[PDF] Hodge-Lefschetz theory, perverse sheaves, and semismall map
Aug 31, 2023 · This report concerns the topology of complex algebraic varieties and the maps between them, focusing on the role of Hodge-Lefschetz theory. As a ...
[27]
[PDF] Perverse sheaves and the weak Lefschetz theorem
Perverse sleaves and the weak Lefschetz tecrem. Today: discuss weak Lefschatz ... 713-717. [BRD] A. A. Beilinson, J. N. Bernstein, P. Deligne, Faisceaux pervers,.
[28]
[PDF] Intersection spaces, perverse sheaves and string theory.
homology theory for type IIB string theory. Our approach for studying intersection space homology is motivated by mirror sym- metry. In mirror symmetry ...
[29]
Etale Cohomology, Lefschetz Theorems And Number Of Points Of ...
The proof is primarily based on a suitable generalization of the weak Lefschetz theorem to singular varieties together with some Bertini-type arguments and the ...<|control11|><|separator|>