Lemma 27.27.1. Let $X$ be a scheme. Then $X$ is quasi-affine if and only if $\mathcal{O}_ X$ is ample.

Proof. Suppose that $X$ is quasi-affine. Set $A = \Gamma (X, \mathcal{O}_ X)$. Consider the open immersion

$j : X \longrightarrow \mathop{\mathrm{Spec}}(A)$

from Lemma 27.18.4. Note that $\mathop{\mathrm{Spec}}(A) = \text{Proj}(A[T])$, see Constructions, Example 26.8.14. Hence we can apply Lemma 27.26.12 to deduce that $\mathcal{O}_ X$ is ample.

Suppose that $\mathcal{O}_ X$ is ample. Note that $\Gamma _*(X, \mathcal{O}_ X) \cong A[T]$ as graded rings. Hence the result follows from Lemmas 27.26.11 and 27.18.4 taking into account that $\mathop{\mathrm{Spec}}(A) = \text{Proj}(A[T])$ for any ring $A$ as seen above. $\square$

Comment #3564 by on

Add that $A=\Gamma(X,\mathcal{O}_X)$.

There are also:

• 2 comment(s) on Section 27.27: Affine and quasi-affine schemes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).