Situation 70.23.1. Let $S$ be a scheme, for example $\mathop{\mathrm{Spec}}(\mathbf{Z})$. Let $B = \mathop{\mathrm{lim}}\nolimits _{i \in I} B_ i$ be the limit of a directed inverse system of Noetherian spaces over $S$ with affine transition morphisms $B_{i'} \to B_ i$ for $i' \geq i$.
70.23 Descending finite type spaces
This section continues the theme of Section 70.11 in the spirit of the results discussed in Section 70.7. It is also the analogue of Limits, Section 32.22 for algebraic spaces.
Lemma 70.23.2. In Situation 70.23.1. Let $X \to B$ be a quasi-separated and finite type morphism of algebraic spaces. Then there exists an $i \in I$ and a diagram such that $W \to B_ i$ is of finite type and such that the induced morphism $X \to B \times _{B_ i} W$ is a closed immersion.
70.23.2.1
\begin{equation} \label{spaces-limits-equation-good-diagram} \vcenter { \xymatrix{ X \ar[r] \ar[d] & W \ar[d] \\ B \ar[r] & B_ i } } \end{equation}
Proof. By Lemma 70.11.6 we can find a closed immersion $X \to X'$ over $B$ where $X'$ is an algebraic space of finite presentation over $B$. By Lemma 70.7.1 we can find an $i$ and a morphism of finite presentation $X'_ i \to B_ i$ whose pull back is $X'$. Set $W = X'_ i$. $\square$
Lemma 70.23.3. In Situation 70.23.1. Let $X \to B$ be a quasi-separated and finite type morphism of algebraic spaces. Given $i \in I$ and a diagram as in (70.23.2.1) for $i' \geq i$ let $X_{i'}$ be the scheme theoretic image of $X \to B_{i'} \times _{B_ i} W$. Then $X = \mathop{\mathrm{lim}}\nolimits _{i' \geq i} X_{i'}$.
\[ \vcenter { \xymatrix{ X \ar[r] \ar[d] & W \ar[d] \\ B \ar[r] & B_ i } } \]
Proof. Since $X$ is quasi-compact and quasi-separated formation of the scheme theoretic image of $X \to B_{i'} \times _{B_ i} W$ commutes with étale localization (Morphisms of Spaces, Lemma 67.16.3). Hence we may and do assume $W$ is affine and maps into an affine $U_ i$ étale over $B_ i$. Then
\[ B_{i'} \times _{B_ i} W = B_{i'} \times _{B_ i} U_ i \times _{U_ i} W = U_{i'} \times _{U_ i} W \]
where $U_{i'} = B_{i'} \times _{B_ i} U_ i$ is affine as the transition morphisms are affine. Thus the lemma follows from the case of schemes which is Limits, Lemma 32.22.3. $\square$
Lemma 70.23.4. In Situation 70.23.1. Let $f : X \to Y$ be a morphism of algebraic spaces quasi-separated and of finite type over $B$. Let be diagrams as in (70.23.2.1). Let $X = \mathop{\mathrm{lim}}\nolimits _{i \geq i_1} X_ i$ and $Y = \mathop{\mathrm{lim}}\nolimits _{i \geq i_2} Y_ i$ be the corresponding limit descriptions as in Lemma 70.23.3. Then there exists an $i_0 \geq \max (i_1, i_2)$ and a morphism of inverse systems over $(B_ i)_{i \geq i_0}$ such that such that $f = \mathop{\mathrm{lim}}\nolimits _{i \geq i_0} f_ i$. If $(g_ i)_{i \geq i_0} : (X_ i)_{i \geq i_0} \to (Y_ i)_{i \geq i_0}$ is a second morphism of inverse systems over $(B_ i)_{i \geq i_0}$ such that such that $f = \mathop{\mathrm{lim}}\nolimits _{i \geq i_0} g_ i$ then $f_ i = g_ i$ for all $i \gg i_0$.
\[ \vcenter { \xymatrix{ X \ar[r] \ar[d] & W \ar[d] \\ B \ar[r] & B_{i_1} } } \quad \text{and}\quad \vcenter { \xymatrix{ Y \ar[r] \ar[d] & V \ar[d] \\ B \ar[r] & B_{i_2} } } \]
\[ (f_ i)_{i \geq i_0} : (X_ i)_{i \geq i_0} \to (Y_ i)_{i \geq i_0} \]
Proof. Since $V \to B_{i_2}$ is of finite presentation and $X = \mathop{\mathrm{lim}}\nolimits _{i \geq i_1} X_ i$ we can appeal to Proposition 70.3.10 as improved by Lemma 70.4.5 to find an $i_0 \geq \max (i_1, i_2)$ and a morphism $h : X_{i_0} \to V$ over $B_{i_2}$ such that $X \to X_{i_0} \to V$ is equal to $X \to Y \to V$. For $i \geq i_0$ we get a commutative solid diagram
\[ \xymatrix{ X \ar[d] \ar[r] & X_ i \ar[r] \ar@{..>}[d] \ar@/_2pc/[dd] |!{[d];[ld]}\hole & X_{i_0} \ar[d]^ h \\ Y \ar[r] \ar[d] & Y_ i \ar[r] \ar[d] & V \ar[d] \\ B \ar[r] & B_ i \ar[r] & B_{i_0} } \]
Since $X \to X_ i$ has scheme theoretically dense image and since $Y_ i$ is the scheme theoretic image of $Y \to B_ i \times _{B_{i_2}} V$ we find that the morphism $X_ i \to B_ i \times _{B_{i_2}} V$ induced by the diagram factors through $Y_ i$ (Morphisms of Spaces, Lemma 67.16.6). This proves existence.
Uniqueness. Let $E_ i \to X_ i$ be the equalizer of $f_ i$ and $g_ i$ for $i \geq i_0$. We have $E_ i = Y_ i \times _{\Delta , Y_ i \times _{B_ i} Y_ i, (f_ i, g_ i)} X_ i$. Hence $E_ i \to X_ i$ is a monomorphism of finite presentation as a base change of the diagonal of $Y_ i$ over $B_ i$, see Morphisms of Spaces, Lemmas 67.4.1 and 67.28.10. Since $X_ i$ is a closed subspace of $B_ i \times _{B_{i_0}} X_{i_0}$ and similarly for $Y_ i$ we see that
\[ E_ i = X_ i \times _{(B_ i \times _{B_{i_0}} X_{i_0})} (B_ i \times _{B_{i_0}} E_{i_0}) = X_ i \times _{X_{i_0}} E_{i_0} \]
Similarly, we have $X = X \times _{X_{i_0}} E_{i_0}$. Hence we conclude that $E_ i = X_ i$ for $i$ large enough by Lemma 70.6.10. $\square$
Remark 70.23.5. In Situation 70.23.1 Lemmas 70.23.2, 70.23.3, and 70.23.4 tell us that the category of algebraic spaces quasi-separated and of finite type over $B$ is equivalent to certain types of inverse systems of algebraic spaces over $(B_ i)_{i \in I}$, namely the ones produced by applying Lemma 70.23.3 to a diagram of the form (70.23.2.1). For example, given $X \to B$ finite type and quasi-separated if we choose two different diagrams $X \to V_1 \to B_{i_1}$ and $X \to V_2 \to B_{i_2}$ as in (70.23.2.1), then applying Lemma 70.23.4 to $\text{id}_ X$ (in two directions) we see that the corresponding limit descriptions of $X$ are canonically isomorphic (up to shrinking the directed set $I$). And so on and so forth.
Lemma 70.23.6. Notation and assumptions as in Lemma 70.23.4. If $f$ is flat and of finite presentation, then there exists an $i_3 > i_0$ such that for $i \geq i_3$ we have $f_ i$ is flat, $X_ i = Y_ i \times _{Y_{i_3}} X_{i_3}$, and $X = Y \times _{Y_{i_3}} X_{i_3}$.
Proof. By Lemma 70.7.1 we can choose an $i \geq i_2$ and a morphism $U \to Y_ i$ of finite presentation such that $X = Y \times _{Y_ i} U$ (this is where we use that $f$ is of finite presentation). After increasing $i$ we may assume that $U \to Y_ i$ is flat, see Lemma 70.6.12. As discussed in Remark 70.23.5 we may and do replace the initial diagram used to define the system $(X_ i)_{i \geq i_1}$ by the system corresponding to $X \to U \to B_ i$. Thus $X_{i'}$ for $i' \geq i$ is defined as the scheme theoretic image of $X \to B_{i'} \times _{B_ i} U$.
Because $U \to Y_ i$ is flat (this is where we use that $f$ is flat), because $X = Y \times _{Y_ i} U$, and because the scheme theoretic image of $Y \to Y_ i$ is $Y_ i$, we see that the scheme theoretic image of $X \to U$ is $U$ (Morphisms of Spaces, Lemma 67.30.12). Observe that $Y_{i'} \to B_{i'} \times _{B_ i} Y_ i$ is a closed immersion for $i' \geq i$ by construction of the system of $Y_ j$. Then the same argument as above shows that the scheme theoretic image of $X \to B_{i'} \times _{B_ i} U$ is equal to the closed subspace $Y_{i'} \times _{Y_ i} U$. Thus we see that $X_{i'} = Y_{i'} \times _{Y_ i} U$ for all $i' \geq i$ and hence the lemma holds with $i_3 = i$. $\square$
Lemma 70.23.7. Notation and assumptions as in Lemma 70.23.4. If $f$ is smooth, then there exists an $i_3 > i_0$ such that for $i \geq i_3$ we have $f_ i$ is smooth.
Lemma 70.23.8. Notation and assumptions as in Lemma 70.23.4. If $f$ is proper, then there exists an $i_3 \geq i_0$ such that for $i \geq i_3$ we have $f_ i$ is proper.
Proof. By the discussion in Remark 70.23.5 the choice of $i_1$ and $W$ fitting into a diagram as in (70.23.2.1) is immaterial for the truth of the lemma. Thus we choose $W$ as follows. First we choose a closed immersion $X \to X'$ with $X' \to Y$ proper and of finite presentation, see Lemma 70.12.1. Then we choose an $i_3 \geq i_2$ and a proper morphism $W \to Y_{i_3}$ such that $X' = Y \times _{Y_{i_3}} W$. This is possible because $Y = \mathop{\mathrm{lim}}\nolimits _{i \geq i_2} Y_ i$ and Lemmas 70.10.2 and 70.6.13. With this choice of $W$ it is immediate from the construction that for $i \geq i_3$ the algebraic space $X_ i$ is a closed subspace of $Y_ i \times _{Y_{i_3}} W \subset B_ i \times _{B_{i_3}} W$ and hence proper over $Y_ i$. $\square$
Lemma 70.23.9. In Situation 70.23.1 suppose that we have a cartesian diagram of algebraic spaces quasi-separated and of finite type over $B$. For each $j = 1, 2, 3, 4$ choose $i_ j \in I$ and a diagram as in (70.23.2.1). Let $X^ j = \mathop{\mathrm{lim}}\nolimits _{i \geq i_ j} X^ j_ i$ be the corresponding limit descriptions as in Lemma 70.23.4. Let $(a_ i)_{i \geq i_5}$, $(b_ i)_{i \geq i_6}$, $(p_ i)_{i \geq i_7}$, and $(q_ i)_{i \geq i_8}$ be the corresponding morphisms of inverse systems constructed in Lemma 70.23.4. Then there exists an $i_9 \geq \max (i_5, i_6, i_7, i_8)$ such that for $i \geq i_9$ we have $a_ i \circ p_ i = b_ i \circ q_ i$ and such that is a closed immersion. If $a$ and $b$ are flat and of finite presentation, then there exists an $i_{10} \geq \max (i_5, i_6, i_7, i_8, i_9)$ such that for $i \geq i_{10}$ the last displayed morphism is an isomorphism.
\[ \xymatrix{ X^1 \ar[r]_ p \ar[d]_ q & X^3 \ar[d]^ a \\ X^2 \ar[r]^ b & X^4 } \]
\[ \xymatrix{ X^ j \ar[r] \ar[d] & W^ j \ar[d] \\ B \ar[r] & B_{i_ j} } \]
\[ (q_ i, p_ i) : X^1_ i \longrightarrow X^2_ i \times _{b_ i, X^4_ i, a_ i} X^3_ i \]
Proof. According to the discussion in Remark 70.23.5 the choice of $W^1$ fitting into a diagram as in (70.23.2.1) is immaterial for the truth of the lemma. Thus we may choose $W^1 = W^2 \times _{W^4} W^3$. Then it is immediate from the construction of $X^1_ i$ that $a_ i \circ p_ i = b_ i \circ q_ i$ and that
\[ (q_ i, p_ i) : X^1_ i \longrightarrow X^2_ i \times _{b_ i, X^4_ i, a_ i} X^3_ i \]
is a closed immersion.
If $a$ and $b$ are flat and of finite presentation, then so are $p$ and $q$ as base changes of $a$ and $b$. Thus we can apply Lemma 70.23.6 to each of $a$, $b$, $p$, $q$, and $a \circ p = b \circ q$. It follows that there exists an $i_9 \in I$ such that
\[ (q_ i, p_ i) : X^1_ i \to X^2_ i \times _{X^4_ i} X^3_ i \]
is the base change of $(q_{i_9}, p_{i_9})$ by the morphism by the morphism $X^4_ i \to X^4_{i_9}$ for all $i \geq i_9$. We conclude that $(q_ i, p_ i)$ is an isomorphism for all sufficiently large $i$ by Lemma 70.6.10. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)