[論文レビュー] On the structure of Calabi-Yau categories with a cluster tilting subcategory

Gonçalo Tabuada|ArXiv.org|Jul 17, 2006

Algebraic structures and combinatorial models参考文献 6被引用数 6

ひとこと要約

本稿では、$ d ≥ 2 $ に対して、$ d $-クラスターティルティング部分カテゴリを持つ代数的 $ d $-カシミリ・トライアングレーテッド圏が、非退化した $ t $-構造と十分な射影的をもつ心を備えた、完全に $ (d+1) $-カシミリ・DG圏の安定圏として実現可能であることを確立する。構成は、DG強化と $ \mathcal{E} $-コホロロジー的複体に基づく安定化手続きを用い、クラスターカテゴリに関する先行結果を一般化する。

ABSTRACT

We prove that for $d \geq 2$, an algebraic $d$-Calabi-Yau triangulated category endowed with a $d$-cluster tilting subcategory is the stable category of a DG category which is perfectly $(d+1)$-Calabi-Yau and carries a non degenerate $t$-structure whose heart has enough projectives.

研究の動機と目的

• DG圏と安定化を用いて、$ d $-クラスターティルティング部分カテゴリをもつ代数的 $ d $-カシミリ・トライアングレーテッド圏の構造を記述すること。
• クラスターカテゴリに関する先行結果を高次元カシミリ・トライアングレーテッド圏への枠組みの拡張により一般化すること。
• このような圏が、非退化した $ t $-構造と十分な射影的をもつ心を備えたDG強化から再構成可能であることを示すこと。
• 元の圏を安定化によって符号化する完全に $ (d+1) $-カシミリ・DG圏 $ \mathcal{B} $ の標準的構成を確立すること。
• 特に $ d=2 $ の場合、DG強化 $ \mathcal{B} $ が $ d $-クラスターティルティング部分カテゴリの選択に依存せず、導来同値の意味で一意的であることを示すこと。

提案手法

• 与えられた $ d $-カシミリ・トライアングレーテッド圏 $ \mathcal{C} $ の安定圏としての同型が成り立つ、$ d $-クラスターティルティング部分カテゴリ $ \mathcal{T} $ をもつフォビニウス完全な圏 $ \mathcal{E} $ を構成する。
• $ \mathcal{M} \subset \mathcal{E} $ を $ \mathcal{T} $ の逆像とし、$ \mathcal{E} $-コホロロジー的有界複体のDG圏 $ \mathcal{B} \subset \mathcal{C}^b(\mathcal{M})_{\text{dg}} $ を定義する。
• $ \mathcal{H}^{-}(\mathcal{M}) \to \mathcal{D}(\mathcal{B}^{\text{op}})^{\text{op}} $ を与える関手 $ G $ を用い、$ \mathcal{B} $ への射のdgモジュールに送る関手として、$ \mathcal{H}^b_{\mathcal{E}\text{-}ac}(\mathcal{M}) $ と $ \text{per}(\mathcal{B}^{\text{op}})^{\text{op}} $ を関連付ける。
• $ d $-クラスターティルティング構造を用いて、$ \mathrm{H}^0(\mathcal{B}) $ に非退化なアイル $ \mathcal{U} \subset \mathrm{H}^0(\mathcal{B}) $ を構成する。
• 文献[16]の第7節の安定化手続きを適用し、$ \mathcal{B} $ と $ \mathcal{U} $ から $ \mathcal{C} $ を再構成する。これは、軌道圏構成の一般化である。
• $ \mathcal{B} $ が完全に $ (d+1) $-カシミリであることを証明し、$ \mathrm{H}^0(\mathcal{B}) $ 上の $ t $-構造が非退化で、その心に十分な射影的をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的 $ d $-カシミリ・トライアングレーテッド圏が、強化されたカシミリ性と $ t $-構造をもつDG圏の安定圏として実現可能か？
• RQ2 $ d $-クラスターティルティング部分カテゴリの選択が、関連するDG圏 $ \mathcal{B} $ の導来同値類に与える影響は何か？
• RQ3 元の圏 $ \mathcal{C} $ を安定化と $ t $-構造データによって符号化するDG強化 $ \mathcal{B} $ の標準的構成は存在するか？
• RQ4 $ d $-クラスターティルティング部分カテゴリ $ \mathcal{T} $ と $ \mathrm{H}^0(\mathcal{B}) $ 上の $ t $-構造の心との正確な関係は何か？
• RQ5 $ d=2 $ の場合、DG圏 $ \mathcal{B} $ は $ d $-クラスターティルティング部分カテゴリの選択に依存せず、導来同値の意味で一意的か？

主な発見

• $ \mathcal{C} $ は非退化なアイル $ \mathcal{U} $ に関する $ \mathcal{B} $ の安定化と同型であり、$ \mathcal{C} $ が $ \mathcal{B} $ と $ \mathcal{U} $ から再構成されることを確立する。
• $ \mathcal{B} $ は完全に $ (d+1) $-カシミリであり、その導来圏が $ (d+1) $-シフトされたセレ・ダリティを満たすことを意味する。
• $ \mathrm{H}^0(\mathcal{B}) $ 上の $ t $-構造は非退化であり、その心に十分な射影的をもつため、良いホモロジー的制御が可能である。
• $ d=2 $ の場合、DG圏 $ \mathcal{B} $ は $ \mathcal{C} $ 及びその強化にのみ依存し、$ \mathcal{T} $ の選択に依存せず、導来同値の意味で一意的である。
• $ G $ による関手は、$ \mathcal{E} $-コホロロジー的複体の部分圏と $ \mathcal{B}^{\text{op}} $ 上の完全モジュールの間の同値を誘導し、$ \mathcal{C} $ のホモロジー的構造と $ \mathcal{B} $ の関係を結ぶ。
• $ \mathrm{H}^0(\mathcal{B}) $ 上の $ t $-構造の心は、その $ t $-構造の心における射影的対象の圏と同値であり、十分な射影的の存在が確認される。