[论文解读] Motivic integration and the Grothendieck group of pseudo-finite fields

Jan Denef, François Loeser|ArXiv.org|Jul 19, 2002

Algebraic Geometry and Number Theory被引用 13

一句话总结

本文引入算术 motivic 积分以研究 $p$-adic 积分如何依赖于素数 $p$，使用量化消除和格罗滕迪克环技术。证明了 Serre Poincaré 系列 $P_p(T)$ 是格罗滕迪克动机环中一个典范有理函数幂级数 $P(T)$ 的特殊化，其系数通过 $\mathbb{F}_p$ 上的点计数映射至 $p$ 较大时的情形。这在模型论、$p$-adic 积分和代数几何之间建立了深刻联系。

ABSTRACT

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.

研究动机与目标

• 使用模型论技术理解 $p$-adic 积分对素数 $p$ 的依赖性。
• 将 motivic 积分扩展到算术设定，特别是数论和朗兰兹纲领中出现的 $p$-adic 积分。
• 在格罗滕迪克动机环中建立一个典范有理函数幂级数 $P(T)$，其在每个大素数 $p$ 的特殊化通过 $\mathbb{F}_p$ 上的点计数可恢复 Serre Poincaré 系列 $P_p(T)$。
• 证明 $p$-adic 空间中可定义集合的 motivic 体积通过 $\mathbb{F}_p$ 上的点计数，其特殊化等于 $p$-adic 测度。

提出的方法

• 使用伪有限域中的量化消除（通过 Ax-Kochen-Ersov）将 $p$-adic 积分化为赋值域上的逻辑公式。
• 通过在赋值域语言中定义可定义子赋值，利用奇点消解和变量替换，定义算术 motivic 体积。
• 构建从伪有限域的格罗滕迪克环到 $\mathbb{Q}$ 上动机环的张量积 $\mathbb{Q}$ 的典范态射。
• 在 motivic 积分中应用变量替换公式，以在奇点消解上计算 motivic 体积。
• 使用 Ax-Kochen-Ersov 原理确保 motivic 体积不依赖于逻辑公式的选取，而仅依赖于可定义集合本身。
• 通过在动机环的系数上应用点计数算子 $N_p$，将 motivic 不变量特殊化为 $p$-adic 测度。

实验结果

研究问题

• RQ1 Serre Poincaré 系列 $P_p(T) = \sum_n N_{p,n} T^n$ 如何依赖于素数 $p$，其中 $N_{p,n}$ 计数一个概形的 $\mathbb{Z}/p^{n+1}\mathbb{Z}$-点？
• RQ2 能否通过 $\mathbb{Q}$ 上动机环中的单一 motivic 对象来解释 $P_p(T)$ 的有理性？
• RQ3 是否存在一个典范 motivic 幂级数 $P(T)$，其在每个大素数 $p$ 的特殊化通过 $\mathbb{F}_p$ 上的点计数可得到 $P_p(T)$？
• RQ4 算术 motivic 积分能否通过模型论工具统一研究不同素数上的 $p$-adic 积分？
• RQ5 motivic 体积与 $p$-adic 测度之间在 $p$-adic 流形的可定义子集之间存在何种精确关系？

主要发现

• 存在一个典范有理函数幂级数 $P(T)$ 属于 $\mathrm{K}_0^{\text{mot}}(\mathrm{Var}_{\mathbb{Q}}) \otimes \mathbb{Q}[[T]]$，使得对所有足够大的素数 $p$，$P_p(T)$ 可通过将点计数算子 $N_p$ 应用于 $P(T)$ 的每个系数获得。
• 可定义子集 $A \subset X(\mathbb{Z}_p)$ 的 motivic 体积 $\nu(h_A)$ 在 $\overline{\mathcal{M}}_{\text{loc}}$（动机环的局部化）中有良好定义，且不依赖于定义 $A$ 的逻辑公式的选取。
• 幂级数 $\sum_n \nu(h_n) T^n$ 是有理的，其分母为形如 $1 - \mathbf{L}^{-a} T^b$ 的因子的乘积，其中 $a,b \in \mathbb{N}$，$b \neq 0$，且 $\mathbf{L}$ 为仿射直线的类。
• 对足够大的 $p$，$N_p(\nu(h_A))$ 等于 $A_p \subset X(\mathbb{Z}_p)$ 的 $p$-adic 测度，从而在 motivic 与 $p$-adic 积分之间建立了典范联系。
• 通过在 motivic 设置下进行奇点消解和变量替换，可计算 $p$-adic 积分的 motivic 体积，从而得到相关生成函数的有理性。
• 该方法可推广至任意 $p$-adic 积分，例如朗兰兹纲领中的轨道积分，通过将其表示为 $p$-adic 空间中可定义集合的测度。