[论文解读] 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

一句话总结

本文通过从其底层的朴素 G-谱的几何固定点重构，提供了真实 G-谱和循环谱的新颖、显式描述。关键贡献是利用广义 Tate 构造和 ∞-范畴中的部分伴随关系，首次将拓扑循环同伦（TC）的公式推广至非最终连通的情形，从而推广了 Nikolaus–Scholze 的工作。

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.

研究动机与目标

• 为任意紧致李群 G 的真实 G-谱提供一个概念性、代数几何式的描述，仅基于其几何固定点。
• 将 Nikolaus–Scholze 在最终连通情形下对循环谱的框架扩展至一般性的非最终连通情形。
• 给出从 THH 到 TC 的循环迹映射的显式公式，以朴素 T-谱及其极限表示。
• 建立 ∞-范畴中广义 Tate 构造的函子性的一般框架。
• 通过将数据分解为更简单的朴素等变数据，阐明 TC 和循环结构的几何与同伦本质。

提出的方法

• 利用广义 Tate 构造（对所有真子群的范数进行商）将真实 G-谱与它们的几何固定点联系起来。
• 通过范畴 sd(BN×) 索引 N× 中不含 1 的词，将真实 G-谱构造为几何固定点的极限。
• 将循环谱建模为配备额外结构映射的朴素 T-谱的极限，这些结构映射源于循环结构和弗罗贝尼乌斯提升。
• 在 (BN×)op 上模的 ∞-范畴中使用右-左极限和部分伴随关系，描述循环谱的同伦范畴。
• 利用范畴 sd(BN×) 的结构，其态射由在 N× 中的元素前缀、后缀和因式分解给出，以定义 TC 的极限公式的图索引。
• 利用循环结构映射和 Tate 构造的自然变换诱导出极限图中所需的态射，特别是通过 σ_n 和 χ_{i,j} 映射。

实验结果

研究问题

• RQ1 如何以与 ∞-范畴结构相容的方式，从其几何固定点重构真实 G-谱？
• RQ2 是否可以显式地用朴素 T-谱及其极限描述 THH 上的循环结构，而无需假设最终连通性？
• RQ3 TC 的精确同伦公式是什么，以朴素 T-谱及其几何固定点表示？
• RQ4 弗罗贝尼乌斯提升与 Tate 构造在 TC 的极限构造中如何相互作用？
• RQ5 范畴 sd(BN×) 在组织循环谱及其结构映射的数据中起什么作用？

主要发现

• 真实 G-谱的 ∞-范畴等价于其几何固定点在范畴 sd(BN×) 上的极限，从而实现了真实 G-谱的朴素重构。
• 循环谱的 ∞-范畴等价于配备循环结构映射的朴素 T-谱的极限，将 Nikolaus–Scholze 的结果推广至非最终连通情形。
• TC 的公式表示为以 sd(BN×) 索引的图的极限，其结构映射源于循环结构和 Tate 构造。
• 循环结构的同伦固定点通过涉及 (BN×)op 上右-左模极限的部分伴随框架捕获。
• 广义 Tate 构造在广泛背景下具有函子性，使得在导出代数几何中可构造循环迹。
• 对象 T^hT（平凡 T-作用的同伦固定点）可通过多条路径映射到图中的每个其他对象，反映出循环映射的乘法结构。