<p>Let <i>I</i> be a monomial ideal of a polynomial ring <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(R=K[x_1,\ldots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>=</mo> <mi>K</mi> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> over a field <i>K</i>, and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be its signature ideal. If <i>I</i> is not a principal ideal, we show that the depth of <i>R</i>/<i>I</i> is the depth of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(R/\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and the regularity of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(R/\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is at most the regularity of <i>R</i>/<i>I</i>. For ideals of height at least 2, we show that the associated primes of <i>I</i> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are the same, and we show that <i>I</i> is Cohen–Macaulay (resp. Gorenstein) if and only if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is Cohen–Macaulay (resp. Gorenstein), and furthermore, we show that the v-number of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is at most the v-number of <i>I</i> and compare the irreducible decompositions of <i>I</i> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{sgn}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>sgn</mtext> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We give an algorithm to compute the signature of a monomial ideal using <i>Macaulay</i>2, and an algorithm to examine given families of monomial ideals by computing their signature ideals and determining which of these are Cohen–Macaulay or Gorenstein.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Signature invariants of monomial ideals

  • Jovanny Ibarguen,
  • Carlos E. Valencia,
  • Rafael H. Villarreal

摘要

Let I be a monomial ideal of a polynomial ring \(R=K[x_1,\ldots ,x_n]\) R = K [ x 1 , , x n ] over a field K, and let \(\textrm{sgn}(I)\) sgn ( I ) be its signature ideal. If I is not a principal ideal, we show that the depth of R/I is the depth of \(R/\textrm{sgn}(I)\) R / sgn ( I ) , and the regularity of \(R/\textrm{sgn}(I)\) R / sgn ( I ) is at most the regularity of R/I. For ideals of height at least 2, we show that the associated primes of I and \(\textrm{sgn}(I)\) sgn ( I ) are the same, and we show that I is Cohen–Macaulay (resp. Gorenstein) if and only if \(\textrm{sgn}(I)\) sgn ( I ) is Cohen–Macaulay (resp. Gorenstein), and furthermore, we show that the v-number of \(\textrm{sgn}(I)\) sgn ( I ) is at most the v-number of I and compare the irreducible decompositions of I and \(\textrm{sgn}(I)\) sgn ( I ) . We give an algorithm to compute the signature of a monomial ideal using Macaulay2, and an algorithm to examine given families of monomial ideals by computing their signature ideals and determining which of these are Cohen–Macaulay or Gorenstein.