<p>In this paper we investigate the Rees algebras of squarefree monomial ideals <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(I \subset S=K[x_1,\dots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>⊂</mo> <mi>S</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> generated in degree <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, where <i>K</i> is a field. Every such ideal arises as the complementary edge ideal <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(I_c(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of a finite simple graph <i>G</i>. We describe the defining equations of the Rees algebra <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {R}(I_c(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">R</mi> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in terms of the combinatorics of <i>G</i>. If <i>G</i> is a tree or a unicyclic graph whose unique induced cycle has length 3 or 4, we prove that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {R}(I_c(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">R</mi> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is Koszul. We also determine the asymptotic depth of the powers of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(I_c(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, proving that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lim _{k \rightarrow \infty }\text {depth}\, S/I_c(G)^k=b(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>k</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </msub> <mtext>depth</mtext> <mspace width="0.166667em" /> <mi>S</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mi>c</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msup> <mo>=</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>b</i>(<i>G</i>) is the number of bipartite connected components of <i>G</i>. Finally, we show that the index of depth stability of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(I_c(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is at most <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and equality holds when <i>G</i> is a path graph.</p>

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

Rees Algebras of Complementary Edge Ideals

  • Antonino Ficarra,
  • Somayeh Moradi

摘要

In this paper we investigate the Rees algebras of squarefree monomial ideals \(I \subset S=K[x_1,\dots ,x_n]\) I S = K [ x 1 , , x n ] generated in degree \(n-2\) n - 2 , where K is a field. Every such ideal arises as the complementary edge ideal \(I_c(G)\) I c ( G ) of a finite simple graph G. We describe the defining equations of the Rees algebra \(\mathcal {R}(I_c(G))\) R ( I c ( G ) ) in terms of the combinatorics of G. If G is a tree or a unicyclic graph whose unique induced cycle has length 3 or 4, we prove that \(\mathcal {R}(I_c(G))\) R ( I c ( G ) ) is Koszul. We also determine the asymptotic depth of the powers of \(I_c(G)\) I c ( G ) , proving that \(\lim _{k \rightarrow \infty }\text {depth}\, S/I_c(G)^k=b(G)\) lim k depth S / I c ( G ) k = b ( G ) , where b(G) is the number of bipartite connected components of G. Finally, we show that the index of depth stability of \(I_c(G)\) I c ( G ) is at most \(n-2\) n - 2 , and equality holds when G is a path graph.