[論文レビュー] Universal property of triangulated derivators via Keller's towers

Marco Porta|arXiv (Cornell University)|Dec 8, 2015

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

ひとこと要約

本稿は、ケラーのタワー構成を用いて、正確なカテゴリに付随する三角的導出関手の普遍性を確立し、彼の以前の導来カテゴリに関する結果を、より洗練された枠組みである導出関手へと拡張する。主な貢献は、正確なカテゴリ $\mathcal{E}$ に付随する導出関手 ${\mathbb{D}}_{\mathcal{E}}$ が、正確な関手を三角的導出関手へ普遍的に拡張できることを証明することであり、これは古典的な有界導来カテゴリの普遍性を一般化するものである。

ABSTRACT

In his thesis B. Keller solved the universal problem of the extension of an exact category to its (bounded) derived category by introducing the notions of tower of exact and triangulated categories and proving the universal property in this setting. In this note we show that his result extends to the corresponding universal problem for Grothendieck's derivators.

研究の動機と目的

• 導来カテゴリにおけるケラーの普遍性を、三角的カテゴリよりも構造的かつ柔軟性に富んだ枠組みである導出関手の設定へと拡張すること。
• 正確なカテゴリ $\mathcal{E}$ に付随する三角的導出関手 ${\mathbb{D}}_{\mathcal{E}}$ が、ケラーのタワー構成に類似した普遍性を満たすことを確立すること。
• 正確なカテゴリの導出関手から任意の三角的導出関手への図式関手が、完全に忠実で、本質的に全射であり、逆が存在することを示し、これにより導出関手が拡張問題に対する普遍的解として特徴付けられることを示すこと。
• 導出関手形式に埋め込むことにより、有界導来カテゴリの普遍性を概念的にアップグレードし、三角的カテゴリの枠組みでは成立しなかった普遍性の失敗を解消すること。

提案手法

• 本稿は、ケラーのエピバレンツタワー（特に、正確かつ三角的カテゴリの塔）の概念を用い、普遍性の構成を導出関手へ一般化する。
• 三角的導出関手 $\mathbb{D}_{\mathcal{E}}$ を、$\mathbb{D}_{\mathcal{E}}(I) := \mathcal{D}^b(\underline{\mathsf{Hom}}(I^\circ, \mathcal{E}))$ により定義し、三角的構造を保証する。
• 評価関手を終対象 $e$ を通して、加法的前導出関手の間の準同型を通して因数分解することにより証明を進める。自然変換 $\mathsf{dia}: \mathbb{T} \to \underline{\mathbb{T}(e)}$ を用いる。
• 関手の同値性の局所的基準を適用し、問題を写像 $\mathsf{dia}_I: \mathbb{T}(I) \to \underline{\mathbb{T}(e)}(I)$ がホム集合に双対を誘導することの確認に還元する。
• 鍵となる技術的ステップは、写像 $\mathsf{dia}_I$ におけるトーダ条件が、特定のホム集合の積の消滅を保証することであり、これにより必要な同型が得られることを示す。
• 問題を有限図式 $I \in \mathscr{D}ia_{\mathsf{f}}$ 上での局所的チェックに還元するために、ケラーの研究における補題 A.5 の反変版を用いる。

実験結果

リサーチクエスチョン

• RQ1 正確なカテゴリ $\mathcal{E}$ に付随する三角的導出関手は、ケラーのタワー構成に類似した普遍性を満たすか？
• RQ2 三角的カテゴリの枠組みでは成立しなかった普遍性の失敗は、導出関手枠組みに移行することで解消可能か？
• RQ3 任意の三角的導出関手への $\mathbb{D}_{\mathcal{E}}$ からの図式関手は、完全に忠実かつ本質的に全射か？
• RQ4 導出関手の文脈において、写像 $\mathsf{dia}_I$ がホム集合に同型を誘導する仕組みは何か？
• RQ5 終対象 $e$ における評価関手が、導出関手の文脈で射の集合に双対を誘導するための条件は何か？

主な発見

• 正確なカテゴリ $\mathcal{E}$ に付随する三角的導出関手 $\mathbb{D}_{\mathcal{E}}$ は、普遍性を満たす：任意の三角的導出関手 $\mathbb{T}$ に対して、評価関手 $\mathsf{ev}_e: \underline{\mathcal{H}}\!\mathsf{om}_{add}(\underline{\mathcal{A}}, \mathbb{T}) \to \underline{\mathsf{Hom}}_{add}(\underline{\mathcal{A}}(e), \mathbb{T}(e))$ は同型である。
• 図式関手 $\mathsf{dia}: \mathbb{T} \to \underline{\mathbb{T}(e)}$ はホム集合に双対を誘導するが、これは普遍性の証明に不可欠である。
• 第3のトーダ条件により、$\Sigma^{n+1}$-シフトを含むホム集合の積が消えることから、写像 $\mathsf{Hom}_{\mathbb{T}(I)}(\Sigma^n F_I X, F'_I Y) \to \mathsf{Hom}_{\underline{\mathbb{T}(e)}(I)}(\Sigma^n \mathsf{dia}_I(F_I X), \mathsf{dia}_I(F'_I Y))$ が同型であることが保証される。
• $\mathbb{D}_{\mathcal{E}}$ の普遍性により、$\mathcal{D}^b(\mathcal{E}) = \mathbb{D}_{\mathcal{E}}(e)$ は $\mathcal{E}$ を拡張する普遍的な三角的圏であることが示され、古典的な三角的圏の枠組みでは成立しなかった普遍性の失敗が解消される。
• 結果として、ケラーのタワー構成が導出関手へ一般化され、導出関手枠組みが正確なカテゴリを導来カテゴリへ普遍的に拡張する方法を正しく捉えていることが示された。
• 証明により、終対象における評価関手が完全に忠実かつ本質的に全射であり、したがって同型であることが示された。このことは、有限図式上での局所的チェックに還元されることにより達成された。