[论文解读] Quotients of triangulated categories and Equivalences of Buchweitz, Orlov and Amiot--Guo--Keller

Osamu Iyama, Dong Yang|arXiv (Cornell University)|Feb 15, 2017

Algebraic structures and combinatorial models参考文献 18被引用 14

一句话总结

本文建立了一個充分條件，使得一個三角範疇關於一個稠密子範疇的 Verdier商可被實現為原始範疇內的理想商。主要貢獻在於提出一個統一框架，將三個重要等價關係統合並推廣：Buchweitz 對 Gorenstein 環的對偶性、Orlov 的階梯奇異性等價，以及 Amiot–Guo–Keller 的簇範疇構造，皆透過統一的扭對與相對 Serre 自同態結構實現。

ABSTRACT

We give a sufficient condition for a Verdier quotient $\ct/\cs$ of a triangulated category $\ct$ by a thick subcategory $\cs$ to be realized inside of $\ct$ as an ideal quotient. As applications, we deduce three significant results by Buchweitz, Orlov and Amiot--Guo--Keller.

研究动机与目标

• 提供一個簡潔的充分條件，使三角範疇的 Verdier 商可被實現為原始範疇內的理想商。
• 統一表示理論與代數幾何中三個重要等價關係：Buchweitz 等價、Orlov 的階梯奇異性等價，以及 Amiot–Guo–Keller 的簇範疇構造。
• 引入「相對 Serre 四元組」的概念，推廣簇範疇的設定。
• 證明所得到的 AGK 範疇（即 Verdier 商）與原始範疇中的基本區域等價。
• 使 morphism 集合可控制，並在商中保持 Hom-有限性與 Krull–Schmidt 性質。

提出的方法

• 基於兩個扭對構建框架：一個在稠密子範疇 S 中，另一個在周遭的三角範疇 T 中。
• 定義子範疇 Z = X^⊥ ∩ ⁻¹Y[1] 和 P = X[1] ∩ Y，其中 X 和 Y 在 S 中形成一對扭對。
• 證明理想商 Z/[P] 透過三角函子結構捕捉 Verdier 商 T/S。
• 在公理 (T0)、(T1) 和 (T2) 下，證明從 Z/[P] 到 T/S 的典型函子為等價。
• 利用 P-逼近的存在性與正交條件，建立 Z/[P] 上的三角結構。
• 應用突變對與相對 Serre 自同態理論，將 AGK 等價推廣至超越簇範疇的更廣泛設定。

实验结果

研究问题

• RQ1 在何種條件下，三角範疇的 Verdier 商 T/S 可被實現為原始範疇 T 內的理想商 Z/[P]？
• RQ2 如何將 Buchweitz 所建立的奇異性範疇與穩定 Cohen–Macaulay 模塊範疇之間的等價，視為一般商構造的一個特例？
• RQ3 Orlov 所建立的階梯奇異性範疇與非交換射影概形的導出範疇之間的等價，能否被嵌入統一框架中？
• RQ4 哪些結構條件可將 Amiot–Guo–Keller 的簇範疇構造推廣至更廣泛的設定？
• RQ5 相對 Serre 自同態與扭對在實現此類等價關係中扮演何種角色？

主要发现

• 在公理 (T0)、(T1) 和 (T2) 下，Verdier 商 T/S 與理想商 Z/[P] 等價，提供商範疇的明確實現。
• 當 T 為域上 Hom-有限且 Krull–Schmidt 時，此等價保持 Hom-有限性與 Krull–Schmidt 性質。
• Buchweitz 所建立的奇異性範疇與 Cohen–Macaulay 模塊穩定範疇之間的等價，可作為此一般構造的一個特例被恢復。
• Orlov 所建立的階梯奇異性範疇與非交換射影概形導出範疇之間的等價，被證明為此框架的推論。
• 透過「相對 Serre 四元組」的概念，AGK 等價被推廣，且 AGK 範疇與原始範疇中的基本區域等價。
• Z/[P] 上的三角結構透過 P-逼近與正交條件所誘導的三角形明確實現。