Remark 92.12.5. In the situation of Theorem 92.12.4 let $I = \mathop{\mathrm{Ker}}(A \to B)$. Then $H^{-1}(L_{B/A}) = H_1(\mathcal{C}_{B/A}, \Omega ) = I/I^2$, see Lemma 92.11.2. Hence $H_ k(\mathcal{C}_{B/A}, \text{Sym}^ k(\Omega )) = \wedge ^ k_ B(I/I^2)$ by Remark 92.12.2. Thus the $E_1$-page looks like

with horizontal differential. Thus we obtain edge maps $\text{Tor}_ i^ A(B, B) \to H^{-i}(L_{B/A})$, $i > 0$ and $\wedge ^ i_ B(I/I^2) \to \text{Tor}_ i^ A(B, B)$. Finally, we have $\text{Tor}_1^ A(B, B) = I/I^2$ and there is a five term exact sequence

of low degree terms.

## Comments (0)