This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Hodge index theorem" – news · newspapers · books · scholar · JSTOR(December 2022) (Learn how and when to remove this message)
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(December 2022) (Learn how and when to remove this message)
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 surface, and let H be the divisor class on V of a hyperplane section of V in a given projective embedding. Then the intersection
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. The dimension of D is finite and is usually denoted by ρ(V). The Hodge index theorem says that the subspace spanned by H in D has a complementary subspace on which the intersection pairing is negative definite. Therefore, the signature (often also called index) is (1,ρ(V)-1).
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, ρ(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 ρ < ∞). Hodge's methods were the topological ones brought in by Lefschetz. The result holds over general (algebraically closed) fields.
and 22 Related for: Hodge index theorem information
In mathematics, the Hodgeindextheorem for an algebraic surface V determines the signature of the intersection pairing on the algebraic curves C on V...
quadratic form. This theorem is proven using the Nakai criterion and the Riemann-Roch theorem for surfaces. The Hodgeindextheorem is used in Deligne's...
work by establishing results such as a Riemann-Roch theorem, a Noether formula, a Hodgeindextheorem and the nonnegativity of the self-intersection of...
∈ Pic ( X ) {\displaystyle u\in \operatorname {Pic} (X)} . The Hodgeindextheorem implies that the Picard lattice of an algebraic K3 surface has signature...
at most 4, and for abelian varieties. The Hodge standard conjecture is modelled on the Hodgeindextheorem. It states the definiteness (positive or negative...
surface Del Pezzo surface Rational surface Enriques surface K3 surface Hodgeindextheorem Elliptic surface Surface of general type Zariski surface Algebraic...
specialising in geometry. His contributions include the Atiyah–Singer indextheorem and co-founding topological K-theory. He was awarded the Fields Medal...
Dolbeault cohomology, Hodge theory, and the Atiyah–Singer indextheorem. However, even in more classical contexts, the theorem has inspired a number of...
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed...
theory, the correspondence theorem (also the lattice theorem, and variously and ambiguously the third and fourth isomorphism theorem) states that if N {\displaystyle...
In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions...
In physics and mathematics, the Helmholtz decomposition theorem or the fundamental theorem of vector calculus states that any sufficiently smooth, rapidly...
In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample...
essential for performing Hodge theory. They also arise in connection with the Atiyah-Singer indextheorem and Atiyah-Bott fixed point theorem. If E0, E1, ...,...
natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a differential k-form is thought...
M} is a multiple of four, then Hodge theory implies that: i n d e x ( D ) = s i g n ( M ) {\displaystyle \mathrm {index} (D)=\mathrm {sign} (M)} where...
of upper and lower indexes on objects that are used to label a variable object as covariant (lower index), contravariant (upper index), or mixed covariant...