Lemma 98.27.12. In Situation 98.27.1 the functor F satisfies the Rim-Schlessinger condition (RS).
Proof. Recall that the condition only involves the evaluation F(V) of the functor F on schemes V over S which are spectra of Artinian local rings and the restriction maps F(V_2) \to F(V_1) for morphisms V_1 \to V_2 of schemes over S which are spectra of Artinian local rings. Thus let V/S be the spetruim of an Artinian local ring. If \xi = (Z, u', \hat x) \in F(V) then either Z = \emptyset or Z = V (set theoretically). In the first case we see that \hat x is a morphism from the empty formal algebraic space into W. In the second case we see that u' is a morphism from the empty scheme into X' and we see that \hat x : V \to W is a morphism into W. We conclude that
and moreover for V_1 \to V_2 as above the induced map F(V_2) \to F(V_1) is compatible with this decomposition. Hence it suffices to prove that both U' and W satisfy the Rim-Schlessinger condition. For U' this follows from Lemma 98.5.2. To see that it is true for W, we write W = \mathop{\mathrm{colim}}\nolimits W_ n as in Formal Spaces, Lemma 87.20.11. Say V = \mathop{\mathrm{Spec}}(A) with (A, \mathfrak m) an Artinian local ring. Pick n \geq 1 such that \mathfrak m^ n = 0. Then we have W(V) = W_ n(V). Hence we see that the Rim-Schlessinger condition for W follows from the Rim-Schlessinger condition for W_ n for all n (which in turn follows from Lemma 98.5.2). \square
Comments (0)