[論文レビュー] Parametrized higher category theory and higher algebra: A general introduction

Clark Barwick, E. Dotto+3 more|arXiv (Cornell University)|Aug 12, 2016

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

ひとこと要約

本稿は、軌道的∞-圏$T$を用いたパラメータ付き高次圏論および高次代数の包括的枠組みを構築し、$T$-∞-圏、$T$-スペクトル、および軌道的∞-圏$T$における$T$-対称モノイド構造を導入する。さらに、$T$-対称モノイドウォルダウゼン$T$-∞-圏の$G$--equivariant代数的$K$-理論が自然に$T$-$E_\infty$環スペクトルの構造を備えることを確立し、$G$-equivariantおよびパラメータ付き代数的$K$-理論を統一的かつ一般化する。

ABSTRACT

We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph.

研究の動機と目的

• 軌道的∞-圏$T$を用いたパラメータ付き高次圏論および高次代数の体系的理論を確立し、古典的代数的$K$-理論を$G$-equivariantおよびパラメータ付き設定に一般化すること。
• $T$-スペクトルを$T$上での準連接層の類似物として定義し、$T$-余積から誘導される$T$-対称モノイド構造がそれらに引き継がれることを示すこと。
• パラメータ付き安定性が通常の安定性とパラメータ付き半加法性の組み合わせから生じることを証明し、$T$-∞-圏の統一的取り扱いを可能にすること。
• ウォルダウゼン$T$-∞-圏の代数的$K$-理論が自然に$T$-スペクトルの構造を備えることを示し、古典的結果をパラメータ付き設定に拡張すること。
• $\underline{\textbf{Sp}}^T$の普遍性を、$\underline{\textbf{Top}}_G$における置換表現球面の逆元をとることによる局所化として確立し、ノーム構成を導出すること。

提案手法

• 軌道的∞-圏$T$に対して$T$-∞-圏を導入し、群作用付き圏の一般化を行う。
• $T$-スペクトルを$T$上の準連接層の$T$-∞-圏として定義し、$T$-余積から誘導される$T$-対称モノイド構造がそれらに引き継がれることを示す。
• Theorem Bを用いてパラメータ付き半加法性とパラメータ付き安定性を関連付け、$T$-安定$T$-∞-圏の研究を$\underline{\textbf{Sp}}^T$とのテンソル積に還元する。
• 軌道的$T$-∞-圏における閉埋め込みと開補集合を用いて$T$-スペクトルの再構成を構成し、同型性分離系列を導出する。
• $T$-∞-オペラッドおよび$T$-対称モノイド$T$-∞-圏を定義し、$T$が原子的であるとき$\underline{\textbf{Pr}}_T^L$が$T$-対称モノイド構造を備えることを示す。
• 普遍性を用いて、$T$-対称モノイドウォルダウゼン$T$-∞-圏の$K$-理論が自然に$T$-$E_\infty$環スペクトルの構造を備えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして軌道的∞-圏を用いた高次圏論がパラメータ付き設定に一般化できるか？
• RQ2 正しい$T$-スペクトルの概念とは何か？ そして、パラメータ付き設定における準連接層とどのように関係するか？
• RQ3 パラメータ付き半加法性は$T$-∞-圏における安定性とどのように作用するか？
• RQ4 パラメータ付き文脈において$T$-スペクトルおよび$T$-$E_\infty$環スペクトルが満たす普遍的性質は何か？
• RQ5 等変ホモトピー理論におけるノーム構成は、$T$-対称モノイド$T$-∞-圏における普遍的性質からどのように導出可能か？

主な発見

• $T$が原子的であるとき、$T$-プレゼンタブル$T$-∞-圏の$T$-∞-圏$\underline{\textbf{Pr}}_T^L$は自然な$T$-対称モノイド構造を備える。
• $T$-安定$T$-プレゼンタブル$T$-∞-圏は、$\underline{\textbf{Sp}}^T$とのテンソル積によって与えられる対称モノイド局所化である。これは、置換表現球面を逆元に持つ$T$-対称モノイド$T$-∞-圏としての普遍的性質を持つ。
• $T$-∞-圏$\underline{\textbf{Sp}}^T$はノーム構成の普遍的受容体であり、等変安定ホモトピー理論におけるノームの普遍的性質を実現する。
• $T$-対称モノイドウォルダウゼン$T$-∞-圏の代数的$K$-理論は自然に$T$-$E_\infty$環スペクトルの構造を備える。
• 軌道的$T$-∞-圏における閉埋め込みは開補集合を備え、これにより$T$-スペクトルの再構成が誘導され、同型性分離系列が得られる。
• $T$-$E_\infty$-代数$A$上のモジュールは$T$-対称モノイド$T$-∞-圏をなし、この構成は$A$および$T$の両方と整合する。