[论文解读] Polygon of recollements and $N$-complexes

Osamu Iyama, Kiriko Kato+1 more|arXiv (Cornell University)|Mar 19, 2016

Algebraic structures and combinatorial models参考文献 1被引用 5

一句话总结

本文在加法范畴 $\mathcal{B}$ 上的 $N$-複形與 $N-1$-元分裂單射的同倫範疇中，建立了 $2N$-邊形的黏合結構，並證明了這些範疇之間的三角等價。此外，還顯示此類結構自然出現在 $(m/n)$-Calabi-Yau 三角範疇與代數的導出範疇中。

ABSTRACT

We study a structure of subcategories which are called a polygon of recollements in a triangulated category. First, we study a $2n$-gon of recollements in an $(m/n)$-Calabi-Yau triangulated category. Second, we show the homotopy category $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ of complexes of an additive category $\mathsf{Mor}_{N-1}(\mathcal{B})$ of $N-1$ sequences of split monomorphisms of an additive category $\mathcal{B}$ has a $2N$-gon of recollments. Third, we show the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of $\mathcal{B}$ has also a $2N$-gon of recollments. Finally, we show there is a triangle equivalence between $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ and $\mathsf{K}_{N}(\mathcal{B})$.

研究动机与目标

• 透過多邊形形式的黏合結構研究三角範疇中子範疇的結構。
• 在加法範疇 $\mathcal{B}$ 上的 $N$-複形同倫範疇中建立 $2N$-邊形黏合結構的存在性。
• 在 $\mathcal{B}$ 中 $N-1$-元分裂單射的同倫範疇中構造 $2N$-邊形黏合結構。
• 證明 $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ 與 $\mathsf{K}_N(\mathcal{B})$ 之間的三角等價。
• 將這些結果推廣至 $(m/n)$-Calabi-Yau 三角範疇與有限維代數的導出範疇。

提出的方法

• 利用穩定 $t$-結構與三角範疇中的黏合多邊形來定義 $n$-邊形黏合結構。
• 應用在 $(m/n)$-Calabi-Yau 範疇中，對函子有限的厚子範疇及其正交子範疇 $\mathcal{U}_{i+1} = \mathcal{U}_i^\perp$ 的概念。
• 利用分裂單射序列的結構，在 $\mathsf{K}(\mathsf{Mor}_{N-1}^{\mathrm{sm}}(\mathcal{B}))$ 中構造黏合結構。
• 透過函子 $F$ 建立 $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ 與 $\mathsf{K}_N(\mathcal{B})$ 之間的三角等價，使用伴隨函子與穩定範疇。
• 應用弗羅貝尼烏斯範疇與穩定範疇的理論，將正合函子提升為穩定範疇之間的三角函子。
• 運用 $N$-複形及其導出範疇的理論，將 $\mathsf{D}_N(\mathcal{A})$ 與 $\mathsf{D}(\mathsf{Mor}_{N-1}(\mathcal{A}))$ 關聯起來。

实验结果

研究问题

• RQ1 在加法範疇上的 $N$-複形同倫範疇中，何種條件下會存在 $2N$-邊形黏合結構？
• RQ2 同倫範疇 $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ 與 $\mathsf{K}_N(\mathcal{B})$ 如何透過三角等價相互關聯？
• RQ3 是否可在 $N-1$-元分裂單射的同倫範疇中構造 $2N$-邊形黏合結構？
• RQ4 $(m/n)$-Calabi-Yau 三角範疇在生成黏合多邊形中扮演何種角色？
• RQ5 穩定 $t$-結構與反變有限子範疇如何貢獻於黏合多邊形的構造？

主要发现

• 對於任意加法範疇 $\mathcal{B}$，同倫範疇 $\mathsf{K}(\mathsf{Mor}_{N-1}^{\mathrm{sm}}(\mathcal{B}))$ 接受 $2N$-邊形黏合結構。
• 在 $\mathcal{B}$ 上的 $N$-複形同倫範疇 $\mathsf{K}_N(\mathcal{B})$ 中，亦具有 $2N$-邊形黏合結構。
• 存在 $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ 與 $\mathsf{K}_N(\mathcal{B})$ 之間的三角等價，從而建立範疇對偶性。
• 在 $(m/n)$-Calabi-Yau 三角範疇中，任一函子有限的厚子範疇 $\mathcal{U}_1$ 對某個整除 $2n$ 的 $l$，可生成 $l$-邊形黏合結構。
• 對於有限維 $k$-代數 $A$（其全局維數有限，且 $A/J_A$ 分離），以及有限自內射維數的係數 $k$-代數 $R$，導出範疇 $\mathsf{D}^b(\mathrm{mod}\, R \otimes_k A)$ 與穩定範疇 $\underline{\mathrm{CM}}(R \otimes_k A)$ 均對某個整除 $2n$ 的 $l$，接受 $l$-邊形黏合結構。
• 該構造依賴於正交子範疇 $\mathcal{U}_{i+1} = \mathcal{U}_i^\perp$，確保穩定 $t$-結構的存在，進而保證黏合多邊形的構造。