[论文解读] Operations in Milnor K-theory

Charles Vial|arXiv (Cornell University)|Dec 2, 2008

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

一句话总结

本文对域和光滑概形上的模 $p$ Milnor K-理论中的所有运算进行了分类，表明在域扩张下，除幂运算生成了所有此类运算。当 $p$ 为奇数时，运算由除幂 $\gamma_n$ 生成；当 $p=2$ 时，通过引入 $\mathrm{Ker}(\tau_i)$ 的修正结构，处理了当 $-1$ 不是平方时除幂未良好定义的情况。

ABSTRACT

We show that operations in Milnor K-theory mod $p$ of a field are spanned by divided power operations. After giving an explicit formula for divided power operations and extending them to some new cases, we determine for all fields $k$ and all prime numbers $p$, all the operations $K^M_i/p o K^M_j/p$ commuting with field extensions over the base field $k$. Moreover, the integral case is discussed and we determine the operations $K^M_i/p o K^M_j/p$ for smooth schemes over a field.

研究动机与目标

• 对模 $p$ 下、在基域 $k_0$ 上的域扩张下保持交换性的所有自然变换（运算）$K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 进行分类。
• 解决当 $-1$ 在 $k_0$ 中不是平方时，模 2 Milnor K-理论中除幂未良好定义的情况。
• 将分类结果扩展至整数运算以及在域上光滑概形上的运算。
• 证明加法运算在某种精确意义下是平凡的，从而将其与一般运算区分开来。
• 通过循环模理论和特殊化映射，证明除幂构成运算代数的一组基。

提出的方法

• 在 $K^\mathrm{M}_i(k)/p$ 中的符号和上定义除幂运算 $\gamma_n(x)$，将其定义为该和中 $n$ 个不同符号的乘积。
• 利用 Revoy 和 Kahn 的结果，证明当 $p$ 为奇数或当 $p=2$ 且 $k$ 包含 $\sqrt{-1}$ 时，$\gamma_n$ 定义了一个良好定义的运算。
• 当 $p=2$ 且 $-1$ 在 $k_0$ 中不是平方时，通过映射 $\tau_i: x \mapsto \{-1\}^{i-1} \cdot x$ 的核定义新运算。
• 利用循环模中的同伦性质和特殊化映射，证明光滑概形上的运算由除幂张成。
• 应用命题 5.1 的推论，以确保在 $M_*(k(t))/p$ 中映射 $x \mapsto x \cdot \{t\}$ 是单射，从而支持分类。
• 利用具有环结构的循环模的结构，将结果从域推广至光滑概形和整数运算。

实验结果

研究问题

• RQ1 模 $p$ 下、在基域 $k_0$ 上的域扩张下保持交换性的所有运算 $K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 的完整代数结构是什么？
• RQ2 为何在 $-1$ 不是 $k_0$ 中的平方时，标准除幂运算在模 2 Milnor K-理论中未良好定义？
• RQ3 当除幂未良好定义时（如在不含 $\sqrt{-1}$ 的域上的模 2 K-理论中），如何对运算进行分类？
• RQ4 特殊化映射在对域上光滑概形的整数运算进行分类时起什么作用？
• RQ5 Milnor K-理论上的加法运算是否非平凡，还是它们都退化为恒等映射之类的简单情形？

主要发现

• 当 $p$ 为奇数且 $i \geq 2$ 为偶数时，模 $p$ 下运算代数 $K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 是由 $\gamma_n$（$n \geq 0$）生成的 $K^\mathrm{M}_*(k_0)/p$-自由模。
• 当 $p$ 为奇数且 $i \geq 1$ 为奇数时，运算在 $K^\mathrm{M}_*(k_0)/p$ 上由 $\gamma_0$ 和 $\gamma_1$ 张成。
• 当 $p=2$ 且 $i \geq 2$ 时，运算由 $\gamma_0$、$\gamma_1$ 以及 $\mathrm{Ker}(\tau_i) \cdot \gamma_n$（$n \geq 2$）生成，其中 $\tau_i(x) = \{-1\}^{i-1} \cdot x$。
• 当 $-1$ 是 $k_0$ 中的平方时，$\mathrm{Ker}(\tau_i) = K^\mathrm{M}_*(k_0)/2$，因此结构简化为 $K^\mathrm{M}_*(k_0)/2$ 上的自由模。
• 对于域 $k$ 上光滑概形的整数运算，运算 $K^\mathrm{M}_i/k \to H^0(-, M_*/p)$ 作为 $H^0(X, M_*/p)$-模，由除幂张成。
• 加法运算 $K^\mathrm{M}_i \to M_*$ 在某种意义下是平凡的，即它们都是恒等映射的标量倍，如定理 5.6 所示。