zbMATH — the first resource for mathematics

Regular differentials and equidimensional scheme-maps. (English) Zbl 0812.14011
Let \(S\) be a scheme, and consider \(S\)-schemes \(Z\) such that \(g : Z \to S\) is proper and equidimensional of relative dimension \(d\); under additional hypotheses one can identify the relative dualizing sheaf \(g^ ! {\mathcal O}_ S\) with the sheaf \(\omega_ Z\) of regular \(d\)-forms [cf. E. Kunz and R. Waldi, “Regular differential forms”, Contemp. Math. 79 (1988; Zbl 0658.13019)]. Now let \(f:X \to Y\) be a suitable restricted morphism of such schemes; by a result of S. L. Kleiman [Compos. Math. 41, 39-60 (1980; Zbl 0423.32006)] there is a canonical map \(\eta : f^* \omega_ Y \otimes \omega_ f \to \omega_ X = f^ ! \omega_ Y\) where \(\omega_ f\) is the canonical dualizing sheaf for \(f\). On the other hand, R. Hübl [Manuscr. Math. 65, No. 2, 213-224 (1989; Zbl 0704.13004)] gives a rather explicit description by methods of commutative algebra of a morphism \(\varphi : f^* \omega_ Y \otimes \omega_ f \to \omega_ X\).
The bulk of the present paper consists of showing that \(\eta = \varphi\). To prove this result the author makes use of the residue formalism developed by R. Hübl and E. Kunz [J. Reine Angew. Math. 410, 53-83 (1990; Zbl 0712.14006) and ibid. 84-108 (1990; Zbl 0709.14014)]. This paper contains many results on differential forms, residues, generalizations of the residue theorem of R. Hübl and P. Sastry [Am. J. Math. 115, No. 4, 749-787 (1993; Zbl 0796.14012)] and related topics and should be a must for anybody interested in these questions. With respect to residues of differential forms, one may also consult the Habilitationsschrift of R. Hübl [“Residues of differential forms, de Rham cohomology and Chern classes” (Regensburg 1994)].

14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
13N05 Modules of differentials