[论文解读] K-Theory of Non-Archimedean Rings. I

Moritz Kerz, Shuji Saito+1 more|arXiv (Cornell University)|Feb 27, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 1

一句话总结

本文通过在非阿基米德域上的刚性仿射直线中，利用半径递增的闭圆盘的 ind-对象，构造了一个同伦不变的 K-理论，为非阿基米德环引入了分析 K-理论。它建立了正则环满足条件 (†)A 时的 Bass 基本定理的分析类比，并证明了在高阶中分析 K-理论与 Karoubi–Villamayor K-理论一致，同时通过黏合性与投影 GL-纤维丛，将其与连续 K-理论关联起来。

ABSTRACT

We introduce a variant of homotopy K-theory for Tate rings, which we call analytic K-theory. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object of closed disks of increasing radii. Under a certain regularity assumption we prove an analytic analog of the Bass fundamental theorem and we compare analytic K-theory with continuous K-theory, which is defined in terms of models. Along the way we also prove some results about the algebraic K-theory of Tate rings.

研究动机与目标

• 为非阿基米德环开发一种通过分析几何引入拓扑的同伦不变 K-理论。
• 在 Tate 环与刚性解析空间的背景下，建立 Bass 基本定理的分析类比。
• 比较分析 K-理论、连续 K-理论与 Karoubi–Villamayor K-理论，特别是在正则性与解耦条件下的关系。
• 利用投影 GL-纤维丛的框架，证明分析 K-理论的黏合定理。
• 通过将分析 K-理论与连续 K-理论关联，解决形式概形上向量丛的 K0-类的代数化问题。

提出的方法

• 将分析 K-理论定义为非阿基米德域上分析仿射直线中半径递增的刚性解析圆盘的列极限的 pro-谱。
• 将连通分析 K-理论谱 kan(X) 构造为半径 ρ 的极限，即 limρ k(O(X × Δρ))，其中 Δρ 是半径为 ρ 的标准刚性单纯形。
• 引入 Karoubi–Villamayor 类似物 KV^an(X) 作为 pro-单纯集 limρ BGL(O(X × Δρ))。
• 使用投影 GL-纤维丛——即诱导出一般线性群投影系统上满射的有界同态——来建立分析 K-理论的黏合定理。
• 证明对于满足条件 (†)A 的正则环，分析 K-理论在正度数上与 Karoubi–Villamayor K-理论一致，且在度数 0 上同构于连续 K-理论。
• 应用 Postnikov 层叠与同伦正合序列，分析投影同伦群，并推导出 K-理论中的长正合序列。

实验结果

研究问题

• RQ1 如何在非阿基米德设定下，通过分析几何定义并实现同伦不变性？
• RQ2 分析 K-理论、连续 K-理论与 Karoubi–Villamayor K-理论在 Tate 环中的关系为何？
• RQ3 分析 K-理论在何种条件下满足黏合性？如何通过投影 GL-纤维丛形式化这一性质？
• RQ4 能否为满足正则性的非阿基米德环建立 Bass 基本定理的分析类比？
• RQ5 分析 K-理论如何与形式概形上向量丛的 K0-类的代数化问题相关联？

主要发现

• 对于满足条件 (†)A 的正则仿射代数 A，分析 K-理论在度数 0 上同构于常值投影群 K0(A)。
• 在度数 1，kan1(A) 同构于 ρ > 1 的极限，即 GL(A)/GL(A)ρ，其中 GL(A)ρ 是在半径 ρ 处满足幂幺条件的矩阵子群。
• 对于 i > 0，存在自然同构：作为投影群，KV^an_i(A) ≃ kan_i(A)。
• 分析 K-理论对投影 GL-纤维丛满足黏合性，对任意投影 GL-纤维丛 A → B 且核为 I，可导出投影阿贝尔群的长正合序列。
• 对于幂零理想 I，对所有 i ≥ 1，有 KV^an_i(A) ≅ KV^an_i(A/I)，表明在幂零扩张下具有稳定性。
• 对于 i ≥ 2，存在自然同构 KV^an_i(A) ≅ limρ KV^an_{i−1}(ΩρA)，其中 ΩρA = ker(sA⟨s⟩ρ → A)；对于 i = 1，有 KV^an_1(A) ≅ limρ ker(K0(ΩρA) → K0(sA⟨s⟩ρ))。