[論文レビュー] The slice spectral sequence of a $C_4$-equivariant height-4 Lubin-Tate theory

Michael A. Hill, Xiaolin Shi+2 more|arXiv (Cornell University)|Nov 19, 2018

Black Holes and Theoretical Physics参考文献 22被引用数 10

ひとこと要約

本稿は、$C_4$--equivariantな高さ4のLubin-Tate理論 $BP^{(C_4)}\langle 2\rangle$ の完全なスライススペクトル系列を計算し、$E_{61}$-ページで収束すること、かつフィルトレーション61で水平な消滅ラインを有することを確立している。主な結果は、$K(4)$-局所球面の主要な構成要素である $p=2$ における $E_4^{hC_{12}}$ が384周期的であることであり、これはスライススペクトル系列の枠組みにより、チロノロジカルホモトピー理論における主要な計算的課題を解決した。

ABSTRACT

We completely compute the slice spectral sequence of the $C_4$-spectrum $BP^{((C_4))}\langle 2 angle$. After periodization and $K(4)$-localization, this spectrum is equivalent to a height-4 Lubin-Tate theory $E_4$ with $C_4$-action induced from the Goerss-Hopkins-Miller theorem. In particular, our computation shows that $E_4^{hC_{12}}$ is 384-periodic.

研究の動機と目的

• $p=2$ における高さ4のLubin-Tate理論の $C_4$-equivariantモデルである $BP^{(C_4)}\langle 2\rangle$ のスライススペクトル系列を計算すること。これは古典的手法のホモトピー固定点スペクトル系列では扱いにくい。
• $n > 2$ および $p=2$ の場合に $E_n^{hG}$ を計算する困難を克服すること。この場合、$π_*E_n$ 上の $G$-作用が障害的であり、体系的な記述が欠けている。
• 高さ4のLubin-Tateスペクトルの $C_{12}$-作用におけるホモトピー固定点に周期性を確立すること。これは $K(4)$-局所球面の主要な構成要素を提供する。
• スライススペクトル系列が、$p=2$ における $K(n)$-局所スペクトルの高次元な計算に、-equivariant安定ホモトピー論においてどれほど強力であるかを示すこと。

提案手法

• 著者たちは、Goerss-Hopkins-Millerの定理を用いて構成された $C_4$-equivariantスペクトル $BP^{(C_4)}\langle 2\rangle$ のスライススペクトル系列（SSS）を用いる。
• $E_2$-ページは、制限 $i_{C_2}^*BP^{(C_4)}\langle 2\rangle$ の $C_2$-スライススペクトル系列を用いて計算され、$BP^{(C_4)}\langle 1\rangle$ の既知の計算を活用する。
• 高次の微分は段階的に計算される：$d_{13}, d_{15}$ は低次のチロノロジーから誘導される微分により；$d_{29}, d_{31}$ はノーム構造を用いて；$d_{35}$ から $d_{61}$ までは、消滅定理と代数的制約の組み合わせにより。
• $E_{29}$-ページは消滅定理を用いて安定化され、残りの微分 $d_{61}$ までが代数的関係と-equivariantホモトピー群の構造を用いて計算される。
• 計算は、$\bar{s}_1, \bar{\mathfrak{d}}_3, \bar{\mathfrak{d}}_1$ や $\bar{v}_4, \bar{r}_3$ のノームを含む、$BP^{(C_4)}\langle 2\rangle$ の-equivariantホモトピー群における明示的生成子と関係式に依存する。
• 最終的な $E_{\infty}$-ページはフィルトレーション $\leq 61$ に集中しており、スペクトル系列は $E_{61}$ で収束することが示された。

実験結果

リサーチクエスチョン

• RQ1 $C_4$-equivariantな高さ4のLubin-Tate理論 $BP^{(C_4)}\langle 2\rangle$ の完全なスライススペクトル系列の構造は何か？
• RQ2 スライススペクトル系列は、$p=2$ における $K(4)$-局所球面の主要な構成要素である $E_4^{hC_{12}}$ をどのように計算できるか？
• RQ3 $C_{12}$-作用下での高さ4のLubin-Tateスペクトルのホモトピー固定点にどのような周期性が現れるか？
• RQ4 古典的手法が失敗する $n > 2$ および $p=2$ の場合に、スライススペクトル系列は $E_n^{hG}$ の計算障害をどのように解消できるか？

主な発見

• スライススペクトル系列 $BP^{(C_4)}\langle 2\rangle$ は $E_{61}$-ページで収束し、フィルトレーション61で水平な消滅ラインを有しており、すべての微分が決定され、さらに拡張は不要であることを示している。
• 要素 $D_2 = N(\bar{v}_4)N(\bar{r}_3)N(\bar{r}_3^2 + \bar{r}_3(\gamma\bar{r}_3) + (\gamma\bar{r}_3)^2)$ を逆元化した後、スペクトル $D_2^{-1}BP^{(C_4)}\langle 2\rangle$ は三つの周期性を示す：$S^{3\rho_4} \wedge \Psi \simeq \Psi$、$S^{8-8\sigma} \wedge \Psi \simeq \Psi$、および $S^{32+32\sigma - 32\lambda} \wedge \Psi \simeq \Psi$。
• これらの三つの周期性が組み合わさり、$\Psi^{C_4}$ および $E_4^{hC_{12}}$ が384周期的であることが示され、そのホモトピー群は周期384で周期的である。
• $d_{13}, d_{15}, d_{29}, d_{31}, d_{35}, d_{43}, d_{51}, d_{53}, d_{55}, d_{59}, d_{61}$ の微分はすべて明示的に計算され、それぞれに明確な式が与えられている。
• $E_{\infty}$-ページは明示的に記述されており、すべての永久サイクルと微分がカウントされ、$E_{61}$ での収束が確認された。
• この計算により、$E_4^{hC_{12}}$ が384周期的であることが確立され、$p=2$ における $K(4)$-局所球面の高さ4の構成要素の最初の完全な計算が達成された。