[论文解读] Exotic Motivic Periodicities

Bogdan Gheorghe|arXiv (Cornell University)|Sep 4, 2017

Algebraic Geometry and Number Theory参考文献 18被引用 9

一句话总结

本文提出了一种基于复数谱 $\operatorname{Spec} \mathbb{C}$ 上的 motivic 球面稳定同伦群中非幂零元 $\eta$ 的新型 motivic 周期性理论，记为 $w_n$-周期性。该理论构建了 motivic 域 $K(w_n)$ 与一个 $E_\infty$ 环谱 $wBP$，其同伦群满足 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$，从而为 motivic 同伦理论中奇异周期现象的探测提供了框架。

ABSTRACT

One can attempt to study motivic homotopy groups by mimicking the classical (non-motivic) chromatic approach. There are however major differences, which makes the motivic story more complicated and still not well understood. For example, classically the $p$-local sphere spectrum $S^0_{(p)} $ admits an essentially unique non-nilpotent self-map, which is not the case motivically, since Morel showed that the first Hopf map $η\colon S^{1,1} o S^{0,0}$ is non-nilpotent. In the same way that the non-nilpotent self-map $2 = v_0 \in π_{\ast,\ast}(S^{0,0})$ starts the usual chromatic story of $v_n$-periodicity, there is a similar theory starting with the non-nilpotent element $η\in π_{\ast,\ast}(S^{0,0})$, which Andrews-Miller denoted by $η= w_0$. In this paper we investigate the beginning of the motivic story of $w_n$-periodicity when the base scheme is $\mathbf{Spec} \! \ \mathbb{C}$. In particular, we construct motivic fields $K(w_n)$ designed to detect such $w_n$-periodic phenomena, in the same way that $K(n)$ detects $v_n$-periodic phenomena. In the hope of detecting motivic nilpotence, we also construct a more global motivic spectrum $wBP$ with homotopy groups $π_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$.

研究动机与目标

• 建立经典分层周期性理论的 motivic 类比，但起点并非 $v_0 = 2$，而是 $w_0 = \eta$，即第一个 motivic Hopf 映射。
• 解决由于存在多个非幂零自映射（如 $2$ 和 $\eta$）而导致经典分层算法在 motivic 同伦理论中失效的问题。
• 构建可探测 $w_n$-周期性现象的 motivic 域谱 $K(w_n)$，其作用类似于 $K(n)$ 对 $v_n$-周期性的探测。
• 定义并构建一个 $E_\infty$ 环谱 $wBP$，满足 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$，作为全局 motivic 周期性理论的载体。
• 通过基于 $\overline{H}$ 的 $C\tau$-线性 motivic Adams 族谱序列，提供一个计算框架，以分析 $w_n$-周期性结构。

提出的方法

• 利用 $C\tau$-模范畴来建模 $\operatorname{Spec} \mathbb{C}$ 上的细胞 motivic 谱，从而实现 $\overline{H}$-同调的计算。
• 应用基于 $\overline{H}$ 的 $C\tau$-线性 motivic Adams 族谱序列，计算商 Stiefel-Stratifold 代数 $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$ 上的 $\operatorname{Ext}$-群。
• 将 $k(w_n)$ 构造为在 $\overline{H}$-Stiefel-Stratifold 代数上对 $\mathbb{F}_2$ 的解析，再通过 $E_\infty$-环结构提升为 $K(w_n)$。
• 将 $wBP$ 构造为在 $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$ 上对 $\mathbb{F}_2$ 的解析，满足 $\overline{H}^{\ast,\ast}(wBP) \cong \overline{\mathcal{A}}//E(P_1, P_2, \ldots)$。
• 利用环结构变换同构，证明 Adams 族谱序列在 $E_2$ 页崩溃，从而得出 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$。
• 将 $wBP\langle n\rangle$ 构造为 $wBP$ 关于 $w_{n+1}, w_{n+2}, \ldots$ 的商，其同伦群满足 $\pi_{\ast,\ast}(wBP\langle n\rangle) \cong \mathbb{F}_2[w_0, \ldots, w_n]$。

实验结果

研究问题

• RQ1 能否从 $w_0 = \eta$ 而非 $v_0 = 2$ 出发，构建 motivic 周期性理论？
• RQ2 哪些适当的 motivic 域谱 $K(w_n)$ 可用于探测 $w_n$-周期性现象？
• RQ3 如何构建一个 $E_\infty$ 环谱 $wBP$，使其满足 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$？
• RQ4 针对 $wBP$ 的 motivic Adams 族谱序列是否在 $E_2$ 页崩溃？这对其同伦群意味着什么？
• RQ5 能否使 $wBP\langle n\rangle$ 的构造与 $E_\infty$ 环结构相容？

主要发现

• 针对 $wBP$ 的 motivic Adams 族谱序列在 $E_2$ 页崩溃，且无隐藏扩张，从而得出 $\pi_{\ast,\ast}(wBP) \cong \mathbb{F}_2[w_0, w_1, \ldots]$。
• motivic 域谱 $K(w_n)$ 被构造为一个 $E_\infty$ 环谱，满足 $\overline{H}^{\ast,\ast}(K(w_n)) \cong \overline{\mathcal{A}}//E(P_1, \ldots, P_n)$ 作为 $\overline{\mathcal{A}}$-模。
• $wBP\langle n\rangle$ 被构造为 $wBP$ 的商，且其上存在 $E_\infty$ 环结构，满足 $\pi_{\ast,\ast}(wBP\langle n\rangle) \cong \mathbb{F}_2[w_0, \ldots, w_n]$。
• $wBP$ 的 $\overline{H}$-同调同构于 $\overline{\mathcal{A}}//E(P_1, P_2, \ldots)$，确认了周期性理论所预期的代数结构。
• $wBP$ 的构造依赖于通过 $C\tau$-线性解析在 $\overline{H}$-Stiefel-Stratifold 代数上对 $\mathbb{F}_2$ 的解析，微分由 Margolis 元素 $P_t^s$ 定义。
• $wBP\langle n\rangle$ 的谱序列同样在 $E_2$ 页崩溃，且 $\operatorname{Ext}$-群同构于 $\mathbb{F}_2[w_0, \ldots, w_n]$，从而确认了周期性结构。