So, today I discovered something rather nice, that I think could easily get more time in books and the like, but doesn’t. We’ll first have need of a theorem that I don’t want to prove:
Theorem: Let be a projective variety over
and let
be an invertible sheaf on
. Then
is ample if and only if for all
coherent sheaves, there is a number
, such that we have
for all
.