<p>Let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> be a <i>k</i>-linear Hom-finite Krull-Schmidt 2-Calabi-Yau triangulated category with a cluster tilting object <i>X</i> and <i>A</i> be the endomorphism algebra <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {End}_{{\mathcal {T}}}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>End</mo> <mi mathvariant="script">T</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Adachi, Iyama and Reiten established bijections between: (a) 2-term silting complexes in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {K}^{\operatorname {b}}(\operatorname {proj}A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>K</mo> <mo>b</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mo>proj</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, (b) support <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>-tilting pairs in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {mod}A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>mod</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> and (c) cluster tilting objects in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation>. In this paper, let <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq10.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> be a <i>k</i>-linear Hom-finite Krull-Schmidt 2<i>n</i>-Calabi-Yau <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </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>-angulated category with an Oppermann-Thomas cluster tilting object <i>T</i>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> be the endomorphism algebra <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {End}_{{\mathcal {C}}}(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>End</mo> <mi mathvariant="script">C</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq14.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> be the essential image of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {Hom}_{{\mathcal {C}}}(T,-)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>Hom</mo> <mi mathvariant="script">C</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo>,</mo> <mo>-</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We introduce <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((n+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-term (pre)silting complexes related to the <i>n</i>-cluster tilting subcategory <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq14.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>, which are called <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq14.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>-<InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((n+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-term (pre)silting complexes and are generalizations of 2-term (pre)silting complexes. And we give bijections between: (a) <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq14.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>-<InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((n+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-term presilting complexes in <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq22.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {K}^{\operatorname {b}}(\operatorname {proj}\Lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>K</mo> <mo>b</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mo>proj</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, (b) <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq23.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>τ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-rigid pairs in <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq14.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> and (c) <i>n</i>-rigid objects in <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1846_Article_IEq10.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>. Finally, we give an example in a 5-angulated cluster category to illustrate our main results.</p>

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

\((n+1)\)-Term (Pre)silting Complexes Related to an n-Cluster Tilting Subcategory

  • Taolue Long,
  • Xiaoxiang Zhang

摘要

Let \({\mathcal {T}}\) T be a k-linear Hom-finite Krull-Schmidt 2-Calabi-Yau triangulated category with a cluster tilting object X and A be the endomorphism algebra \(\operatorname {End}_{{\mathcal {T}}}(X)\) End T ( X ) . Adachi, Iyama and Reiten established bijections between: (a) 2-term silting complexes in \(\operatorname {K}^{\operatorname {b}}(\operatorname {proj}A)\) K b ( proj A ) , (b) support \(\tau \) τ -tilting pairs in \(\operatorname {mod}A\) mod A and (c) cluster tilting objects in \({\mathcal {T}}\) T . In this paper, let \({\mathcal {C}}\) C be a k-linear Hom-finite Krull-Schmidt 2n-Calabi-Yau \((n+2)\) ( n + 2 ) -angulated category with an Oppermann-Thomas cluster tilting object T, \(\Lambda \) Λ be the endomorphism algebra \(\operatorname {End}_{{\mathcal {C}}}(T)\) End C ( T ) and \({\mathcal {D}}\) D be the essential image of \(\operatorname {Hom}_{{\mathcal {C}}}(T,-)\) Hom C ( T , - ) . We introduce \((n+1)\) ( n + 1 ) -term (pre)silting complexes related to the n-cluster tilting subcategory \({\mathcal {D}}\) D , which are called \({\mathcal {D}}\) D - \((n+1)\) ( n + 1 ) -term (pre)silting complexes and are generalizations of 2-term (pre)silting complexes. And we give bijections between: (a) \({\mathcal {D}}\) D - \((n+1)\) ( n + 1 ) -term presilting complexes in \(\operatorname {K}^{\operatorname {b}}(\operatorname {proj}\Lambda )\) K b ( proj Λ ) , (b) \(\tau _n\) τ n -rigid pairs in \({\mathcal {D}}\) D and (c) n-rigid objects in \({\mathcal {C}}\) C . Finally, we give an example in a 5-angulated cluster category to illustrate our main results.