Cotangent functors of curve singularities (Q1080489): Difference between revisions

Let R be a one-dimensional complete analytic k-algebra over a \(field\quad k\) of characteristic zero, A a noetherian normalization of R, \({\mathfrak C}(R/A)\) the Dedekind complementary module of R/A, \(\Omega_{R/A}\) the universally finite module of differentials. It is known that under certain assumptions on R (for instance complete intersection or smoothable) the length \(\ell (\Omega_{R/A})\geq \ell ({\mathfrak C}(R/A)/R)\). For R smoothable the authors extend this to \[ (-1)^ j\sum^{j}_{i=0}(-1)^ i \ell (T_ i(R/A,R))\geq (-1)^ j \ell ({\mathfrak C}(R/A)/R)\quad for\quad all\quad j\geq 0, \] where \(T_ i\) denote the higher cotangent functors. Similar formulas hold for the \(T^ i\). One of the consequences is that for such singularities the length of the torsion of \(\Omega_{R/A}\) is greater than or equal to the degree of singularity. The authors also give a formula for this length if R is the linkage class of an complete intersection, which shows that such rings are regular if and only if \(\Omega_{R/A}\) is torsionfree. A number of interesting results are obtained in the course of the investigations.