<p>Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(R={\textbf{k}}[x_1,\dots ,x_d]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>=</mo> <mi mathvariant="bold">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>d</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> be a polynomial ring over a field <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\textbf{k}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">k</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(I=(f_1,\dots ,f_{d+1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>f</mi> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a height two perfect ideal which is linearly presented. Further we suppose that the ideal <i>I</i> satisfies <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((\text {G}_{d-2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mrow> <mi>d</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> but neither satisfies <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((\text {G}_{d-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mrow> <mi>d</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> nor <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((\text {G}_d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\text {G}_{s})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mi>s</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> bounds the minimal number of generators of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(I_{\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi mathvariant="fraktur">p</mi> </msub> </math></EquationSource> </InlineEquation> by the height <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\operatorname {ht}{\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>ht</mo> <mi mathvariant="fraktur">p</mi> </mrow> </math></EquationSource> </InlineEquation> for all primes <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> up to height <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(s-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In this setting, we provide explicit formulas for the defining ideal of the Rees algebra of <i>I</i>, denoted by <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({\mathcal {R}}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">R</mi> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We further demonstrate that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({\mathcal {R}}(I)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">R</mi> <mo stretchy="false">(</mo> <mi>I</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is not always Cohen-Macaulay ring. While the attempts to find the defining ideal of the Rees algebra ideals satisfying <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\((\text {G}_{d})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((\text {G}_{d-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mrow> <mi>d</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> conditions are well documented, the <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\((\text {G}_{d-2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>G</mtext> <mrow> <mi>d</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> case is still unexplored.</p>

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

Rees algebras and \((\text {G}_{d-2})\) condition

  • Suraj Kumar,
  • Vivek Mukundan

摘要

Let \(R={\textbf{k}}[x_1,\dots ,x_d]\) R = k [ x 1 , , x d ] be a polynomial ring over a field \({\textbf{k}}\) k and \(I=(f_1,\dots ,f_{d+1})\) I = ( f 1 , , f d + 1 ) be a height two perfect ideal which is linearly presented. Further we suppose that the ideal I satisfies \((\text {G}_{d-2})\) ( G d - 2 ) but neither satisfies \((\text {G}_{d-1})\) ( G d - 1 ) nor \((\text {G}_d)\) ( G d ) . The \((\text {G}_{s})\) ( G s ) bounds the minimal number of generators of \(I_{\mathfrak {p}}\) I p by the height \(\operatorname {ht}{\mathfrak {p}}\) ht p for all primes \({\mathfrak {p}}\) p up to height \(s-1\) s - 1 . In this setting, we provide explicit formulas for the defining ideal of the Rees algebra of I, denoted by \({\mathcal {R}}(I)\) R ( I ) . We further demonstrate that \({\mathcal {R}}(I)\) R ( I ) is not always Cohen-Macaulay ring. While the attempts to find the defining ideal of the Rees algebra ideals satisfying \((\text {G}_{d})\) ( G d ) or \((\text {G}_{d-1})\) ( G d - 1 ) conditions are well documented, the \((\text {G}_{d-2})\) ( G d - 2 ) case is still unexplored.