[論文レビュー] Power operations for $ ext{H}\underline{\mathbb{F}}_2$ and a cellular construction of $ ext{BP}\mathbf{R}$

Dylan Wilson|arXiv (Cornell University)|Nov 21, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 4

ひとこと要約

この論文は、正規表現球面の拡張冪とTate構成を用いた共線形化のテクニックを用いて、$\mathrm{H}\underline{\mathbb{F}}_2$ に対する等長的パワー演算子を構成する。これらの演算子の $C_2$-等長的双対ストーンロッド代数への作用を計算し、その結果を用いて、2-局所化スライス細胞を用いた $\mathrm{BP}\mathbf{R}$ のセル構成を与える。これにより $\mathrm{Even}(S^0) \simeq \mathrm{BP}\mathbf{R}$ を証明し、そのスライスタワーを特定する。

ABSTRACT

We study some power operations for ordinary $C_2$-equivariant homology with coefficients in the constant Mackey functor $\underline{\mathbb{F}}_2$. In addition to a few foundational results, we calculate the action of these power operations on a $C_2$-equivariant dual Steenrod algebra. As an application, we give a cellular construction of the $C_2$ equivariant Brown-Peterson spectrum $ ext{BP}\mathbf{R}$ and deduce its slice tower.

研究の動機と目的

• $C_2$-等長的設定における $\mathrm{H}\underline{\mathbb{F}}_2$ に対する等長的パワー演算子を構成し、古典的Dyer-Lashof演算子を拡張する。
• これらのパワー演算子が $C_2$-等長的双対ストーンロッド代数に与える作用、特に生成子 $\tau_0$ への作用を計算する。
• マニフォールドやフォーマル群法則に依存せずに、純粋にホモトピー論的・セル的構成により $\mathrm{BP}\mathbf{R}$ を構成する。
• 構成されたセルモデルを用いて $\mathrm{BP}\mathbf{R}$ のスライスタワーを特定する。
• スライス細胞を用いて $S^0_{(2)}$ に偶数次元の細胞を貼り付けたスペクトル $\mathrm{Even}(S^0)$ が $\mathrm{BP}\mathbf{R}$ と同値であることを示す。

提案手法

• 拡張冪 $S^{n\rho}$ の代わりに共線形化されたバージョンを用いることで、任意の表現球面に対応できるように、スペクトル $\mathrm{Ops}_{\mathrm{H}\underline{\mathbb{F}}_2} := \operatorname{holim}_n (\mathrm{H}\underline{\mathbb{F}}_2 \wedge \Sigma^{n\rho} \mathbb{P}_2(S^{-n\rho}))$ を定義し、パワー演算子を構成する。
• $\mathrm{Ops}_{\mathrm{H}\underline{\mathbb{F}}_2}$ をTate構成のデスパーンセーションと同定することで、そのホモトピーへのスティーロッド作用の計算を可能にする。
• Nishida関係式と作用計算を用いて、パワー演算子が双対ストーンロッド代数に与える作用を特定する。
• $S^0_{(2)}$ に偶数次元の2-局所化スライス細胞を貼り付け、次数 $n\rho - 1$ のホモトピーMackey関手を消去することで $\mathrm{Even}(S^0)$ を構成する。
• 障害理論と $RO(C_2)$-次数付きWhitehead定理を用い、基底スペクトルと幾何的固定点を比較することで、$\mathrm{Even}(S^0) \simeq \mathrm{BP}\mathbf{R}$ を検証する。
• Adamsスペクトル系列と余モジュール構造を用いて、$\mathrm{Even}(S^0)$ が正しいホモトピーMackey関手とスライスフィルトレーションを持つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{H}\underline{\mathbb{F}}_2$ に対する等長的パワー演算子は、正規表現球面を超えて一般化可能か？
• RQ2 これらのパワー演算子は、$C_2$-等長的双対ストーンロッド代数に、特に生成子 $\tau_0$ に対してどのように作用するか？
• RQ3 $\mathrm{BP}\mathbf{R}$ は、マニフォールドやフォーマル群法則に依存せずに、純粋にホモトピー論的データのみを用いてセル的に構成可能か？
• RQ4 $\mathrm{BP}\mathbf{R}$ のスライスタワーは何か？ また、$\mathrm{Even}(S^0)$ のセル構成とどのように関係するか？
• RQ5 スライス細胞を用いて $S^0_{(2)}$ に偶数次元の細胞を貼り付けたスペクトル $\mathrm{Even}(S^0)$ は、$\mathrm{BP}\mathbf{R}$ と同値か？

主な発見

• 任意の $C_2$-スペクトル $X$ に対して、対称的 $C_2$-乗法を持つ場合、$(\mathrm{H}\underline{\mathbb{F}}_2)_\star X$ に等長的パワー演算子 $Q^{n\rho}$ が定義され、古典的Dyer-Lashof性質の類似が成り立つ。
• $C_2$-等長的双対ストーンロッド代数 $\underline{\pi}_\star(\mathrm{H}\underline{\mathbb{F}}_2 \wedge \mathrm{H}\underline{\mathbb{F}}_2)$ は、パワー演算子に関して、$\tau_0 \in \pi^{C_2}_1(\mathrm{H}\underline{\mathbb{F}}_2 \wedge \mathrm{H}\underline{\mathbb{F}}_2)$ を生成子として持つ代数として生成される。
• Nishida関係式はTate構成と作用計算を用いて検証され、非等長的状況でも洗練された導出が可能である。
• $S^0_{(2)}$ に偶数次元の2-局所化スライス細胞を貼り付け、次数 $n\rho - 1$ のホモトピーMackey関手を消去することで構成されたスペクトル $\mathrm{Even}(S^0)$ は $\mathrm{BP}\mathbf{R}$ と同値である。
• $\mathrm{Even}(S^0)$ のホモトピーMackey関手は $\underline{\pi}_{*\rho}(\mathrm{Even}(S^0)) \cong \underline{\mathbb{Z}}_{(2)}[v_1, v_2, \dots]$ であり、$|v_i| = (2^i - 1)\rho$ であり、$\underline{\pi}_{*\rho - 1}(\mathrm{Even}(S^0)) = 0$ である。
• $\mathrm{BP}\mathbf{R}$ のスライスタワーはセル構成から特定され、$n \geq 0$ に対して第 $n$ スライスは $\Sigma^{n\rho} \mathrm{H}\underline{\mathbb{F}}_2$ である。