[论文解读] Fourier transform of the additive group in algebraically closed valued fields

Yimu Yin|arXiv (Cornell University)|Mar 6, 2009

Advanced Algebra and Geometry参考文献 12被引用 5

一句话总结

本文通过引入一个典范的加法特征，将Hrushovski-Kazhdan的动机积分推广至代数闭赋值域中的指数积分，从而在动机框架内定义了傅里叶变换与分布。其核心贡献是在定义集与通过RV-排序结构丰富的格罗滕迪克环基础上，建立起与经典调和分析完全平行的傅里叶变换与韦伊表示理论。

ABSTRACT

We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier transform in our integration theory and establish some fundamental properties of it. Thereafter a basic theory of distributions is also developed. We construct the Weil representations in the end as an application. The results are completely parallel to the classical ones.

研究动机与目标

• 将代数闭赋值域（ACVF）中的动机积分扩展至包含形如 ∫∫ f(x,y)exp(g(x,y)) dx dy 的参数化指数积分。
• 通过引入典范的加法特征，丰富格罗滕迪克环，以在动机框架内容纳指数积分。
• 在该扩展的动机积分理论中定义并研究傅里叶变换，建立类似于经典调和分析的基础性质。
• 在动机设定中发展可定义分布的理论。
• 作为应用，构造SL₂的韦伊表示，展示其与经典表示理论的完全平行性。

提出的方法

• 通过ACVF中的RV-排序结构引入典范加法特征，丰富格罗滕迪克环以包含指数积分。
• 利用Hrushovski-Kazhdan在VF与RV排序的格罗滕迪克半环之间的典范同态，通过特殊双射提升对象。
• 利用VF与RV排序中的可定义集与体积形式，定义带加法特征的可积函数与积分。
• 在RV-排序语言中应用量化消除与o-极小性，构造可定义划分并控制函数行为。
• 通过特殊双射与截面（csn: Γ → K×）应用变量替换公式，关联不同多圆柱体之间的体积。
• 利用动机傅里叶变换与RV-排序中多圆柱体的对偶性质，构造SL₂的韦伊表示。

实验结果

研究问题

• RQ1 如何将指数积分纳入代数闭赋值域上的动机积分？
• RQ2 在动机设定中，傅里叶变换的恰当定义是什么？其基本性质为何？
• RQ3 如何在动机框架内发展可定义分布的理论？
• RQ4 经典调和分析结果（如韦伊表示）在多大程度上可提升至动机设定？
• RQ5 特殊双射与RV-排序结构在维持动机积分中特征的一致性与可计算性方面起到何种作用？

主要发现

• 傅里叶变换在动机设定中是良定义的，并满足类似于经典傅里叶变换的性质，包括对偶性与酉性。
• 多圆柱体及其η-对偶的体积满足 vol(b) · vol(bι(η)) = 1，表明二者均为完备格罗滕迪克环 ˆKR 中的单位元。
• 动机傅里叶变换保持可定义集的结构，并尊重RV-排序语言的o-极小性与量化消除性质。
• SL₂的韦伊表示在动机层面被成功构造，其构造与经典情形完全平行。
• 由于可定义积分的几何性质及模型论工具的应用，该理论避免了经典病态现象（如富比尼定理失效）。
• 本文证明了任意可定义函数 f: VFⁿ → P(VFᵐ) 几乎处处局部常值，这是支撑理论稳定性的关键技术结果。