Lefschetz theorem on (1,1)-classes

Lefschetz theorem on (1,1)-classes In algebraic geometry, a branch of mathematics, the Lefschetz theorem on (1,1)-classes, named after Solomon Lefschetz, is a classical statement relating holomorphic line bundles on a compact Kähler manifold to classes in its integral cohomology. It is the only case of the Hodge conjecture which has been proved for all Kähler manifolds.[1] Contents 1 Statement of the theorem 2 Proof using normal functions 3 Proof using sheaf cohomology 4 References 5 Bibliography Statement of the theorem Let X be a compact Kähler manifold. The first Chern class c1 gives a map from holomorphic line bundles to H2(X, Z). By Hodge theory, the de Rham cohomology group H2(X, C) decomposes as a direct sum H0,2(X) ⊕ H1,1(X) ⊕ H2,0(X), and it can be proven that the image of c1 lies in H1,1(X). The theorem says that the map to H2(X, Z) ∩ H1,1(X) is surjective.

In the special case where X is a projective variety, holomorphic line bundles are in bijection with linear equivalences class of divisors, and given a divisor D on X with associated line bundle O(D), the class c1(O(D)) is Poincaré dual to the homology class given by D. Thus, this establishes the usual formulation of the Hodge conjecture for divisors in projective varieties.

Proof using normal functions Lefschetz's original proof[2] worked on projective surfaces and used normal functions, which were introduced by Poincaré. Suppose that Ct is a pencil of curves on X. Each of these curves has a Jacobian variety JCt (if a curve is singular, there is an appropriate generalized Jacobian variety). These can be assembled into a family {displaystyle {mathcal {J}}} , the Jacobian of the pencil, which comes with a projection map π to the base T of the pencil. A normal function is a (holomorphic) section of π.

Fix an embedding of X in PN, and choose a pencil of curves Ct on X. For a fixed curve Γ on X, the intersection of Γ and Ct is a divisor p1(t) + ... + pd(t) on Ct, where d is the degree of X. Fix a base point p0 of the pencil. Then the divisor p1(t) + ... + pd(t) − dp0 is a divisor of degree zero, and consequently it determines a class νΓ(t) in the Jacobian JCt for all t. The map from t to νΓ(t) is a normal function.

Henri Poincaré proved that for a general pencil of curves, all normal functions arose as νΓ(t) for some choice of Γ. Lefschetz proved that any normal function determined a class in H2(X, Z) and that the class of νΓ is the fundamental class of Γ. Furthermore, he proved that a class in H2(X, Z) is the class of a normal function if and only if it lies in H1,1. Together with Poincaré's existence theorem, this proves the theorem on (1,1)-classes.

Proof using sheaf cohomology Because X is a complex manifold, it admits an exponential sheaf sequence[3] {displaystyle 0to {underline {mathbf {Z} }}{stackrel {2pi i}{longrightarrow }}{mathcal {O}}_{X}{stackrel {operatorname {exp} }{longrightarrow }}{mathcal {O}}_{X}^{times }to 0.} Taking sheaf cohomology of this exact sequence gives maps {displaystyle H^{1}(X,{mathcal {O}}_{X}^{times }){stackrel {c_{1}}{to }}H^{2}(X,mathbf {Z} ){stackrel {i_{*}}{to }}H^{2}(X,{mathcal {O}}_{X}).} The group Pic X of line bundles on X is isomorphic to {displaystyle H^{1}(X,{mathcal {O}}_{X}^{times })} . The first Chern class map is c1 by definition, so it suffices to show that i* is zero.

Because X is Kähler, Hodge theory implies that {displaystyle H^{2}(X,{mathcal {O}}_{X})cong H^{0,2}(X)} . However, i* factors through the map from H2(X, Z) to H2(X, C), and on H2(X, C), i* is the restriction of the projection onto H0,2(X). It follows that it is zero on H2(X, Z) ∩ H1,1(X), and consequently that the cycle class map is surjective.[4] References ^ Griffiths & Harris 1994, p. 163 ^ Lefschetz 1924 ^ Griffiths & Harris 1994, p. 37 ^ Griffiths & Harris 1994, pp. 163–164 Bibliography Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN 978-0-471-05059-9, MR 1288523 Lefschetz, Solomon (1924), L'Analysis situs et la géométrie algébrique, Collection de Monographies publiée sous la Direction de M. Émile Borel (in French), Paris: Gauthier-Villars Reprinted in Lefschetz, Solomon (1971), Selected papers, New York: Chelsea Publishing Co., ISBN 978-0-8284-0234-7, MR 0299447 Categories: Theorems in algebraic geometry

Si quieres conocer otros artículos parecidos a Lefschetz theorem on (1,1)-classes puedes visitar la categoría Theorems in algebraic geometry.

Deja una respuesta

Tu dirección de correo electrónico no será publicada.


Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información