[論文レビュー] An informal introduction to dg categories

Xiaofa Chen, Xiao‐Wu Chen|arXiv (Cornell University)|Aug 13, 2019

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

ひとこと要約

本稿は、微分的可換（dg）圏について、形式的ではあるがきめ細やかな導入を提供し、三角圏よりも基礎的であると位置づける。dg圏にファンクター的コーンと強化構造を、dg商構成を用いて与えることで、導来圏のより優れた枠組みが得られることを確立する。pretriangulated圏のdg商は、古典的ヴェルディエ商に同値な三角的ホモトピー圏をもたらすことを証明する。

ABSTRACT

In this informal introduction to dg categories, the slogan is that dg categories are more rudimentary than triangulated categories. We recall some details on the dg quotient category introduced by Bernhard Keller and Vladimir Drinfeld.

研究の動機と目的

• dg圏を三角圏よりもより基本的かつ構造的に優れた枠組みとして提示すること。
• ドリンフェルトとケラーによるdg商構成を説明し、三角圏におけるコーンのファンクター性欠如問題を解消する役割を強調すること。
• pretriangulated dg圏のdg商が、古典的ヴェルディエ商に同値な三角的ホモトピー圏をもたらすことを示すこと。
• 特に導来モラータ理論とコーサル双対性の文脈において、導来圏のdg強化を理解するための概念的基盤を提供すること。
• dg圏に関する高レベルなサーベイを読む研究者を支援するため、主要な定義と例を含む、準備的でアクセス可能な概要を提供すること。

提案手法

• dg圏を可換環 $k$ 上の余コホモロジー複体のカテゴリに倣った圏として定義し、合成写像がチェイン写像であることを強調する。
• 主要構造の定義：dgモジュール、スuspension、コーン、dgバイモジュール。次数と微分の整合性の役割を強調する。
• dg圏のコホモロジー圏 $H^0(\text{dg})$ を導来圏として定義し、古典的ホモトピー圏および導来圏と関連付ける。
• ドリンフェルトの方法によるdg商構成を適用。対象は全部分圏を modulo としたdg圏の形式的商であり、射はコーンとホモトピーコロイムによって定義される。
• ファンクター的コーンと三角的構造との整合性を保証するため、pretriangulatedおよび強くpretriangulatedなdg圏の概念を用いる。
• ホモトピー代数の技術、特にフィルター付き列とホモトピー的に平坦な複体を用いて、dg商がヴェルディエ商と三角同値を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 なぜdg圏は導来圏の基礎的枠組みとして三角圏よりも適しているのか？
• RQ2 dg商構成は、三角圏におけるコーンのファンクター性欠如問題をどのように解消するのか？
• RQ3 pretriangulated dg圏のdg商が、古典的ヴェルディエ商に同値な三角的ホモトピー圏をもたらすための条件は何か？
• RQ4 exact圏 $\mathcal{E}$ に対して、dg導来圏 $\mathbf{D}^{b}_{\rm dg}(\mathcal{E})$ は、有界導来圏 $\mathbf{D}^b(\mathcal{E})$ をどのように強化するか？
• RQ5 cofibrant置換とホモトピー的に平坦な複体は、任意のdg圏へのdg商構成の一般化において果たす役割は何か？

主な発見

• pretriangulated dg圏 $\mathcal{A}$ とその全dg部分圏 $\mathcal{B}$ に対して、dg商はそのホモトピー圏 $H^0$ がヴェルディエ商 $\mathcal{A}/\mathcal{B}$ と三角同値であるdg圏をもたらす。
• 有界dg導来圏 $\mathbf{D}^{b}_{\rm dg}(\mathcal{E}) = C^{b}_{\rm dg}(\mathcal{E}) / C^{b,{\rm ac}}_{\rm dg}(\mathcal{E})$ はpretriangulatedであり、$\mathbf{D}^b(\mathcal{E})$ の自然なdg強化を提供する。
• すべての $i \in \mathbb{Z}$ に対して、自然な写像 $\operatorname{Ext}^i_{\mathcal{A}^{\rm tr}/\mathcal{B}^{\rm tr}}(x,y) \to \operatorname{Ext}^i_{(\mathcal{A}/\mathcal{B})^{\rm tr}}(x,y)$ は同型であり、三角同値性が確立される。
• dg商構成はcofibrant置換に対して安定であり、$\mathcal{A}$ をcofibrantモデルに置き換えることで、任意のdg圏への一般化が可能である。
• 小dg圏のホモトピー圏 $\mathbf{Hodgcat}$ は、dgファンクター、テンソル積、ファンクター圏を自然にdg的に扱うための自然な枠組みを提供する。
• フィルター付き列とホモトピー的に平坦な複体の使用により、$\operatorname{colim}_{\alpha \in Q_y} H^i(\operatorname{Hom}^{\geq 1}_{\mathcal{A}^{\rm pretr}/\mathcal{B}}(x,z)) = 0$ が成り立ち、これが主同値性の証明に不可欠である。