[論文レビュー] Iterated chromatic localisation

Neil Strickland, Nicola Bellumat|arXiv (Cornell University)|Jul 17, 2019

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

ひとこと要約

この論文は、$p$-局所安定ホモトピー圏における反復ボウスフィールド局所化を研究する公理的枠組みを導入し、モラバ $K$-理論の有限和集合に関する局所化の合成に注目する。$p$-局所スペクトラに作用する自己函手のモノイド ${\mathbb{Q}}$ を定義し、特定の局所化の合成が有限モノイドを生成すること（例えば $\langle \lambda_{013}\lambda_{023} \rangle = 3$）を証明し、クロミティック断片化ハイパーキューブ構造を確立することで、トランスクロミティック現象の解析に役立つツールを提供し、クロミティック分割予想を支援する。

ABSTRACT

We study a certain monoid of endofunctors of the stable homotopy category that includes localizations with respect to finite unions of Morava $K$-theories. We work in an axiomatic framework that can also be applied to analogous questions in equivariant stable homotopy theory. Our results should be helpful for the study of transchromatic phenomena, including the Chromatic Splitting Conjecture. The combinatorial parts of this work have been formalised in the Lean proof assistant.

研究の動機と目的

• $p$-局所安定ホモトピー圏におけるモラバ $K$-理論の有限和集合に関するボウスフィールド局所化によって生成されるモノイド $\Lambda$ の代数的構造を理解すること。
• クロミティックおよび等変安定ホモトピー論に適用可能な公理的枠組みを構築し、既知のクロミティック断片化正方形の一般化を行うこと。
• 反復局所化 $L_{K(A)}L_{K(B)}$ の振る舞いを分析し、$\langle \lambda_{013}\lambda_{023} \rangle = 3$ のような生成された部分モノイドの有限性を証明すること。
• Lean証明支援系を用いて理論の組合せ的コアを形式化し、正しさを保証するとともに、さらなる検証を可能にする。
• $L_{n-1}L_{K(n)}$ や $L_{K(n-1)}L_{K(n)}$ のような函手の構造的洞察を提供することで、クロミティック分割予想を支援すること。

提案手法

• 自然数集合 $N = \{0,\dotsc,n^*-1\}$ の冪集合の上向き閉集合の族からなるモノイド ${\mathbb{Q}}$ を導入し、非標準的なモノイド積 $U*V = \{A\cup B \mid A\in U, B\in V, A\angle B\}$ を備える。ここで $A\angle B$ はすべての $a\in A$, $b\in B$ に対して $a\leq b$ が成り立つことを意味する。
• 各 $A = \{a_1 < \dotsb < a_r\}$ に対して、$\phi_A(X) = L_{K(a_1)}\dotsb L_{K(a_r)}X$ と定義し、反復局所化を表す。
• クロミティック断片化ハイパーキューブ構造を確立：$\lambda_A X$ は部分集合 $T\subseteq A$ に関する $\phi_T X$ のホモトピー逆極限として定義され、古典的な断片化正方形を一般化する。
• ${\mathbb{Q}}$ の順序集合構造と、$\phi_X: \widehat{K}_*(X) \to K_*(X)$ による余単位写像を用いて、$\phi_X$ が同型であることを示し、$\widehat{K}$ がホモロジー理論であることを示す。
• ファイバー列にテレスコープ構成を適用して $G^\infty X$ と $F_\infty X$ を定義し、$K_*(F_\infty X) \to K_*(X)$ が同型であり、$K_*(G^\infty X) = 0$ であることを証明する。
• 圏 $X/{\mathcal{U}}$ における弱い初期スケルトンを用いて、任意の対象が $\mathcal{T}_\infty^\kappa$ に属する対象から射をもつことを示し、普遍近似の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 自然数集合 $N$ の有限部分集合 $A\subseteq N$ に対して定義されるボウスフィールド局所化 $\lambda_A$ によって生成されるモノイド $\Lambda$ の構造は何か？
• RQ2 例えば $\lambda_{013}\lambda_{023}$ のような複数の局所化の合成が、有限部分モノイドを生成することを示せるか？
• RQ3 任意の有限集合 $A\subseteq N$ に対して、クロミティック断片化正方形を高次元ハイパーキューブへ一般化できるか？
• RQ4 ${\mathbb{Q}}$ が $\mathcal{P}(N)$ の上向き閉集合のモノイドとして、反復局所化の構造をどれほど正確に捉えられるか？ そして、クロミティック分割予想を支援するか？
• RQ5 これらの局所化の組合せ的構造を、Lean のような証明支援系で形式化・検証できるか？

主な発見

• 局所化 $L_{K(0)\vee K(1)\vee K(3)}L_{K(0)\vee K(2)\vee K(3)}$ の合成によって生成されるモノイド $\langle \lambda_{013}\lambda_{023} \rangle$ は、ちょうど3つの元を持つ。これは、非自明な振る舞いを示すが、このような合成が有限部分モノイドを生成できることを示している。
• ${\mathbb{Q}}$ におけるモノイド構造 $U*V = \{A\cup B \mid A\in U, B\in V, A\angle B\}$ は結合的であり、和集合に関して分配的であり、$u\emptyset$ が両側単位元である。
• 函手 $\phi_X: \widehat{K}_*(X) \to K_*(X)$ は同型である。これは、完成化 $\widehat{K}$ がホモロジー理論であることを示し、テレスコープを用いた普遍近似の構成を可能にする。
• 任意の $X$ に対して $|K_*(X)| \leq \kappa$ ならば、ファイバー列 $F_\infty X \to X \to G^\infty X$ が存在し、$F_\infty X \in \mathcal{T}_\infty^\kappa$、$K_*(F_\infty X) \to K_*(X)$ が同型であり、$K_*(G^\infty X) = 0$ である。
• $X/{\mathcal{U}}$ の圏には、ファイバーが $\mathcal{T}_\infty^\kappa$ に属する射 $X \to U$ からなる弱い初期スケルトンが存在し、これは圏内の対象に対する普遍近似性質を提供する。
• モノイド構造や断片化ハイパーキューブを含む理論の組合せ的コアは、Lean 証明支援系に形式化されており、正しさを保証するとともに、さらなる検証を可能にしている。