Definition 28.26.1. Let X be a scheme. Let \mathcal{L} be an invertible \mathcal{O}_ X-module. We say \mathcal{L} is ample if
X is quasi-compact, and
for every x \in X there exists an n \geq 1 and s \in \Gamma (X, \mathcal{L}^{\otimes n}) such that x \in X_ s and X_ s is affine.
Comments (2)
Comment #2689 by Matt Stevenson on
Comment #2716 by Takumi Murayama on
There are also: