Let X be an n-dimensional complex projective algebraic variety in \mathbb{C}\mathbf{P}^N, and let Y be a hyperplane section of X such that U=X\setminus Y is smooth. The Lefschetz theorem refers to any of the following statements: • The natural map H_k(Y,\mathbb{Z})\rightarrow H_k(X,\mathbb{Z}) in
singular homology is an isomorphism for k and is surjective for k=n-1. • The natural map H^k(X,\mathbb{Z})\rightarrow H^k(Y,\mathbb{Z}) in singular cohomology is an isomorphism for k and is injective for k=n-1. • The natural map \pi_k(Y,\mathbb{Z})\rightarrow \pi_k(X,\mathbb{Z}) is an isomorphism for k and is surjective for k=n-1. Using a
long exact sequence, one can show that each of these statements is equivalent to a vanishing theorem for certain relative topological invariants. In order, these are: • The relative singular homology groups H_k(X,Y;\mathbb{Z}) are zero for k \leq n-1. • The relative singular cohomology groups H^k(X,Y;\mathbb{Z}) are zero for k \leq n-1. • The relative homotopy groups \pi_k(X,Y) are zero for k \leq n-1.
Lefschetz's proof Solomon Lefschetz used his idea of a
Lefschetz pencil to prove the theorem. Rather than considering the hyperplane section Y alone, he put it into a family of hyperplane sections Y_t, where Y=Y_0. Because a generic hyperplane section is smooth, all but a finite number of Y_t are smooth varieties. After removing these points from the t-plane and making an additional finite number of slits, the resulting family of hyperplane sections is topologically trivial. That is, it is a product of a generic Y_t with an open subset of the t-plane. X, therefore, can be understood if one understands how hyperplane sections are identified across the slits and at the singular points. Away from the singular points, the identification can be described inductively. At the singular points, the
Morse lemma implies that there is a choice of coordinate system for X of a particularly simple form. This coordinate system can be used to prove the theorem directly.
Andreotti and Frankel's proof Aldo Andreotti and
Theodore Frankel recognized that Lefschetz's theorem could be recast using
Morse theory. Here the parameter t plays the role of a Morse function. The basic tool in this approach is the
Andreotti–Frankel theorem, which states that a complex
affine variety of complex dimension n (and thus real dimension 2n) has the homotopy type of a
CW-complex of (real) dimension n. This implies that the
relative homology groups of Y in X are trivial in degree less than n. The long exact sequence of relative homology then gives the theorem.
Thom's and Bott's proofs Neither Lefschetz's proof nor Andreotti and Frankel's proof directly imply the Lefschetz hyperplane theorem for homotopy groups. An approach that does was found by
René Thom no later than 1957 and was simplified and published by
Raoul Bott in 1959. Thom and Bott interpret Y as the vanishing locus in X of a section of a line bundle. An application of Morse theory to this section implies that X can be constructed from Y by adjoining cells of dimension n or more. From this, it follows that the relative homology and homotopy groups of Y in X are concentrated in degrees n and higher, which yields the theorem.
Kodaira and Spencer's proof for Hodge groups Kunihiko Kodaira and
Donald C. Spencer found that under certain restrictions, it is possible to prove a Lefschetz-type theorem for the Hodge groups H^{p,q}. Specifically, assume that Y is smooth and that the line bundle \mathcal{O}_X(Y) is ample. Then the restriction map H^{p,q}(X)\to H^{p,q}(Y) is an isomorphism if p+q and is injective if p+q=n-1. By
Hodge theory, these cohomology groups are equal to the
sheaf cohomology groups H^q(X, \textstyle\bigwedge^p\Omega_X) and H^q(Y, \textstyle\bigwedge^p\Omega_Y). Therefore, the theorem follows from applying the
Akizuki–Nakano vanishing theorem to H^q(X, \textstyle\bigwedge^p\Omega_X|_Y) and using a long exact sequence. Combining this proof with the
universal coefficient theorem nearly yields the usual Lefschetz theorem for cohomology with coefficients in any field of characteristic zero. It is, however, slightly weaker because of the additional assumptions on Y.
Artin and Grothendieck's proof for constructible sheaves Michael Artin and
Alexander Grothendieck found a generalization of the Lefschetz hyperplane theorem to the case where the coefficients of the cohomology lie not in a field but instead in a
constructible sheaf. They prove that for a constructible sheaf \mathcal{F} on an affine variety U, the cohomology groups H^k(U,\mathcal{F}) vanish whenever k>n. == The Lefschetz theorem in other cohomology theories ==