Remark 91.11.5. Adopt notation as in Remark 91.11.1. The arguments given there show that the differential

of the spectral sequence is an isomorphism. Let $\mathcal{C}'_{B/A}$ denote the full subcategory of $\mathcal{C}_{B/A}$ consisting of surjective maps $P \to B$. The agreement of the cotangent complex with the naive cotangent complex (Lemma 91.11.3) shows that we have an exact sequence of sheaves

on $\mathcal{C}'_{B/A}$. It follows that $\mathop{\mathrm{Ker}}(d)$ and $\mathop{\mathrm{Coker}}(d)$ on the whole category $\mathcal{C}_{B/A}$ have vanishing higher homology groups, since these are computed by the homology groups of constant simplicial abelian groups by Lemma 91.4.1. Hence we conclude that

is an isomorphism for all $n \geq 2$. Combined with the remark above we obtain the formula $H_2(L_{B/A}) = H_0(\mathcal{C}_{B/A}, \text{Tor}_1^\mathcal {O}(\mathcal{J}, \underline{B}))$.

## Comments (0)