Lemma 86.3.2. Let $A$ be a Noetherian ring and let $I \subset A$ be a ideal. Let $B \to C$ be morphism of (86.2.0.2). Then there is an exact sequence

$\xymatrix{ C \otimes _ B H^0(\mathop{N\! L}\nolimits ^\wedge _{B/A}) \ar[r] & H^0(\mathop{N\! L}\nolimits ^\wedge _{C/A}) \ar[r] & H^0(\mathop{N\! L}\nolimits ^\wedge _{C/B}) \ar[r] & 0 \\ H^{-1}(\mathop{N\! L}\nolimits ^\wedge _{B/A} \otimes _ B C) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits ^\wedge _{C/A}) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits ^\wedge _{C/B}) \ar[llu] }$

Proof. Choose a presentation $B = A[x_1, \ldots , x_ r]^\wedge /J$. Note that $(B, IB)$ is a pair consisting of a Noetherian ring and an ideal, and $C$ is in the corresponding category (86.2.0.2) for this pair. Hence we can choose a presentation $C = B[y_1, \ldots , y_ s]^\wedge /J'$. Combinging these presentations gives a presentation

$C = A[x_1, \ldots , x_ r, y_1, \ldots , y_ s]^\wedge /K$

Then the reader verifies that we obtain a commutative diagram

$\xymatrix{ 0 \ar[r] & \bigoplus C \text{d}x_ i \ar[r] & \bigoplus C \text{d}x_ i \oplus \bigoplus C \text{d}y_ j \ar[r] & \bigoplus C \text{d}y_ j \ar[r] & 0 \\ & J/J^2 \otimes _ B C \ar[r] \ar[u] & K/K^2 \ar[r] \ar[u] & J'/(J')^2 \ar[r] \ar[u] & 0 }$

with exact rows. Note that the vertical arrow on the left hand side is the tensor product of the arrow defining $\mathop{N\! L}\nolimits ^\wedge _{B/A}$ with $\text{id}_ C$. The lemma follows by applying the snake lemma (Algebra, Lemma 10.4.1). $\square$

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