## 53.14 Pushouts

Let $k$ be a field. Consider a solid diagram

\[ \xymatrix{ Z' \ar[d] \ar[r]_{i'} & X' \ar@{..>}[d]^ a \\ Z \ar@{..>}[r]^ i & X } \]

of schemes over $k$ satisfying

$X'$ is separated of finite type over $k$ of dimension $\leq 1$,

$i : Z' \to X'$ is a closed immersion,

$Z'$ and $Z$ are finite over $\mathop{\mathrm{Spec}}(k)$, and

$Z' \to Z$ is surjective.

In this situation every finite set of points of $X'$ are contained in an affine open, see Varieties, Proposition 33.42.7. Thus the assumptions of More on Morphisms, Proposition 37.65.3 are satisfied and we obtain the following

the pushout $X = Z \amalg _{Z'} X'$ exists in the category of schemes,

$i : Z \to X$ is a closed immersion,

$a : X' \to X$ is integral surjective,

$X \to \mathop{\mathrm{Spec}}(k)$ is separated by More on Morphisms, Lemma 37.65.4

$X \to \mathop{\mathrm{Spec}}(k)$ is of finite type by More on Morphisms, Lemmas 37.65.5,

thus $a : X' \to X$ is finite by Morphisms, Lemmas 29.44.4 and 29.15.8,

if $X' \to \mathop{\mathrm{Spec}}(k)$ is proper, then $X \to \mathop{\mathrm{Spec}}(k)$ is proper by Morphisms, Lemma 29.41.9.

The following lemma can be generalized significantly.

Lemma 53.14.1. In the situation above, let $Z = \mathop{\mathrm{Spec}}(k')$ where $k'$ is a field and $Z' = \mathop{\mathrm{Spec}}(k'_1 \times \ldots \times k'_ n)$ with $k'_ i/k'$ finite extensions of fields. Let $x \in X$ be the image of $Z \to X$ and $x'_ i \in X'$ the image of $\mathop{\mathrm{Spec}}(k'_ i) \to X'$. Then we have a fibre product diagram

\[ \xymatrix{ \prod \nolimits _{i = 1, \ldots , n} k'_ i & \prod \nolimits _{i = 1, \ldots , n} \mathcal{O}_{X', x'_ i}^\wedge \ar[l] \\ k' \ar[u] & \mathcal{O}_{X, x}^\wedge \ar[u] \ar[l] } \]

where the horizontal arrows are given by the maps to the residue fields.

**Proof.**
Choose an affine open neighbourhood $\mathop{\mathrm{Spec}}(A)$ of $x$ in $X$. Let $\mathop{\mathrm{Spec}}(A') \subset X'$ be the inverse image. By construction we have a fibre product diagram

\[ \xymatrix{ \prod \nolimits _{i = 1, \ldots , n} k'_ i & A' \ar[l] \\ k' \ar[u] & A \ar[u] \ar[l] } \]

Since everything is finite over $A$ we see that the diagram remains a fibre product diagram after completion with respect to the maximal ideal $\mathfrak m \subset A$ corresponding to $x$ (Algebra, Lemma 10.97.2). Finally, apply Algebra, Lemma 10.97.8 to identify the completion of $A'$.
$\square$

## Comments (0)