Arithmetical rank of Gorenstein squarefree monomial ideals of height three (Q471870): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Normalize DOI.
 
(6 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jalgebra.2014.09.005 / rank
Normal rank
 
Property / review text
 
Let \(S\) be a polynomial ring over a field \(K\) and \(I\) a monomial ideal of \(S\). We say that the elements \(u_1,\ldots,u_r\in S\) generate \(I\) up to radical if \(\sqrt{(u_1,\ldots,u_r)}=\sqrt{I}\). The minimal number \(r\) with this property is called the arithmetical rank of \(I\), denoted by \(\mathrm{ara} I\). By Krull's principal ideal theorem, we have \(\mathrm{height} I\leq \mathrm{ara} I\). When the equality holds, we say that \(I\) is a set-theoretic complete intersection. It is known by \textit{G. Lyubeznik} [Complete intersections, Lect. 1st Sess. C.I.M.E., Acireale/Italy 1983, Lect. Notes Math. 1092, 214--220 (1984; Zbl 0578.13012)] that if \(I\) is a squarefree monomial ideal, then \(\mathrm{pd}_S S/I\leq \mathrm{ara} I\), where \(\mathrm{pd}_S S/I\) is the projective dimension of \(S/I\). Thus for a squarefree monomial ideal \(I\) we have that \(\mathrm{height} I\leq \mathrm{pd}_S S/I\leq \mathrm{ara} I\). It is natural to ask when \(\mathrm{ara} I = \mathrm{pd}_S S/I\) for a squarefree monomial ideal \(I\). In particular, which squarefree monomial ideal \(I\) is a set-theoretic complete intersection? Many authors investigated this question. \textit{K. Kimura} [J. Commut. Algebra 3, No. 1, 31--46 (2011; Zbl 1237.13043)] showed that a Cohen-Macaulay squarefree monomial ideal of height 2 is a set-theoretic complete intersection. However \textit{Z. Yan} [J. Pure Appl. Algebra 146, No. 3, 305--318 (2000; Zbl 1005.14007)] found a Cohen-Macaulay squarefree monomial ideal \(I\) of height 3 (when \(\mathrm{char} K\neq 2\)) which is not set-theoretic complete intersection. In the paper under review, the authors prove that a Gorenstein squarefree monomial ideal of height 3 is a set-theoretic complete intersection.
Property / review text: Let \(S\) be a polynomial ring over a field \(K\) and \(I\) a monomial ideal of \(S\). We say that the elements \(u_1,\ldots,u_r\in S\) generate \(I\) up to radical if \(\sqrt{(u_1,\ldots,u_r)}=\sqrt{I}\). The minimal number \(r\) with this property is called the arithmetical rank of \(I\), denoted by \(\mathrm{ara} I\). By Krull's principal ideal theorem, we have \(\mathrm{height} I\leq \mathrm{ara} I\). When the equality holds, we say that \(I\) is a set-theoretic complete intersection. It is known by \textit{G. Lyubeznik} [Complete intersections, Lect. 1st Sess. C.I.M.E., Acireale/Italy 1983, Lect. Notes Math. 1092, 214--220 (1984; Zbl 0578.13012)] that if \(I\) is a squarefree monomial ideal, then \(\mathrm{pd}_S S/I\leq \mathrm{ara} I\), where \(\mathrm{pd}_S S/I\) is the projective dimension of \(S/I\). Thus for a squarefree monomial ideal \(I\) we have that \(\mathrm{height} I\leq \mathrm{pd}_S S/I\leq \mathrm{ara} I\). It is natural to ask when \(\mathrm{ara} I = \mathrm{pd}_S S/I\) for a squarefree monomial ideal \(I\). In particular, which squarefree monomial ideal \(I\) is a set-theoretic complete intersection? Many authors investigated this question. \textit{K. Kimura} [J. Commut. Algebra 3, No. 1, 31--46 (2011; Zbl 1237.13043)] showed that a Cohen-Macaulay squarefree monomial ideal of height 2 is a set-theoretic complete intersection. However \textit{Z. Yan} [J. Pure Appl. Algebra 146, No. 3, 305--318 (2000; Zbl 1005.14007)] found a Cohen-Macaulay squarefree monomial ideal \(I\) of height 3 (when \(\mathrm{char} K\neq 2\)) which is not set-theoretic complete intersection. In the paper under review, the authors prove that a Gorenstein squarefree monomial ideal of height 3 is a set-theoretic complete intersection. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Somayeh Bandari / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13F55 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13H10 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6370241 / rank
 
Normal rank
Property / zbMATH Keywords
 
arithmetical rank
Property / zbMATH Keywords: arithmetical rank / rank
 
Normal rank
Property / zbMATH Keywords
 
Gorenstein ideal
Property / zbMATH Keywords: Gorenstein ideal / rank
 
Normal rank
Property / zbMATH Keywords
 
squarefree monomial ideal
Property / zbMATH Keywords: squarefree monomial ideal / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2014.09.005 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2078673229 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the number of equations defining certain varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical Ranks of Stanley–Reisner Ideals Via Linear Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Arithmetical Rank of the Edge Ideals of Forests / rank
 
Normal rank
Property / cites work
 
Property / cites work: ARITHMETICAL RANK OF THE CYCLIC AND BICYCLIC GRAPHS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical Ranks of Stanley–Reisner Ideals of Simplicial Complexes with a Cone / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Stanley–Reisner Ideals of Polygons as Set-Theoretic Complete Intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: On multigraded resolutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical rank of lexsegment edge ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical rank of Cohen-Macaulay squarefree monomial ideals of height two / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical Rank of Squarefree Monomial Ideals Generated by Five Elements or with Arithmetic Degree Four / rank
 
Normal rank
Property / cites work
 
Property / cites work: Binomial arithmetical rank of edge ideals of forests / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetical rank of squarefree monomial ideals of small arithmetic degree / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5852755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regularity, depth and arithmetic rank of bipartite edge ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3699817 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplicial ideals, 2-linear ideals and arithmetical rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: On set-theoretic intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on set-theoretic intersections of subvarieties of projective space / rank
 
Normal rank
Property / cites work
 
Property / cites work: An étale analog of the Goresky-MacPherson formula for subspace arrangements / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JALGEBRA.2014.09.005 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 18:27, 9 December 2024

scientific article
Language Label Description Also known as
English
Arithmetical rank of Gorenstein squarefree monomial ideals of height three
scientific article

    Statements

    Arithmetical rank of Gorenstein squarefree monomial ideals of height three (English)
    0 references
    0 references
    0 references
    17 November 2014
    0 references
    Let \(S\) be a polynomial ring over a field \(K\) and \(I\) a monomial ideal of \(S\). We say that the elements \(u_1,\ldots,u_r\in S\) generate \(I\) up to radical if \(\sqrt{(u_1,\ldots,u_r)}=\sqrt{I}\). The minimal number \(r\) with this property is called the arithmetical rank of \(I\), denoted by \(\mathrm{ara} I\). By Krull's principal ideal theorem, we have \(\mathrm{height} I\leq \mathrm{ara} I\). When the equality holds, we say that \(I\) is a set-theoretic complete intersection. It is known by \textit{G. Lyubeznik} [Complete intersections, Lect. 1st Sess. C.I.M.E., Acireale/Italy 1983, Lect. Notes Math. 1092, 214--220 (1984; Zbl 0578.13012)] that if \(I\) is a squarefree monomial ideal, then \(\mathrm{pd}_S S/I\leq \mathrm{ara} I\), where \(\mathrm{pd}_S S/I\) is the projective dimension of \(S/I\). Thus for a squarefree monomial ideal \(I\) we have that \(\mathrm{height} I\leq \mathrm{pd}_S S/I\leq \mathrm{ara} I\). It is natural to ask when \(\mathrm{ara} I = \mathrm{pd}_S S/I\) for a squarefree monomial ideal \(I\). In particular, which squarefree monomial ideal \(I\) is a set-theoretic complete intersection? Many authors investigated this question. \textit{K. Kimura} [J. Commut. Algebra 3, No. 1, 31--46 (2011; Zbl 1237.13043)] showed that a Cohen-Macaulay squarefree monomial ideal of height 2 is a set-theoretic complete intersection. However \textit{Z. Yan} [J. Pure Appl. Algebra 146, No. 3, 305--318 (2000; Zbl 1005.14007)] found a Cohen-Macaulay squarefree monomial ideal \(I\) of height 3 (when \(\mathrm{char} K\neq 2\)) which is not set-theoretic complete intersection. In the paper under review, the authors prove that a Gorenstein squarefree monomial ideal of height 3 is a set-theoretic complete intersection.
    0 references
    arithmetical rank
    0 references
    Gorenstein ideal
    0 references
    squarefree monomial ideal
    0 references

    Identifiers