[論文レビュー] 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

ひとこと要約

この論文は、安定ホモトピー論におけるスモーズ積の等長的構造を理解する基盤的な枠組みを確立し、特に幾何的対角線が可換環スペクトラ、固定点スペクトラ、およびウィットベクトル構成を結びつける役割を果たすことに焦点を当てる。固定点 $(E^{\text{∧}2})^{C_2}$ から $E$ への自然な制限写像が存在し、これは高次スモーズ積へ一般化され、ウィットベクトルの構成および安定ホモトピー論におけるクロミティックタワーの基礎をなす。

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$-スペクトラのスモーズ積の等長的構造を体系的に理解すること。
• 固定点スペクトラとウィットベクトルのような代数的構造を結びつける幾何的対角線の役割を明確にすること。
• 等長的直交スペクトラおよびそのスモーズ積のためのモデル圏的基盤を確立すること。
• $(E^{\text{∧}2})^{C_2}$ から $E$ への制限写像が、特に $H\mathbb{Z}/2$ および $2$-進整数の文脈において、深いつながりをもつ代数的・位相的情報をどのように符号化するかを示すこと。
• 固定点スペクトラが高次スモーズ積を通じて増加するクロミティック複雑性を捉えることにより、代数的および位相的視点を統合すること。

提案手法

• 等長的直交スペクトラおよびレベルモデル構造を用いて、安定圏におけるスモーズ積を定義・分析する。
• イルマンの三角形分割定理およびミックスドモデル構造を適用して、等長的空間およびスペクトラを扱う。
• モデル圏におけるコフェイブルおよびファイブル補完を用いて、有限群 $G$ に対して $E$ から $(E^{\text{∧}n})^{G}$ への自然変換として幾何的対角線を定義する。
• カンの拡張およびコエンド計算を用いて、スペクトラの図式圏におけるモデル構造を構成する。
• ベックのモノイド性定理を適用し、適切な小さな性およびセルラリティ条件の下で、$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 スモーズ積の固定点とウィットベクトル構成との間の正確な関係は何か？
• 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$ は自然変換であり、乗法を一般化し、ウィットベクトル構造などの代数的データを符号化する。
• $E = H\mathbb{Z}/2$ の場合、固定点 $(E^{\text{∧}2^n})^{C_{2^n}}$ の経路成分は $\mathbb{Z}/2^n$ と同型であり、$n$ に関する逆極限は $2$-進整数 $\mathbb{Z}_2$ を与え、有限特徴から無限特徴への移行を示す。
• $C_2 \times C_2$-固定点は $E^{\text{∧}4}$ において、ボット周期性の影を含む追加の位相的複雑性を捉える。
• 幾何的対角線は、$E$ からそのスモーズ積の固定点への自然変換として生じ、入力スペクトラおよび群作用に関して関手的である。
• 適切な小さな性およびセルラリティ仮定の下で、図式圏 $[\mathscr{E}_{\mathscr{D}}, \mathscr{C}]_0$ 上にコフェイブル生成モデル構造が存在し、ファイブレーション、コフェイブル、弱同値が点ごとに定義される。
• 左随伴から誘導されるモノイド $T$ に対する $T$-代数の圏は $[\mathscr{D}, \mathscr{C}]_0$ と同型であることが確認され、与えられた条件下で図式圏のモノイド性が裏付けられる。