代數三角范疇的Iyama-Yoshino約化

丁聰

摘要：文章證明了代數三角范疇關于函子有限的n-rigid子范疇的Iyama-Yoshino約化仍是代數三角范疇.作為應用，進一步證明了遺傳代數的高維叢范疇關于不可分解rigid對象的Iyama-Yoshino約化仍是遺傳代數的高維叢范疇.

關鍵詞：三角范疇;Iyama-Yoshino約化;叢范疇;Frobenius范疇

1 引言

為了刻畫概型上的Grothendieck對偶理論，Grothendieck與Verdier引入了導出范疇和三角范疇的概念，至今，三角范疇已成為研究代數幾何的強有力的工具之一[1]，Happel[2]發現有限維代數的導出范疇是研究結合代數的傾斜理論的一個好的框架，從而首次將三角范疇作為工具應用到有限維代數的表示理論的研究中.至此，研究有限維代數的導出等價成為傾斜理論的一個重要課題.Keller[3]在研究微分分次范疇的傾斜理論中首次提出了代數三角范疇的概念并證明了其上的傾斜定理，使得代數三角范疇成為了傾斜理論研究的最基本的假設.事實上，代數幾何或者代數表示論中出現的三角范疇基本上都是代數的.

眾所周知，三角范疇的Verdier商范疇有自然的三角范疇結構.利用微分分次范疇不難證明代數三角范疇的Verdier商仍是代數三角范疇，在高維傾斜理論的研究中，Iyama和Yoshirio[4]發展了一套新的從已知三角范疇構造新的三角范疇的方法，該方法如今被稱為Iyama-Yoshino約化，特別地，他們證明了Hom-有限的三角范疇的某些特殊的子范疇的加法商范疇也自然的繼承了原三角范疇的三角結構，在此之后，Iyama-Yoshino約化方法被迅速的應用于叢理論的研究之中.

代數三角范疇的Iyama-Yoshino約化是否為代數三角范疇是一個自然而基本的問題.Amiot和Opper-mann[5]證明了具有Serre函子的三角范疇關于函子有限的rigid子范疇的Iyama-Yoshino約化仍是代數三角范疇，這使得他們能對其應用Keller的傾斜定理，從而給出τ2 -有限代數的導出范疇的Iyama-Yoshino約化的刻畫.遺傳代數的叢范疇是叢理論中出現的一類重要的代數三角范疇.付和耿[6]證明了代數2-Calabi-Yau范疇的關于例外對象的Iyama-Yoshino約化仍是代數三角范疇，在此基礎上證明了叢范疇對Iyama-Yoshino約化封閉.本文的主要目的即是在更一般的條件下給出上述問題的肯定回答，該結果蘊含了文獻[5]和[6]的情形作為特例.作為主要結果的一個初步應用，我們進一步證明了遺傳代數的高維叢范疇關于例外對象的Iyama-Yoshino約化仍是某一個遺傳代數的高維叢范疇.

在本文中，對于加法范疇A中的對象T，我們記addT表示由T的有限直和的直和項構成的A的滿子范疇。

2 預備知識

設k為域.本文所考慮的范疇都是Hom-有限的k-線性加法范疇，本節中，我們主要回顧正合范疇、Frobenius范疇的基本定義與性質，參見文獻[7].

設A為加法范疇，B為A的滿子范疇，設A∈A，A的一個右B逼近是指一個態射f：B→A，其中B∈B，使得對任意的B'∈B，映射HomA（B'，B）→HomA（B'，A）是滿射.如果A中的每個對象都有右B逼近，那么稱B是A的一個反變有限子范疇.對偶地，

參考文獻

[1]章璞.三角范疇-J=i導出范疇 [M]. 北京： 科學出版社， 2015.

[2] Happel D. Triangulated categories in the Representation The -ory of Finite Dimensional Algebras [M] . London Mathemat -ical Society Lecture Note Series 119. Cambridge University Press， Cambridge， 1988.

[3] Keller B. Deriving DG categories[J]. Ann. Sci. Ecole Norm.Sup， 1994， 27：63.

[4] Iyama O， Yoshino Y Mutation in triangulated categories andrigid Cohen-Macaulay modules[J]. In- vent. math.， 2008.172： 117.

[5] Amiot C， Oppermann S. Cluster equivalence and graded de-rived equivalence[J]， Documenta Math. 2014， 19：1155.

[6] Fu C， Geng S. On indecomposable τ -rigid modules forcluster-tilted algebras of tame type[J]. J. Alge- bra， 2019， 53 l ：249.

[7] Keller B. Chain complexes and stable categories[J].Manuscripta Math.， 1990. 67：379.

[8] Keller B. On triangulated orbit categories[J]. Doc. Math.，2005. 10：551.

[9] Zhu B. Equivalences between cluster categories[J]. J. Alge-bra， 2006. 304：832.

[10] Keller B， Reiten I. Acyclic Calabi-Yau categories are clustercategories[J]. Compositio Mathematica. 2008. 144： 1332.