[论文解读] Descent and cyclotomic redshift for chromatically localized algebraic K-theory

Shay Ben-Moshe, Shachar Carmeli+2 more|arXiv (Cornell University)|Sep 13, 2023

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明了 $T(n+1)$-局部化代数 $K$-理论在 $L_n^f$-局部稳定 $inity$-范畴上的 $pi$-有限 $p$-群作用下满足高阶下降性质，将旋轮红移推广至高度 $n$ 的旋轮扩张，并证明了 $K(n+1)$-局部化 $K$-理论在任意 $T(n)$-局部环的旋轮塔上满足超下降性质。这些结果验证了红移猜想的精化形式，并通过旋轮超下降的反例解决了对望远镜猜想的关键障碍。

ABSTRACT

We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture.

研究动机与目标

• 将 $T(n+1)$-局部化代数 $K$-理论的下降性质扩展至 $L_n^f$-局部范畴上的 $pi$-有限 $p$-群作用。
• 证明 $T(n+1)$-局部化 $K$-理论将 $T(n)$-局部伽罗瓦扩张映射为 $T(n+1)$-局部伽罗瓦扩张。
• 证明 $T(n+1)$-局部化 $K$-理论将高度 $n$ 的旋轮扩张映射为高度 $n+1$ 的旋轮扩张，从而推广了 $n=0$ 时 Bhatt–Clausen–Mathew 的结果。
• 证明 $K(n+1)$-局部化 $K$-理论在任意 $T(n)$-局部环的旋轮塔上满足超下降性质。
• 构造 $T(n+1)$-局部化 $K$-理论在旋轮超下降上的反例，从而否定了望远镜猜想。

提出的方法

• 通过高阶范畴下降技术，将 Clausen–Mathew–Naumann–Noel 的有限 $p$-群下降结果推广至 $pi$-有限 $p$-群。
• 应用单色范畴与范畴局部化的理论，分析 $L_n^f$-局部稳定 $inity$-范畴。
• 在旋轮扩张的背景下，利用傅里叶变换与库默尔理论，将 $R[\omega_{p^{(-)}}^{(n)}]$ 的 $K$-理论与旋轮层联系起来。
• 在 $Z_p$-集合范畴上应用 $d^*$ 与 $d_*$ 函子，将 $K$-理论与超层化及旋轮完备化联系起来。
• 采用旋轮完备化的概念以及 $S_{T(n+1)}[\omega_{p^\infty}^{(n+1)}]$-局部化，以刻画超层。
• 利用旋轮完备性与 $S_{T(n+1)}[\overline{\omega}_{p^\infty}^{(n+1)}]$-局部化的等价性，建立超下降性质。

实验结果

研究问题

• RQ1 在 $L_n^f$-局部范畴上，$T(n+1)$-局部化代数 $K$-理论是否对 $pi$-有限 $p$-群作用满足下降性质？
• RQ2 $T(n+1)$-局部化 $K$-理论是否将 $T(n)$-局部伽罗瓦扩张映射为 $T(n+1)$-局部伽罗瓦扩张？
• RQ3 $T(n+1)$-局部化 $K$-理论是否将高度 $n$ 的旋轮扩张映射为高度 $n+1$ 的旋轮扩张？
• RQ4 $K(n+1)$-局部化 $K$-理论是否在任意 $T(n)$-局部环的旋轮塔上满足超下降性质？
• RQ5 能否构造 $T(n+1)$-局部化 $K$-理论在旋轮超下降上的反例？其对望远镜猜想有何含义？

主要发现

• 本文证明了 $T(n+1)$-局部化代数 $K$-理论在 $pi$-有限 $p$-群作用于 $L_n^f$-局部稳定 $inity$-范畴时满足下降性质，推广了先前针对有限 $p$-群的结果。
• 本文确立了 $T(n+1)$-局部化 $K$-理论将 $T(n)$-局部伽罗瓦扩张映射为 $T(n+1)$-局部伽罗瓦扩张，验证了红移哲学的关键预测。
• 本文表明 $T(n+1)$-局部化 $K$-理论将高度 $n$ 的旋轮扩张映射为高度 $n+1$ 的旋轮扩张，推广了 $n=0$ 时 Bhatt–Clausen–Mathew 的结果。
• 本文通过超层化与旋轮完备化，证明了 $K(n+1)$-局部化 $K$-理论在任意 $T(n)$-局部环的旋轮塔上满足超下降性质。
• 本文构造了 $T(n+1)$-局部化 $K$-理论在旋轮超下降上的反例，从而否定了望远镜猜想。
• 结果表明 $K_{T(n+1)}(R[\overline{\omega}_{p^{(-)}}^{(n)}])$ 既是超层，也是逐级旋轮完备的，其中 $d^*$-映射的像为源对象的超层化与旋轮完备化。