[论文解读] A note on motivic integration in mixed characteristic

Johannes Nicaise, Julien Sebag|ArXiv.org|Dec 24, 2009

Algebraic Geometry and Number Theory参考文献 8被引用 9

一句话总结

本文通过商去所有普遍同胚的代数簇类，引入了代数簇的修正格罗滕迪克环 $K_0\langle\mathrm{Var}_F\rangle$。证明了标准实现态射（例如，平展、庞加莱、伽罗瓦）可因袭该环，使其成为混合特征下 motivic 积分的正确取值环。关键贡献在于，通过用此修正版本替代标准格罗滕迪克环，修正了形式概形与混合特征下完备空间上的 motivic 积分的变量替换定理。

ABSTRACT

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).

研究动机与目标

• 解决混合特征下形式概形与完备空间 motivic 积分中的基础问题，其中标准格罗滕迪克环未能考虑普遍同胚的代数簇。
• 修复 [11, 8.0.5] 中指出的混合特征下 motivic 积分变量替换定理证明中的漏洞。
• 确立标准实现态射（平展、庞加莱、伽罗瓦）可因袭修正的格罗滕迪克环，从而证明其作为正确取值环的合理性。
• 通过在所有相关混合特征下 motivic 积分文献中，用修正版本替代标准格罗滕迪克环，系统性地修正文献。

提出的方法

• 将 $K_0\langle\mathrm{Var}_F\rangle$ 定义为 $K_0(\mathrm{Var}_F)$ 关于所有 $F$-代数簇的普遍同胚类的商环。
• 证明在特征零情形下，商映射 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$ 是同构，从而在该情形下保持结构不变。
• 证明自然映射 $K_0\langle\mathrm{Var}_F\rangle \to K_0(\mathrm{ACF}_F)$ 是同构，将修正环与 $F$ 上代数闭域的理论联系起来。
• 证明所有标准实现态射（点计数、平展、庞加莱、伽罗瓦）可因袭 $K_0\langle\mathrm{Var}_F\rangle$，确保与已有不变量的一致性。
• 通过在 motivic 积分与 Serre 不变量的定义中，将 $K_0(\mathrm{Var}_k)$ 替换为 $K_0\langle\mathrm{Var}_k\rangle$，修正 [11, 8.0.5] 中的变量替换定理。
• 提供一份文献修正清单，将混合特征情形下的 $\mathcal{M}_S$ 替换为 $\mathcal{M}_S^{\mathrm{mod}}$，并将 $K_0(\mathrm{Var}_S)$ 替换为 $K_0\langle\mathrm{Var}_S\rangle$。

实验结果

研究问题

• RQ1 标准格罗滕迪克环是否能正确捕捉混合特征下普遍同胚映射下的 motivic 不变量？
• RQ2 能否通过修改取值环来修复混合特征下形式概形上 motivic 积分的变量替换定理？
• RQ3 标准实现态射（如 $\ell$-进 Euler 示性数、庞加莱多项式）是否能区分格罗滕迪克环中普遍同胚类的类？
• RQ4 修正的格罗滕迪克环 $K_0\langle\mathrm{Var}_F\rangle$ 是否是混合特征下形式概形与完备空间上 motivic 积分的正确取值环？
• RQ5 当混合特征下取值环被替换为 $K_0\langle\mathrm{Var}_k\rangle$ 时，motivic Serre 不变量与 motivic 积分是否仍定义良好？

主要发现

• 修正的格罗滕迪克环 $K_0\langle\mathrm{Var}_F\rangle$ 同构于 $K_0(\mathrm{ACF}_F)$，为 $F$ 上代数闭域的模型理论提供了自然联系。
• 所有标准实现态射——点计数、平展、庞加莱与伽罗瓦——均可因袭 $K_0\langle\mathrm{Var}_F\rangle$，确保与已知不变量的一致性。
• 在特征零情形下，商映射 $K_0(\mathrm{Var}_F) \to K_0\langle\mathrm{Var}_F\rangle$ 是同构，确认修正环在该情形下与标准环一致。
• 通过将 $K_0(\mathrm{Var}_k)$ 替换为 $K_0\langle\mathrm{Var}_k\rangle$，修正了 [11, 8.0.5] 中的变量替换定理，解决了混合特征下的基础性漏洞。
• motivic Serre 不变量 $S(X)$ 在 $K_0\langle\mathrm{Var}_k\rangle / (\widetilde{\mathbb{L}}_k - 1)$ 中定义良好，且其定义与混合特征下弱 Néron 模型的选择无关。
• 所有混合特征下 motivic 积分的应用——例如 [8]、[9]、[10]、[6]、[7]——均可通过将标准格罗滕迪克环替换为修正版本来修正，且不影响依赖于实现态射的结果。