Abstract
Let \(R=k[x_1,\ldots ,x_n]\) be the polynomial ring in n variables over a field k and let I be a matroidal ideal of degree d. In this paper, we study the unmixedness properties and the arithmetical rank of I. Moreover, we show that \(ara(I)=n-d+1\). This answers the conjecture made by Chiang-Hsieh (Comm Algebra 38:944–952, 2010, Conjecture).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this paper, we assume that \(R=k[x_1,\ldots ,x_n]\) is the polynomial ring in n variables over a field k with the maximal ideal \(\mathfrak {m}=(x_1,\ldots ,x_n)\), I a monomial ideal of R, and G(I) the unique minimal monomial generators set of I.
A monomial ideal I generated in a single degree is a polymatroidal ideal when it satisfies the following conditions: for all monomials \(u,v\in G(I)\) with \(\deg _{x_i}(u)>\deg _{x_i}(v)\), there exists an index j such that \(\deg _{x_j}(v)>\deg _{x_j}(u)\) and \(x_j(u/x_i)\in I\) (see [10] or [8]). A square-free polymatroidal ideal is called a matroidal ideal. The product of polymatroidal ideals is again polymatroidal (see [6, Theorem 5.3]). In particular, each power of a polymatroidal ideal is polymatroidal. Also, I is a polymatroidal ideal if and only if (I : u) is a polymatroidal ideal for all monomials u (see [1, Theorem 1.1]). If I is a matroidal ideal of degree d, then \({\text {depth}}(R/J)=d-1\) and \({\text {pd}}(R/I)=n-d+1\) [5, Theorem 2.5]. A monomial ideal I is called unmixed if all prime ideals in \({\text {Ass}}(R/I)\) have the same height. If I is Cohen-Macaulay, i.e., the quotient ring R / I is Cohen-Macaulay, then I is unmixed.
Herzog and Hibi [9] proved that a polymatroidal I is Cohen-Macaulay if and only if I is a principal ideal, a Veronese ideal, or a square-free Veronese ideal. They gave a counterexample which is an unmixed matroidal ideal but which is not Cohen-Macauly in the case \(n=6\). Herzog and Hibi [9] leave as a problem the classification of all unmixed polymatroidal ideals. After that, Vlǎdoiu [16] studied the unmixed polymatroidal ideals and he showed that an ideal of Veronese type is unmixed if and only if it is Cohen-Macaulay. The arithmetical rank of I is defined as follows:
\(ara(I):=\min \{t\in \mathbb {N}:\) there exist \(a_1,\ldots ,a_t\in R\) such that \(\sqrt{(a_1,\ldots ,a_t)}=\sqrt{I}\}\).
Note that ideals with the same radical have the same arithmetical rank. It is well-known that \({\text {ht}}(I)\le ara(I)\le \mu (I)\), where \(\mu (I)\) is the minimal number of generators of I and \({\text {ht}}\) is the height of I. If I is a square-free monomial ideal in R, then by using [12] and the Auslander-Buchsbaum formula, we have the following well-known inequalities: \({\text {ht}}(I)\le {\text {pd}}(R/I)\le ara(I)\le \mu (I)\), where \({\text {pd}}\) is the projective dimension of I. In particular, I is Cohen-Macaulay if and only if \({\text {ht}}(I)={\text {pd}}(R/I)\). An ideal I is called a set-theoretic complete intersection when \(ara(I)={\text {ht}}(I)\).
Kimura et al. [11] raised the following question: Let I be a square-free monomial ideal in R. When does \(ara(I)={\text {pd}}(R/I)\) hold? In particular, suppose that R / I is Cohen-Macaulay. When is I a set-theoretic complete intersection? A considerable number of studies have been made on this question (see, for example, [3, 4, 11], and [5]). The above question does not always hold as was shown by [17]. Chiang-Hsieh [5] proved that if I is a matroidal ideal of degree d, then \(ara(I)={\text {pd}}(R/I)\) provided that one of the following conditions holds:
(i) I is square-free Veronese; (ii) \(I=J_1J_2\cdots J_d\), where each \(J_i\) is generated by h distinct variables; (iii) \(d=2\). In the end of her article, she proposed the following conjecture:
Conjecture: Let I be a full-supported matroidal ideal of degree d. Then \(ara(I)=n-d+1\).
The main purpose of this note is to study the unmixed properties and arithmetical rank of matroidal ideals. Also, we give an affirmative answer to the above conjecture. For any unexplained notion or terminology, we refer the reader to [8, 15]. Several explicit examples were performed with help of the computer algebra systems Macaulay2 [7].
2 Unmixed matroidal ideals
Let I be a monomial ideal of R and \(G(I)=\{u_1,\ldots ,u_t\}\). Then we set \([n]=\{x_1,\ldots ,x_n\}\) and \({\text {supp}}(I)=\cup _{i=1}^t{\text {supp}}(u_i)\), where \({\text {supp}}(u)=\{x_i: u=x_1^{a_1}\cdots x_n^{a_n}, a_i\ne 0\}\). Throughout this paper, we assume that all polymatroidal ideals are full-supported, that is, \({\text {supp}}(I)=[n]\).
Lemma 1.1
Let I be a matroidal ideal of degree d and let x, y be two variables in R such that \(xy\not \mid u\) for all \(u\in G(I)\). Then \(I:x=I:y\). In particular, if \(xu\in G(I)\) for some monomial element u of degree \(d-1\), then \(yu\in G(I)\).
Proof
Since \(xy\not \mid u\) for all \(u\in G(I)\), we have \((I:y)=((I:y):x)=(I:xy)=((I:x):y)=(I:x)\). This completes the proof. \(\square \)
The following result was proved in [5, Theorem 3.2], we give an easier proof.
Theorem 1.2
Let I be a matroidal ideal of degree \(d=2\). Then there are subsets \(S_1,\ldots ,S_m\) of [n] such that the following conditions hold:
- (i)
\(m\ge 2\) and \(|S_i|\ge 1\) for each i;
- (ii)
\(S_i\cap S_j=\emptyset \) for \(i\ne j\) and \(\cup _{i=1}^mS_i=[n]\);
- (iii)
\(xy\in I\) if and only if \(x\in S_i\) and \(y\in S_j\) for \(i\ne j\);
- (iv)
\(xy\notin I\) if and only if \(x,y\in S_i\) for some i.
Proof
Since \(\mathfrak {m}\notin {\text {Ass}}(R/I)\), we have \(I=(I:\mathfrak {m})\). Therefore there exists \(m\le n\) such that \(I=\cap _{i=1}^m(I:x_i)\) is a minimal intersection. For \(1\le i\le m\), we consider \(S_i=[n]{\setminus } G(I:x_i)\). Thus \(m\ge 2\) and \(|S_i|\ge 1\) for each i. Hence (i) holds. Suppose \(y\in S_i\cap S_j\) for \(i\ne j\). Then \(y\notin G(I:x_i)\cup G(I:x_j)\) and so \(yx_i, yx_j\notin I\) for \(i\ne j\). Therefore \((I:x_i)=(I:x_iy)=(I:y)=(I:x_jy)=(I:x_j)\) and this is a contradiction. Thus \(S_i\cap S_j=\emptyset \) for \(i\ne j\). If \(y\in \cap _{i=1}^mG(I:x_i)\), then \(y\in G(I:x_i)\) for all \(1\le i\le m\) and so \(yx_i\in I\). Therefore \(y\in I=\cap _{i=1}^m(I:x_i)\) and this is a contradiction. Hence \(\cap _{i=1}^mG(I:x_i)=\emptyset \) and so \(\cup _{i=1}^mS_i=[n]\). Thus (ii) holds. If \(xy\in I\), then by definition of \(S_i\), it is clear that \(x\in S_i\) and \(y\in S_j\) for \(i\ne j\). Conversely, let \(x\in S_i\) and \(y\in S_j\) for \(i\ne j\). Then \(xx_i, yx_j\notin I\) for \(i\ne j\) and so \((I:x_i)=(I:x)\) and \((I:y)=(I:x_j)\). If \(xy\notin I\), then by Lemma 1.1, \((I:x)=(I:y)\). Therefore \((I:x_i)=(I:x_j)\) and this is a contradiction. Thus (iii) holds.
(iv) If \(x,y\in S_i\) for some i, then it is clear that \(xy\notin I\). Conversely, if \(xy\notin I\) then by Lemma 1.1, \((I:x)=(I:y)\) and so \(x,y\in S_i\) for some i. This completes the proof. \(\square \)
In the following, we assume that m is the number of \(S_i\) as we use in Theorem 1.2.
Corollary 1.3
Let I be a matroidal ideal of degree \(d=2\). Then I is an unmixed ideal if and only if \(m(n-{\text {ht}}(I))=n\). In particular, if n is a prime number and I is an unmixed matroidal ideal of degree \(d=2\), then I is Cohen-Macaulay.
Proof
By using Theorem 1.2, \(\cup _{i=1}^mS_i=[n]\) and \(S_i=[n]{\setminus } G(I:x_i)\). Therefore I is an unmixed ideal if and only if \(|G(I:x_i)|=|G(I:x_j)|={\text {ht}}(I)\) for all \(i\ne j\). Since \(|S_i|=n-|G(I:x_i)|\), it follows that if I is unmixed, then \(m(n-{\text {ht}}(I))=n\). Conversely, suppose that \(m(n-{\text {ht}}(I))=n\). It is clear that \({\text {ht}}(I)\le |G(I:x_i)|\) for all i. Let us assume the contrary that I is not unmixed. Then there exists \(1\le i\le m\) such that \({\text {ht}}(I)<|G(I:x_i)|\). Since \(\cup _{i=1}^mS_i=[n]\) and \(|S_i|=n-|G(I:x_i)|\) for all i, we have \(n<m(n-{\text {ht}}(I))\) and this is a contradiction. Therefore I is unmixed. If n is a prime number, then \({\text {ht}}(I)=n-1\). Since \({\text {depth}}(R/I)>0\), by using the Auslander-Buchsbaum formula, it follows that \({\text {ht}}(I)={\text {pd}}(R/I)\). Therefore I is Cohen-Macaulay. \(\square \)
It is know that for \(n=6\), there is a counter-example which is an unmixed matroidal ideal but which is not Cohen-Macaulay. For \(n=4\), we consider
\(I=(x_1x_3,x_1x_4,x_2x_3,x_2x_4)\) such that I is an unmixed matroidal ideal but it is not Cohen-Macaulay.
Corollary 1.4
Let I be an unmixed matroidal ideal of degree \(d=2\). Then \(|{\text {Ass}}(R/I)|=m\). In particular, if I is a square-free Veronese ideal, then \(|{\text {Ass}}(R/I)|=n\).
Proof
By using Theorem 1.2 and Corollary 1.3, it is clear that \(|{\text {Ass}}(R/I)|=m\). If I is a square-free Veronese ideal of degree \(d=2\), then \({\text {ht}}(I)={\text {pd}}(R/I)=n-1\). Thus by Corollary 1.3, we have \(m=n\). This completes the proof. \(\square \)
Theorem 1.5
Let I be a matroidal ideal of degree \(d\ge 2\). Then I is an unmixed ideal if and only if \((I:x_i)\) is unmixed and \({\text {ht}}(I)={\text {ht}}(I:x_i)\) for all \(1\le i\le n\).
Proof
\({(\Longrightarrow )}\): Let I be an unmixed matroidal ideal. By using [1, Corollary 1.2], \((I:x_i)\) is a matroidal ideal. From the exact sequence
we have \({\text {Ass}}(R/(I:x_i))\subseteq {\text {Ass}}(R/I)\). Since \(I\subseteq (I:x_i)\), it follows that \((I:x_i)\) is unmixed and \({\text {ht}}(I)={\text {ht}}(I:x_i)\) for all \(1\le i\le n\).
\((\Longleftarrow )\): Let \(\mathfrak {p}\in {\text {Ass}}(R/I)\). By using [14, Lemma 11], we have \({\text {Ass}}(R/I)=\cup _{i=1}^n{\text {Ass}}(R/(I:x_i))\). Then \(\mathfrak {p}\in {\text {Ass}}(R/(I:x_i))\) for some i and so \({\text {ht}}(I:x_i)={\text {ht}}(\mathfrak {p})\). Therefore \({\text {ht}}(I)={\text {ht}}(\mathfrak {p})\) and so I is an unmixed ideal, as required. \(\square \)
Example 1.6
Let \(n=5\) and \(I=(x_1x_3,x_1x_4,x_1x_5,x_2x_3,x_2x_4,x_2x_5)\). Then I is a matroidal ideal such that all \((I:x_i)\) unmixed ideals for \(1\le i\le 5\) but I is not unmixed.
The following result extends [2, Lemma 2.2].
Proposition 1.7
Let I be a polymatroidal ideal of degree \(d=2\). If \({\text {Ass}}(R/I)=\min {\text {Ass}}(R/I)\), then I is a matroidal ideal or \(I=\mathfrak {m}^2\).
Proof
If \(\mathfrak {m}\in {\text {Ass}}(R/I)\), then \(\sqrt{I}=\mathfrak {m}\). Thus by using [1, Lemma 2.2], we have \(I=\mathfrak {m}^2\). If \(\mathfrak {m}\notin {\text {Ass}}(R/I)\), then \(I=(I:\mathfrak {m})\) and so \(I=\cap _{i=1}^n(I:x_i)\). By [1, Theorem 1.1], \((I:x_i)\) is polymatroidal of degree \(d=1\). Therefore all \((I:x_i)\) are square-free and so I is square-free. This completes the proof.\(\square \)
Example 1.8
Let \(n=3\) and \(I=(x_1x_2,x_1x_3)\). Then I is a matroidal ideal of degree 2 such that \({\text {Ass}}(R/I)=\min {\text {Ass}}(R/I)\) but I is not unmixed.
Example 1.9
Let \(n=3\) and \(I=(x_1^2x_2,x_1^2x_3)\). Then I is a polymatroidal ideal of degree \(d=3\) such that \({\text {Ass}}(R/I)=\min {\text {Ass}}(R/I)\) but neither I is matroidal nor \(I=\mathfrak {m}^3\).
3 Arithmetical rank of matroidal ideals
We start this section by the following lemma which is proved by Schmitt and Vogel [13].
Lemma 2.1
Let P be a finite subset of R and let \(P_0,P_1,\ldots ,P_r\) be subsets of P such that the following conditions hold:
- (a)
\(\cup _{i=0}^rP_i=P\);
- (b)
\(P_0\) has exactly one element;
- (c)
If p and \(p''\) are different elements of \(P_i\)\((0<i\le r)\), then there is an integer j with \(0\le j<i\) and an element \(p'\in P_j\) such that \(pp''\in (p')\).
Let \(q_i=\sum _{p\in P_i}p\). Then \(\sqrt{(P)}=\sqrt{(q_0,\ldots ,q_r)}\).
Lemma 2.2
Let I be a square-free monomial ideal of R. If \(d=\min \{\deg (u): u\in G(I)\}\ge 2\), then \(ara(I)\le {n-d+1}\).
Proof
Let \(M_i=\{u\in I:\)u is a square-free element and \(\deg (u)=d+i-1\}\) for all \(i=1,2,\ldots ,n-d+1\). Then \(M_{n-d+1}=\{x_1\cdots x_n\}\). Now, we put \(P_{n-d+1-i}=M_{i}\) for all \(i=1,2,\ldots ,n-d+1\). Since \(\sqrt{I}=\sqrt{(\cup _{j=0}^{n-d}P_j)}\), by using Lemma 2.1, we have \(ara(I)\le n-d+1\). \(\square \)
The following result answers the conjecture made by H.J. Chiang-Hsieh in [5, Conjecture].
Theorem 2.3
Let I be a matroidal ideal of degree d. Then \(ara(I)=n-d+1\).
Proof
By Lemma 2.2 and [12], we have \({\text {pd}}(R/I)\le ara(I)\le {n-d+1}\). Since I is a matroidal ideal of degree d, we have \({\text {pd}}(R/I)=n-d+1\). Therefore \(ara(I)=n-d+1\), as required. \(\square \)
Corollary 2.4
Let I be a matroidal ideal of degree d. Then I is square-free Veronese if and only if I is a set-theoretic complete intersection.
Proof
If I is a set-theoretic complete intersection, then I is Cohen-Macaulay and so by [9, Theorem 4.2], I is square-free Veronese. Conversely, let I be square-free Veronese. Then I is Cohen-Macaulay and so \({\text {ht}}(I)={\text {pd}}(R/I)\). By Theorem 2.3, we have \({\text {ht}}(I)=ara(I)\), as required. \(\square \)
References
Bandari, S., Herzog, J.: Monomial localizations and polymatroidal ideals. Eur. J. Comb. 34, 752–763 (2013)
Bandari, S., Jafari, R.: On certain equidimensional polymatroidal ideals. Manuscr. Math. 149, 223–233 (2016)
Barile, M.: On the number of equations defining certain varieties. Manuscr. Math. 91, 483–494 (1996)
Barile, M.: A note on monomial ideals. Arch. Math. 87, 516–521 (2006)
Chiang-Hsieh, H.J.: Some arithmetic properties of matroidal ideals. Comm. Algebra 38, 944–952 (2010)
Conca, A., Herzog, J.: Castelnuovo-Mumford regularity of products of ideals. Collect. Math. 54, 137–152 (2003)
Grayson, D.R., Stillman, M.E.: Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/
Herzog, J., Hibi, T.: Monomial Ideals, Grad. Texts Math, vol. 260. Springer, London (2011)
Herzog, J., Hibi, T.: Cohen–Macaulay polymatroidal ideals. Eur. J. Comb. 27, 513–517 (2006)
Herzog, J., Hibi, T.: Discrete polymatroids. J. Algebraic Comb. 16, 239–268 (2002)
Kimura, K., Terai, N., Yoshida, K.: Arithmetical rank of square-free monomial ideals of small arithmetic degree. J. Algebraic Comb. 29, 389–404 (2009)
Lyubeznik, G.: On the local cohomology modules \(H_{\mathfrak{a}}^i(R)\) for ideals \(\mathfrak{a}\) generated by monomials in an \(R\)-sequence. In: Lecture Notes in Mathematics, vol. 1092. Springer, Berlin (1982)
Schmitt, T., Vogel, W.: Note on set-theoretic intersections of subvarieties of projective space. Math. Ann. 245, 247–253 (1979)
Trung, T.N.: Stability of associated primes of integral closures of monomial ideals. J. Comb. Theory Ser. A 116, 44–54 (2009)
Villarreal, R.H.: Monomial Algebras. Marcel Dekker, Inc, New York (2001)
Vlǎdoiu, M.: Equidimensional and unmixed ideals of Veronese type. Comm. Algebra 36, 3378–3392 (2008)
Yan, Z.: An étale analog of the Goresky–MacPherson formula for subspace arrangements. J. Pure Appl. Algebra 146, 305–318 (2000)
Acknowledgements
We would like to deeply thank Professors Margherita Barile and Kyouko Kimura for useful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Saremi, H., Mafi, A. Unmixedness and arithmetic properties of matroidal ideals. Arch. Math. 114, 299–304 (2020). https://doi.org/10.1007/s00013-019-01402-w
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-019-01402-w