Minimal depth of monomial ideals via associated radical ideals
Let \(\mathbb{K}\) be a field and \(S=\mathbb{K}[x_1, \ldots,x_n]\) be the polynomial ring with \(n\) indeterminates \(x_1, \ldots, x_n\). Let \(I\) be a monomial ideal in \(S\) and \begin{align*} \mathrm{ass}(I)&=\{\mathfrak{p} \in \mathrm{Spec}(S) \colon \quad \mathfrak{p}=(0\colon u) \text{ for some } u\in S \},\\ \mathrm{assrad}(I) &= \{J \subset S \colon \quad J= \sqrt{I \colon u} \text{ for some monomial } u \notin I\} \end{align*} be the set of associated primes of \(I\) and associated radicals of \(I\) respectively. One of the aspects that makes the latter set important comes from the formula by [\textit{M. Hochster}, in: Ring Theory II, Proc. 2nd Okla. Conf. 1975, 171--223 (1977; Zbl 0351.13009)] as below: \[ \mathrm{depth}(S/I)=\min \{\mathrm{depth}(S/J) \colon \quad J \in \mathrm{assrad}(I)\}. \] In addition, several algebraic and combinatorial properties of monomial ideals are studied in terms of its associated radical ideals in [\textit{R. Jafari} and \textit{H. Sabzrou}, Commun. Algebra 47, No. 3, 1029--1042 (2019; Zbl 1411.05301)]. Note however that each associated radical ideal of a monomial ideal is an intersection of some of its associated prime ideals. Indeed if \(I=\cap_{i=1}^r \mathfrak{q}_i\) is the standard primary decomposiation of \(I\) where each \(\mathfrak{q}_i\) is \(\mathfrak{p}_i\)-primary, then \(\sqrt{I \colon u} = \cap_{u \notin \mathfrak{q}_i} \mathfrak{p}_i\). The paper under review studies monomial ideals \(I\) whose (all) partial intersections of its associated prime ideals belong to \(\mathrm{assrad}(I)\). Let \(I \subset S\) be a monomial ideal with \(|\mathrm{ass}(I)|=r\) and \(1 \leq t \leq r\). One say that \(I\) is \textit{complete \(t\)-assrad} if the intersection of any \(t\) ideals in \(\mathrm{ass}(I)\) belongs to \(\mathrm{assrad}(I)\) and if \(I\) is complete \(t\)-assrad for \(t = 1,\ldots, r\), then \(I\) is called \textit{complete assrad} ideal. One of the main results of the paper implies that \(I\) is a complete assrad ideal if \(\nu(I)=|\mathrm{ass}(I)|\). The converse holds if \(I\) is a square-free monomial ideal, in which case all symbolic powers \(I^{(k)}\) of \(I\) are also complete assrad ideals. Here the number \(\nu(I)\) is defined as follows: Let \(\mathcal{G}(I)\) be the unique minimal monomial set of generators of \(I\), \(\mathrm{supp}(I)=\{x_i \colon x_i \mid u \text{ for some } u \in \mathcal{G}(I)\}\) and \(I=\cap_{i=1}^r \mathfrak{q}_i\) be the standard primary decomposition of \(I\). The number \(\nu(I)\) is defined as: \[ \nu(I)=\min \{t \colon \; \exists 1 \leq i_1 < \cdots < i_t \leq r, \text{ s.t. } \mathrm{ht}(\sum_{j=1}^t \mathfrak{q}_{i_j})=|\mathrm{supp}(I)|\}. \] As a very interesting features of having complete assrad, the authors show that for a monomial ideal \(I\) which has complete assrad, the ring \(S/I\) has minimal depth, i.e. \(\mathrm{depth} (S/I)= n-|\mathrm{supp}(I)|-1+\nu(I)\). Note that if \(I\) has minimal depth, then \(I\) satisfies Stanley's inequality \(\mathrm{sdepth}(I)\geq \mathrm{depth}(I)\). Thus ideals with complete assrad satisfy Stanley's inequality. Following this motivation, the authors further provide more classes of monomial ideals which have minimal depth but do not necessarily have complete assrad. Another main theorem of the paper leads to a criteria for the Cohen-Macaulay property of \(S/I\), where I is a complete \(2\)-assrad monomial ideal. Indeed the authors prove that: {Theorem} Let \(I\) be an unmixed monomial ideal with complete \(2\)-assrad. Then the following statements are equivalent: \begin{itemize} \item[(i)] \(S/I\) is Cohen-Macaulay. \item[(ii)] \(S/I\) satisfies Serre's condition \(S_2\) \item[(iii)] All associated radical ideals of \(I\) are strongly connected. \item[(iv)] \(S/J\) is Cohen-Macaulay for \(J\in \mathrm{assrad}(I)\). \item[(v)] \(I\) is a clean. \item[(vi)] All associated radical ideals of \(I\) are clean. \end{itemize} In the last section of the paper, the authors investigate the conditions under which the symbolic powers of a square-free monomial ideal is complete (\(t\)-)assrad ideal.
- Monomial ideals of minimal depth
- Depth of some special monomial ideals
- Associated radical ideals of monomial ideals
- Depth of some square free monomial ideals
- Depth and minimal number of generators of square free monomial ideals
- Upper bounds of depth of monomial ideals
- scientific article; zbMATH DE number 6289584
- On the radical of a monomial ideal
- On Ideals Whose Radical Is a Monomial Ideal
- Depth and regularity of monomial ideals via polarization and combinatorial optimization
- A new algebraic criterion for shellability
- A non-partitionable Cohen-Macaulay simplicial complex
- A survey on Stanley depth
- Almost complete intersections and Stanley's conjecture
- Associated radical ideals of monomial ideals
- Complete Intersections and Connectedness
- Finite filtrations of modules and shellable multicomplexes
- scientific article; zbMATH DE number 3545783 (Why is no real title available?)
- Linear Diophantine equations and local cohomology
- Monomial Ideals
- Monomial ideals of minimal depth
- On certain equidimensional polymatroidal ideals
- On the arithmetical rank of monomial ideals
- Prime filtrations of monomial ideals and polarizations
- Stability of depths of symbolic powers of Stanley-Reisner ideals
- Stanley decompositions and partitionable simplicial complexes
- Stanley depth and size of a monomial ideal
- Symbolic powers and matroids
This page was built for publication: Minimal depth of monomial ideals via associated radical ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2232140)
