[論文レビュー] Lectures on infinity categories

Vladimir Hinich|arXiv (Cornell University)|Sep 19, 2017

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

ひとこと要約

この論文は、現代のホモトピー論、導来代数幾学、表現論における基礎的言語としての役割に焦点を当て、$(\infty,1)$-圏のモデルに依存しない導入を提供する。コカートジアン・ファイブレーションと普遍的性質を通じて、特定のモデルに依存しない方法で無限圏を提示し、導来圏、自己準同型対象、モノイダル圏の極限の構成におけるその有用性を示す。

ABSTRACT

These are lecture notes of the course in infinity categories given in the fall 2016 at Weizmann Institute.

研究の動機と目的

• 特定のモデルの技術的側面に不慣れな研究者を対象として、自己完結的でモデルに依存しない$(\infty,1)$-圏の導入を提供すること。
• ホモロジー代数における古典的導来圏や三角的圏の限界を浮き彫りにすることで、無限圏の必要性を動機づけること。
• 代数的トポロジー、導来代数幾学、因子化ホモロジーにおける無限圏の基礎的役割を確立すること。
• 自己準同型対象、モノイダル構造、圏の極限といった主要な構成を、モデル特有の道具に依存せずに普遍的性質を用いて提示すること。
• 高次のホモトピー的情報を符号化することで、無限圏が導来函手や局所化における曖昧性をどのように解消するかを示すこと。

提案手法

• $(\infty,1)$-圏およびモノイダル構造を、$\Delta^{\mathrm{op}}$ 上のコカートジアン・ファイブレーションを用いてモデル化する。
• モデル圏の局所化を通じて無限圏を定義し、特にDwyer-Kan局所化とファイブレーション補完を用いる。
• 普遍的性質を用いてモノイダル部分圏やラックスモノイダル関手（例：$\mathtt{Cat}^{L,\otimes} \subset \mathtt{Cat}^{\otimes}$）を構成する。
• 代数的対象の作用を分類する普遍的構成$\mathcal{C}[A]$を導入し、自己準同型対象を定義する。
• モノイダル圏の極限（例えばスキーム上の準同型層）を$\mathtt{Alg}(\mathcal{C})$における極限として構成し、モノイダル構造を保存する。
• モノイダルモデル圏の基底$\infty$-圏が、局所化を通じて普遍的なラックスモノイダル構造を備えることを確立する。

実験結果

リサーチクエスチョン

• RQ1 特定のモデル（例えば単体圏や完全セガール空間）に依存せずに、$(\infty,1)$-圏をどのように定義し、研究できるか。
• RQ2 コカートジアン・ファイブレーションは、無限圏におけるモノイダル構造や代数的構造をどのように符号化するか。
• RQ3 無限圏における普遍的性質は、古典的導来圏や三角的圏に内在する曖昧性をどのように解消するか。
• RQ4 無限圏における自己準同型対象は、表現論における古典的自己準同型代数をどのように一般化するか。
• RQ5 モノイダル圏の極限はどのように構成され、例えば導来スタック上の準同型層といった幾何的対象を定義するためにどのように用いられるか。

主な発見

• モノイダルモデル圏$\mathcal{C}$の基底$\infty$-圏$L(\mathcal{C})$は、普遍的性質を通じてモノイダル構造を引き継ぎ、弱同値に関して普遍的なラックスモノイダル局所化としての役割を果たす。
• 余極限と余極限を保存する関手を備えたプレセントエーブル圏の圏$\mathtt{Cat}^{L,\otimes}$は、$\mathtt{Cat}^{\otimes}$のモノイダル部分圏であり、コカートジアン・リフトに関して閉じている。
• $\mathcal{C}$-線形圏における自己準同型対象は、$\mathcal{C}[A]$における終端対象として構成され、$\mathcal{C} = \Pr^L$かつ$A$が左$R$-加群の圏である場合、$R$-両側加群の圏が得られる。
• $\mathtt{Alg}(\mathcal{C})$におけるモノイダル圏の極限はモノイダル構造を保存するため、アフィン開集合上の極限として準同型層を定義することが可能になる。
• 局所化による導来圏の構成は、高次のホモトピー的データを破壊する。これは$\Pi_1(X)$が高次のホモトピー群を無視することと同様であり、無限圏の必要性を強調する。
• 無限圏は、高次のモルフィズムとその合成を符号化することで、ホモトピー極限と余極限の整合的な取り扱いを可能にし、古典的三角的圏の欠陥を回避する。