Hodge index theorem

Hodge index theorem

In mathematics, the Hodge index theorem for an algebraic surface "V" determines the signature of the intersection pairing on the algebraic curves "C" on "V". It says, roughly speaking, that the space spanned by such curves (up to linear equivalence) has a one-dimensional subspace on which it is positive definite (not uniquely determined), and decomposes as a direct sum of some such one-dimensional subspace, and a complementary subspace on which it is negative definite.

In a more formal statement, specify that "V" is a non-singular projective variety, and let "H" be the divisor class on "V" of a hyperplane section of "V" in a given projective embedding. Then the intersection

:"H"·"H" = "d"

where "d" is the degree of "V" (in that embedding). Let "D" be the vector space of rational divisor classes on "V", up to algebraic equivalence which is of finite dimension usually denoted by &rho;("V"). Then there is a complementary subspace to <"H">, the subspace spanned by "H" in "D", on which the intersection pairing is negative definite. Therefore the signature (often also called "index") is (1,&rho;("V")).

The abelian group of divisor classes up to algebraic equivalence is now called the Néron-Severi group; it is known to be a finitely-generated abelian group, and the result is about its tensor product with the rational number field. Therefore &rho;("V") is equally the rank of the Néron-Severi group (which can have a non-trivial torsion subgroup, on occasion).

This result was proved in the 1930s by W. V. D. Hodge, for varieties over the complex numbers, after it had been a conjecture for some time of the Italian school of algebraic geometry (in particular, Francesco Severi, who in this case showed that &rho; < &infin;). Hodge's methods were the topological ones brought in by Lefschetz. The result holds over general (algebraically closed) fields.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Hodge theorem — may refer to:*Hodge theory *Hodge index theorem …   Wikipedia

  • W. V. D. Hodge — William Vallance Douglas Hodge FRS (17 June 1903 7 July 1975) was a Scottish mathematician, specifically a geometer. His discovery of far reaching topological relations between algebraic geometry and differential geometry mdash; an area now… …   Wikipedia

  • Hodge dual — In mathematics, the Hodge star operator or Hodge dual is a significant linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite dimensional oriented inner product space. Contents 1 Dimensions and… …   Wikipedia

  • Kodaira vanishing theorem — In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions under which sheaf cohomology groups with indices q > 0 are automatically zero. The… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Standard conjectures on algebraic cycles — In mathematics, the standard conjectures about algebraic cycles is a package of several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. The original application envisaged by Grothendieck was to prove that …   Wikipedia

  • Algebraic surface — In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface is therefore of complex dimension two (as a complex manifold, when it is non singular)… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”