Remark 92.12.6. Let $A \to B$ be a ring map. Let $P_\bullet $ be a resolution of $B$ over $A$ (Remark 92.5.5). Set $J_ n = \mathop{\mathrm{Ker}}(P_ n \to B)$. Note that
Hence $H_2(L_{B/A})$ is canonically equal to
by Remark 92.11.5. To make this more explicit we choose $P_2$, $P_1$, $P_0$ as in Example 92.5.9. We claim that
Namely, the basis elements $x_ t \wedge x_{t'}$ of the first summand corresponds to the element $x_ t \otimes x_{t'} - x_{t'} \otimes x_ t$ of $J_1 \otimes _{P_1} J_1$. For $f \in J_0$ the element $x_ t \otimes f$ of the second summand corresponds to the element $x_ t \otimes s_0(f) - s_0(f) \otimes x_ t$ of $J_1 \otimes _{P_1} J_1$. Finally, the map $\text{Tor}_2^{P_0}(B, B) \to \text{Tor}_2^{P_1}(B, B)$ is given by $s_0$. The map $d_0 - d_1 : \text{Tor}_2^{P_1}(B, B) \to \text{Tor}_2^{P_0}(B, B)$ is zero on the last summand, maps $x_ t \otimes f$ to $f \otimes f_ t - f_ t \otimes f$, and maps $x_ t \wedge x_{t'}$ to $f_ t \otimes f_{t'} - f_{t'} \otimes f_ t$. All in all we conclude that there is an exact sequence
In this way we obtain a direct proof of a consequence of Quillen's spectral sequence discussed in Remark 92.12.5.
Comments (0)