## 88.29 Artin's theorem on dilatations

In this section we use a different font for formal algebraic spaces to stress the similarity of the statements with the corresponding statements in [ArtinII]. Here is the first main theorem of this chapter.

reference
Theorem 88.29.1. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. Let $T \subset |X|$ be a closed subset. Let $\mathfrak X = X_{/T}$ be the formal completion of $X$ along $T$. Let

\[ \mathfrak f : \mathfrak X' \to \mathfrak X \]

be a formal modification (Definition 88.24.1). Then there exists a unique proper morphism $f : X' \to X$ which is an isomorphism over the complement of $T$ in $X$ whose completion $f_{/T}$ recovers $\mathfrak f$.

**Proof.**
This follows from Theorem 88.27.4 and Lemma 88.28.4.
$\square$

Here is the characterization of formal modifications as promised in Section 88.24.

Lemma 88.29.2. Let $S$ be a scheme. Let $\mathfrak X' \to \mathfrak X$ be a formal modification (Definition 88.24.1) of locally Noetherian formal algebraic spaces over $S$. Given

any adic Noetherian topological ring $A$,

any adic morphism $\text{Spf}(A) \longrightarrow \mathfrak X$

there exists a proper morphism $X \to \mathop{\mathrm{Spec}}(A)$ of algebraic spaces and an isomorphism

\[ \text{Spf}(A) \times _{\mathfrak X} \mathfrak X' \longrightarrow X_{/Z} \]

over $\text{Spf}(A)$ of the base change of $\mathfrak X$ with the formal completion of $X$ along the “closed fibre” $Z = X \times _{\mathop{\mathrm{Spec}}(A)} \text{Spf}(A)_{red}$ of $X$ over $A$.

**Proof.**
The morphism $\text{Spf}(A) \times _{\mathfrak X} \mathfrak X' \to \text{Spf}(A)$ is a formal modification by Lemma 88.24.4. Hence this follows from Theorem 88.29.1.
$\square$

## Comments (0)