[论文解读] Iterated chromatic localisation

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

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

一句话总结

本文引入了一个公理化框架，用于研究稳定同伦范畴中迭代的Bousfield局部化，重点分析了关于有限个Morava 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$-局部稳定同伦范畴中，由有限个Morava $K$-理论并集的Bousfield局部化生成的幺半群 $\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)}$ 等函子的结构洞察，支持分层分裂猜想。

提出的方法

• 引入一个幺半群 ${\mathbb{Q}}$，其元素为集合 $N = \{0,\dotsc,n^*-1\}$ 的幂集的上闭子集，配备非标准的乘法运算 $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$ 是 $\phi_T X$ 关于子集 $T\subseteq A$ 的同伦逆极限，推广了经典的断裂平方。
• 利用 ${\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 由有限子集 $A\subseteq N$ 的Bousfield局部化 $\lambda_A$ 生成的幺半群 $\Lambda$ 的结构是什么？
• RQ2 是否可以证明多个局部化的组合（如 $\lambda_{013}\lambda_{023}$）生成有限子幺半群？
• RQ3 如何将分层断裂平方推广到任意有限集 $A\subseteq N$ 的高维超立方体？
• RQ4 集合 $\mathcal{P}(N)$ 的上闭子集的幺半群 ${\mathbb{Q}}$ 在多大程度上捕捉了迭代局部化的结构，从而支持分层分裂猜想？
• 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$ 恰好有三个元素，表明尽管行为不显然，此类组合仍可产生有限子幺半群。
• 由 $U*V = \{A\cup B \mid A\in U, B\in V, A\angle B\}$ 定义的 ${\mathbb{Q}}$ 上的幺半群结构是结合的，对并集满足分配律，且 $u\emptyset$ 是双侧单位元。
• 函子 $\phi_X: \widehat{K}_*(X) \to K_*(X)$ 是同构，这意味着完备化 $\widehat{K}$ 是一个同调理论，从而可通过展张构造通用逼近。
• 对任意满足 $|K_*(X)| \leq \kappa$ 的 $X$，存在纤维序列 $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证明助手中形式化，确保了正确性并支持进一步验证。