If is nonzero numerically with and for ample , then implies , with equality only when is proportional to . To see this, use the Hodge index theorem for algebraic surfaces to split off the positive direction and diagonalize the remaining negative definite form. Orthogonality to a nonzero isotropic vector then leaves a negative semidefinite form whose radical is precisely that vector's span.
Articles by others on the same topic
There are currently no matching articles.