# Important consequences of the Hodge Index Theorem

The Hodge Index Theorem for compact Kaehler manifolds seems to be a big deal in complex geometry. See here for the surface version of the result.

https://en.wikipedia.org/wiki/Hodge_index_theorem

I personally can't see why this result is important, and I would like to know what are some important consequences of this result.

• The negativity lemma (lemma 3.39 in Koll\'ar-Mori) is very useful in the minimal model program – Hacon Oct 19 '17 at 19:31
• Another consequence: If $A,B$ are nef divisors on a surface and $A\cdot B=0$, then $A$ and $B$ are numerically proportional. This trick is often used in the study of linear systems on surfaces. – byu Oct 19 '17 at 22:30
• if you believe the Riemann hypothesis for curves is important, that seems to follow from Hodge (and Riemann -Roch), via Mattuck-Tate, Castelnuovo-Severi, Grothendieck. arxiv.org/pdf/1509.00797.pdf – roy smith Oct 20 '17 at 3:50

## 1 Answer

Let $S$ be a smooth projective surface and $H$ a $\mathbb{Q}$-divisor with $H^2>0$ (for instance, an ample divisor).

If $D$ is another $\mathbb{Q}$-divisor such that $HD=0$, then $D^2 \leq 0$ and equality holds if and only if the class of $D$ is zero in $H^2(S, \, \mathbb{Q})$.

• Isn't this exactly the statement? You mean that the statement itself is the reason why it is important? :p – diverietti Oct 19 '17 at 20:08
• The original statement is about the signature of the intersection form in the Neron-Severi group. The statement I gave is the form in which the result is generally used in the context of surfaces. In fact, in Barth-Peters-Van de Ven book it is explicitly stated as an important corollary. – Francesco Polizzi Oct 19 '17 at 20:14