[论文解读] The basic geometry of Witt vectors, II: Spaces

James Borger|arXiv (Cornell University)|Jun 1, 2010

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

一句话总结

该论文将 Witt 向量与算术喷射空间的理论推广至全局域整数环上的任意代数空间，推广了 p-典型与大 Witt函子。证明了 Witt 与喷射函子保持关键几何性质，如 étale 映射与平坦性，并证明在 E-光滑性假设下，共幽灵映射是仿射的，且在集合 E 之外是同构。

ABSTRACT

This is an account of the algebraic geometry of Witt vectors and arithmetic jet spaces. The usual, "p-typical" Witt vectors of p-adic schemes of finite type are already reasonably well understood. The main point here is to generalize this theory in two ways. We allow not just p-typical Witt vectors but those taken with respect to any set of primes in any ring of integers in any global field, for example. This includes the "big" Witt vectors. We also allow not just p-adic schemes of finite type but arbitrary algebraic spaces over the ring of integers in the global field. We give similar generalizations of Buium's formal arithmetic jet functor, which is dual to the Witt functor. We also give concrete geometric descriptions of Witt spaces and arithmetic jet spaces and investigate whether a number of standard geometric properties are preserved by these functors.

研究动机与目标

• 将 p-典型与大 Witt 函子推广至全局域整数环上的 E-典型 Witt 函子，包括任意代数空间。
• 将 Witt 与算术喷射函子（彼此对偶）从仿射概形推广至全局基上的所有代数空间。
• 研究标准几何性质（如 étale 映射、平坦性与仿射性）是否在这些函子下保持不变。
• 在推广设定下，提供 Witt 空间与算术喷射空间的明确几何描述。
• 确定共幽灵映射为仿射或同构的条件，特别是远离素数集合 E 时。

提出的方法

• 通过仿射概形上函子的 étale 层论扩展，将 Witt 函子 $W_{R,E,n}$ 推广至任意代数空间。
• 应用 Grothendieck–Verdier 的一般方法，通过函子 $W_{n*}$ 与 $W_n^*$，将 $W_n$ 及其左伴随 $Λ_n ⊙ -$ 扩展至代数空间范畴。
• 利用 van der Kallen 定理证明 $W_n$ 保持 $R$-代数的 étale 映射，从而确保扩展函子保持 étale 拓扑。
• 通过余极限构造 $W_n^*(X) = ∙∙∙∙∙\operatorname{colim}_{U\to X} W_n(U)$ 定义代数空间上的左伴随。
• 利用 $Y_U$-空间范畴中的终对象性质，构造映射 $W_{n+1*}(X) \to Z_X$，证明关键同构结果。
• 通过分解 $E = E' \amalg E''$ 将一般情形约化至单素理想情形，利用 (10.6.2) 与 (10.4.9) 的函子同构。

实验结果

研究问题

• RQ1 当 Witt 函子 $W_{n*}$ 推广至代数空间时，是否保持几何性质（如 étale 映射与平坦性）？
• RQ2 在何种条件下，共幽灵映射 $W_{n*}(X) \to X^{[0,n]}$ 是仿射或同构？
• RQ3 Witt 函子 $W_n$ 与 $\Lambda_n \odot -$ 之间的伴随关系能否从仿射概形推广至 $R$ 上的任意代数空间？
• RQ4 $E$-光滑代数空间 $X$ 的 $W_{n*}$-像是否仍为 $E$-光滑且 ${\mathfrak{m}}$-平坦？
• RQ5 当 $E$ 包含多个素数或仅一个素数时，Witt 空间与算术喷射空间的几何行为如何？

主要发现

• 扩展的 Witt 函子 $W_{n*}$ 保持 étale 映射与覆盖，确保其在代数空间范畴上定义了一个行为良好的自函子。
• 左伴随 $W_n^*$ 通过 étale 覆盖上的余极限，将仿射构造 $\operatorname{Spec}A \mapsto \operatorname{Spec}W_n(A)$ 推广至任意代数空间。
• 当 $X$ 为 $E$-光滑时，共幽灵映射 $W_{n*}(X) \to X^{[0,n]}$ 是仿射的，且在集合 $E$ 之外是同构。
• $E$-光滑代数空间的 $W_{n*}$-像是 $E$-平坦且 ${\mathfrak{m}}$-平坦的，确保了良好的几何行为。
• 证明依赖于将一般情形约化至 $E$ 仅含一个极大理想的的情形，利用函子分解与终对象论证。
• 反例表明 ${\mathfrak{m}}$-平坦性假设是必要的：若无此假设，$W_{n*}(X)$ 的像可能在 $\operatorname{Spec}{\mathcal{O}}_S/{\mathfrak{m}}$ 外不稠密。