Maximally differential ideals of finite projective dimension

DOI10.1016/J.BULSCI.2020.102936MaRDI QIDQ2220334zbMATH OpenOpenAlexFDO

Publication date 22 January 2021

Published in Bulletin des Sciences Mathématiques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.bulsci.2020.102936

complete intersection complete intersection dimension derivation module integrally closed ideal maximally differential ideal projective dimension

Mathematics Subject Classification ID

Integral closure of commutative rings and ideals (13B22) Other special types of modules and ideals in commutative rings (13C13) Linkage, complete intersections and determinantal ideals (13C40) Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Regular local rings (13H05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Derivations and commutative rings (13N15) Differential algebra (13N99)

Review text

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.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Maximally differential ideals of finite projective dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220334)