[论文解读] On the parametrized Tate construction and two theories of real $p$-cyclotomic spectra

J. D. Quigley, Jay Shah|arXiv (Cornell University)|Sep 9, 2019

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

一句话总结

本文提出了一种使用真 C2-谱和参数化 Tate 构造 (−)tC2 µp 的新公式，用于 p-典型实拓扑循环同伦（topological cyclic homology），其中涉及二面体群 D2p = µp ⋊ C2，取代了早期基于等变二面体谱的方法。在有下界的条件下，本文建立了实 p-循环谱的两种理论——Borel 理论与真理论——之间的等价性，并将 Nikolaus 和 Scholze 对 p-循环谱的纤维序列公式推广至实设置。

ABSTRACT

We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction $(-)^{t_{C_2} μ_p}$ associated to the dihedral group $D_{2p} = μ_p times C_2$. We then define a $p$-typical and $\infty$-categorical version of Høgenhaven's $O(2)$-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects.

研究动机与目标

• 通过参数化 Tate 构造 (−)tC2 µp 而非真等变二面体谱，重新定义实 p-循环谱的 ∞-范畴。
• 构建 Høgenhaven 的 O(2)-正交循环谱的 p-典型且 ∞-范畴化版本。
• 建立从真实 p-循环谱到 Borel 实 p-循环谱的遗忘函子，并证明其在有下界对象上诱导等价。
• 将拓扑循环同伦的纤维序列公式推广至实设置，扩展 Nikolaus 和 Scholze 的工作至实 p-循环谱。
• 提供一个保留几何固定点数据并支持实 K-理论中迹方法的实拓扑循环同伦计算框架。

提出的方法

• 通过涉及参数化 Tate 构造 (−)tC2 µp 的松弛等化子，定义实 p-循环谱的 ∞-范畴，其中涉及二面体群 D2p = µp ⋊ C2。
• 利用参数化 Tate 构造与重聚技术，从真实 p-循环谱到 Borel 实 p-循环谱构造遗忘函子。
• 使用 ∞-范畴的重聚理论，分析 SpG 及其相对于正规子群（特别是 D2p 中的 C2）的子范畴结构。
• 应用重心剖分与局部余上链态射提升，分析参数化 ∞-范畴中松弛极限与右松弛图的结构。
• 证明二面体 Tate 作用轨道引理，用于比较参数化设置下的固定点与几何固定点。
• 在函子范畴上使用逐点张量结构，处理参数化构造的对称张量性质。

实验结果

研究问题

• RQ1 参数化 Tate 构造 (−)tC2 µp 如何被用于重新定义实 p-循环谱理论，从而避免对真二面体谱的依赖？
• RQ2 Borel 理论与真理论在实 p-循环谱中存在何种关系？在何种条件下二者等价？
• RQ3 Nikolaus 和 Scholze 对 p-循环谱的纤维序列公式能否通过参数化 Tate 构造推广至实设置？
• RQ4 有下界条件如何影响 Borel 与真实 p-循环谱理论之间的等价性？
• RQ5 二面体群 D2p = µp ⋊ C2 在通过参数化 Tate 构造组织实 p-循环谱结构中起到何种作用？

主要发现

• 本文建立了一个新的 p-典型实拓扑循环同伦公式，使用纤维序列 TC(X, p) ≃ fib(XhC2, (XtC2)hC2)，将 Nikolaus 和 Scholze 的公式推广至实设置。
• 从真实 p-循环谱到 Borel 实 p-循环谱的遗忘函子在有下界对象的全子范畴上诱导等价。
• 参数化 Tate 构造 (−)tC2 µp 为实 p-循环谱定义中真二面体谱提供了一个自然的替代方案。
• 证明并应用了二面体 Tate 作用轨道引理，用于比较参数化设置下的固定点与几何固定点。
• 通过重聚与松弛极限技术，成功构建了 Høgenhaven 的 O(2)-正交循环谱的 p-典型且 ∞-范畴化版本。
• 该理论在特定情况下恢复了在奇素数 p 下常值 mod p Mackey 谱的 TC(R)，确认了与已知计算的一致性。