[论文解读] Fonctions constructibles et intégration motivique I

Raf Cluckers, François Loeser|ArXiv.org|Mar 22, 2004

Mathematics and Applications被引用 7

一句话总结

本文引入了可构造动机函数的直接像形式化，实现了高度通用的动机积分理论，并证明了变量替换定理。该理论被推广至相对设定，建立了相对动机积分理论，适用于几何积分与p进积分。

ABSTRACT

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration.

研究动机与目标

• 在Denef-Pas逻辑的背景下，为可构造动机函数建立直接像形式化。
• 建立一个具有严格变量替换定理的一般动机积分版本。
• 将理论推广至相对框架，实现相对动机积分。
• 为动机积分、几何积分与p进积分之间的联系奠定基础框架。
• 通过相对设定下的上推导运算，定义并表征可积函数及其动机积分。

提出的方法

• 使用具有三种排序的Denef-Pas语言 ${\mathscr{L}}_{\rm DP}$：赋值域、剩余域与赋值群。
• 利用 ${\mathscr{L}}_{\rm DP}$ 中的的一阶公式（系数取自 $k((t))$ 与 $k$），在范畴 ${\rm Def}_k$ 中定义可定义子赋值。
• 为基 $S$ 上的可构造动机函数引入格罗滕迪克环 $K_0({\rm RDef}_S)$ 及其正版本 $SK_0({\rm RDef}_S)$。
• 为 ${\rm Def}_S$ 中的态射构造上推函子 $f_!$，满足公理 (A0)–(A8)，并与动机积分相容。
• 通过半群 $C_+(S\to\Lambda)$ 定义相对动机积分，其按参数空间 $\Lambda$ 上的纤维维数进行分次。
• 建立相对上推 $f_{!\Lambda}$，并将动机积分 $\mu_\Lambda(\varphi)$ 定义为函数 $\varphi$ 沿 $\Lambda$ 的纤维的上推。

实验结果

研究问题

• RQ1 如何构建可构造动机函数的直接像形式化，以支持变量替换定理？
• RQ2 在基概形或子赋值上，何种条件可确保动机函数的可积性？
• RQ3 如何将动机积分推广至参数在基空间 $\Lambda$ 上变化的相对设定？
• RQ4 此相对动机积分与经典动机积分或p进积分之间的精确关系为何？
• RQ5 导出不变量如 ${\rm ord}{\rm jac}f$ 与雅可比行列式如何在动机积分的变换中出现？

主要发现

• 通过直接像形式化，建立了动机积分的一般变量替换定理。
• 上推 $f_!$ 满足公理 (A0)–(A8)，确保了理论的一致性与与动机积分的相容性。
• 当 $S = h[0,0,0]$ 时，可积函数空间 ${\rm I}C_+(S)$ 同构于 $SK_0({\rm RDef}_k) \otimes_{{\mathbf{N}}[{ olimits}{\mathbf{L}}-1]} A_+$，从而为动机积分环提供了具体的实现。
• 相对动机积分 $\mu_\Lambda(\varphi)$ 是良定义的，并对每个点 $\lambda \in \Lambda$ 恰好等于纤维上的动机积分 $i_\lambda^*(\mu_\Lambda(\varphi))$。
• 当且仅当函数 $\varphi \in C_+(Z\to\Lambda)$ 在每个纤维 $Z_\lambda$ 上的限制是可积的时，$\varphi$ 属于 ${\rm I}_\Lambda C_+(Z\to\Lambda)$。
• 该构造推广了先前的动机积分工作（如 Denef-Loeser、Kontsevich），完整细节保留在 [1] 中。