[論文レビュー] DG quotients of DG categories

Vladimir Drinfeld|ArXiv.org|Oct 8, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用数 4

ひとこと要約

この論文は、微分 graded 圏における導来商（DG 量子）の理論を展開し、ヴェルディエの三角的量子を DG 設定に一般化する。平坦性の仮定の下で解体による一つの構成と、新しい局所化に類する方法によるもう一つの構成を提供し、DG 量子が quasi-同値を除いて一意的であることを証明するとともに、導来圏におけるコーン構成を用いてその Hom 複体を特徴づける。

ABSTRACT

Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the e-print is essentially self-contained.

研究の動機と目的

• ケラーの DG 量子理論をより体系的かつ自己完結的な枠組みに拡張すること。
• ホモトピー的情報をより多く保持する DG 地域設定で、古典的三角的量子の限界を克服すること。
• 全 DG 部分圏に関する DG 地域の標準的構成を提供すること。
• DG 量子の Hom 複体を導来テンソル積とコーンを用いて特徴づけること。
• DG 量子が quasi-同値を除いて一意的であることを確立し、導来代数的幾何学とホモロジー代数学における一貫した使用を可能にすること。

提案手法

• 平坦性条件が成立しない場合に、DG 地域の解体を用いた DG 量子の新規な構成を導入する。
• ドゥイアー・カンにインspされた局所化に類するアプローチを採用し、ケラーの元来の方法と比較して構成を簡略化する。
• DG 地域の ind-版を用いて直交補集合を定義し、量子が適切に振る舞うことを保証する。
• DG 量子の Hom 複体をコーンとして特徴づける：$\operatorname{Cone}(h_Y \buildrel L\over{\otimes}_{{\mathcal{B}}} \tilde{h}_X \to \operatorname{Hom}(X,Y))$。
• ホモトピー同値と quasi-同値を用いて DG 量子の一意性を確立し、'the' DG 量子の使用を可能にする。
• DG 地域に付随する三角的圏（$\mathcal{A}^{\operatorname{tr}}$）を用いて、DG 量子と古典的ヴェルディエ量子の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 全 DG 部分圏に関する DG 地域の導来量子を体系的に構成する方法は何か？
• RQ2 このような DG 量子における Hom 複体のホモロジー的構造は何か？
• RQ3 DG 量子が一意的であるとはどのような意味か？また、古典的三角的量子とどのように関係するか？
• RQ4 平坦性の仮定がある場合や、非平坦な圏を解体する場合、DG 量子の構成はどのように振る舞うか？
• RQ5 DG 量子は導来函手や $A_\infty$-構造を用いて特徴づけられるか？

主な発見

• 小規模な DG 地域 $\mathcal{A}$ とその全 DG 部分圏 $\mathcal{B}$ に対して、DG 量子は常に存在し、quasi-同値を除いて一意的である。
• 平坦性の仮定の下では、$\mathcal{B}$ の対象を単に消去することで DG 量子を構成でき、構成が簡略化される。
• DG 量子内の Hom 複体は、$h_Y$ と $\tilde{h}_X$ が関連する DG モジュールであるとき、写像 $h_Y \buildrel L\over{\otimes}_{{\mathcal{B}}} \tilde{h}_X \to \operatorname{Hom}(X,Y)$ のコーンと自然に同型である。
• DG 量子の構成は、同値 $\mathcal{A}^{\operatorname{tr}} / \mathcal{B}^{\operatorname{tr}} \to \mathcal{C}^{\operatorname{tr}}$ を誘導し、古典的ヴェルディエ量子と関連づける。
• 理論により、明確で標準的な DG 量子が得られ、導来代数的幾何学と $A_\infty$-圏論における一貫した使用が可能になる。
• DG 量子は導来函手と整合性があり、ケラーのモデルまたはコンツェビッチのモデルを用いて $T(\mathcal{A}_1, \mathcal{A}_2)$ を定義するための枠組みを提供する。