[论文解读] Relative singularity categories II: DG models

Martin Kalck, Dong Yang|arXiv (Cornell University)|Mar 22, 2018

Algebraic structures and combinatorial models参考文献 27被引用 17

一句话总结

本文在平坦性和有限全局維數假設下，建立了相對奇點類與微分分次（dg）代數的完美導出類之間的推導等價。通過箭頭簡化構造了相對奇點類的顯式dg模型，並應用於分類具有冪零根的代數、非交換Kleinian奇點、$SL_3(\mathbb{C})$-商奇點以及Gorenstein仿射toric三繫的奇點類，表明它們與推廣的簇類或穩定Ginzburg類三角等價。

ABSTRACT

We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which are known or generalise known results, on singularity categories of algebras with radical square zero, of non-commutative deformations of Kleinian singularities, of $SL_3(\mathbb{C})$-quotient singularities and of Gorenstein toric threefolds.

研究动机与目标

• 建立相對奇點類與dg代數完美導出類之間的推導等價。
• 利用箭頭簡化與普遍局部化，構造相對奇點類的顯式dg模型。
• 推廣關於具有冪零根的代數、非交換Kleinian奇點與三維商奇點的奇點類已知結果。
• 將這些結果推廣至具有孤立奇點的Gorenstein仿射toric三繫。
• 表明此類奇點的奇點類與穩定Ginzburg類或推廣的簇類三角等價。

提出的方法

• 使用三角商構造 $\Delta_e(A) = \mathcal{H}^b(\mathsf{proj}\,A)/\mathsf{thick}(eA)$ 定義相對奇點類。
• 在 $A$ 對 $k$ 平坦且具有有限全局維數的假設下，構造dg代數 $B$，使得 $\Delta_e(A) \simeq \mathsf{per}(B)$。
• 透過刪除對應於冪等元 $e$ 的頂點，並限制到不經過這些頂點的路徑，將 $B$ 構造為dg箭頭代數。
• 利用dg代數之間的擬同構，確保在擬等價下導出類的不變性。
• 應用 Nicolás–Saorín 與 Drinfeld 的結果，將 $B$ 實現為分次遺傳代數的普遍局部化。
• 利用Ginzburg dg代數構造，透過帶勢能的箭頭 $(Q,W)$ 將奇點類與簇類關聯起來。

实验结果

研究问题

• RQ1 在何種條件下，相對奇點類 $\Delta_e(A)$ 與dg代數 $B$ 的完美導出類等價？
• RQ2 當 $A$ 與dg箭頭代數擬同構時，如何構造相對奇點類的顯式dg模型？
• RQ3 Gorenstein toric三繫的奇點類與推廣簇類之間的關係為何？
• RQ4 非交換Kleinian奇點變形的奇點類能否分解為較簡單奇點類的直和？
• RQ5 何時 $SL_3(\mathbb{C})$-商奇點的奇點類與穩定Ginzburg類等價？

主要发现

• 在平坦性與有限全局維數假設下，相對奇點類 $\Delta_e(A)$ 與 $\mathsf{per}(B)/\mathcal{D}_{fg}(B)$ 三角等價，其中 $B$ 為微分為零的dg代數。
• 對於冪零根的代數，$\mathcal{D}_{sg}(R)$ 與 $\mathsf{per}(L(Q^{op}))$ 三角等價，其中 $L(Q^{op})$ 為對偶箭頭的Leavitt路徑代數。
• 對於具有主參數 $\lambda$ 的非交換Kleinian奇點變形，$\mathcal{D}_{sg}(R) \simeq \bigoplus_{i=1}^s \mathcal{D}_{sg}(R^{(i)})$，其中 $R^{(i)}$ 為與Dynkin子箭頭相關的Kleinian奇點。
• 對於具有孤立奇點的 $SL_3(\mathbb{C})$-商奇點，$\mathcal{D}_{sg}(R) \simeq \mathcal{C}(Q_G, W_G)$，即與箭頭與勢能相關的穩定Ginzburg類。
• 對於具有孤立奇點的Gorenstein仿射toric三繫，$\mathcal{D}_{sg}(R) \simeq \mathcal{C}^s(Q', W')$，若其為冪等完備，則與 $\mathcal{C}(Q', W')$ 三角等價，且 $J(Q', W')$ 為有限維。
• 透過刪除頂點與限制微分構造 $B$ 為dg箭頭代數的方法，保持擬等價性，從而確保導出類的不變性。