[論文レビュー] The Lubin-Tate stack and Gross-Hopkins duality

Sanath K. Devalapurkar|arXiv (Cornell University)|Nov 13, 2017

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

ひとこと要約

本稿は、Lubin-Tate スタック $\operatorname{Spf}E/\Gamma$ を用いて、$K(n)$-局所安定ホモトピー理論における主要な結果を再導出し、概念的に解釈するための導来代数幾何の枠組みを確立する。特に、Hopkins＝マホールド＝サドフスキーの定理（$K(n)$-局所ピカール群に関する）と、バートエル＝ボーディ＝ストヤノスカの高次実 $K$-理論のアンダーソン自己双対性を再考する。主な貢献は、Lubin-Tate スタック上のラインバンドルへのモノドロミー作用を用いたグロス＝ホプキンズ双対性の降下理論的証明である。

ABSTRACT

Morava $E$-theory $E$ is an $E_\infty$-ring with an action of the Morava stabilizer group $Γ$. We study the derived stack $\operatorname{Spf} E/Γ$. Descent-theoretic techniques allow us to deduce a theorem of Hopkins-Mahowald-Sadofsky on the $K(n)$-local Picard group, as well as a recent result of Barthel-Beaudry-Stojanoska on the Anderson duals of higher real $K$-theories.

研究の動機と目的

• Lubin-Tate スタック $\operatorname{Spf}E/\Gamma$ 上での降下理論的技法を用いて、$K(n)$-局所ピカール群に関するホプキンズ＝マホールド＝サドフスキーの定理を再導出すること。
• 導来双対性と準連接層を用いて、高次実 $K$-理論、特に $EO_{p-1}$ のアンダーソン自己双対性の概念的解釈を提供すること。
• ホモトピー的およびコホモロジー的条件を用いて、偶数周期的導来デリーニュ＝ムーディ・スタック上の双対化層の同定基準を確立すること。
• スペクトル系列の計算とHFPSSを用いて、$G=C_p$ における高さ $n(p-1)$ での $E_{n(p-1)}^{hG}$ のスパンナー＝ホイットヘッド自己双対性を証明すること。

提案手法

• 導来代数幾何を用いて $\operatorname{Spf}E/\Gamma$ をLubin-Tateスタックとして解釈し、$K(n)$-局所スペクトルの降下理論的解析を可能にする。
• $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$ の同型を適用し、準連接層と $K(n)$-局所圏との関係を明示する。
• $\Gamma$ による $\operatorname{Spf}E/\Gamma$ 上のラインバンドルへのモノドロミー作用を構成し、写像 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ を解釈する。
• $E_{n(p-1)}^{hC_p}$ のホモトピー固定点スペクトル系列（HFPSS）の $E_2$-項を、Hill-Hopkins-Ravenel の微分に関する結果を用いて計算する。
• Toda風の微分および $d_{2p^i-1}$-微分を用いて、$\delta_n^N \gamma$ が永久サイクルであることを示し、$DE^{hC_p} \simeq \Sigma^k E^{hC_p}$ を得る。
• Leray-Hochschild-Serreスペクトル系列を活用し、$C_p$ から一般の有限部分群 $G \subset \Gamma$（Sylow $p$-部分群が $C_p$）への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 $K(n)$-局所ピカール群に関するホプキンズ＝マホールド＝サドフスキーの定理は、Lubin-Tateスタック上の降下理論を用いてどのように再導出可能か？
• RQ2 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ の写像は、$\operatorname{Spf}E/\Gamma$ 上のラインバンドルへのモノドロミー作用として、どのように幾何的に解釈できるか？
• RQ3 $L_{K(n)}I_{\mathbf{Z}}EO_{p-1} \simeq \Sigma^{(p-1)^2 - 1}EO_{p-1}$ が成り立つ理由は何か？高次実 $K$-理論におけるアンダーソン自己双対性の背後にある幾何的根拠は何か？
• RQ4 $E_{n(p-1)}^{hC_p}$ のスパンナー＝ホイットヘッド自己双対性は、スペクトル系列法とHFPSSを用いて確立可能か？
• RQ5 スペクトル $R$ が $\operatorname{Spec}S$ の双対化層であるための条件は何か？ホモトピー的データを用いてどのように同定可能か？

主な発見

• $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$ の同型が確立され、$K(n)$-局所安定ホモトピー理論の導来幾何的解釈が得られる。
• ホプキンズ＝マホールド＝サドフスキーの定理は、$\operatorname{Spf}E \to \operatorname{Spf}E/\Gamma$ のエタール被覆に沿った降下理論的命題として再導出される。
• $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ の写像は、$\operatorname{Spf}E/\Gamma$ 上の $K(n)$-局所可逆スペクトルに対応するラインバンドルのモノドロミー作用として解釈される。
• 基準が証明された：$p$-完備スペクトル $R$ が $\operatorname{Spec}S$ の双対化層であるための必要十分条件は、$\operatorname{Map}(H\mathbf{Z}/p, R) \simeq \Sigma^{-1}H\mathbf{Z}/p$ が成り立つことである。
• $E_{n(p-1)}^{hC_p}$ のスパンナー＝ホイットヘッド自己双対性は、HFPSSにおいて $\delta_n^N \gamma$ が永久サイクルであることを示すことにより証明され、$DE^{hC_p} \simeq \Sigma^k E^{hC_p}$ を得る。
• ノルム不変性をHFPSSで用いることで、Sylow $p$-部分群が $C_p$ であるすべての有限部分群 $G \subset \Gamma$ への結果の拡張が達成される。