[论文解读] Additive invariants in o-minimal valued fields

Yimu Yin|arXiv (Cornell University)|Jun 30, 2013

Advanced Topology and Set Theory参考文献 13被引用 5

一句话总结

本文为多项式有界 T-凸赋值域发展了 Hrushovski-Kazhdan 风格的动机积分，建立了 VF-类与 RV-类中可定义集的 Grothendieck 半环之间的典范同态。它为可定义连续函数的芽构造了有理拓扑 zeta 函数，推广了欧拉示性数，并通过向 Milnor 纤维的特化及 Y 中生成系列的有理性结果，将动机积分推广至 o-极小设定。

ABSTRACT

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted first-order language L_TRV. We establish canonical homomorphisms between the Grothendieck semirings of various categories of definable sets that are associated with the VF-sort and the RV-sort of L_TRV. The groupifications of some of these homomorphisms may be described explicitly and are understood as generalized Euler characteristics. In the end, following the Hrushovski-Loeser method, we construct topological zeta functions associated with (germs of) definable continuous functions in an arbitrary polynomial-bounded o-minimal field and show that they are rational. The overall construction is closely modeled on that of the original Hrushovski-Kazhdan construction, as reproduced in the series of papers by the present author.

研究动机与目标

• 将 Hrushovski-Kazhdan 动机积分扩展至 o-极小赋值域，特别是多项式有界 T-凸域。
• 在 VF-类与 RV-类中可定义集的 Grothendieck 半环之间定义典范同态。
• 为可定义连续函数的芽构造拓扑 zeta 函数并证明其有理性。
• 通过 Grothendieck 半环的群化，将欧拉示性数不变量推广至 o-极小设定。
• 以 Hrushovski-Loeser 方法为模型，将其适配至非阿基米德 o-极小结构。

提出的方法

• 使用双排序一阶语言 LTRV 来形式化 VF-类（赋值域）与 RV-类（赋值群商）。
• 定义 VF* 与 RV[*] 中的可定义集类别，其态射为可定义双射，并按 RV[*] 中的环境维数进行分层。
• 构造一个从 RV[*] 到 VF* 的提升映射 L，通过特殊双射覆盖所有同构类。
• 建立从 K+VF* 到 K+RV[*]/Isp 的典范同态，证明其为同构。
• 通过广义欧拉示性数 em 与 R-同态定义动机 zeta 函数，作为 Y 中的生成系列。
• 通过将 zeta 函数分解为几何级数的 Hadamard 乘积，并利用赋值群中区间像上的线性性，证明 zeta 函数的有理性。

实验结果

研究问题

• RQ1 动机积分能否被扩展至 o-极小赋值域，特别是多项式有界 T-凸域？
• RQ2 在此设定下，如何定义加法不变量（如广义欧拉示性数）？
• RQ3 与可定义函数相关的拓扑 zeta 函数在此语境下是否具有有理性？
• RQ4 特殊双射与提升映射在构造 Grothendieck 半环之间典范同态的过程中起什么作用？
• RQ5 Milnor 纤维及其形式弧加粗在 o-极小结构中的动机 zeta 函数中扮演何种角色？

主要发现

• 动机 zeta 函数 Z±f(Y) 具有有理型，其分母形式为 1 − (−X)^a Y^b，其中 b ≥ 1。
• 当 Y → ∞ 时，zeta 函数取得极限 e±f ∈ ℤ，满足 e±f X^n = −R ∫ Z±[fM]，通过 R-同态实现。
• Z±f(Y) 的有理性源于其分解为几何级数的 Hadamard 乘积，其中 [U] ∈ vol RES[k] 且 [I] ∈ vol Γdb[l]。
• 系列 Z±(U)(Y) 是形如 [U]/[A!]^k ∑( [1]/[A!] )^{nq} Y^{np} 的几何级数，因此具有有理型。
• 由于线性性及赋值群中开区间上 χΓ(σ⁻¹_I(β)) = d 的常数性，系列 Z±(I)(Y) 具有有理型。
• 当 T→∞ 时，Z±(U)(Y) 的极限为 −[U]/[A!]^k，而 Z±(I)(Y) 的极限为 −d ([T]/[A!])^l，确认了收敛性与有理结构。