[論文レビュー] 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モデルを構成し、それらを用いて、根基の平方がゼロである代数、非可換クライン型特異点、$SL_3(\mathbb{C})$-商特異点、およびゴレンシュタイン特異点を持つトーリック3次元多様体の特異カテゴリを分類する。その結果、これらが一般化されたクラスターカテゴリまたは安定ギンツブルクカテゴリと三角同値であることが示された。

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モデルを構成すること。
• 根基の平方がゼロである代数、非可換クライン型特異点、および3次元商特異点の特異カテゴリに関する既知の結果を一般化すること。
• これらの結果を、孤立特異点を持つゴレンシュタインアフィントーリック3次元多様体に拡張すること。
• このような特異点の特異カテゴリが、安定ギンツブルクカテゴリまたは一般化されたクラスターカテゴリと三角同値であることを示すこと。

提案手法

• 三角商構成 $\Delta_e(A) = \mathcal{H}^b(\mathsf{proj}\,A)/\mathsf{thick}(eA)$ を用いて相対特異カテゴリを定義する。
• 代数 $A$ が $k$ 上平坦でかつ有限グローバル次元を持つという仮定を適用し、$\Delta_e(A) \simeq \mathsf{per}(B)$ となるdg代数 $B$ を構成する。
• idempotent $e$ に対応する頂点を削除し、それらを通過しない経路への微分の制限を施すことで、$B$ をdgクーヴィー代数として構成する。
• dg代数間の擬同値による導来カテゴリの不変性を保証するため、擬同値を用いる。
• ニコラス–サオリンおよびドリンフェルドの結果を応用し、$B$ を階数付きヘレディタリ代数の普遍局所化として実現する。
• ギンツブルクdg代数の構成を用いて、特異カテゴリをクーヴィーとポテンシャル $(Q,W)$ を持つものと関連づけ、クラスターカテゴリに結びつける。

実験結果

リサーチクエスチョン

• RQ1 代数 $A$ が平坦かつ有限グローバル次元を持つとき、相対特異カテゴリ $\Delta_e(A)$ がdg代数 $B$ の完全導来カテゴリと同値となる条件は何か？
• RQ2 代数 $A$ がdgクーヴィー代数と擬同値であるとき、相対特異カテゴリの明示的dgモデルをどのように構成できるか？
• RQ3 ゴレンシュタイントーリック3次元多様体の特異カテゴリと一般化されたクラスターカテゴリとの関係は何か？
• RQ4 クライン型特異点の非可換変形の特異カテゴリは、より単純な特異カテゴリの直和に分解可能か？
• RQ5 $SL_3(\mathbb{C})$-商特異点の特異カテゴリが安定ギンツブルクカテゴリと同値となる条件は何か？

主な発見

• 平坦性および有限グローバル次元の仮定の下で、相対特異カテゴリ $\Delta_e(A)$ は、微分が自明なdg代数 $B$ に対して、三角同値 $\mathsf{per}(B)/\mathcal{D}_{fg}(B)$ と同値である。
• 根基の平方がゼロである代数に対しては、$\mathcal{D}_{sg}(R)$ は $\mathsf{per}(L(Q^{op}))$ と三角同値であり、ここで $L(Q^{op})$ は反転クーヴィーのレヴィットパス代数である。
• 主パrameter $\lambda$ を持つクライン型特異点の非可換変形に対しては、$\mathcal{D}_{sg}(R) \simeq \bigoplus_{i=1}^s \mathcal{D}_{sg}(R^{(i)})$ が成り立ち、ここで $R^{(i)}$ はディンキン部分クーヴィーに付随するクライン型特異点である。
• 孤立特異点を持つ $SL_3(\mathbb{C})$-商特異点に対しては、$\mathcal{D}_{sg}(R) \simeq \mathcal{C}(Q_G, W_G)$ が成り立ち、これはクーヴィーとポテンシャルに付随する安定ギンツブルクカテゴリである。
• 孤立特異点を持つゴレンシュタインアフィントーリック3次元多様体に対しては、$\mathcal{D}_{sg}(R) \simeq \mathcal{C}^s(Q', W')$ が成り立ち、idempotent完備であれば、これは $\mathcal{C}(Q', W')$ と三角同値であり、$J(Q', W')$ は有限次元である。
• 頂点の削除と微分の制限によってdgクーヴィー代数として $B$ を構成する方法は、擬同値を保ち、導来カテゴリの不変性を保証する。