[论文解读] Relative motives and the theory of pseudo-finite fields

Johannes Nicaise|arXiv (Cornell University)|Mar 9, 2004

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

一句话总结

本文将动机积分推广至特征零域 $k$ 上的基概形 $S$ 的相对情形，构造了从 $S$ 上伪有限域的格罗滕迪克环到 $S$ 上构造性有效楚环上动机的格罗滕迪克环与 $\mathbb{Q}$ 的张量积之间的动机实现态射。关键贡献是利用伽罗瓦公式，对伪有限域的相对量词消去给出了几何证明，从而实现了参数化算术积分的动机化。

ABSTRACT

We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields, and we construct a morphism from the Grothendieck ring of the theory of pseudo-finite fields over S, to the tensor product of Q with the Grothendieck ring of constructible effective Chow motives. This morphism yields a motivic realization for the parametrized arithmetic motivic integrals of Cluckers-Loeser. Finally, we define relative arc and jet spaces, and the three relative motivic generating series.

研究动机与目标

• 将动机积分推广至相对情形，其中参数由特征零域 $k$ 上的基概形 $S$ 编码。
• 发展 $S$ 上构造性有效楚环动机的理论，以实现带有参数的算术积分的动机化。
• 通过伽罗瓦公式，为 $S$ 上环公式的理论中伪有限域的相对量词消去提供几何证明。
• 构造从 $S$ 上伪有限域的格罗滕迪克环到 $S$ 上动机的格罗滕迪克环与 $\mathbb{Q}$ 的张量积之间的态射，实现参数化算术积分的动机化。
• 定义相对弧空间与喷射空间，并在相对情形下构造三种动机 Poincaré 系数（几何、算术、Igusa）。

提出的方法

• 将 $S$ 上构造性有效楚环动机的范畴 $CMot_S$ 构造为 $S$ 的有限分层（分层为光滑、不可约、局部闭子集）的直接极限。
• 利用构造性奇点消解与分裂的精确爆破序列，将动机示性类 $\chi_c$ 推广为态射 $K_0(Var_S) \to K_0(CMot_S)$，其像记为 $K_0^{mot}(Var_S)$。
• 在具有 $G$-作用的构造性动机的同伦范畴上引入归纳与限制函子，通过特征分解证明：商空间 $X/G$ 的动机等于 $X$ 的动机中 $G$-不变部分。
• 利用伽罗瓦公式，给出相对量词消去的纯几何证明：任何 $S$ 上的环公式等价于一个无量词的伽罗瓦公式，适用于伪有限域。
• 定义相对弧空间与喷射空间 $\mathcal{L}_n(X/S)$，并构造三种动机 Poincaré 系数：几何、算术与 Igusa，其系数取值于 $K_0(Var_S)$ 或 $K_0^{mot}(Var_S)\otimes\mathbb{Q}$。
• 建立三种 Poincaré 系数的基变换性质，表明其在沿 $W \to S$ 的态射下与拉回兼容。

实验结果

研究问题

• RQ1 如何将动机积分推广至基概形 $S$ 而非域 $k$ 的相对情形？
• RQ2 在 $S$ 上伪有限域理论中，可定义集合的几何结构是什么？能否利用伽罗瓦几何证明量词消去？
• RQ3 能否构造一个动机实现态射 $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$？它在参数化算术积分中代表什么意义？
• RQ4 相对弧空间与喷射空间在 $S$ 上的行为如何？其关联的动机 Poincaré 系数在相对情形下具有何种性质？
• RQ5 在 $X \to S$ 的纤维上，喷射提升性质的统一性如何？这对 Poincaré 系数的收敛性与基变换有何影响？

主要发现

• 建立了相对量词消去的几何证明：任何 $S$ 上的环公式等价于一个无量词的伽罗瓦公式，等价关系通过 $S$ 的 $M$-有理点上的可定义双射定义。
• 构造了态射 $\chi_c: K_0(Var_S) \to K_0(CMot_S)$，其像 $K_0^{mot}(Var_S)$ 为 $S$-概形的格罗滕迪克环的动机实现。
• 定义了动机实现态射 $\chi_{(c)}: K_0(PFF_S) \to K_0^{mot}(Var_S)\otimes\mathbb{Q}$，从而为参数化算术积分提供了具体的动机化实现。
• 由于截断的统一性（由定理 9.7 证明），相对几何 Poincaré 系数 $P_{geom}(X/S;T)$ 在 $K_0(Var_S)[[T]]$ 中良定义。
• 相对算术 Poincaré 系数 $P_{arith}(X/S;T)$ 通过将 $\chi_{(c)}$ 应用于定义 $n$-喷射的环公式 $\psi_n$ 而定义，并满足基变换：系数在 $W \to S$ 下拉回兼容。
• 统一性结果（定理 9.7）确保对任意有限型 $S$-概形 $X$，$n$-喷射截断以统一方式稳定，其中 $n' = cn + e$，$c,e > 0$，且与纤维无关。