[论文解读] The Theory of Witt Vectors

Joseph Rabinoff|arXiv (Cornell University)|Sep 26, 2014

Algebraic Geometry and Number Theory参考文献 6被引用 20

一句话总结

本文对格罗滕迪克环的理论提供了全面且自包含的阐述，重点在于其代数结构、函子性质以及阿廷-哈斯指数函数的作用。通过通用多项式构造，本文确立了格罗滕迪克环的存在性，证明了弗罗贝尼乌斯映射与弗勒斯贝格映射的关键性质，并引入了 $p$-进指数类映射 $ε_p$，该映射分裂了投影 $W(A) \to W_p(A)$，从而得到同构 $ε_p W^+(A) \cong W_p^+(A)$，这在 $p$-进环的背景下推广了经典指数函数。

ABSTRACT

This is an introduction to the theory of Witt vectors. It includes a construction of the Witt rings, the Frobenius and Verschiebung endomorphisms, the canonical map from W to W^2 (its lambda-algebra structure), the relation to strict p-rings, and an account of the Artin-Hasse exponential.

研究动机与目标

• 为格罗滕迪克环理论提供一个自包含的参考文献，尤其面向不熟悉广泛文献（特别是哈泽维尔克的工作）的研究者。
• 澄清并证明格罗滕迪克环的基本性质，包括其通用构造、函子性以及拓扑结构。
• 确立 $p$-进指数映射 $\varepsilon_p$ 的存在性与性质，该映射分裂投影 $W(A) \to W_p(A)$，并展示其在将 $W_p^+(A)$ 视为 $W^+(A)$ 的直和项中的作用。

提出的方法

• 通过编码 $A$ 中系数的加法与乘法的通用多项式，将格罗滕迪克环 $W(A)$ 构造为交换环上的函子。
• 将弗勒斯贝格映射 $V$ 与弗罗贝尼乌斯映射 $F$ 定义为 $W(A)$ 上的自同态，证明其与环结构及 $p$-进拓扑的相容性。
• 通过乘积 $\prod_{r \geq 1} \operatorname{hexp}(x_{p^r} t^{p^r})$ 引入 $p$-进指数映射 $\varepsilon_p: W^+(A) \to W^+(A)$，并证明其为幂等自同态。
• 利用标准同构 $W(A) \cong \Lambda(A)$ 将格罗滕迪克向量识别为形式幂级数，从而可运用生成函数与通用性质。
• 证明 $\varepsilon_p$ 限制到 $W^+(A)$ 上诱导出同构 $\varepsilon_p W^+(A) \cong W_p^+(A)$，表明 $W_p^+(A)$ 是 $W^+(A)$ 的直和项，通过截面 $\iota_p = \varepsilon_p \circ \pi^{-1}$ 实现。
• 将理论应用于幂零 ${\mathbf{Z}}_{(p)}$-代数，定义群同构 $E_p: \widehat{W}_p^+({\mathcal{N}})/({\rm Id} - V_p) \to 1 + {\mathcal{N}}$，推广了 $p$-进设置下的经典指数映射。

实验结果

研究问题

• RQ1 如何通过多项式恒等式从环 $A$ 通用地构造格罗滕迪克环 $W(A)$？
• RQ2 弗罗贝尼乌斯与弗勒斯贝格映射在 $W(A)$ 上的精确代数与拓扑性质是什么？
• RQ3 映射 $\varepsilon_p$ 在何种意义上是指数映射的 $p$-进类比？
• RQ4 映射 $\varepsilon_p$ 的像如何与商 $W_p(A)$ 相关？其分裂映射 $\iota_p$ 的结构是怎样的？
• RQ5 阿廷-哈斯指数函数在将 $W_p^+(A)$ 实现为 $W^+(A)$ 的直和项中起什么作用？

主要发现

• 映射 $\varepsilon_p: W^+(A) \to W^+(A)$ 是阿贝尔群上的幂等自同态，满足 $\varepsilon_p \circ \varepsilon_p = \varepsilon_p$，且保持 $p$-次幂坐标：$w_{p^r}(\varepsilon_p(x)) = w_{p^r}(x)$。
• $\varepsilon_p$ 限制到 $W^+(A)$ 上诱导出同构 $\varepsilon_p W^+(A) \cong W_p^+(A)$，表明 $W_p^+(A)$ 是 $W^+(A)$ 的直和项。
• 由 $\iota_p(x) = \varepsilon_p(y)$ 定义的截面 $\iota_p: W_p^+(A) \to W^+(A)$，其中 $y_{p^r} = x_{p^r}$ 且其余 $y_n = 0$，满足 $w_{p^r}(\iota_p(x)) = w_{p^r}(x)$。
• 对于任意幂零 ${\mathbf{Z}}_{(p)}$-代数 ${\mathcal{N}}$，复合映射 $E_p: \widehat{W}_p^+({\mathcal{N}})/({\rm Id} - V_p) \to 1 + {\mathcal{N}}$，定义为 $E_p(x) = \prod_{n=0}^m \operatorname{hexp}(x_{p^n})$，构成群同构。
• $\varepsilon_p$ 通过 $\operatorname{hexp}(x_{p^r} t^{p^r})$ 的乘积构造，确保了 $p$-整性与函子性，且该映射在任意 ${\mathbf{Z}}_{(p)}$-代数 $A$ 上的 $W^+(A)$ 上定义良好。