Lemma 37.10.1. Let $(f, f') : (X \subset X') \to (S \subset S')$ be a morphism of first order thickenings. Assume that $f$ is flat. Then the following are equivalent
$f'$ is flat and $X = S \times _{S'} X'$, and
the canonical map $f^*\mathcal{C}_{S/S'} \to \mathcal{C}_{X/X'}$ is an isomorphism.
Proof. As the problem is local on $X'$ we may assume that $X, X', S, S'$ are affine schemes. Say $S' = \mathop{\mathrm{Spec}}(A')$, $X' = \mathop{\mathrm{Spec}}(B')$, $S = \mathop{\mathrm{Spec}}(A)$, $X = \mathop{\mathrm{Spec}}(B)$ with $A = A'/I$ and $B = B'/J$ for some square zero ideals. Then we obtain the following commutative diagram
with exact rows. The canonical map of the lemma is the map
The assumption that $f$ is flat signifies that $A \to B$ is flat.
Assume (1). Then $A' \to B'$ is flat and $J = IB'$. Flatness implies $\text{Tor}_1^{A'}(B', A) = 0$ (see Algebra, Lemma 10.75.8). This means $I \otimes _{A'} B' \to B'$ is injective (see Algebra, Remark 10.75.9). Hence we see that $I \otimes _ A B \to J$ is an isomorphism.
Assume (2). Then it follows that $J = IB'$, so that $X = S \times _{S'} X'$. Moreover, we get $\text{Tor}_1^{A'}(B', A'/I) = 0$ by reversing the implications in the previous paragraph. Hence $B'$ is flat over $A'$ by Algebra, Lemma 10.99.8. $\square$
Comments (0)