[论文解读] The Chromatic Nullstellensatz

Robert Burklund, Tomer M. Schlank+1 more|arXiv (Cornell University)|Jul 20, 2022

Advanced Topics in Algebra被引用 6

一句话总结

本文在稳定同伦理论中建立了希尔伯特的零点定理的色彩类比，表明在代数闭域上的卢比恩–塔特谱是满足零点定理条件的唯一 $T(n)$-局部 $ extrm{E}_ty$-环。本文引入了 $T(n)$-局部 $ extrm{E}_ty$-环的几何点上的构造拓扑，并证明了通过映射到这些卢比恩–塔特理论可检测到幂零性，从而在色彩同伦理论和 $K$-理论中产生了应用。

ABSTRACT

We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$, the collection of $\mathbb{E}_\infty$-ring maps from $R$ to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$ admits an $\mathbb{E}_\infty$-ring map to such a Lubin-Tate theory. As consequences, we construct $\mathbb{E}_{\infty}$ complex orientations of algebraically closed Lubin-Tate theories, compute the strict Picard spectra of such Lubin-Tate theories, and prove redshift for the algebraic $\mathrm{K}$-theory of arbitrary $\mathbb{E}_{\infty}$-rings.

研究动机与目标

• 通过范畴零点定理条件刻画代数闭域，将希尔伯特的零点定理推广到色彩稳定同伦理论的语境中。
• 在 $T(n)$-局部 $ extrm{E}_ty$-环的几何点上定义一个构造拓扑，类比代数几何中的扎里斯基谱。
• 证明在 $T(n)$-局部 $ extrm{E}_ty$-环中，幂零性可通过映射到代数闭域上的卢比恩–塔特理论被检测。
• 将此检测结果应用于构造 $ extrm{E}_ty$-复方向、计算严格 Picard 谱，并证明任意 $ extrm{E}_ty$-环的代数 $K$-理论的红移性质。

提出的方法

• 在可生成的 $ty$-范畴中，将一个对象定义为零点定理型对象，若其在紧致且非终端时可映射到初始对象。
• 利用 $T(n)$-局部 $ extrm{E}_ty$-环的分类，证明仅在代数闭域上的卢比恩–塔特谱满足零点定理条件。
• 将 $T(n)$-局部 $ extrm{E}_ty$-环的构造谱定义为几何点的集合——即映射到卢比恩–塔特理论的等价类——并赋予由代数同态诱导的映射图像定义的拓扑。
• 证明 $T(n)$-局部 $ extrm{E}_ty$-环的谱上的构造拓扑是紧致豪斯多夫空间，推广了经典的扎里斯基构造拓扑。
• 建立映射到卢比恩–塔特理论的集合联合检测 $T(n)$-局部 $ extrm{E}_ty$-环中的幂零性，依据梅的幂零性猜想和幂零保守性。
• 将结果应用于构造代数闭域上卢比恩–塔特理论的 $ extrm{E}_ty$-复方向，并计算其严格 Picard 谱。

实验结果

研究问题

• RQ1 哪些 $T(n)$-局部 $ extrm{E}_ty$-环满足希尔伯特零点定理的同伦类比？
• RQ2 能否将 $T(n)$-局部 $ extrm{E}_ty$-环的几何点赋予拓扑结构，使其成为一个类比于扎里斯基谱的紧致豪斯多夫空间？
• RQ3 在 $T(n)$-局部 $ extrm{E}_ty$-环中，是否可通过映射到代数闭域上的卢比恩–塔特理论检测幂零性？
• RQ4 代数闭域上卢比恩–塔特理论的严格 Picard 谱是什么？
• RQ5 色彩零点定理是否蕴含任意 $ extrm{E}_ty$-环的代数 $K$-理论的红移性质？

主要发现

• 色彩零点定理将代数闭域上的卢比恩–塔特谱刻画为满足零点定理条件的唯一 $T(n)$-局部 $ extrm{E}_ty$-环：一个 $T(n)$-局部 $ extrm{E}_ty$-环是零点定理型的，当且仅当它同构于某个代数闭域 $L$ 上的 $E(L)$。
• $T(n)$-局部 $ extrm{E}_ty$-环的构造谱是一个紧致豪斯多夫拓扑空间，其闭集由代数同态诱导的映射图像定义。
• 在 $T(n)$-局部 $R$-模中，幂零性由从 $R$ 到代数闭域上卢比恩–塔特理论的 $ extrm{E}_ty$-环映射集合共同检测。
• 每个非零的 $T(n)$-局部 $ extrm{E}_ty$-环都存在一个到代数闭域上卢比恩–塔特理论的 $ extrm{E}_ty$-环映射。
• 代数闭域上卢比恩–塔特理论的严格 Picard 谱通过构造谱和到初始对象的映射的幂零保守性被计算出来。
• 红移性质对任意 $ extrm{E}_ty$-环的代数 $K$-理论成立，这由幂零性检测和 $T(n)$-局部设定下构造谱的结构所证明。