[論文レビュー] Chromatic homotopy is algebraic when $p > n^{2}+n+1$

Piotr Pstrągowski|arXiv (Cornell University)|Oct 29, 2018

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

ひとこと要約

この論文は、高さ n の p 局在 Landweber 精度ホモロジー理論 E に対して、素数 p が n² + n + 1 より大きいとき、E-局在スペクトルのホモトピー圏が微分 E∗E-余加群のホモトピー圏と同値であることを確立する。この結果は、Bousfield および Franke の代数的モデルをより高い高さへ一般化し、E-局在ホモトピー型の完全な代数的分類を提供するとともに、与えられた素数条件の下で三角形構造がホモトピー 2-圏によって決定されることを示している。

ABSTRACT

We show that if $E$ is a $p$-local Landweber exact homology theory of height $n$ and $p > n^2+n+1$, then there exists an equivalence $h \mathcal{S}p_{E} \simeq h\mathcal{D}(E_{*}E)$ between homotopy categories of $E$-local spectra and differential $E_{*}E$-comodules, generalizing Bousfield's and Franke's results to heights $n > 1$.

研究の動機と目的

• 大素数における E-局在スペクトルのホモトピー圏の代数的モデルを確立し、古典的結果をより高いチクロマティック高さへ一般化すること。
• 高さ n > 1 においてチクロマティックホモトピー理論が代数的モデルを有するかどうかという長年の問題を、素数条件の下で解決すること。
• p > n² + n + 1 のとき、E-局在スペクトルのホモトピー圏が微分 E∗E-余加群のホモトピー圏と同値であることを示すこと。
• 同じ素数条件の下で、E-局在圏の三角形構造がそのホモトピー 2-圏によって記述されることを示すこと。
• ホモロジー次元が非自明な（具体的には n² + n）安定 ∞-圏の間の異方的同値の新しい例を提供すること。

提案手法

• Goerss-Hopkins理論を用いて E-局在スペクトルの構造とそれに関連する Adams 型スペクトル系列を分析する。
• ∞-圏としての E-局在スペクトルの圏と E∗E-余加群の導来 ∞-圏との間の Bousfield 右随伴を構成する。
• 導来実現関手を用いて E∗E-余加群を E-局在スペクトルへ持ち上げ、全射的かつ本質的全射であることを証明する。
• ホモトピー k-圏を用いて同値を精緻化し、p > n² + n + 2 のとき、同値が三角形構造を保存することを示す。
• Lurie の安定 ∞-圏およびホモトピー 2-圏の理論を活用し、hSpE における三角形構造が h₂SpE によって決定されることを示す。
• ホモトピー 2-圏における 1-余カルテジアンコーン構成を用いて、区別される三角形を再構成し、三角形同値を証明する。

実験結果

リサーチクエスチョン

• RQ1 E が高さ n の Landweber 精度理論であり、p > n² + n + 1 のとき、E-局在スペクトルのホモトピー圏は代数的にモデル化可能か？
• RQ2 E-局在スペクトルと微分 E∗E-余加群との同値性は高さ 1 を超えて拡張可能か？ もし可能なら、どのような条件下で成立するか？
• RQ3 素数条件の下で、E-局在ホモトピー圏の三角形構造はそのホモトピー 2-圏によって決定されるか？
• RQ4 E∗E のホモロジー次元が 3 を超えるとき、SpE と D(E∗E) の間の同値性の性質は何か？
• RQ5 この設定において、超積の漸近的代数的性質は有限素数における代数的性質とどのように関係するか？

主な発見

• p > n² + n + 1 のとき、E-局在スペクトルのホモトピー圏と微分 E∗E-余加群のホモトピー圏との間には三角形同値が存在する。
• この同値は異方的である：∞-圏 SpE と D(E∗E) は同値ではないが、それらのホモトピー圏は同値である。
• p > n² + n + 2 のとき、同値は三角形構造を保存する。これは、三角形構造がホモトピー 2-圏によって決定されるからである。
• SpE のホモトピー 2-圏は、そのホモトピー圏における三角形構造を決定する。この結果は h₂C における 1-余カルテジアンコーン構成を用いて証明された。
• この結果は、ホモロジー次元が 3 より大きい安定 ∞-圏の間の、初めて知られる異方的同値を提供する。
• この構成により、任意の E∗E-余加群が E-局在スペクトルのホモロジーとして標準的に実現可能であることが示され、K(n)-局在圏におけるピックの群の代数的性質が強制される。