<p>We construct a geometric model for the root category <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_\infty (Q)/[2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">D</mi> <mi>∞</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">[</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of any Dynkin quiver <i>Q</i>, which is an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>h</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation>-gon <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{V}_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">V</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation> with cores, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>h</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation> is the Coxeter number and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_\infty (Q)=\mathcal {D}^b(Q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">D</mi> <mi>∞</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mi>b</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the bounded derived category associated to <i>Q</i>. As an application, we describe all spaces <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{ToSt}\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>ToSt</mtext> <mi mathvariant="script">D</mi> </mrow> </math></EquationSource> </InlineEquation> of total stability conditions on triangulated categories <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> must be of the form <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}_\infty (Q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">D</mi> <mi>∞</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. More precisely, we prove that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{ToSt}\mathcal {D}_\infty (Q)/[2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>ToSt</mtext> <msub> <mi mathvariant="script">D</mi> <mi>∞</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">[</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is isomorphic to a suitable moduli space of stable <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>h</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation>-gons of type <i>Q</i>. In particular, an <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>h</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation>-gon <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">V</mi> </math></EquationSource> </InlineEquation> of type <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is a (centrally) symmetric doubly punctured <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(2(n-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-gon. <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">V</mi> </math></EquationSource> </InlineEquation> is stable if it is positively convex and the punctures are inside the level-<InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\((n-2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> diagonal-gon. Another interesting case is <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_6\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mn>6</mn> </msub> </math></EquationSource> </InlineEquation>, where the (stable) <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3678_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_Q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>h</mi> <mi>Q</mi> </msub> </math></EquationSource> </InlineEquation>-gon (dodecagon) can be realized as a pair of planar tiling pattern.</p>

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

Geometric classification of total stability conditions

  • Yu Qiu,
  • Xiaoting Zhang

摘要

We construct a geometric model for the root category \(\mathcal {D}_\infty (Q)/[2]\) D ( Q ) / [ 2 ] of any Dynkin quiver Q, which is an \(h_Q\) h Q -gon \(\textbf{V}_Q\) V Q with cores, where \(h_Q\) h Q is the Coxeter number and \(\mathcal {D}_\infty (Q)=\mathcal {D}^b(Q)\) D ( Q ) = D b ( Q ) is the bounded derived category associated to Q. As an application, we describe all spaces \(\textrm{ToSt}\mathcal {D}\) ToSt D of total stability conditions on triangulated categories \(\mathcal {D}\) D , where \(\mathcal {D}\) D must be of the form \(\mathcal {D}_\infty (Q)\) D ( Q ) . More precisely, we prove that \(\textrm{ToSt}\mathcal {D}_\infty (Q)/[2]\) ToSt D ( Q ) / [ 2 ] is isomorphic to a suitable moduli space of stable \(h_Q\) h Q -gons of type Q. In particular, an \(h_Q\) h Q -gon \(\textbf{V}\) V of type \(D_n\) D n is a (centrally) symmetric doubly punctured \(2(n-1)\) 2 ( n - 1 ) -gon. \(\textbf{V}\) V is stable if it is positively convex and the punctures are inside the level- \((n-2)\) ( n - 2 ) diagonal-gon. Another interesting case is \(E_6\) E 6 , where the (stable) \(h_Q\) h Q -gon (dodecagon) can be realized as a pair of planar tiling pattern.