A note on the Hodge index theorem (Q752100): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q653294 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: F. L. Zak / rank | |||
Normal rank |
Revision as of 03:47, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on the Hodge index theorem |
scientific article |
Statements
A note on the Hodge index theorem (English)
0 references
1990
0 references
The classical Hodge index theorem for a nonsingular complex projective surface S says that if X is a big divisor on S (i.e. \((X^ 2)>0)\) and E is a divisor on S such that \((E\cdot X)=0\) then \((E^ 2)\leq 0\), and \((E^ 2)=0\) iff E is numerically equivalent to zero [cf. \textit{O. Zariski}, Ann. Math., II. Ser. 76, 560-615 (1962; Zbl 0124.370)]. - In the note under review the author proves the following generalization of this theorem: Let V be an n-dimensional nonsingular projective complex variety, and let X be a big and nef divisor on V (i.e. \((X^ n>0\) and (X\(\cdot C)\geq 0\) for each curve \(C\subset V)\). If E is a divisor on V such that \((X^{n-1}\cdot E)=0\), then \((X^{n-2}\cdot E^ 2)\leq 0\) and \((X^{n-2}\cdot E^ 2)=0\) iff the curve \(X^{n-2}\cdot E\) is numerically equivalent to zero. To prove this result the author first verifies it in the case when X is an ample divisor with rational coefficients and proceeds with reducing the general case to this one by adding to X and E small multiples of an ample divisor on V. As an application, the author proves the following. Under the above assumptions, suppose that E is an effective divisor such that \((X^{(n-1)}\cdot E)=0\). Then \(h^ 0(X+E)=h^ 0(X)\). The former proof of this result given by the author [Am. J. Math. 111, No.3, 457-487 (1989; Zbl 0691.14005)] was more involved.
0 references
Hodge index theorem
0 references
big divisor
0 references
nef divisor
0 references
ample divisor
0 references