[论文解读] Singularity categories and singular equivalences for resolving subcategories

Hiroki Matsui, Ryo Takahashi|arXiv (Cornell University)|Dec 27, 2014

Algebraic structures and combinatorial models参考文献 37被引用 7

一句话总结

本文確立了在什麼條件下，一個 Gorenstein 環中解析子類別的奇異性分類是平凡的，證明此類分類是奇異等價於零的充分必要條件是該環為型態 $\mathsf{A}_1$ 的簡單超曲面奇異點。本文推廣了 Yoshino 對完全反射模的結果，並對具有平凡奇異性分類的完全交環作出完整分類。

ABSTRACT

Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as complete intersections over which the stable categories of resolving subcategories have trivial singularity categories. We also generalize several results of Yoshino on totally reflexive modules.

研究动机与目标

• 確定某解析子類別的穩定分類之奇異性分類為平凡的條件。
• 將 Yoshino 對完全反射模的結果推廣至解析子類別的脈絡。
• 描述兩解析子類別的奇異性分類三角等價的條件。
• 分類那些其解析子類別的穩定分類具有平凡奇異性分類的完全交環。
• 建立 MCM 模的 Auslander-Reiten 量子圖結構與奇異性分類平凡性之間的關聯。

提出的方法

• 定義奇異性分類 $\mathsf{D_{sg}}(\underline{\mathcal{X}})$ 為 Verdier 商 $\mathsf{D^b}(\mathsf{mod}\underline{\mathcal{X}})/\mathsf{K^b}(\mathsf{proj}(\mathsf{mod}\underline{\mathcal{X}}))$，其中 $\mathcal{X}$ 為一解析子類別。
• 利用 Beligiannis 所建立的結果：在 Gorenstein 類別中，奇異性分類與 Gorenstein 投射模的穩定分類等價。
• 應用 Auslander-Reiten 理論與超曲面奇異點上最大 Cohen-Macaulay 模的性質。
• 分析 MCM 模的 Auslander-Reiten 量子圖，以偵測非平凡箭頭的缺失，此性質可特徵化 $\mathsf{A}_1$ 奇異點。
• 利用同構 $\mathsf{\underline{End}}_R(\mathfrak{m}) \cong k[t]/(t^2)$ 來計算一維 $\mathsf{A}_2$ 奇異點的奇異性分類。
• 應用結果：$\mathsf{D_{sg}}(\mathcal{C}) \cong \mathbf{0}$ if and only if $\mathcal{C}$ 是正則的，以特徵化平凡奇異性分類。

实验结果

研究问题

• RQ1 何時某解析子類別的穩定分類之奇異性分類為平凡？
• RQ2 哪些完全交環具有解析子類別，使其奇異性分類為平凡？
• RQ3 兩解析子類別的奇異性分類何時三角等價？
• RQ4 MCM 模的 Auslander-Reiten 量子圖結構與奇異性分類的平凡性有何關聯？
• RQ5 一維 $\mathsf{A}_2$ 奇異點上 MCM 模的穩定分類之奇異性分類為何？

主要发现

• 某解析子類別的穩定分類之奇異性分類為平凡，若且唯若其基礎環為型態 $\mathsf{A}_1$ 的簡單超曲面奇異點。
• 對於一維 $\mathsf{A}_2$ 奇異點 $R \cong k[[x,y]]/(xy)$，奇異性分類 $\mathsf{D_{sg}}(\mathsf{\underline{CM}}(R))$ 三角等價於 $\mathsf{D_{sg}}(k[t]/(t^2))$，此分類非平凡。
• 當 $R$ 為 $\mathsf{A}_2$ 奇異點時，穩定分類 $\mathsf{\underline{CM}}(R)$ 非正則，因其奇異性分類非平凡。
• 若解析子類別包含一複雜度最大的模，則奇異性分類為平凡的條件是必要的；若無此條件，即使非 $\mathsf{A}_1$ 完全交環，分類仍可能為正則。
• Gorenstein 類別 $\mathcal{C}$ 的奇異性分類三角等價於 $\mathsf{mod}\mathcal{C}$ 中 Gorenstein 投射模的穩定分類，此結果推廣了 Buchweitz 定理。
• 解析子類別之間的奇異等價不保留下不分解 MCM 模的數目，如 $R = k[[x,y]]/(xy)$ 奇異等價於 $k$，但前者有三個不分解 MCM 模，後者僅有一個。