Squarefree monomial ideals with constant depth function
By a well-known result of \textit{M. Brodmann} [Math. Proc. Camb. Philos. Soc. 86, 35--39 (1979; Zbl 0413.13011)], the depth of powers of a homogeneous ideal is constant for large enough power. However, the description of the numerical functions which can be the depths of powers of some ideal is an open problem. The paper under review study the ideals which have constant depth function. Let \(k\) be a field, \(S=k[x_1,\ldots,x_n]\) a standard graded polynomial ring over \(k\) and \(I\) a homogeneous ideal of \(S\). By definition, the \textit{depth function} of \(I\) is the numerical function mapping a natural number \(m\) to \(\text{depth}~ S/I^m\). So Brodmann's theorem says that the depth function is a constant for large \(m\).NEWLINENEWLINEThere is an upper bound for \(\lim_{m\to \infty} \text{depth}~ S/I^m\) found by \textit{L. Burch} [Proc. Camb. Philos. Soc. 72, 369--373 (1972; Zbl 0242.13018)], which is given in term of the Rees algebra of \(I\). Let \(\text{Rees}(I)\) be the Rees algebra of \(I\) and \(\text{Rees}(I)/\mathfrak{m}\text{Rees}(I)\) the fiber cone of \(I\), where \(\mathfrak{m}\) is the maximal graded ideal of \(S\). Let \(\ell(I)=\dim \text{Rees}(I)/\mathfrak{m}\text{Rees}(I)\) be the analytic spread of \(I\). Then Burch's result says that NEWLINE\[NEWLINE \lim_{m\to \infty} \text{depth}~ S/I^m \leq n-\ell(I), NEWLINE\]NEWLINE with equality holds if \(\text{Rees}(I)\) is Cohen-Macaulay (or more generally, if the associated graded ring \(\text{gr}_I(S)\) is Cohen-Macaulay).NEWLINENEWLINEThe main objects of study in the paper are squarefree monomial ideals with constant depth function. The basic example is an ideal generated by variables of \(S\). Then one can build up more examples of such ideals by the following result (Theorem 1.1): let \(I, J\) be monomial ideals generated in disjoint sets of variables, such that \(\text{Rees}(I)\) and \(\text{Rees}(J)\) are Cohen-Macaulay. Then \(\text{Rees}(I+J)\) and \(\text{Rees}(IJ)\) are also Cohen-Macaulay, and the following are equivalent:NEWLINENEWLINE(i) the depth function of \(I\) and \(J\) are constant;NEWLINENEWLINE(ii) the depth function of \(I+J\) is constant;NEWLINENEWLINE(iii) the depth function of \(IJ\) is constant.NEWLINENEWLINEThe main result of the paper is the classification of ideals with constant depth function among edge ideals, matroidal ideals and facet ideals of certain simplicial complexes. All of these ideals can be constructed by repeatedly applying sum or product as in Theorem 1.1. By Theorem 2.2: if \(G\) is a finite simple graph without isolated vertices, then the edge ideal of \(G\) has constant depth if and only if each connected component of \(G\) is a complete bipartie graph.NEWLINENEWLINEFor matroidal ideals, Theorem 2.5 says that if \(I\) is a matroidal ideal such that the minimal monomial generators of \(I\) has no nontrivial common divisor and each variable of \(S\) divides some generator of \(I\), then \(I\) is a product of monomial prime ideals which are generated in disjoint set of variables.NEWLINENEWLINEFinally for the so-called pure simplicial forests, Theorem 2.6 says that if \(\Delta\) is a pure simplicial forest which is connected in codimension 1, then the depth function of the facet ideal of \(\Delta\) has constant depth if and only if for each connected component \(\Gamma\) of \(\Delta\), the facet ideal \(I(\Gamma)\) is a product of monomial prime ideals such that at most one of them is not principal.
- A conjecture on critical graphs and connections to the persistence of associated primes
- Associated primes of powers of edge ideals
- Cohen-Macaulay Rees algebras and their specialization
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 1565322 (Why is no real title available?)
- scientific article; zbMATH DE number 3382504 (Why is no real title available?)
- Monomial ideals whose depth function has any given number of strict local maxima
- Monomial localizations and polymatroidal ideals
- On the associated graded ring of an ideal
- On the ideal theory of graphs
- On the radical of a monomial ideal
- Persistence and stability properties of powers of ideals
- Rees cones and monomial rings of matroids
- Simplicial complexes with rigid depth
- Some Arithmetic Properties of Matroidal Ideals
- The asymptotic nature of the analytic spread
- The depth of powers of an ideal
- The diagonal subring and the Cohen-Macaulay property of a multigraded ring
- The facet ideal of a simplicial complex
- The stable set of associated prime ideals of a polymatroidal ideal
- The stable set of associated primes of the ideal of a graph
- Vollständige Durchschnitte in Cohen-Macaulay-Ringen
- Powers of sums and their homological invariants
- An effective avoidance principle for a class of ideals
- On stability properties of powers of polymatroidal ideals
- Squarefree monomial ideals that fail the persistence property and non-increasing depth
- The depth of powers of an ideal
- A note on stability properties of powers of polymatroidal ideals
- Depth and regularity of powers of sums of ideals
- Depth of some square free monomial ideals
- On the quasi-depth of squarefree monomial ideals and the sdepth of the monomial ideal of independent sets of a graph
- NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS
- Stability of depth functions of cover ideals of balanced hypergraphs
- Depth of powers of squarefree monomial ideals (research)
- Squarefree monomial ideals with maximal depth.
- Polarization of Koszul cycles with applications to powers of edge ideals of whisker graphs
- On the matroidal path ideals
- Behaviour of the normalized depth function
- Regular sequences on squares of monomial ideals
- Depth stability of cover ideals
- The combinatorial structure of symmetric strongly shifted ideals
- The depth function of vertex cover ideals of weighted unimodular hypergraphs
- A note on Veronese type Freiman ideals
- Unmixed polymatroidal ideals
- Curves in \(\mathbb{P}^n\) of analytic spread at most \(n\)
- On powers of edge ideals associated to the cycle graph
- When does depth stabilize early on?
This page was built for publication: Squarefree monomial ideals with constant depth function
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q387402)
