代數(shù)三角范疇的Iyama-Yoshino約化

丁聰

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

關(guān)鍵詞：三角范疇;Iyama-Yoshino約化;叢范疇;Frobenius范疇

1 引言

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

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

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

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

2 預(yù)備知識

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

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

參考文獻

[1]章璞.三角范疇-J=i導(dǎo)出范疇 [M]. 北京： 科學(xué)出版社， 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.