The Stacks project

Proof. We already know that $X \to \mathop{\mathrm{Spec}}(\mathbf{Z})$ is separated and locally of finite presentation (Lemma 108.5.2). We also know that $X \to \mathop{\mathrm{Spec}}(\mathbf{Z})$ satisfies the existence part of the valuative criterion, see Lemma 108.5.3. By the valuative criterion for properness, it suffices to prove our Quot space is quasi-compact, see Morphisms of Spaces, Lemma 67.44.1. Thus it suffices to find a quasi-compact scheme $T$ and a surjective morphism $T \to X$. Let $m$ be the integer found in Varieties, Lemma 33.35.18. Let

We will write $\mathbf{P}^ n$ for $\mathbf{P}^ n_\mathbf {Z} = \text{Proj}(\mathbf{Z}[T_0, \ldots , T_ n])$ and unadorned products will mean products over $\mathop{\mathrm{Spec}}(\mathbf{Z})$. The idea of the proof is to construct a “universal” map

over an affine scheme $T$ and show that every point of $X$ corresponds to a cokernel of this in some point of $T$.

Definition of $T$ and $\Psi $. We take $T = \mathop{\mathrm{Spec}}(A)$ where

where $i \in \{ 1, \ldots , r\} $, $j \in \{ 1, \ldots , N\} $ and $E = (e_0, \ldots , e_ n)$ runs through the multi-indices of total degree $|E| = \sum _{k = 0, \ldots n} e_ k = m$. Then we define $\Psi $ to be the map whose $(i, j)$ matrix entry is the map

where the sum is over $E$ as above (but $i$ and $j$ are fixed of course).

Consider the quotient $\mathcal{Q} = \mathop{\mathrm{Coker}}(\Psi )$ on $T \times \mathbf{P}^ n$. By More on Morphisms, Lemma 37.54.1 there exists a $t \geq 0$ and closed subschemes

such that the pullback $\mathcal{Q}_ p$ of $\mathcal{Q}$ to $(T_ p \setminus T_{p + 1}) \times \mathbf{P}^ n$ is flat over $T_ p \setminus T_{p + 1}$. Observe that we have an exact sequence

by pulling back the exact sequence defining $\mathcal{Q} = \mathop{\mathrm{Coker}}(\Psi )$. Therefore we obtain a morphism

Since the left hand side is a Noetherian scheme and the inclusion on the right hand side is open, it suffices to show that any point of $X$ is in the image of this morphism.

Let $k$ be a field and let $x \in X(k)$. Then $x$ corresponds to a surjection $\mathcal{O}_{\mathbf{P}^ n_ k}^{\oplus r} \to \mathcal{F}$ of coherent $\mathcal{O}_{\mathbf{P}^ n_ k}$-modules such that the Hilbert polynomial of $\mathcal{F}$ is $P$. Consider the short exact sequence

By Varieties, Lemma 33.35.18 and our choice of $m$ we see that $\mathcal{K}$ is $m$-regular. By Varieties, Lemma 33.35.12 we see that $\mathcal{K}(m)$ is globally generated. By Varieties, Lemma 33.35.10 and the definition of $m$-regularity we see that $H^ i(\mathbf{P}^ n_ k, \mathcal{K}(m)) = 0$ for $i > 0$. Hence we see that

by our choice of $N$. This gives a surjection

Twisting back down and using the short exact sequence above we see that $\mathcal{F}$ is the cokernel of a map

There is a unique ring map $\tau : A \to k$ such that the base change of $\Psi $ by the corresponding morphism $t = \mathop{\mathrm{Spec}}(\tau ) : \mathop{\mathrm{Spec}}(k) \to T$ is $\Psi _ x$. This is true because the entries of the $N \times r$ matrix defining $\Psi _ x$ are homogeneous polynomials $\sum \lambda _{i, j, E} T_0^{e_0} \ldots T_ n^{e_ n}$ of degree $m$ in $T_0, \ldots , T_ n$ with coefficients $\lambda _{i, j, E} \in k$ and we can set $\tau (a_{i, j, E}) = \lambda _{i, j, E}$. Then $t \in T_ p \setminus T_{p + 1}$ for some $p$ and the image of $t$ under the morphism above is $x$ as desired. $\square$

Proof. The question is étale local over $B$, see Morphisms of Spaces, Lemma 67.40.2. Thus we may assume $B$ is an affine scheme. In this case $\mathcal{L}$ is an ample invertible module on $X$ (by Constructions, Lemma 27.10.6 and the definition of ample invertible modules in Properties, Definition 28.26.1). Thus we can find $r' \geq 0$ and $r \geq 0$ and a surjection

by Properties, Proposition 28.26.13. By Lemma 108.5.10 we may replace $\mathcal{F}$ by $\mathcal{F} \otimes _{\mathcal{O}_ X} \mathcal{L}^{\otimes r'}$ and $P(t)$ by $P(t + r')$. By Lemma 108.5.8 we obtain a closed immersion

Since we've shown that $\mathrm{Quot}^ P_{\mathcal{O}_ X^{\oplus r}/X/B} \to B$ is proper in Lemma 108.6.1 we conclude. $\square$

Proof. The question is étale local over $B$, see Morphisms of Spaces, Lemma 67.40.2. Thus we may assume $B$ is an affine scheme. Then we can find a closed immersion $i : X \to \mathbf{P}^ n_ B$ such that $i^*\mathcal{O}_{\mathbf{P}^ n_ B}(1) \cong \mathcal{L}^{\otimes d}$ for some $d \geq 1$. See Morphisms, Lemma 29.39.3. Changing $\mathcal{L}$ into $\mathcal{L}^{\otimes d}$ and the numerical polynomial $P(t)$ into $P(dt)$ leaves $\mathrm{Quot}^ P_{\mathcal{F}/X/B}$ unaffected; some details omitted. Hence we may assume $\mathcal{L} = i^*\mathcal{O}_{\mathbf{P}^ n_ B}(1)$. Then the isomorphism $\mathrm{Quot}_{\mathcal{F}/X/B} \to \mathrm{Quot}_{i_*\mathcal{F}/\mathbf{P}^ n_ B/B}$ of Lemma 108.5.7 induces an isomorphism $\mathrm{Quot}^ P_{\mathcal{F}/X/B} \cong \mathrm{Quot}^ P_{i_*\mathcal{F}/\mathbf{P}^ n_ B/B}$. Since $\mathrm{Quot}^ P_{i_*\mathcal{F}/\mathbf{P}^ n_ B/B}$ is proper over $B$ by Lemma 108.6.2 we conclude. $\square$

Proof. We have already seen that $\mathrm{Quot}_{\mathcal{F}/X/B} \to B$ is separated and locally of finite presentation, see Lemma 108.5.2. Thus it suffices to show that the open subspace $\mathrm{Quot}^ P_{\mathcal{F}/X/B}$ of Remark 108.5.9 is quasi-compact over $B$.

The question is étale local on $B$ (Morphisms of Spaces, Lemma 67.8.8). Thus we may assume $B$ is affine.

Assume $B = \mathop{\mathrm{Spec}}(\Lambda )$. Write $\Lambda = \mathop{\mathrm{colim}}\nolimits \Lambda _ i$ as the colimit of its finite type $\mathbf{Z}$-subalgebras. Then we can find an $i$ and a system $X_ i, \mathcal{F}_ i, \mathcal{L}_ i$ as in the lemma over $B_ i = \mathop{\mathrm{Spec}}(\Lambda _ i)$ whose base change to $B$ gives $X, \mathcal{F}, \mathcal{L}$. This follows from Limits of Spaces, Lemmas 70.7.1 (to find $X_ i$), 70.7.2 (to find $\mathcal{F}_ i$), 70.7.3 (to find $\mathcal{L}_ i$), and 70.5.9 (to make $X_ i$ separated). Because

and similarly for $\mathrm{Quot}^ P_{\mathcal{F}/X/B}$ we reduce to the case discussed in the next paragraph.

Assume $B$ is affine and Noetherian. We may replace $\mathcal{L}$ by a positive power, see Lemma 108.5.11. Thus we may assume there exists an immersion $i : X \to \mathbf{P}^ n_ B$ such that $i^*\mathcal{O}_{\mathbf{P}^ n}(1) = \mathcal{L}$. By Morphisms, Lemma 29.7.7 there exists a closed subscheme $X' \subset \mathbf{P}^ n_ B$ such that $i$ factors through an open immersion $j : X \to X'$. By Properties, Lemma 28.22.5 there exists a finitely presented $\mathcal{O}_{X'}$-module $\mathcal{G}$ such that $j^*\mathcal{G} = \mathcal{F}$. Thus we obtain an open immersion

by Lemma 108.5.6. Clearly this open immersion sends $\mathrm{Quot}^ P_{\mathcal{F}/X/B}$ into $\mathrm{Quot}^ P_{\mathcal{G}/X'/B}$. Now $\mathrm{Quot}^ P_{\mathcal{G}/X'/B}$ is proper over $B$ by Lemma 108.6.3. Therefore it is Noetherian and since any open of a Noetherian algebraic space is quasi-compact we win. $\square$