[论文解读] A historical overview of pro cdh descent in algebraic $K$-theory and its relation to rigid analytic varieties

Matthew Morrow|arXiv (Cornell University)|Dec 1, 2016

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

一句话总结

本文提供了代数K-理论中pro cdh下降的歷史概述，確立了其在將K-理論推廣至剛性解析概形中的基礎性作用。它表明，由Kerz、Strunk和Tamme一般性證明的pro cdh下降，可實現剛性解析空間上連續K-理論預層滿足Mayer–Vietoris下降，從而為非阿基米德幾何建立了一個穩健的K-理論框架。

ABSTRACT

This note was prepared after the workshop on cdh descent and algebraic $K$-theory in Hara-mura, Japan (1 - 5 Sept. 2016), to complement the author's talk on the history and applications of pro cdh descent. In the final section pro cdh descent is used to define $K$-groups of rigid analytic varieties. This note was revised and released in light of Kerz, Strunk, and Tamme establishing pro cdh descent in general (arXiv:1611.08466).

研究动机与目标

• 追蹤代數K-理論中pro cdh下降的歷史發展，特別是其如何從pro excision和抽象爆破平方中產生。
• 釐清pro cdh下降在實現剛性解析概形上良好行為的K-理論中的作用。
• 在剛性解析空間上建立一個滿足Mayer–Vietoris下降的連續K-理論預層。
• 證明pro cdh下降在剛性解析設定下能提供K-理論所需的下降性質。
• 透過同倫極限與下降結構，建立形式概形、剛性解析幾何與非連通K-理論之間的概念與技術橋樑。

提出的方法

• 使用抽象爆破平方的定義，即在某個閉子概形外為同構的正則態射所誘導的交對圖。
• 透過相對K-理論的pro阿貝爾群應用pro cdh下降條件，要求在$π_*$-模型結構中同構的pro譜。
• 利用$π_*$-模型結構中pro譜的穩定性條件，此處因qcqs概形上負K-理論的冪零不變性而為冗餘。
• 將仿射$F$-代數$R$的連續K-理論$K^{\text{cts}}(R)$構造為$K(R \otimes_{\mathcal{O}_F} \mathcal{O}_F/\pi^s)$的同倫極限。
• 透過仿射覆蓋上的超上同調構造（如Čech或Godement）定義一般qcqs剛性解析概形$X$的$K^{\text{cts}}(X)$。
• 利用Raynaud等價與pro cdh下降，建立形式概形上具有Zariski下降的cocartesian預層與剛性解析概形上具有可接受下降的預層之間的對應關係。

实验结果

研究问题

• RQ1 代數K-理論中的pro cdh下降與經典的pro excision問題有何關係？
• RQ2 pro cdh下降的歷史演變為何？它如何在Kerz、Strunk與Tamme的一般性證明中達至頂峰？
• RQ3 pro cdh下降能否用於定義剛性解析概形上良好行為的K-理論？
• RQ4 何種條件可確保剛性解析空間上的譜預層滿足Mayer–Vietoris下降？
• RQ5 連續K-理論$K^{\text{cts}}(R)$的同倫極限構造與形式概形的K-理論及可接受爆破之間有何關係？

主要发现

• pro cdh下降對所有諾特概形的抽象爆破平方普遍成立，此結果由Kerz、Strunk與Tamme確立。
• 對於所有$n \in \mathbb{Z}$，pro阿貝爾群$\{K_n(X, X', Y_s)\}_s$為零，這在非連通K-理論語境下等價於pro cdh下降。
• 剛性解析$F$-概形上的連續K-理論預層$K^{\text{cts}}$對可接受開覆蓋滿足Mayer–Vietoris下降。
• 對於任意仿射剛性解析空間$\operatorname{Sp} R$，其值$K^{\text{cts}}(\operatorname{Sp} R)$弱同構於$K^{\text{cts}}(R)$，定義為$K(R \otimes_{\mathcal{O}_F} \mathcal{O}_F/\pi^s)$的同倫極限。
• 一般qcqs剛性解析$X$的$K^{\text{cts}}(X)$的構造與Čech或Godement等超上同調框架相容。
• 形式概形與剛性解析概形上cocartesian預層之間的對應關係由pro cdh下降所誘導，確保了滿足所需下降性質的唯一$K^{\text{cts}}$-理論的存在。