[論文レビュー] Monoidal derivators and additive derivators

Moritz Groth|arXiv (Cornell University)|Mar 22, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用数 6

ひとこと要約

この論文は、ホモトピー理論の構造的枠組みとしてモノイダルおよび加法的デリバトリを導入し、モノイダルデリバトリがモノイダルモデル圏から自然に生じること、加法的デリバトリが標準的に前三角構造を備えることを示している。主な貢献は、中心構成を用いて安定デリバトリ上の線形および階数付き線形構造を形式化することであり、その応用として、チェーン複体やスペクトルにおいて、デリバトリがホモトピー群の環やDG代数のホモロジーといった環上での自然な線形構造を引き継ぐことである。

ABSTRACT

One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators both respect monoidal objects and hence give rise to natural examples. We also introduce additive derivators and show that the values of strong, additive derivators are canonically pretriangulated categories. Moreover, the center of additive derivators allows for a convenient formalization of linear structures and graded variants thereof in the stable situation. As an illustration of these concepts, we discuss some derivators related to chain complexes and symmetric spectra.

研究の動機と目的

• モノイダルデリバトリの理論を発展させ、それがモノイダルモデル圏から生じることを示し、モデル圏からデリバトリへの移行においてモノイダル構造が保存されることを示す。
• 点付きデリバトリと安定デリバトリの間の中間クラスとして加法的デリバトリを導入し、その値に標準的な前三角構造を備えることを可能にする。
• 中心構成を用いて、安定デリバトリ上の線形および階数付き線形構造を形式化し、線形ホモトピー論の統一的枠組みを提供する。
• チェーン複体および対称スペクトルに関連するデリバトリが、それぞれの基底環や安定ホモトピー群上に自然な線形構造を備えていることの証明を行う。

提案手法

• プレデリバトリのカルテジアン2カテゴリにおけるモノイダル対象としてモノイダルプレデリバトリを定義し、モノイダル構造が各変数においてホモトピー余極限を保存することを要請する。
• 組合せ的モノイダルモデル圏が、モデル圏からデリバトリへの移行によってモノイダルデリバトリを誘導することを示す。
• モノイダルデリバトリに関連する分配関手の2圏を導入し、重み付きホモトピー（余）極限を符号化する。
• 基礎となる圏が加法的であることにより、加法的デリバトリを定義し、その値に加法的関手および標準的な前三角構造が生じることを示す。
• 加法的デリバトリの中心を構成し、線形および階数付き線形構造を形式化する。この中心は、基礎となる圏の階数付き中心へ自然な準同型を定める。
• 点付き位相空間のデリバトリが満たす普遍性を用いて、スuspension写像およびtwist写像を導出し、自己準同型環の階数可換性を確立する。

実験結果

リサーチクエスチョン

• RQ1 モデル圏上のモノイダル構造をデリバトリへどのように持ち上げることができるか。また、その持ち上げがホモトピー余極限を保存するための条件は何か。
• RQ2 加法的デリバトリがどのような構造的性質を有するか。また、それらは前三角圏とどのように関係するか。
• RQ3 中心構成を用いて、安定デリバトリ上の線形および階数付き線形構造を圏論的にどのように形式化できるか。
• RQ4 チェーン複体およびスペクトルに関連するデリバトリに自然に生じる線形構造は何か。それらはホモトピー群やホモロジーからどのように生じるか。
• RQ5 モノイダルデリバトリは、その関連する分配関手の2圏を介して、どのように重み付きホモトピー（余）極限を符号化するか。

主な発見

• 組合せ的モノイダルモデル圏に対応するデリバトリは、各変数においてホモトピー余極限を保存するモノイダル構造を標準的に持ち込む。
• 強い加法的デリバトリの値は、標準的に前三角圏であり、安定の場合を一般化する。
• 加法的デリバトリの中心は、線形構造をコンパクトに形式化するものであり、モノイダル単位の自己準同型の階数付き環からデリバトリの階数付き中心への自然な準同型が存在する。
• 環 k 上のチェーン複体のデリバトリに対して、線形構造は基底環 k によって与えられる。
• 環 Z 上のスペクトルのデリバトリに対して、線形構造は整数環 Z によって与えられる。
• 可換な微分付き代数的代数 C に対して、C-加群のデリバトリは、C のホモロジー H•(C) における階数付き環上に階数付き線形構造を備える。
• 可換な環スペクトル E に対して、E-加群スペクトルのデリバトリは、E のホモトピー群の階数付き環 π•(E) 上に標準的に階数付き線形構造を備える。