Maximally differential ideals of finite projective dimension (Q2220334): Difference between revisions

Let \(R\) be a commutative noetherian ring. A derivation of \(R\) is an \(R\)-homomorphism \(D:R \rightarrow R\) that further satisfies the Leibniz rule. Given a non-empty set \(\mathfrak{D}\) of derivations of \(R\), an ideal \(\mathfrak{a}\) of \(R\) is said to be \(\mathfrak{D}\)-differential if \(D(\mathfrak{a})\subseteq \mathfrak{a}\) for every \(D \in \mathfrak{D}\). The author characterizes when a maximally differential ideal is an integrally closed ideal of finite projective dimension. More specifically, the following theorem is proved: Theorem. Let \((R,\mathfrak{m},k)\) be a local ring with \(\mathrm{char}(k)>0\), \(\mathfrak{D}\) a set of derivations of \(R\), and \(\mathfrak{a}\) a maximally \(\mathfrak{D}\)-differential ideal of \(R\). Then the following assertions are equivalent: \begin{itemize} \item[(i)] \(\mathfrak{a}\) is integrally closed with \(\mathrm{pd}_{R}(\mathfrak{a})< \infty\). \item[(ii)]\(\mathfrak{a}\) is an integrally closed parameter ideal. \item[(iii)] \(R\) is regular and \(\mathrm{edim}(R/ \mathfrak{\mathfrak{a}})\leq \ell_{R}(R/\mathfrak{m}^{2})- \dim(R)\). \item[(iv)] \(R/ \bar{\mathfrak{a}}\) is Gorenstein with \(\mathrm{pd}_{R}(\bar{\mathfrak{a}})< \infty\). \end{itemize} Then the following corollary is derived: Corollary. Let \((R,\mathfrak{m},k)\) be a local ring, \(\mathfrak{D}\) a set of derivations of \(R\), and \(\mathfrak{a}\) a maximally \(\mathfrak{D}\)-differential ideal of \(R\). If \(\mathrm{pd}_{R}(\mathfrak{a})< \infty\), then \(\mathfrak{a}\) is a complete intersection. This generalizes a well-known result which assumes \(R\) to be regular.