[論文レビュー] Parametrized higher category theory and higher algebra: Exposé IV -- Stability with respect to an orbital $\infty$-category

Denis Nardin|arXiv (Cornell University)|Aug 27, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 13

ひとこと要約

この論文は、有限群 G の軌道族の上のプレシャーブとしての G-圏—すなわち、G-圏の安定性の理論を、軌道的 ∞-圏の枠組みを用いて開発する。G-スペクトルは、G-可換モノイドを用いて G-空間の G-安定化として特徴づけられ、有限 G-空間からの G-線形関手の普遍受容体としての G-スペクトルの普遍的特徴づけが与えられ、グイユとメイによる直交 G-スペクトルに関する結果の別証明も提示する。

ABSTRACT

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory here is developed in the more general setting of orbital categories.

研究の動機と目的

• G-圏の安定性の理論を発展させ、古典的な安定 ∞-圏理論を等不変設定に一般化すること。
• G-可換モノイドの構造を用いて、G-空間の G-安定化として G-スペクトルを特徴づけること。
• 有限 G-空間からの G-線形関手の普遍受容体としての ∞-圏としての G-スペクトルの普遍的性質を提供すること。
• 軌道的 ∞-圏の新しい枠組みを用いて、グイユとメイによる直交 G-スペクトルに関する定理の別証明を提供すること。

提案手法

• 論文は、有限群 G の軌道族 OG を用いて、G-圏を OG 上の ∞-圏のプレシャーブとして定義する。
• 軌道的 ∞-圏 T 上の圏に対して、T-半加法性と T-安定性の概念を導入し、加法性と安定性を一般化する。
• 軌道的 ∞-圏 T の構造を用いて、Mackey関手の一般化としての T-可換モノイドを定義する。
• 有限 G-空間の ∞-圏から G-スペクトルの ∞-圏への普遍的 G-線形関手を構成し、G-スペクトルが G-空間の G-安定化であることを示す。
• スミス＝シップリーの定理を応用して、直交 G-スペクトルと等不変 G-スペクトルの間のある関手が同値であることを示し、軌道のファイバーワイズサスペンションスペクトルに依存する。
• グッドウィル・計算の枠組みを用いて、有限 G-空間から G-空間への線形関手と G-スペクトルの圏との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 古典的な ∞-圏における安定性の概念を、G-圏を用いて等不変設定にどのように一般化できるか？
• RQ2 有限 G-空間からの G-線形関手の普遍受容体としての G-スペクトルの ∞-圏の普遍的性質は何か？
• RQ3 軌道的 ∞-圏の文脈において、Mackey関手と T-可換モノイドの関係は何か？
• RQ4 G-可換モノイドを用いた普遍的性質を介して、G-スペクトルを G-空間の G-安定化として特徴づけられるか？
• RQ5 軌道的 ∞-圏の理論は、直交 G-スペクトルに関するグイユ＝メイの定理の新たな証明をどのように可能にするか？

主な発見

• G-スペクトルの ∞-圏は、有限 G-空間の ∞-圏からの G-線形関手の普遍受容体としての性質を持つ。
• G-スペクトルは、G-可換モノイドを用いて G-空間の G-安定化として特徴づけられる。
• 接続的 G-スペクトルと G-空間の G-可換モノイドの間の随伴は、かつてそのモノイドが群的でかつスペクトルが接続的であるときかつそのときに限り同値である。
• 直交 G-スペクトルから等不変 G-スペクトルへの関手は同値である。これは、軌道のサスペンションスペクトルを保存し、スミス＝シップリーの条件を満たすからである。
• この理論により、G-スペクトルが G-線形関手の普遍的性質を通じて G-空間の G-安定化として実現されることにより、グイユ＝メイの定理の新たな証明が得られる。
• G-スペクトルの圏の各軌道におけるファイバーは、軌道のサスペンションスペクトルによって生成され、安定化関手はこれらの部分圏上で全単射的である。