[论文解读] Integration on valuation fields over local fields

Matthew Morrow|ArXiv.org|Dec 13, 2007

Algebraic Geometry and Number Theory参考文献 18被引用 6

一句话总结

本论文构建了在残数域为局部域（如 ℝ、ℂ 或非阿基米德局部域）的赋值域上的平移不变积分、测度与调和分析理论。它构造了一类取值于复群代数 ℂΓ 的哈尓型积分，推广了费森科的工作，使二维局部类域论中的 zeta 积分与函数方程得以应用。

ABSTRACT

We present elements of a theory of translation-invariant integration, measure, and harmonic analysis on a valuation field with local field as residue field. This extends the work of Fesenko. Applications to zeta integrals for two-dimensional local fields are then considered.

研究动机与目标

• 发展赋值域上平移不变积分的严格理论，其残数域为局部域，扩展费森科的框架。
• 将调和分析与 zeta 积分理论推广至高维局部域，特别是阿基米德情形。
• 通过提升变换，建立二维局部域上 zeta 积分的解析延拓与函数方程。
• 在残数域上定义一种修正的傅里叶变换（∗-变换），并证明其在施瓦茨型空间上的自同态性质。
• 通过从残数域提升的方法，为 F×F 与 GLn(F) 上的积分提供新方法，避免依赖拓扑完备性。

提出的方法

• 通过残数映射将 F̄ → ℂ 的哈尔可积函数 f 提升至 F，形成 f⁰⁰，并考虑平移 f⁰⁰(x+a) 与伸缩 f⁰⁰(αx)。
• 在这些提升函数的张成空间上定义取值于 ℂΓ 的积分，利用线性无关性结果（命题 1.6）确保其良定性。
• 通过广义调和分析框架将积分扩展至非 L¹ 函数，引入类似于魏尔构造的 ∗-变换。
• 将 ∗-变换应用于从残数域 F̄ 到赋值域 F 的局部 zeta 积分理论的提升，证明函数方程。
• 利用 ℂ(Γ) 的结构与 ℂ 上的全纯性，通过恒等定理证明函数的唯一性与解析延拓。
• 通过从 F̄×F̄ 提升，构建 F×F 与 F××F× 上的乘积积分理论，通过 |x|⁻¹|y|⁻¹ 定义测度，并将积分扩展至 ℂ(Γ)-值函数。

实验结果

研究问题

• RQ1 在残数域为局部域的赋值域上，即使缺乏拓扑完备性，如何严格定义平移不变积分？
• RQ2 当残数域为阿基米德情形（如 ℝ 或 ℂ）时，F 上的积分结构如何？与费森科的主张相比有何异同？
• RQ3 能否从残数域提升二维局部域上的 zeta 积分，同时保持解析延拓与函数方程？
• RQ4 ∗-变换在建立 zeta 积分函数方程中起什么作用？它在施瓦茨空间上是否为自同态？
• RQ5 如何利用此提升方法构造 GLn(F) 与 F××F× 上的积分？其满足何种不变性性质？

主要发现

• 积分 ∫^F 作为提升函数空间上的 ℂΓ-线性泛函是良定义的，满足 ∫^F(f⁰⁰(x+a)) = ∫_F̄ f(u) du · X^γ，其中 γ 适当。
• 当 F = ℂ(t) 时，集合 St^n + t^{n+1}ℂ[t] 被赋予测度 μ(S)X^n ∈ ℝ(X)，将勒贝格测度推广至群代数。
• F̄ 上的 ∗-变换满足函数方程 Z(g*, ω⁻¹, 2−s) = ε_*(ω,s)Z(g, ω, s)，对所有拟特征标 ω 显式计算出 ɛ 因子。
• 证明了 ∗-变换在施瓦茨空间 𝒮(K) 上是自同态，此结果此前在文献中未被观察到。
• F××F× 上的 zeta 积分通过 ∫^F××F× f(x,y)χ∘𝐭(x,y)|𝐭(x,y)|^s char_T(x,y) d×x d×y 定义，已建立其解析延拓与函数方程。
• 该方法允许在 F×F 上使用富比尼定理处理重积分，并证明 GL_n(F) 上存在平移不变积分，扩展了费森科的结果。