Squarefree monomial ideals with constant depth function (Q387402): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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\). There 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 \[ \lim_{m\to \infty} \text{depth}~ S/I^m \leq n-\ell(I), \] 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). The 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: (i) the depth function of \(I\) and \(J\) are constant; (ii) the depth function of \(I+J\) is constant; (iii) the depth function of \(IJ\) is constant. The 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. For 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. Finally 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. | |||
Property / review text: 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\). There 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 \[ \lim_{m\to \infty} \text{depth}~ S/I^m \leq n-\ell(I), \] 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). The 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: (i) the depth function of \(I\) and \(J\) are constant; (ii) the depth function of \(I+J\) is constant; (iii) the depth function of \(IJ\) is constant. The 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. For 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. Finally 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dang Hop Nguyen / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C13 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05E40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6241822 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
depth function | |||
Property / zbMATH Keywords: depth function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
powers of ideals | |||
Property / zbMATH Keywords: powers of ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
squarefree monomial ideals | |||
Property / zbMATH Keywords: squarefree monomial ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Rees algebra | |||
Property / zbMATH Keywords: Rees algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
edge ideals | |||
Property / zbMATH Keywords: edge ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
matroidal ideals | |||
Property / zbMATH Keywords: matroidal ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
facet ideals | |||
Property / zbMATH Keywords: facet ideals / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CoCoA / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2167586703 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1209.5890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial complexes with rigid depth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monomial localizations and polymatroidal ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monomial ideals whose depth function has any given number of strict local maxima / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Associated primes of powers of edge ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The asymptotic nature of the analytic spread / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5652785 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The stable set of associated primes of the ideal of a graph / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Arithmetic Properties of Matroidal Ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohen-Macaulay Rees algebras and their specialization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The facet ideal of a simplicial complex / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A conjecture on critical graphs and connections to the persistence of associated primes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The depth of powers of an ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The stable set of associated prime ideals of a polymatroidal ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Persistence and stability properties of powers of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the radical of a monomial ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the associated graded ring of an ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The diagonal subring and the Cohen-Macaulay property of a multigraded ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the ideal theory of graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4528984 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rees cones and monomial rings of matroids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vollständige Durchschnitte in Cohen-Macaulay-Ringen / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:09, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Squarefree monomial ideals with constant depth function |
scientific article |
Statements
Squarefree monomial ideals with constant depth function (English)
0 references
23 December 2013
0 references
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\). There 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 \[ \lim_{m\to \infty} \text{depth}~ S/I^m \leq n-\ell(I), \] 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). The 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: (i) the depth function of \(I\) and \(J\) are constant; (ii) the depth function of \(I+J\) is constant; (iii) the depth function of \(IJ\) is constant. The 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. For 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. Finally 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.
0 references
depth function
0 references
powers of ideals
0 references
squarefree monomial ideals
0 references
Rees algebra
0 references
edge ideals
0 references
matroidal ideals
0 references
facet ideals
0 references
0 references