[論文レビュー] A naive approach to genuine $G$-spectra and cyclotomic spectra

David Ayala, Aaron Mazel-Gee+1 more|arXiv (Cornell University)|Oct 17, 2017

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

ひとこと要約

本稿は、一般のコンpakto Lie群 G に対して、その幾何的固定点からの再構成を通じて、真の G-スペクトルおよび巡回スペクトルの明示的で概念的な記述を提供する。具体的には、それらの下位のナーブ G-スペクトルの幾何的固定点から再構成することで達成される。主な貢献は、一般化されたTate構成と ∞-圏における部分的随伴の新規な応用を通じて、Nikolaus–Scholzeの結果を最終的に連結でない場合にまで一般化した、トポロジカル巡回ホモロジー（TC）の公式である。

ABSTRACT

For any compact Lie group $G$, we give a description of genuine $G$-spectra in terms of the naive equivariant spectra underlying their geometric fixedpoints. We use this to give an analogous description of cyclotomic spectra in terms of naive $T$-spectra (where $T$ denotes the circle group), generalizing Nikolaus--Scholze's recent work in the eventually-connective case. We also give an explicit formula for the homotopy invariants of the cyclotomic structure on a cyclotomic spectrum in these terms.

研究の動機と目的

• 任意のコンパクトLie群 G に対して、真の G-スペクトルを、その幾何的固定点のみを用いて概念的かつ代数的幾何学的な記述を提供すること。
• Nikolaus–Scholzeのフレームワーク（最終的に連結な場合に限る）を、一般の非最終的に連結な状況にまで拡張すること。
• THH から TC への巡回トレース写像の明示的公式を、ナーブ T-スペクトルおよびその極限を用いて与えること。
• ∞-圏における一般化されたTate構成の関手的性を確立する一般的な枠組みを構築すること。
• TC および巡回構造の幾何的・ホモトピー的性質を、より単純なナーブ等変換的データへの分解を通じて明確化すること。

提案手法

• すべての部分群からのノルムを商取ることで得られる一般化されたTate構成を用い、真の G-スペクトルとその幾何的固定点を関連付ける。
• N× に1を除く文字列をインデックスとする圏 sd(BN×) を用いて、真の G-スペクトルの破綻分解（fracture decomposition）を極限として構成する。
• 巡回スペクトルを、巡回構造に由来する追加の構造写像を備えたナーブ T-スペクトルの極限としてモデル化する。
• 圏 (BN×)op 上のモジュールの ∞-圏における右ラックス極限と部分的随伴を用い、巡回スペクトルのホモトピー圏を記述する。
• sd(BN×) の構造（N× の要素を前置、追加、因数分解することによる射）を活用し、TC の極限公式のインデックスとなる図式を定義する。
• 巡回構造写像およびTate構成の自然変換が、極限図式における必要な射を誘導することを活用し、特に σ_n および χ_{i,j} 射を通じて。

実験結果

リサーチクエスチョン

• RQ1 真の G-スペクトルは、∞-圏的構造と整合する形で、その幾何的固定点からどのように再構成可能か？
• RQ2 THH における巡回構造は、最終的に連結であることを仮定せずに、ナーブ T-スペクトルおよびその極限を用いて明示的に記述可能か？
• RQ3 ナーブ T-スペクトルおよびその幾何的固定点を用いて、TC の正確なホモトピー的公式は何か？
• RQ4 Frobeniusの上昇写像とTate構成は、TC の極限構成においてどのように作用するか？
• RQ5 圏 sd(BN×) は、巡回スペクトルのデータおよびその構造写像を整理する上で果たす役割は何か？

主な発見

• 真の G-スペクトルの ∞-圏は、sd(BN×) をインデックスとするその幾何的固定点の極限と同値であり、ナーブ再構成が可能である。
• 巡回スペクトルの ∞-圏は、巡回構造写像を備えたナーブ T-スペクトルの極限と同値であり、Nikolaus–Scholzeの結果を最終的に連結でない場合にまで一般化する。
• TC は、sd(BN×) をインデックスとする図式の極限として与えられ、構造写像は巡回構造およびTate構成に由来する。
• 巡回構造のホモトピー固定点は、(BN×)op 上の右ラックスモジュールの極限を用いた部分的随伴枠組みを通じて捉えられる。
• 一般化されたTate構成は広い文脈で関手的であり、導来代数的幾何における巡回トレースの構成を可能にする。
• T^hT（自明な T-作用のホモトピー固定点）は、図式内の他のすべての対象へ複数の経路を通じて写像され、巡回写像の乗法的構造を反映している。