[论文解读] Homogeneous spaces, algebraic $K$-theory and cohomological dimension of fields

Diego Munguía Izquierdo, Giancarlo Lucchini Arteche|arXiv (Cornell University)|Dec 11, 2018

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

本文通过米尔诺K-理论与齐次空间的范数映射，对域的上同调维数给出了精确的代数几何刻画。证明了：一个完美域的上同调维数至多为 q+1 当且仅当，对每个有限扩张 L 及其上任意光滑线性连通代数群作用下的齐次空间 Z，L 的第 q 个米尔诺K-群由 Z 在某个扩张中获得有理点的那些扩张上的范数生成——这为加藤与久松猜想的缺陷版本提供了一个更精细、上同调完备的替代方案。

ABSTRACT

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic group over $L$, the $q$-th Milnor $K$-theory group of $L$ is spanned by the images of the norms coming from finite extensions of $L$ over which $Z$ has a rational point. We also prove a variant of this result for imperfect fields.

研究动机与目标

• 解决关于以推广并修正加藤与久松猜想的方式刻画域的上同调维数这一开放问题。
• 利用米尔诺K-理论与齐次空间上有理点的范数映射，提供上同调维数的丢番图刻画。
• 统一并推广已知的上同调维数结果，包括斯坦伯格定理、苏斯林的范数满射性以及温特伯格对 p-进域与数域的结果。
• 通过分离上同调维数与半单群作用，将刻画推广至非完美域。
• 发展一种纯粹代数几何的证明策略，避免使用算术方法，适用于所有域（包括函数域与洛朗级数域）。

提出的方法

• 引入新的域性质：Cq^HS、Cq^PHS 与 Cq^Red，其定义为：第 q 个米尔诺K-群由在某个齐次空间具有有理点的有限扩张上范数生成。
• 利用范数映射 NL′/L: KM_q(L′) → KM_q(L) 定义由这些范数像生成的子群 Nq(Z/L)。
• 应用非交换上同调技术，特别是纤维丛与主齐性空间的理论，分析齐次空间上的有理点。
• 采用限制-核心striction论证与西洛子群分解，将问题约化至可解稳定子的情形。
• 利用德马尔什与卢奇尼·阿特切关于有限稳定子群齐次空间的哈塞原理结果。
• 通过归纳法与普遍主齐性空间技术，受哈帕兹与温特伯格启发，避免在关键情形中使用复杂的非交换上同调。

实验结果

研究问题

• RQ1 能否通过在齐次空间具有有理点的扩张上米尔诺K-理论范数映射的满射性，刻画完美域的上同调维数？
• RQ2 Cq^HS 性质——通过齐次空间上点的范数定义——是否刻画了上同调维数至多为 q+1 的域？
• RQ3 该刻画如何推广至非完美域？分离上同调维数在此中起什么作用？
• RQ4 通过限制于齐次空间而非超曲面，能否绕过加藤与久松的 Cq^i 猜想的失败？
• RQ5 该证明策略在多大程度上可完全基于代数几何工具实现，避免先前在 p-进域与数域研究中使用的算术方法？

主要发现

• 一个完美域 K 的上同调维数至多为 q+1 当且仅当其满足 Cq^HS 性质：对每个 K 的有限扩张 L 及其上任意光滑线性连通代数群作用下的齐次空间 Z，L 的第 q 个米尔诺K-群 KM_q(L) 由所有满足 Z(L′) ≠ ∅ 的有限扩张 L′ 上的范数像张成。
• 对非完美域，Cq^Red 性质——在半单群上定义——刻画了至多为 q+1 的分离上同调维数：K 的所有有限扩张具有至多 q+1 的分离上同调维数，当且仅当 KM_q(L) 由所有在半单群主齐次空间具有有理点的扩张上的范数张成。
• 该结果推广了斯坦伯格定理：若 K 是完美域且上同调维数 ≤1，则任意线性连通群作用下的齐次空间均具有次数为 1 的零循环。
• 它推广了苏斯林定理：特征为 0 的域 K 的上同调维数 ≤2 当且仅当对每个 K 的有限扩张 L 及每个中心单代数 A，其约化范数映射 A× → L× 是满射。
• 它将吉勒的结果推广至正特征情形：上同调维数条件等价于半单群主齐性空间上范数映射在米尔诺K-理论中的满射性。
• 该证明避免使用算术方法，转而使用纤维丛、主齐性空间与限制-核心striction等代数几何工具，使其适用于加藤-久松猜想失效的域，如 C((t))(x) 与 C((x,y))。