an:00193917
Zbl 0658.13019
Kunz, Ernst; Waldi, Rolf
Regular differential forms
EN
Contemporary Mathematics, 79. Providence, RI: American Mathematical Society (AMS). ix, 153 p. {\$} 20.00 (1988).
00388226
1988
b
13N05 14H20 14-02 13-02
integral differential forms; linkage; regular differential forms; invariants of curve singularities
These notes are both logically and ideologically a continuation of the first author's book ``K??hler differentials'' [Adv. Lect. Math. (1986; Zbl 0587.13014)] and are devoted to the study of the sheaves \(\omega^ q_{X/Y}\) of ``regular differential q-forms'' in the ``relative case'' i.e. for a morphism \(X\to Y\) of finite type, equidimensional and generically smooth (or even generically a complete intersection). The absolute case (i.e. \(Y= spectrum\) of a field) has been already considered in the literature (cf. work of \textit{Kunz}, \textit{Kersken}) and is closely related to the study of a Jacobian ideal of a singularity and the integral closure of ideals.
The book is organized as follows. The first three sections are devoted to the construction (based on the notion of linkage) of the modules of relative ``integral'' and ``regular'' differential forms and to the study of their relationship. All constructions have a local character so everything is formulated in terms of commutative algebra. - \(Section\quad 4\) is devoted to the link between regular differential forms and the ``generalized'' complementary module of an algebra as defined in the cited book of E. Kunz via traces. This should be viewed as a wide generalization of the theory of Dedekind's different (transitivity of the different, formula for the conductor, a.s.o.). - \(Section\quad 5\) is devoted to the problem of when it is possible to define a fundamental class of X/Y in the sense of \textit{F. Elzein} [Bull. Soc. Math. Fr., Suppl., M??m. 58, 1-66 (1978; Zbl 0388.14002)], i.e. of a natural morphism \(\Omega^ q_{X/Y}\to \omega^ q_{X/Y}\). The existence criteria are given in terms of local properties of X/Y (e.g. flatness \(+ generic smoothness\) of X/Y are sufficient). - In section \(6\) the theory is applied to obtain relations between various invariants of curve singularities A (length of \(\bar A/A\) where \(\bar A\) is the normalization of A, degree of the conductor of A, Cohen-Macaulay type of A, different degree of A, Milnor number of A).
A.Buium
Zbl 0587.13014; Zbl 0388.14002