On canonical modules of idealizations (Q519788)

Let \((R,\mathfrak{m})\) denote a local Noetherian ring. For a finitely generated \(R\)-module \(M\) the polynomial type \(p(M)\) (see [\textit{Nguyen Tu Cuong}, Nagoya Math. J. 125, 105--114 (1992; Zbl 0783.13020)]) is defined in the following way: Let \(\underline{a} = a_1,\ldots a_d\) denote a system of parameters of \(M\) and \(\underline{n} = (n_1,\ldots,n_d) \in \mathbb{N}^d\). Then let \(I(\underline{a}(\underline{n})) := \ell_R(M/(a_1^{n_1},\ldots,a_d^{n_d})) -e_0(a_1^{n_1},\ldots,a_d^{n_d};M)\) - the difference between the length and the multiplicity. The least degree of a polynomial in \(\underline{n}\) bounding above the function \(I(\underline{a}(\underline{n}))\) does not depend on the choice of \(\underline{a}\) and is called the polynomial type \(p(M)\) of \(M\). Now let \((R,\mathfrak{m})\) a local ring with canonical module \(K(R)\). Then for the idealization \(R \ltimes K(R)\) the author proves the following main result: Theorem. (a) If \(\dim M = \dim R\), then \(p(K(R\ltimes M)) = \max \{p(K(R)), p(K(M))\}\). (b) If \(\dim M < \dim R\), then \(p(K(R\ltimes M)) = p(K(R))\).