[论文解读] Equivariant symmetric monoidal structures

Michael A. Hill, Michael J. Hopkins|arXiv (Cornell University)|Oct 10, 2016

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

一句话总结

本文引入了 $G$-对称张量范畴，这是对称张量范畴的等变推广，用于编码以有限 $G$-集为指标的对称张量积与幂。定义了 $G$-交换幺半群，并确立了在等变谱中 Bousfield 局域化保持操作代数结构的条件，表明即使在朴素直觉失效的情况下，击打局域化仍可保持交换环谱的性质。

ABSTRACT

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also symmetric monoidal powers indexed by arbitrary finite $G$-sets. We then define $G$-commutative monoids to be the natural extension of ordinary commutative monoids to this new context. Using this machinery, we then describe when Bousfield localization in equivariant spectra preserves certain operadic algebra structures, and we explore the consequences of our definitions for categories of modules over a $G$-commutative monoid.

研究动机与目标

• 形式化等变同伦论中对称张量结构的概念，纳入转移结构以及以有限 $G$-集为指标的对称张量幂。
• 将 $G$-交换幺半群定义为对称张量范畴中交换幺半群的自然等变类比。
• 确定在真实 $G$-谱范畴中 Bousfield 局域化在何种条件下保持交换环谱与操作代数结构。
• 通过在拓扑斯上的预层中识别类似结构，将该框架扩展至动机同伦论。
• 解决紧李群作用（例如 $G = S^1$）中的反直觉行为，即朴素局域化失效，但真实结构仍保持交换性。

提出的方法

• 将 $G$-对称张量范畴定义为从轨道范畴 $\mathcal{O}rb_G$ 到对称张量范畴范畴的函子，包含限制与转移映射。
• 引入对称张量系数系统与对称张量 Mackey 函子作为基础结构，后者满足关于双陪集公式的同构关系。
• 使用在 $G/H$ 上的有限 $G$-集范畴作为对称张量 Mackey 函子的通用模型。
• 建立 $G$-谱中 $L$-无害对象范畴是 $\mathcal{O}_L(U)$-对称张量子范畴的条件，以确保局域化保持代数结构。
• 分析 $G = S^1$ 的情形，表明尽管 $S^1$-谱可能看似朴素，但其在真子群上的限制仍为真实交换环谱。
• 通过证明从 $\mathbb{R}$ 上的动机谱到 $C_2$-谱的实现函子可为弱张量函子，将结果扩展至动机同伦论，从而保持局域化行为。

实验结果

研究问题

• RQ1 在真实 $G$-谱范畴中，Bousfield 局域化在何种条件下保持给定 $G$-对称张量结构下的 $\mathcal{L}(U)$-代数？
• RQ2 在等变稳定同伦论背景下，$G$-交换幺半群如何推广普通交换幺半群？
• RQ3 为何标准局域化反例在 $S^1$ 等紧李群情形中失效，尽管其不存在有限指数子群？
• RQ4 能否将 $G$-对称张量范畴的框架扩展至动机同伦论？在该设定下会涌现出何种结构？
• RQ5 范数映射与在概形上进行张量积操作在将等变对称张量结构推广至动机情境中起何种作用？

主要发现

• 若 $G$-谱范畴中 $L$-无害对象的范畴是 $\mathcal{O}_L(U)$-对称张量子范畴，则 Bousfield 局域化保持 $\mathcal{L}(U)$-代数。
• 对于 $G = S^1$，一个交换的 $S^1$-环谱在每个真子群上的限制均为真实交换环谱，尽管 $S^1$ 不存在有限指数子群。
• 与 $S^1$ 的真子群族相关的零化函子保持交换环谱，表明此类局域化可为击打型且与交换性相容。
• 谱 $S^0[a_{V_1}^{-1}, a_{V_2}^{-1}, \dots]$ 是一个交换的 $S^1$-环谱，通过在一系列对任意真子群限制为平凡的必要映射上进行局域化构造而成。
• 在 $\mathbb{R}$ 上的动机同伦论中，局域化 $S^0[\rho^{-1}]$ 不是交换环谱，因为其复实现为 $S^0[a_{\bar{\rho}}^{-1}]$，而该谱不具交换性。
• 在域 $k$ 上的动机情境中，有限扩张存在范数映射，暗示可将 $G$-对称张量结构推广至具有额外张量操作的概形。