[論文レビュー] Stratified categories, geometric fixed points and a generalized Arone-Ching theorem

Saul Glasman|arXiv (Cornell University)|Jul 7, 2015

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

ひとこと要約

本稿は、分層的安定∞-圏とエピオビタル圏上のマックェイ関手を構築することで、等変安定ホモトピー論と関手計算の統一的枠組みを導入する。これは、アロン＝チンのn-加法的関手の再構成定理とアブラハム＝クリッツのG-スペクトルの再構成定理を一般化し、G-スペクトルをその幾何的固定点データと関連するグリューニング構造から同時にコモノイダル的に回復する結果を示す。

ABSTRACT

We develop a theory of Mackey functors on epiorbital categories which simultaneously generalizes the theory of genuine $G$-spectra for a finite group $G$ and the theory of $n$-excisive functors on the category of spectra. Using a new theory of stratifications of a stable $\infty$-category along a finite poset, we prove a simultaneous generalization of two reconstruction theorems: one by Abram and Kriz on recovering $G$-spectra from structure on their geometric fixed point spectra for abelian $G$, and one by Arone and Ching that recovers an $n$-excisive functor from structure on its derivatives. We deduce a strong tom Dieck splitting theorem for $K(n)$-local $G$-spectra and reprove a theorem of Kuhn on the $K(n)$-local splitting of Taylor towers.

研究の動機と目的

• G-スペクトルの理論とn-加法的関手の理論を、共通の圏論的枠組みによって統一すること。
• n-加法的関手の導分から再構成するアロン＝チンの定理を、より広い設定に一般化すること。
• G-スペクトルを幾何的固定点から再構成するアブライアム＝クリッツの定理を、より一般の文脈に拡張すること。
• 等変ホモトピー論とクロマティックホモトピー論の両方を捉える、分層的安定∞-圏の形式的枠組みを構築すること。
• 基本的データとして幾何的固定点スペクトルとそのホモトピー的対称性を持つ、G-スペクトルの新モデルを提供すること。

提案手法

• G-スペクトルのための軌道圏と、全射を伴う有限集合の圏（関手計算のため）の共通一般化としてエピオビタル圏を導入する。
• エピオビタル圏上のマックェイ関手の理論を構築し、古典的なマックェイ関手形式をこの新しい設定に拡張する。
• 有限の順序付き集合に沿った安定∞-圏の分層を用いて、部分群またはフィルトレーションレベルを跨ぐ幾何的固定点データのグリューニングをモデル化する。
• 一般化されたコモノイダル性定理（定理2.38）を適用し、G-スペクトルの∞-圏における対象を、その幾何的固定点スペクトルと関連構造関手から再構成する。
• 制限関手、左カルン拡張関手、核心化関手を含むコイデント列を確立し、固定点データ間の相互作用をモデル化する。
• ねじれの矢印圏とホモトピー的変形再帰を用いて、特定の写像空間のコントラクト性を証明し、再構成がホモトピー的に適切に働くことを可能にする。

実験結果

リサーチクエスチョン

• RQ1 アーベル群や有限Gに限らない範囲にまで、幾何的固定点からG-スペクトルを再構成する方法を一般化できるか？
• RQ2 n-加法的関手の理論と真のG-スペクトルの理論を統一する共通の圏論的枠組みは存在するか？
• RQ3 アロン＝チンのコモノイダル性定理は、分層を持つより広いクラスの安定∞-圏に拡張可能か？
• RQ4 統一されたホモトピー的枠組みにおいて、幾何的固定点と導分はどのように関係するか？
• RQ5 エピオビタル圏は、等変的構造と関手的構造の両方を符号化する役割を果たすか？

主な発見

• 本稿は、アロン＝チンの定理とアブライアム＝クリッツの定理を同時に一般化し、一般化された設定においてG-スペクトルがその幾何的固定点スペクトルに対してコモノイダルであることを示した。
• K(n)-局在化G-スペクトルに対する強い分解定理が導かれ、このようなスペクトルが幾何的固定点データに従って分解することを示した。
• 本稿の枠組みを用いてクーンの定理（Taylor塔のK(n)-局在化分解）を再証明した。
• ΓᵀΠᵀとΞᴺΦᴺを含むコイデント列が、コレプレゼンタブルなマックェイ関手上でホモトピー的に自明であることが示され、制限関手と拡張関手の双対性が裏付けられた。
• 単体的変形再帰を用いて、余単位写像のファイバーのコントラクト性が確立され、再構成がホモトピー的に適切に振る舞うことが証明された。
• C₂-スペクトルの∞-圏とスペクトル上の2-加法的関手の∞-圏の同値性が、一般枠組みの特別な場合として回復された。