<p>We study the deformation theory of the Stanley–Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> case. We also study the connection between cluster algebras with universal coefficients and cluster complexes. We show that for a full rank positively graded cluster algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> of geometric and finite cluster type, the cluster algebra <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}^\textrm{univ}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">A</mi> </mrow> <mtext>univ</mtext> </msup> </math></EquationSource> </InlineEquation> with universal coefficients may be recovered as the universal family over a partial closure of a torus orbit in a multigraded Hilbert scheme. Likewise, we show that under suitable hypotheses, the cluster algebra <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}^\textrm{univ}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">A</mi> </mrow> <mtext>univ</mtext> </msup> </math></EquationSource> </InlineEquation> may be recovered as the coordinate ring for a certain torus-invariant semiuniversal deformation of the Stanley–Reisner ring of the cluster complex. We apply these results to show that for any cluster algebra <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> of geometric and finite cluster type, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is Gorenstein, and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is unobstructed if it is skew-symmetric. Moreover, if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> has enough frozen variables then it has no non-trivial torus-invariant deformations. We also study the Gröbner theory of the ideal of relations among cluster and frozen variables of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. As a byproduct we generalize previous results in this setting obtained by Bossinger, Mohammadi and Nájera Chávez for Grassmannians of planes and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3691_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{Gr}\,}}(3,6)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Gr</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mn>6</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Deformation theory for finite cluster complexes

  • Nathan Ilten,
  • Alfredo Nájera Chávez,
  • Hipolito Treffinger

摘要

We study the deformation theory of the Stanley–Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the \(A_n\) A n case. We also study the connection between cluster algebras with universal coefficients and cluster complexes. We show that for a full rank positively graded cluster algebra \(\mathcal {A}\) A of geometric and finite cluster type, the cluster algebra \(\mathcal {A}^\textrm{univ}\) A univ with universal coefficients may be recovered as the universal family over a partial closure of a torus orbit in a multigraded Hilbert scheme. Likewise, we show that under suitable hypotheses, the cluster algebra \(\mathcal {A}^\textrm{univ}\) A univ may be recovered as the coordinate ring for a certain torus-invariant semiuniversal deformation of the Stanley–Reisner ring of the cluster complex. We apply these results to show that for any cluster algebra \(\mathcal {A}\) A of geometric and finite cluster type, \(\mathcal {A}\) A is Gorenstein, and \(\mathcal {A}\) A is unobstructed if it is skew-symmetric. Moreover, if \(\mathcal {A}\) A has enough frozen variables then it has no non-trivial torus-invariant deformations. We also study the Gröbner theory of the ideal of relations among cluster and frozen variables of \(\mathcal {A}\) A . As a byproduct we generalize previous results in this setting obtained by Bossinger, Mohammadi and Nájera Chávez for Grassmannians of planes and \({{\,\textrm{Gr}\,}}(3,6)\) Gr ( 3 , 6 ) .