Remark 50.18.2. Let A be a ring. Let P = A[x_1, \ldots , x_ n]. Let f_1, \ldots , f_ n \in P and set B = P/(f_1, \ldots , f_ n). Assume A \to B is quasi-finite. Then B is a relative global complete intersection over A (Algebra, Definition 10.136.5) and (f_1, \ldots , f_ n)/(f_1, \ldots , f_ n)^2 is free with generators the classes \overline{f}_ i by Algebra, Lemma 10.136.12. Consider the following diagram
The right column represents \mathop{N\! L}\nolimits _{B/A} in D(B) hence has cohomology \Omega _{B/A} in degree 0. The top row is the split short exact sequence 0 \to \Omega _{A/\mathbf{Z}} \otimes _ A B \to \Omega _{P/\mathbf{Z}} \otimes _ P B \to \Omega _{P/A} \otimes _ P B \to 0. The middle column has cohomology \Omega _{B/\mathbf{Z}} in degree 0 by Algebra, Lemma 10.131.9. Thus by Lemma 50.18.1 we obtain canonical B-module maps
whose composition with \Omega ^ p_{A/\mathbf{Z}} \to \Omega ^ p_{B/\mathbf{Z}} is multiplication by \delta (\mathop{N\! L}\nolimits _{B/A}).
Comments (0)