Lemma 28.26.14. Let $X$ be a scheme. Let $\mathcal{L}$ be an ample invertible $\mathcal{O}_ X$-module. Let $i : X' \to X$ be a morphism of schemes. Assume at least one of the following conditions holds

$i$ is a quasi-compact immersion,

$X'$ is quasi-compact and $i$ is an immersion,

$i$ is quasi-compact and induces a homeomorphism between $X'$ and $i(X')$,

$X'$ is quasi-compact and $i$ induces a homeomorphism between $X'$ and $i(X')$.

Then $i^*\mathcal{L}$ is ample on $X'$.

**Proof.**
Observe that in cases (1) and (3) the scheme $X'$ is quasi-compact as $X$ is quasi-compact by Definition 28.26.1. Thus it suffices to prove (2) and (4). Since (2) is a special case of (4) it suffices to prove (4).

Assume condition (4) holds. For $s \in \Gamma (X, \mathcal{L}^{\otimes d})$ denote $s' = i^*s$ the pullback of $s$ to $X'$. Note that $s'$ is a section of $(i^*\mathcal{L})^{\otimes d}$. By Proposition 28.26.13 the opens $X_ s$, for $s \in \Gamma (X, \mathcal{L}^{\otimes d})$, form a basis for the topology on $X$. Since $X'_{s'} = i^{-1}(X_ s)$ by Modules, Remark 17.25.11 and since $X' \to i(X')$ is a homeomorphism, we conclude the opens $X'_{s'}$ form a basis for the topology of $X'$. Hence $i^*\mathcal{L}$ is ample by Proposition 28.26.13.
$\square$

## Comments (4)

Comment #5468 by Dat Pham on

Comment #5681 by Johan on

Comment #8558 by Jinyong An on

Comment #9139 by Stacks project on

There are also: