The Stacks project

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

\[ H_2(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2) \longrightarrow H_0(\mathcal{C}_{B/A}, \text{Tor}_1^\mathcal {O}(\mathcal{J}, \underline{B})) \]

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

\[ 0 \to \underline{H_1(L_{B/A})} \to \mathcal{J}/\mathcal{J}^2 \xrightarrow {\text{d}} \Omega \to \underline{H_2(L_{B/A})} \to 0 \]

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

\[ H_ n(\mathcal{C}_{B/A}, \mathcal{J}/\mathcal{J}^2) \to H_ n(L_{B/A}) \]

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)

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09D5. Beware of the difference between the letter 'O' and the digit '0'.