[論文レビュー] 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$ の巡回拡張へ巡回赤移を拡張し、任意の $T(n)$-局在環の巡回塔に沿って $K(n+1)$-局在化された $K$-理論がハイパーデセンツを満たすることを示している。これらの結果は、赤移予想の洗練形を裏付け、巡回ハイパーデセンツの反例を通じてテレスコープ予想の主要障害を解消する。

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 の結果を拡張する。
• 任意の $T(n)$-局在環の巡回塔に沿って $K(n+1)$-局在化された $K$-理論がハイパーデセンツを満たすことの証明。
• $T(n+1)$-局在化された $K$-理論に対する巡回ハイパーデセンツの反例の提示。これによりテレスコープ予想が反証される。

提案手法

• 高次圏的デセンツ技法を用いて、Clausen–Mathew–Naumann–Noel の有限 $p$-群に対するデセンツ結果を $\pi$-有限 $p$-群へ拡張する。
• モノクロマティックカテゴリの理論と圏的局在化の理論を用いて、$L_n^f$-局在安定 $inity$-圏を分析する。
• 巡回拡張の文脈でフーリエ変換とクンマー理論を用い、$R[\omega_{p^{(-)}}^{(n)}]$ の $K$-理論と巡回層との関係を特定する。
• ${\mathbb{Z}_p}$-集合のサイト上で $d^*$ および $d_*$ ファンクターを適用し、$K$-理論とハイパーシーブ化、巡回完備化との関係を確立する。
• 巡回完備化と $\mathbb{S}_{T(n+1)}[\omega_{p^\infty}^{(n+1)}]$-局在化の概念を用いて、ハイパーシーブを特徴付ける。
• 巡回完備性と $\mathbb{S}_{T(n+1)}[\overline{\omega}_{p^\infty}^{(n+1)}]$-局在化の同値性を用いてハイパーデセンツを確立する。

実験結果

リサーチクエスチョン

• RQ1 $T(n+1)$-局在化された代数的 $K$-理論は、$L_n^f$-局在カテゴリ上の $\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$-理論が、$L_n^f$-局在安定 $inity$-カテゴリ上の $\pi$-有限 $p$-群作用に対してデセンツを満たすことを証明し、以前の有限 $p$-群に対する結果を一般化している。
• $T(n+1)$-局在化された $K$-理論が $T(n)$-局在ガロア拡張を $T(n+1)$-局在ガロア拡張に写すことの確立により、赤移哲学の主要予測が裏付けられた。
• $T(n+1)$-局在化された $K$-理論が高さ $n$ の巡回拡張を高さ $n+1$ の巡回拡張に写すことの証明により、$n=0$ の場合の Bhatt–Clausen–Mathew の結果が拡張された。
• ハイパーシーブ化と巡回完備化を介して、任意の $T(n)$-局在環の巡回塔に沿って $K(n+1)$-局在化された $K$-理論がハイパーデセンツを満たすことを証明した。
• $T(n+1)$-局在化された $K$-理論に対する巡回ハイパーデセンツの反例を構成し、これによりテレスコープ予想が反証された。
• 結果として、$K_{T(n+1)}(R[\overline{\omega}_{p^{(-)}}^{(n)}])$ はハイパーシーブであり、かつレベルごとに巡回的に完備であることが示され、$d^*$-写像の像は、元の対象のハイパーシーブ化および巡回完備化である。