Lemma 85.29.3. Let $S$ be a scheme. Let $R$ be a complete local Noetherian $S$-algebra. Let $X$ be an algebraic space over $S$. Then the natural map

$\mathop{\mathrm{Mor}}\nolimits _ S(\mathop{\mathrm{Spec}}(R), X) \longrightarrow \mathop{\mathrm{Mor}}\nolimits _ S(\text{Spf}(R), X)$

is bijective.

Proof. Let $\mathfrak m$ be the maximal ideal of $R$. We have to show that

$\mathop{\mathrm{Mor}}\nolimits _ S(\mathop{\mathrm{Spec}}(R), X) \longrightarrow \mathop{\mathrm{lim}}\nolimits \mathop{\mathrm{Mor}}\nolimits _ S(\mathop{\mathrm{Spec}}(R/\mathfrak m^ n), X)$

is bijective for $R$ as above.

Injectivity: Let $x, x' : \mathop{\mathrm{Spec}}(R) \to X$ be two morphisms mapping to the same element in the right hand side. Consider the fibre product

$T = \mathop{\mathrm{Spec}}(R) \times _{(x, x'), X \times _ S X, \Delta } X$

Then $T$ is a scheme and $T \to \mathop{\mathrm{Spec}}(R)$ is locally of finite type, monomorphism, separated, and locally quasi-finite, see Morphisms of Spaces, Lemma 65.4.1. In particular $T$ is locally Noetherian, see Morphisms, Lemma 29.15.6. Let $t \in T$ be the unique point mapping to the closed point of $\mathop{\mathrm{Spec}}(R)$ which exists as $x$ and $x'$ agree over $R/\mathfrak m$. Then $R \to \mathcal{O}_{T, t}$ is a local ring map of Noetherian rings such that $R/\mathfrak m^ n \to \mathcal{O}_{T, t}/\mathfrak m^ n\mathcal{O}_{T, t}$ is an isomorphism for all $n$ (because $x$ and $x'$ agree over $\mathop{\mathrm{Spec}}(R/\mathfrak m^ n)$ for all $n$). Since $\mathcal{O}_{T, t}$ maps injectively into its completion (see Algebra, Lemma 10.51.4) we conclude that $R = \mathcal{O}_{T, t}$. Hence $x$ and $x'$ agree over $R$.

Surjectivity: Let $(x_ n)$ be an element of the right hand side. Choose a scheme $U$ and a surjective étale morphism $U \to X$. Denote $x_0 : \mathop{\mathrm{Spec}}(k) \to X$ the morphism induced on the residue field $k = R/\mathfrak m$. The morphism of schemes $U \times _{X, x_0} \mathop{\mathrm{Spec}}(k) \to \mathop{\mathrm{Spec}}(k)$ is surjective étale. Thus $U \times _{X, x_0} \mathop{\mathrm{Spec}}(k)$ is a nonempty disjoint union of spectra of finite separable field extensions of $k$, see Morphisms, Lemma 29.36.7. Hence we can find a finite separable field extension $k \subset k'$ and a $k'$-point $u_0 : \mathop{\mathrm{Spec}}(k') \to U$ such that

$\xymatrix{ \mathop{\mathrm{Spec}}(k') \ar[d] \ar[r]_-{u_0} & U \ar[d] \\ \mathop{\mathrm{Spec}}(k) \ar[r]^-{x_0} & X }$

commutes. Let $R \subset R'$ be the finite étale extension of Noetherian complete local rings which induces $k \subset k'$ on residue fields (see Algebra, Lemmas 10.153.7 and 10.153.9). Denote $x'_ n$ the restriction of $x_ n$ to $\mathop{\mathrm{Spec}}(R'/\mathfrak m^ nR')$. By More on Morphisms of Spaces, Lemma 74.16.8 we can find an element $(u'_ n) \in \mathop{\mathrm{lim}}\nolimits \mathop{\mathrm{Mor}}\nolimits _ S(\mathop{\mathrm{Spec}}(R'/\mathfrak m^ nR'), U)$ mapping to $(x'_ n)$. By Lemma 85.29.2 the family $(u'_ n)$ comes from a unique morphism $u' : \mathop{\mathrm{Spec}}(R') \to U$. Denote $x' : \mathop{\mathrm{Spec}}(R') \to X$ the composition. Note that $R' \otimes _ R R'$ is a finite product of spectra of Noetherian complete local rings to which our current discussion applies. Hence the diagram

$\xymatrix{ \mathop{\mathrm{Spec}}(R' \otimes _ R R') \ar[r] \ar[d] & \mathop{\mathrm{Spec}}(R') \ar[d]^{x'} \\ \mathop{\mathrm{Spec}}(R') \ar[r]^{x'} & X }$

is commutative by the injectivity shown above and the fact that $x'_ n$ is the restriction of $x_ n$ which is defined over $R/\mathfrak m^ n$. Since $\{ \mathop{\mathrm{Spec}}(R') \to \mathop{\mathrm{Spec}}(R)\}$ is an fppf covering we conclude that $x'$ descends to a morphism $x : \mathop{\mathrm{Spec}}(R) \to X$. We omit the proof that $x_ n$ is the restriction of $x$ to $\mathop{\mathrm{Spec}}(R/\mathfrak m^ n)$. $\square$

There are also:

• 2 comment(s) on Section 85.29: Maps out of affine formal schemes

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