<p>Let <i>I</i> be an arbitrary nonzero squarefree monomial ideal of dimension <i>d</i> in a polynomial ring <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2116_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(S = \textrm{k}[x_1,\ldots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>=</mo> <mtext>k</mtext> <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>. Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2116_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> be the number of associated primes of <i>S</i>/<i>I</i> of dimension <i>d</i>. We prove that the multiplicity of powers of <i>I</i> is given by <Equation ID="Equ2"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2116_Article_Equ2.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="229" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} e_0(S/I^s) = \mu \left( {\begin{array}{c}n-d+s-1\\ s-1\end{array}}\right) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>e</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">/</mo> <msup> <mi>I</mi> <mi>s</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>μ</mi> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>n</mi> <mo>-</mo> <mi>d</mi> <mo>+</mo> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for all <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2116_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(s \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Consequently, we compute the multiplicity of all powers of path ideals of cycles.</p>

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

Multiplicity of powers of squarefree monomial ideals

  • Phan Thi Thuy,
  • Thanh Vu

摘要

Let I be an arbitrary nonzero squarefree monomial ideal of dimension d in a polynomial ring \(S = \textrm{k}[x_1,\ldots ,x_n]\) S = k [ x 1 , , x n ] . Let \(\mu \) μ be the number of associated primes of S/I of dimension d. We prove that the multiplicity of powers of I is given by \(\begin{aligned} e_0(S/I^s) = \mu \left( {\begin{array}{c}n-d+s-1\\ s-1\end{array}}\right) \end{aligned}\) e 0 ( S / I s ) = μ n - d + s - 1 s - 1 for all \(s \ge 1\) s 1 . Consequently, we compute the multiplicity of all powers of path ideals of cycles.