[論文レビュー] 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$-対称モノイダル圏を導入する。$G$-可換モノイドを定義し、真の $G$-スペクトルの圏におけるボウスフィールド局所化が、操作的代数的構造を保存する条件を確立する。その結果、直感に反する場合でもスミッシング局所化が可換環スペクトルを保存することが示された。

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$-スペクトルの圏におけるボウスフィールド局所化が可換環スペクトルおよび操作的代数的構造を保存する条件を特定する。
• トポス上の層の圏において類似構造を同定することで、モチーフ的ホモトピー理論への枠組みの拡張を図る。
• コンパクトなリー群（例：$G = S^1$）の作用における直感に反する振る舞い（例えば、有限指数部分群が存在しないにもかかわらず、ナードな局所化が失敗するが、真の構造は依然として可換性を保存する）を解消する。

提案手法

• 軌道圏 $\mathcal{O}rb_G$ から対称モノイダル圏の圏への関手として $G$-対称モノイダル圏を定義し、制限および転送写像を備える。
• 対称モノイダル係数系と対称モノイダルマッキー関手を基礎的構造として導入し、後者については同型を除いて二重コセット公式を満たすことを仮定する。
• 有限 $G$-集合を $G/H$ 上で考える圏を、対称モノイダルマッキー関手の普遍的モデルとする。
• $L$-可縮的対象の圏が $G$-スペクトルの圏における $\mathcal{O}_L(U)$-対称モノイダル部分圏である条件を確立し、局所化が代数的構造を保存することを保証する。
• $G = S^1$ の場合を分析し、$S^1$-スペクトルはナード的に見えるが、任意の真部分群への制限により真の可換環スペクトルが得られることを示す。
• モチーフ的ホモトピー理論への拡張として、$\mathbb{R}$ 上のモチーフ的スペクトルから $C_2$-スペクトルへの実現関手が、ラックスモノイダルであることを示し、局所化の性質を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた $G$-対称モノイダル構造に関して、真の $G$-スペクトルの圏におけるボウスフィールド局所化が $\mathcal{L}(U)$-代数を保存する条件は何か？
• RQ2 $G$-可換モノイドは、等変安定ホモトピー理論の文脈において、通常の可換モノイドをどのように一般化するか？
• RQ3 有限指数部分群が存在しないにもかかわらず、コンパクトなリー群（例：$S^1$）の場合は、標準的な局所化の反例がなぜ失敗しないのか？
• RQ4 等変ホモトピー理論への枠組みとしての $G$-対称モノイダル圏は、モチーフ的ホモトピー理論へ拡張可能か？その設定でどのような構造が現れるか？
• RQ5 ノーム写像とスキーム上のテンソル積演算は、等変対称モノイダル構造をモチーフ的文脈へ拡張する際に果たす役割は何か？

主な発見

• ボウスフィールド局所化が $\mathcal{L}(U)$-代数を保存するための十分条件は、$L$-可縮的対象の圏が $G$-スペクトルの圏における $\mathcal{O}_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$-対称モノイダル構造がスキームに追加のテンソル積演算を伴って一般化可能であると考えられる。