[論文レビュー] Homologically finite-dimensional objects in triangulated categories

Alexander Kuznetsov, Evgeny Shinder|arXiv (Cornell University)|Nov 17, 2022

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、dg-enhanced三角圏における同調的に有限次元的（hfd）対象を導入し、双対性、hfd-閉性、Gorenstein性の概念を定義して、カテゴリカルな収縮とcrepantな解消を研究する。主な結果として、特異的多様体の導来圏とその滑らか化の導来圏の間の半直交分解の間の全単射を、中心ファイバー上に支持されるhfd構成とdgファンクター双対性を用いて確立する。

ABSTRACT

In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for triangulated categories, and discuss crepant categorical contractions. We illustrate the introduced notions on examples of categories of geometric and algebraic origin and provide geometric applications. In particular, we apply our results to prove a bijection between semiorthogonal decompositions of the derived category of a singular variety and the derived category of its smoothing with support on the central fiber.

研究の動機と目的

• 小規模なdg-enhanced三角圏の導来圏における同調的に有限次元的（hfd）対象を定義し、それらを研究すること。
• 三角圏における双対性、hfd-閉性、Gorenstein性の概念を導入し、それらを調査すること。
• これらの概念をカテゴリカルな収縮およびcrepantな解消に応用し、特に幾何的・代数的文脈において検討すること。
• 特異的多様体の導来圏とその滑らか化の導来圏の間の半直交分解の間の全単射を、中心ファイバー上に支持されるものとして確立すること。
• 滑らか化の導来圏における例外的対象が、スキーム的構造的に中心ファイバー上に支持されることを証明すること。

提案手法

• dg圏T上のdgモジュールMを、すべてのt ∈ Tに対してM(t)がk-ベクトル空間上の有界かつ有限次元複体であるものとしてhfd対象と定義する。
• すべてのhfd対象からなる部分圏D_fd(T) ⊂ D(T)を定義し、これは小規模なdg-enhanced三角圏構造を誘導する。
• 自然なファンクターを介してD_fd(D_fd(T)) ≃ Tが成り立つとき、Tを双対的と定義する。これによりhfd構成の反復適用が可能になる。
• Tが双対的であるとき、TとD_fd(T)の左/右適応部分圏の間の写像が、hfd構成によって誘導される双対性を用いて、互いに逆写像である全単射を構成する。
• dgファンクター双対性とhfd作用を用いて、特異的多様体と滑らかな多様体の導来圏の部分圏を関連付ける。
• コーンの議論とExt計算を用いて、D^b_X(X)における例外的対象がX上にスキーム的構造的に支持されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 T ↦ D_fd(T) の操作が、TとD_fd(T)の適応部分圏の間で全単射をもたらすのはどのような場合か？
• RQ2 三角圏Tが双対的である、すなわちD_fd(D_fd(T)) ≃ Tが成り立つための条件は何か？
• RQ3 hfd対象と双対性は、crepantなカテゴリカル収縮およびGorenstein性とどのように関係するか？
• RQ4 特異的多様体の導来圏の半直交分解は、その滑らか化の導来圏を用いて分類可能か？
• RQ5 滑らか化の導来圏におけるすべての例外的対象は、中心ファイバー上にスキーム的構造的に支持されるか？

主な発見

• 操作T ↦ D_fd(T)は半直交分解を保存するが、成分の順序が逆転する：T = ⟨A₁,…,Aₙ⟩ならば、D_fd(T) = ⟨D_fd(Aₙ),…,D_fd(A₁)⟩である。
• 双対的な圏Tに対して、TとD_fd(T)の左/右適応部分圏の間の写像は、互いに逆写像である全単射をなす。
• 双対性は反対圏への取り扱いやD_fd(T)への移行において保存され、適応部分圏によっても引き継がれる。
• Xが特異的多様体でX̃がその滑らか化であるとき、D^b(X)とD^perf(X)の適応部分圏の集合の間に自然な全単射が存在する。
• D^b_X(X̃)におけるすべての例外的対象は、Ext計算とコーン解析により、X上にスキーム的構造的に支持される。
• 関手Υ_ι*とΥ_ι*の合成は、D^b(X)、D^b_X(X̃)、D^perf(X)の部分圏の間の全単射対応を誘導する。関手Υ^perfは全単射である。