<p>In this paper, we explore when the Betti numbers of the coordinate rings of a projective monomial curve and one of its affine charts are identical. Given an infinite field <i>k</i> and a sequence of relatively prime integers <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="200" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_0 = 0&lt; a_1&lt; \cdots &lt; a_n = d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mn>0</mn> </msub> <mo>=</mo> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>=</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, we consider the projective monomial curve <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq2.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\subset \mathbb {P}_k^{\,n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mo>⊂</mo> <msubsup> <mi mathvariant="double-struck">P</mi> <mi>k</mi> <mrow> <mspace width="0.166667em" /> <mi>n</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> of degree <i>d</i> parametrically defined by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_i = u^{a_i}v^{d-a_i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo>=</mo> <msup> <mi>u</mi> <msub> <mi>a</mi> <mi>i</mi> </msub> </msup> <msup> <mi>v</mi> <mrow> <mi>d</mi> <mo>-</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(i \in \{0,\ldots ,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and its coordinate ring <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(k[\mathcal {C}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">[</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. The curve <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq6.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}_1 \subset \mathbb {A}_k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">C</mi> <mn>1</mn> </msub> <mo>⊂</mo> <msubsup> <mi mathvariant="double-struck">A</mi> <mi>k</mi> <mi>n</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> with parametric equations <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_i = t^{a_i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo>=</mo> <msup> <mi>t</mi> <msub> <mi>a</mi> <mi>i</mi> </msub> </msup> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(i \in \{1,\ldots ,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> is an affine chart of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> and we denote by <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(k[\mathcal {C}_1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">C</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> its coordinate ring. The main contribution of this paper is the introduction of a novel (Gröbner-free) combinatorial criterion that provides a sufficient condition for the equality of the Betti numbers of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(k[\mathcal {C}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">[</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(k[\mathcal {C}_1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">C</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. Leveraging this criterion, we identify infinite families of projective curves satisfying this property. Also, we use our results to study the so-called shifted family of monomial curves, i.e., the family of curves associated to the sequences <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="156" /> </InlineMediaObject> <EquationSource Format="TEX">\(j+a_1&lt; \cdots &lt; j+a_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>+</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <mi>j</mi> <mo>+</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for different values of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_929_Article_IEq14.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(j \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>. In this context, Vu proved that for large enough values of <i>j</i>, one has an equality between the Betti numbers of the corresponding affine and projective curves. Using our results, we improve Vu’s upper bound for the least value of <i>j</i> such that this occurs.</p>

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

Projective Cohen-Macaulay monomial curves and their affine charts

  • Ignacio García-Marco,
  • Philippe Gimenez,
  • Mario González-Sánchez

摘要

In this paper, we explore when the Betti numbers of the coordinate rings of a projective monomial curve and one of its affine charts are identical. Given an infinite field k and a sequence of relatively prime integers \(a_0 = 0< a_1< \cdots < a_n = d\) a 0 = 0 < a 1 < < a n = d , we consider the projective monomial curve \(\mathcal {C}\subset \mathbb {P}_k^{\,n}\) C P k n of degree d parametrically defined by \(x_i = u^{a_i}v^{d-a_i}\) x i = u a i v d - a i for all \(i \in \{0,\ldots ,n\}\) i { 0 , , n } and its coordinate ring \(k[\mathcal {C}]\) k [ C ] . The curve \(\mathcal {C}_1 \subset \mathbb {A}_k^n\) C 1 A k n with parametric equations \(x_i = t^{a_i}\) x i = t a i for \(i \in \{1,\ldots ,n\}\) i { 1 , , n } is an affine chart of \(\mathcal {C}\) C and we denote by \(k[\mathcal {C}_1]\) k [ C 1 ] its coordinate ring. The main contribution of this paper is the introduction of a novel (Gröbner-free) combinatorial criterion that provides a sufficient condition for the equality of the Betti numbers of \(k[\mathcal {C}]\) k [ C ] and \(k[\mathcal {C}_1]\) k [ C 1 ] . Leveraging this criterion, we identify infinite families of projective curves satisfying this property. Also, we use our results to study the so-called shifted family of monomial curves, i.e., the family of curves associated to the sequences \(j+a_1< \cdots < j+a_n\) j + a 1 < < j + a n for different values of \(j \in \mathbb {N}\) j N . In this context, Vu proved that for large enough values of j, one has an equality between the Betti numbers of the corresponding affine and projective curves. Using our results, we improve Vu’s upper bound for the least value of j such that this occurs.