The Stacks project

37.61 Pushouts in the category of schemes, II

This section is a continuation of Section 37.14. In this section we construct pushouts of $Y \leftarrow Z \rightarrow X$ where $Z \to X$ is a closed immersion and $Z \to Y$ is integral and an additional condition is satisfied. Please see the detailed discussion in [Ferrand-Conducteur].

Situation 37.61.1. Here $S$ is a scheme and $i : Z \to X$ and $j : Z \to Y$ are morphisms of schemes over $S$. We assume

  1. $i$ is a closed immersion,

  2. $j$ is an integral morphism of schemes,

  3. for $y \in Y$ there exists an affine open $U \subset X$ with $j^{-1}(\{ y\} ) \subset i^{-1}(U)$.

Lemma 37.61.2. In Situation 37.61.1 then for $y \in Y$ there exist affine opens $U \subset X$ and $V \subset Y$ with $i^{-1}(U) = j^{-1}(V)$ and $y \in V$.

Proof. Let $y \in Y$. Choose an affine open $U \subset X$ such that $j^{-1}(\{ y\} ) \subset i^{-1}(U)$ (possible by assumption). Choose an affine open $V \subset Y$ neighbourhood of $y$ such that $j^{-1}(V) \subset i^{-1}(U)$. This is possible because $j : Z \to Y$ is a closed morphism (Morphisms, Lemma 29.44.7) and $i^{-1}(U)$ contains the fibre over $y$. Since $j$ is integral, the scheme theoretic fibre $Z_ y$ is the spectrum of an algebra integral over a field. By Limits, Lemma 32.11.6 we can find an $\overline{f} \in \Gamma (i^{-1}(U), \mathcal{O}_{i^{-1}(U)})$ such that $Z_ y \subset D(\overline{f}) \subset j^{-1}(V)$. Since $i|_{i^{-1}(U)} : i^{-1}(U) \to U$ is a closed immersion of affines, we can choose an $f \in \Gamma (U, \mathcal{O}_ U)$ whose restriction to $i^{-1}(U)$ is $\overline{f}$. After replacing $U$ by the principal open $D(f) \subset U$ we find affine opens $y \in V \subset Y$ and $U \subset X$ with

\[ j^{-1}(\{ y\} ) \subset i^{-1}(U) \subset j^{-1}(V) \]

Now we (in some sense) repeat the argument. Namely, we choose $g \in \Gamma (V, \mathcal{O}_ V)$ such that $y \in D(g)$ and $j^{-1}(D(g)) \subset i^{-1}(U)$ (possible by the same argument as above). Then we can pick $f \in \Gamma (U, \mathcal{O}_ U)$ whose restriction to $i^{-1}(U)$ is the pullback of $g$ by $i^{-1}(U) \to V$ (again possible by the same reason as above). Then we finally have affine opens $y \in V' = D(g) \subset V \subset Y$ and $U' = D(f) \subset U \subset X$ with $j^{-1}(V') = i^{-1}(V')$. $\square$

reference

Proposition 37.61.3. In Situation 37.61.1 the pushout $Y \amalg _ Z X$ exists in the category of schemes. Picture

\[ \xymatrix{ Z \ar[r]_ i \ar[d]_ j & X \ar[d]^ a \\ Y \ar[r]^-b & Y \amalg _ Z X } \]

The diagram is a fibre square, the morphism $a$ is integral, the morphism $b$ is a closed immersion, and

\[ \mathcal{O}_{Y \amalg _ Z X} = b_*\mathcal{O}_ Y \times _{c_*\mathcal{O}_ Z} a_*\mathcal{O}_ X \]

as sheaves of rings where $c = a \circ i = b \circ j$.

Proof. As a topological space we set $Y \amalg _ Z X$ equal to the pushout of the diagram in the category of topological spaces (Topology, Section 5.29). This is just the pushout of the underlying sets (Topology, Lemma 5.29.1) endowed with the quotient topology. On $Y \amalg _ Z X$ we have the maps of sheaves of rings

\[ b_*\mathcal{O}_ Y \longrightarrow c_*\mathcal{O}_ Z \longleftarrow a_*\mathcal{O}_ X \]

and we can define

\[ \mathcal{O}_{Y \amalg _ Z X} = b_*\mathcal{O}_ Y \times _{c_*\mathcal{O}_ Z} a_*\mathcal{O}_ X \]

as the fibre product in the category of sheaves of rings. To prove that we obtain a scheme we have to show that every point has an affine open neighbourhood. This is clear for points not in the image of $c$ as the image of $c$ is a closed subset whose complement is isomorphic as a ringed space to $(Y \setminus j(Z)) \amalg (X \setminus i(Z))$.

A point in the image of $c$ corresponds to a unique $y \in Y$ in the image of $j$. By Lemma 37.61.2 we find affine opens $U \subset X$ and $V \subset Y$ with $y \in V$ and $i^{-1}(U) = j^{-1}(V)$. Since the construction of the first paragraph is clearly compatible with restriction to compatible open subschemes, to prove that it produces a scheme we may assume $X$, $Y$, and $Z$ are affine.

If $X = \mathop{\mathrm{Spec}}(A)$, $Y = \mathop{\mathrm{Spec}}(B)$, and $Z = \mathop{\mathrm{Spec}}(C)$ are affine, then More on Algebra, Lemma 15.6.2 shows that $Y \amalg _ Z X = \mathop{\mathrm{Spec}}(B \times _ C A)$ as topological spaces. To finish the proof that $Y \times _ Z X$ is a scheme, it suffices to show that on $\mathop{\mathrm{Spec}}(B \times _ C A)$ the structure sheaf is the fibre product of the pushforwards. This follows by applying More on Algebra, Lemma 15.5.3 to principal affine opens of $\mathop{\mathrm{Spec}}(B \times _ C A)$.

The discussion above shows the scheme $Y \amalg _ X Z$ has an affine open covering $Y \amalg _ X Z = \bigcup W_ i$ such that $U_ i = a^{-1}(W_ i)$, $V_ i = b^{-1}(W_ i)$, and $\Omega _ i = c^{-1}(W_ i)$ are affine open in $X$, $Y$, and $Z$. Thus $a$ and $b$ are affine. Moreover, if $A_ i$, $B_ i$, $C_ i$ are the rings corresponding to $U_ i$, $V_ i$, $\Omega _ i$, then $A_ i \to C_ i$ is surjective and $W_ i$ corresponds to $A_ i \times _{C_ i} B_ i$ which surjects onto $B_ i$. Hence $b$ is a closed immersion. The ring map $A_ i \times _{C_ i} B_ i \to A_ i$ is integral by More on Algebra, Lemma 15.6.3 hence $a$ is integral. The diagram is cartesian because

\[ C_ i \cong B_ i \otimes _{B_ i \times _{C_ i} A_ i} A_ i \]

This follows as $B_ i \times _{C_ i} A_ i \to B_ i$ and $A_ i \to C_ i$ are surjective maps whose kernels are the same.

Finally, we can apply Lemmas 37.14.1 and 37.14.2 to conclude our construction is a pushout in the category of schemes. $\square$

Lemma 37.61.4. In Situation 37.61.1. If $X$ and $Y$ are separated, then the pushout $Y \amalg _ Z X$ (Proposition 37.61.3) is separated. Same with “separated over $S$”, “quasi-separated”, and “quasi-separated over $S$”.

Proof. The morphism $Y \amalg X \to Y \amalg _ Z X$ is surjective and universall closed. Thus we may apply Morphisms, Lemma 29.41.11. $\square$

Lemma 37.61.5. In Situation 37.61.1 assume $S$ is a locally Noetherian scheme and $X$, $Y$, and $Z$ are locally of finite type over $S$. Then the pushout $Y \amalg _ Z X$ (Proposition 37.61.3) is locally of finite type over $S$.

Proof. Looking on affine opens we recover the result of More on Algebra, Lemma 15.5.1. $\square$

Lemma 37.61.6. In Situation 37.61.1 suppose given a commutative diagram

\[ \xymatrix{ Y' \ar[d]^ g & Z' \ar[l]^{j'} \ar[r]_{i'} \ar[d]^ h & X' \ar[d]^ f \\ Y & Z \ar[l] \ar[r] & X } \]

with cartesian squares and $f, g, h$ separated and locally quasi-finite. Then

  1. the pushouts $Y \amalg _ Z X$ and $Y' \amalg _{Z'} X'$ exist,

  2. $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is separated and locally quasi-finite, and

  3. the squares

    \[ \xymatrix{ Y' \ar[r] \ar[d] & Y' \amalg _{Z'} X' \ar[d] & X' \ar[l] \ar[d] \\ Y \ar[r] & Y \amalg _ Z X & X \ar[l] } \]

    are cartesian.

Proof. The pushout $Y \amalg _ Z X$ exists by Proposition 37.61.3. To see that the pushout $Y' \amalg _{Z'} X'$ exists, we check condition (3) of Situation 37.61.1 holds for $(X', Y', Z', i', j')$. Namely, let $y' \in Y'$ and denote $y \in Y$ the image. Choose $U \subset X$ affine open with $i(j^{-1}(y)) \subset U$. Choose a quasi-compact open $U' \subset X'$ contained in $f^{-1}(U)$ containing the quasi-compact subset $i'((j')^{-1}(\{ y'\} ))$. By Lemma 37.60.8 we see that $U'$ is quasi-affine. Since $Z'_{y'}$ is the spectrum of an algebra integral over a field, we can apply Limits, Lemma 32.11.6 and we find there exists an affine open subscheme of $U'$ containing $i'((j')^{-1}(\{ y'\} ))$ as desired.

Having verified existence we check the other assertions. Affine locally we are exactly in the situation of More on Algebra, Lemma 15.7.7 with $B \to D$ and $A' \to C'$ locally quasi-finite1. In particular, the morphism $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is locally of finite type. The squares in of the diagram are cartesian by More on Algebra, Lemma 15.6.4. Since being locally quasi-finite can be checked on fibres (Morphisms, Lemma 29.20.6) we conclude that $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is locally quasi-finite.

We still have to check $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is separated. Observe that $Y' \amalg X' \to Y' \amalg _{Z'} X'$ is universally closed and surjective by Proposition 37.61.3. Since also the morphism $Y' \amalg X' \to Y \amalg _ Z X$ is separated (as it factors as $Y' \amalg X' \to Y \amalg X \to Y \amalg _ Z X$) we conclude by Morphisms, Lemma 29.41.11. $\square$

Lemma 37.61.7. In Situation 37.61.1 the category of schemes flat, separated, and locally quasi-finite over the pushout $Y \amalg _ Z X$ is equivalent to the category of $(X', Y', Z', i', j', f, g, h)$ as in Lemma 37.61.6 with $f, g, h$ flat. Similarly with “flat” replaced with “étale”.

Proof. If we start with $(X', Y', Z', i', j', f, g, h)$ as in Lemma 37.61.6 with $f, g, h$ flat or étale, then $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is flat or étale by More on Algebra, Lemma 15.7.7.

For the converse, let $W \to Y \amalg _ Z X$ be a separated and locally quasi-finite morphism. Set $X' = W \times _{Y \amalg _ Z X} X$, $Y' = W \times _{Y \amalg _ Z X} Y$, and $Z' = W \times _{Y \amalg _ Z X} Z$ with obvious morphisms $i', j', f, g, h$. Form the pushout $Y' \amalg _{Z'} X'$. We obtain a morphism

\[ Y' \amalg _{Z'} X' \longrightarrow W \]

of schemes over $Y \amalg _ X Z$ by the universal property of the pushout. If we do not assume that $W \to Y \amalg _ Z X$ is flat, then in general this morphism won't be an isomorphism. (In fact, More on Algebra, Lemma 15.6.5 shows the displayed arrow is a closed immersion but not an isomorphism in general.) However, if $W \to Y \times _ Z X$ is flat, then it is an isomorphism by More on Algebra, Lemma 15.7.7. $\square$

Next, we discuss existence in the case where both morphisms are closed immersions.

Lemma 37.61.8. Let $i : Z \to X$ and $j : Z \to Y$ be closed immersions of schemes. Then the pushout $Y \amalg _ Z X$ exists in the category of schemes. Picture

\[ \xymatrix{ Z \ar[r]_ i \ar[d]_ j & X \ar[d]^ a \\ Y \ar[r]^-b & Y \amalg _ Z X } \]

The diagram is a fibre square, the morphisms $a$ and $b$ are closed immersions, and there is a short exact sequence

\[ 0 \to \mathcal{O}_{Y \amalg _ Z X} \to a_*\mathcal{O}_ X \oplus b_*\mathcal{O}_ Y \to c_*\mathcal{O}_ Z \to 0 \]

where $c = a \circ i = b \circ j$.

Proof. This is a special case of Proposition 37.61.3. Observe that hypothesis (3) in Situation 37.61.1 is immediate because the fibres of $j$ are singletons. Finally, reverse the roles of the arrows to conclude that both $a$ and $b$ are closed immersions. $\square$

Lemma 37.61.9. Let $i : Z \to X$ and $j : Z \to Y$ be closed immersions of schemes. Let $f : X' \to X$ and $g : Y' \to Y$ be morphisms of schemes and let $\varphi : X' \times _{X, i} Z \to Y' \times _{Y, j} Z$ be an isomorphism of schemes over $Z$. Consider the morphism

\[ h : X' \amalg _{X' \times _{X, i} Z, \varphi } Y' \longrightarrow X \amalg _ Z Y \]

Then we have

  1. $h$ is locally of finite type if and only if $f$ and $g$ are locally of finite type,

  2. $h$ is flat if and only if $f$ and $g$ are flat,

  3. $h$ is flat and locally of finite presentation if and only if $f$ and $g$ are flat and locally of finite presentation,

  4. $h$ is smooth if and only if $f$ and $g$ are smooth,

  5. $h$ is étale if and only if $f$ and $g$ are étale, and

  6. add more here as needed.

Proof. We know that the pushouts exist by Lemma 37.61.8. In particular we get the morphism $h$. Hence we may replace all schemes in sight by affine schemes. In this case the assertions of the lemma are equivalent to the corresponding assertions of More on Algebra, Lemma 15.7.7. $\square$

[1] To be precise $X, Y, Z, Y \amalg _ Z X, X', Y', Z', Y' \amalg _{Z'} X'$ correspond to $A', B, A, B', C', D, C, D'$.

Comments (4)

Comment #3579 by Haoyang Guo on

I guess the second sentence of the beginning paragraph in this section should be "Z \rightarrow Y is integral$, not "Y \rightarrow Z"?

Comment #5439 by Aron on

In the statement of Lemma 0ECJ there is no reference to the role that y plays, from the proof it seems that the open V is a neighbourhood of y.


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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0ECH. Beware of the difference between the letter 'O' and the digit '0'.