[論文レビュー] On the Bousfield classes of $H_\infty$-ring spectra

Jeremy Hahn|arXiv (Cornell University)|Dec 13, 2016

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

ひとこと要約

この論文は、$D_p$-代数スペクトラ（$ extrm{H}_inity$-および$ extrm{E}_inity$-リングスペクトラを一般化する）が、素数$p$において$K(h)$-acyclicである限り、$K(h+1)$-acyclicであることを証明し、マーク・ホーヴェイの長年の予想を裏付ける。証明は、$K(h+1)$-局所化$D_p$-$E$-代数における新しい重み$p$の冪演算を用い、$(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$を法とする$P(x)$の像が、$(p, u_1, \dots, u_k)$を法とする$x$にのみ依存することを示す。これにより、帰納的ニルポテンスの議論を用いて、$R$が$K(h)$-acyclicならば$R \simeq 0$、従って$K(h+1)$-acyclicであることが結論づけられる。

ABSTRACT

We prove that any K(n)-acyclic, $D_p$-ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.

研究の動機と目的

• マーク・ホーヴェイの予想、すなわち$K(h)$-acyclicな$ extrm{E}_inity$-リングスペクトラは$K(h+1)$-acyclicである、を解決すること。
• この結果を、$ extrm{E}_inity$より弱く、ホモトピー可換環より強い構造である$D_p$-代数へ一般化すること。
• $K(h+1)$-局所コホモロジーにおける冪演算を用いて、メイのニルポテンス予想の高次クロミティック版を確立すること。
• ホモトピー的赤移動と代数的$K$-理論における降下の構造的基盤を提供すること。

提案手法

• $K(h+1)$-局所化$D_p$-$E$-代数における重み-$p$冪演算$P: \pi_0(R) \to R^0(BC_p)$を導入する。
• $P(x)$を理想$(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$を法として分析し、それが$(p, u_1, \dots, u_k)$を法とする$x$にのみ依存することを示す。
• 同型$E^0(BC_p)/(p, u_1, \dots, u_k, g_{k+1}(z)) \cong \mathbb{F}_p[[u_h]]/g(z)$を用いて、問題を係数ごとの解析に還元する。
• ワイエルシュトラスの準備定理を適用して、$E^{hC_p}$が$E$上で自由であることを確立し、テート固定点とホモトピー固定点を比較可能にする。
• $K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$であるという事実を用いて、$R^{tC_p}$の$K(h)$-acyclicityと$R$のそれとの関係を結ぶ。
• 帰納的ニルポテンスの議論を用いる：$\pi_0(R/(p, \dots, u_{h-1}))$において$u_h^n$が0に写されるならば、$u_h^{n-1}$も0に写され、最終的に$R \simeq 0$が導かれる。

実験結果

リサーチクエスチョン

• RQ1 素数$p$において、$D_p$-代数スペクトラが$K(h)$-acyclicであるならば、$K(h+1)$-acyclicであるか？
• RQ2 $K(h+1)$-局所コホモロジーにおける冪演算を用いて、メイのニルポテンス予想を高次クロミティック高さへ拡張できるか？
• RQ3 $E/(p, u_1, \dots, u_k)$-コホモロジーに、$E^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$を通る冪演算が存在するか？
• RQ4 $D_p$-代数において、$R^{tC_p}$が$K(h)$-acyclicであるならば、$R$は$K(h+1)$-acyclicであるか？
• RQ5 $R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$の構造を用いて、$\pi_0(R)$におけるニルポテンスを検出できるか？

主な発見

• 定理1.3は、$K(h)$-acyclicな任意の$D_p$-代数スペクトラ$R$が、必然的に$K(h+1)$-acyclicであることを確立し、ホーヴェイの予想を裏付ける。
• 定理1.6は、$R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$における重み-$p$冪演算$P(x)$の像が、$(p, u_1, \dots, u_k)$を法とする$x$にのみ依存することを示し、これはメイのニルポテンス設定の高次クロミティック版に相当する。
• 系4.5.3は、$\mathbb{F}_p[[u_h]]$において正の付値を持つ$E_0$の元$x$が$\pi_0(R/(p, \dots, u_{h-1}))$において0に写されるならば、$R \simeq 0$であることを証明し、これにより$K(h+1)$-acyclicityが導かれる。
• 定理4.6は、$K(h)$-acyclicならば$D_p$-代数は$K(h+1)$-acyclicであることを確認し、証明は$u_h$に関する帰納的ニルポテンスの議論に依存する。
• 系4.6.1は、結果をテート構成へ拡張する：$R^{tC_p}$が$K(h)$-acyclicならば、$R$は$K(h+1)$-acyclicである。これはクラウーゼンらの結果を一般化する。
• 本論文は、$K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$であることを確立し、$R^{tC_p}$の$K(h)$-acyclicityと$R$のそれとの関係を結ぶ上で鍵となる。