[论文解读] Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero

Raf Cluckers, Immanuel Halupczok|arXiv (Cornell University)|Oct 28, 2015

Advanced Topology and Set Theory参考文献 26被引用 9

一句话总结

本文通过引入 motivic 指数类函数，建立了一个关于所有特征为零的非阿基米德局部域的统一 motivic 积分理论，这些函数在积分和傅里叶变换下保持稳定。利用一种能处理任意分歧的 Denef-Pas 量化消除的改进形式，作者获得了统一的有理性结果以及所有此类域上局部的统一描述，统一了先前关于 p-进 zeta 函数和波前集的结果。

ABSTRACT

Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue field characteristics. We define a class of functions, called functions of motivic exponential class, which we show to be stable under integration and under Fourier transformation, extending results and definitions from previous papers. We prove uniform results related to rationality and to various kinds of loci. A key ingredient is a refined form of Denef-Pas quantifier elimination which allows us to understand definable sets in the value group and in the valued field.

研究动机与目标

• 开发一个统一的 motivic 积分理论，涵盖所有特征为零的非阿基米德局部域，克服先前工作的局限性。
• 定义并研究一类函数——motivic 指数函数——其在积分和傅里叶变换下保持稳定。
• 通过改进 Denef-Pas 风格的量化消除，消除对分歧和残留域特征的限制。
• 统一并推广所有此类域上局部 zeta 函数和波前集的已知有理性结果。
• 提供一个统一框架，用于定义可定义集和积分的几何性质，使用模型论工具。

提出的方法

• 引入并分析 motivic 指数类函数，其定义基于赋值环和值群上的可定义函数，取值于值群。
• 使用一种改进的 Denef-Pas 量化消除形式，能统一消除赋值域和值群的量词，即使在存在任意分歧的情况下也成立。
• 应用具有 n-雅可比性质的单元分解定理，将可定义集重新参数化为结构化部分，以实现积分。
• 使用模型论的紧致性和可伸展性，将结果从辅助 sorts（如 RV_n）转移到原始语言。
• 将赋值环的有限商作为“预言机”，在不假设残留特征较大的情况下分析局部域的模型论。
• 构建一个统一框架，使积分和局部集的描述独立于特定局部域，依赖于可定义几何和 Presburger 算术。

实验结果

研究问题

• RQ1 是否可以在所有特征为零的非阿基米德局部域上实现 motivic 积分的统一，无论其分歧程度或残留域大小如何？
• RQ2 在该统一设定下，motivic 指数类函数是否在积分和傅里叶变换下封闭？
• RQ3 改进的量化消除结果是否能处理任意分歧，同时仍允许统一的积分理论？
• RQ4 局部 zeta 函数的有理性结果以及波前等局部集的有理性在所有此类域上能在多大程度上实现统一？
• RQ5 如何对值群和赋值域中的可定义集进行统一分解，以支持积分？

主要发现

• motivic 指数类函数的类在积分和傅里叶变换下保持稳定，扩展了 [10]、[11] 和 [5] 的结果。
• 改进的量化消除结果能统一消除赋值域和值群的量词，即使在存在任意分歧的情况下也成立，从而实现完全的统一性。
• 在重新参数化后，值群和赋值域中的可定义集可进行具有 n-雅可比性质的统一单元分解。
• 局部 zeta 函数的有理性和波前局部集的统一性现在被统一在一个适用于所有特征为零的非阿基米德局部域的单一框架下。
• 该理论在坏局部集和积分的描述上实现了统一性，结果独立于特定局部域，包括其分歧和残留特征。
• 该框架允许对 p-进积分及其极点进行统一处理，将 Igusa 的有理性定理和 [1] 的定理 E 统一在一个单一、连贯的设定中。