<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}_{2n+2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">P</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> be the regular polygon with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(2n+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> vertices, and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> be the rotation of 180<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq4.gif" Format="GIF" Height="7" Rendition="HTML" Resolution="72" Type="Linedraw" Width="9" /> </InlineMediaObject> <EquationSource Format="TEX">\(^\circ \)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mo>∘</mo> </mmultiscripts> </math></EquationSource> </InlineEquation>. Fomin and Zelevinsky proved that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>-invariant triangulations of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}_{2n+2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">P</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> are in bijection with the clusters of cluster algebras of type <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. Furthermore, cluster variables correspond to the orbits of the action of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> on the diagonals of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}_{2n+2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">P</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>. In this paper, we associate a labeled modified snake graph <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}_{ab}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mrow> <mi mathvariant="italic">ab</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to each <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>-orbit [<i>a</i>,&#xa0;<i>b</i>], and we get the cluster variables of type <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> which correspond to [<i>a</i>,&#xa0;<i>b</i>] as perfect matching Laurent polynomials of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1455_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}_{ab}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mrow> <mi mathvariant="italic">ab</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. This extends the work of Musiker for cluster algebras of type B and C to every seed.</p>

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

Cluster expansion formulas and perfect matchings for type B and C

  • Azzurra Ciliberti

摘要

Let \(\textbf{P}_{2n+2}\) P 2 n + 2 be the regular polygon with \(2n+2\) 2 n + 2 vertices, and let \(\theta \) θ be the rotation of 180 \(^\circ \) . Fomin and Zelevinsky proved that \(\theta \) θ -invariant triangulations of \(\textbf{P}_{2n+2}\) P 2 n + 2 are in bijection with the clusters of cluster algebras of type \(B_n\) B n and \(C_n\) C n . Furthermore, cluster variables correspond to the orbits of the action of \(\theta \) θ on the diagonals of \(\textbf{P}_{2n+2}\) P 2 n + 2 . In this paper, we associate a labeled modified snake graph \(\mathcal {G}_{ab}\) G ab to each \(\theta \) θ -orbit [ab], and we get the cluster variables of type \(B_n\) B n and \(C_n\) C n which correspond to [ab] as perfect matching Laurent polynomials of \(\mathcal {G}_{ab}\) G ab . This extends the work of Musiker for cluster algebras of type B and C to every seed.