[论文解读] Equivariant Structure on Smash Powers

Morten Brun, Bjørn Ian Dundas+1 more|arXiv (Cornell University)|Apr 20, 2016

Homotopy and Cohomology in Algebraic TopologyMathematics参考文献 47被引用 19

一句话总结

本文建立了一套基础框架，用于理解稳定同伦论中 smash 幂的等变结构，特别关注几何对角线及其在连接交换环谱、固定点谱与 Witt 向量构造中的作用。证明了 $C_2$-作用在 $E^{\text{∧}2}$ 上的固定点自然地映射到 $E$，该结果可推广至更高阶 smash 幂，并成为构造 Witt 向量与稳定同伦论中分层塔的基础。

ABSTRACT

We provide foundations for dealing with the equivariant structure of "smash powers" of commutative orthogonal ring spectra. The category of commutative orthogonal ring spectra $A$ is tensored over spaces $X$, so that $A \otimes X$ is a commutative orthogonal ring spectrum. If $X$ is a discrete space, this is literally the smash power of $A$ with itself indexed over $X$, and we keep this language also in the nondiscrete case. In particular $A \otimes S^1$ is a model for topological Hochschild homology. We provide a framework where a generalization of the cyclotomic structure of topological Hochschild homology is visible in a categorical framework, also for more general $G$ and $X$. Similar situations have been studied by others, e.g., in Hill, Hopkins and Ravenel's treatment of the norm construction and Brun, Carlsson, Dundas' covering homology. In the case of non-commutative $A$ and $X=S^1$, the situation is somewhat easier and has already been covered by Kro. We are motivated by applications to $G$ being a torus in order to study the iterated algebraic $K$-theory, and have to develop a categorical theory that in some ways goes beyond what has been done before. Most of the material appeared in the last author's thesis which was defended in 2011. We apologize for the delay.

研究动机与目标

• 为紧李群 $G$ 的 $G$-谱的 smash 幂的等变结构建立系统化的理解。
• 阐明几何对角线在连接固定点谱与如 Witt 向量等代数结构之间的作用。
• 为等变正交谱及其 smash 积建立模型范畴基础。
• 展示从 $(E^{\text{∧}2})^{C_2}$ 到 $E$ 的限制映射如何编码深刻的代数与拓扑信息，特别是在 $H\mathbb{Z}/2$ 与 $2$-进整数的背景下。
• 通过证明高阶 smash 幂的固定点捕捉到日益增强的分层复杂性，统一代数与拓扑视角。

提出的方法

• 利用等变正交谱与层级模型结构，在稳定范畴中定义并分析 smash 积。
• 应用 Illman 的三角剖分定理与混合模型结构，处理等变空间与谱。
• 在模型范畴中使用好纤维化与好纤维化替换，将几何对角线定义为从 $E$ 到 $(E^{\text{∧}n})^{G}$ 的自然变换（$G$ 为有限群）。
• 应用 Kan 扩张与同调积计算，将模型结构组装到谱的图范畴上。
• 使用 Beck 的单子化定理，证明在适当的有限性与可胞复性条件下，$T$-代数范畴同构于范畴 $[\mathscr{D}, \mathscr{C}]_0$。
• 通过生成集 $\mathcal{G}^\mathscr{E}I$ 与 $\mathcal{G}^\mathscr{E}J$，在 $[\mathscr{E}_{\mathscr{D}}, \mathscr{C}]_0$ 上建立乘积模型结构，确保图范畴上的模型结构为自由生成。

实验结果

研究问题

• RQ1 如何为等变 $G$-环谱的几何对角线提供函子性定义？它保持何种结构？
• RQ2 固定点谱与稳定同伦论中 Witt 向量构造之间的精确关系是什么？
• RQ3 当 $E = H\mathbb{Z}/2$ 时，$C_{2^n}$-作用在 $E^{\text{∧}2^n}$ 上的固定点如何与 $2$-进整数及分层塔相关联？
• RQ4 限制映射 $(E^{\text{∧}2})^{C_2} \to E$ 在何种意义上推广了交换环中的乘法并捕捉了代数数据？
• RQ5 如何将谱的图范畴上的模型结构组装起来，以保持点态的纤维化、协纤维化与弱同伦等价？

主要发现

• 限制映射 $(E^{\text{∧}2})^{C_2} \to E$ 是一个自然变换，推广了乘法并捕捉了如 Witt 向量结构等代数数据。
• 当 $E = H\mathbb{Z}/2$ 时，固定点 $(E^{\text{∧}2^n})^{C_{2^n}}$ 的道路分支同构于 $\mathbb{Z}/2^n$，其关于 $n$ 的逆极限给出 $2$-进整数 $\mathbb{Z}_2$，展示了从有限特征到无限特征的过渡。
• $E^{\text{∧}4}$ 的 $C_2 \times C_2$-固定点捕捉了额外的拓扑复杂性，包括 Bott 周期性的影子。
• 几何对角线作为从 $E$ 到其 smash 幂固定点的自然变换出现，且该构造在输入谱与群作用下是函子性的。
• 在适当的有限性与可胞复性假设下，图范畴 $[\mathscr{E}_{\mathscr{D}}, \mathscr{C}]_0$ 上存在一个自由生成的模型结构，其中纤维化、协纤维化与弱同伦等价均按点定义。
• 由左伴随诱导的单子 $T$ 的 $T$-代数范畴同构于 $[\mathscr{D}, \mathscr{C}]_0$，在给定条件下确认了图范畴的单子化性质。