[论文解读] Integration on product spaces and GL_n of a valuation field over a local field

Matthew Morrow|ArXiv.org|Dec 13, 2007

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

一句话总结

本文在赋值域上有限维向量空间及具有局部剩余域的 $\mathrm{GL}_n$ 上发展了平移不变积分理论，使用 $\mathbb{C}(\Gamma)$-值函数与富比尼型条件。关键贡献是构造了一个在仿射变换下封闭的函数空间 $\mathcal{L}(F^n, \mathrm{GL}_n)$，确保在 $\mathrm{GL}_n(F)$-作用下不变，并提升 $\mathrm{GL}_n(\overline{F})$ 上的哈尔测度，其应用涵盖高维局部域及朗兰兹纲领。

ABSTRACT

We present elements of a theory of translation-invariant integration on finite dimensional vector spaces and on GL_n over a valuation field with local field as residue field. We then discuss the case of an arbitrary algebraic group. This extends the work of Fesenko.

研究动机与目标

• 将费森科关于高维局部域上积分的理论扩展至 $\mathrm{GL}_n$ 与一般代数群。
• 在 $F^n$ 上构造一个 $\mathbb{C}(\Gamma)$-值函数空间，使其在仿射变量替换下封闭，并在 $\mathrm{GL}_n(F)$ 作用下保持不变。
• 通过变量替换与富比尼型条件，确保 $F^n$、$\mathrm{GL}_n(F)$ 与代数子群上积分的一致性。
• 解决正特征情形下非线性变量替换的挑战，特别是在二维局部域中。
• 为二维局部域的表示理论与朗兰兹纲领奠定测度论工具的基础。

提出的方法

• 将 $F^n$ 上的富比尼函数定义为重复积分良好定义且与变量顺序无关的函数，以确保富比尼定理成立。
• 构造 $\overline{F}^n$ 上施瓦茨-布罗盖特函数 $g$ 的提升 $g^{a,\gamma}$ 到 $F^n$，其在平移的分数理想之外为零。
• 引入 $F^n$ 上的函数空间 $\mathcal{L}(F^n, \mathrm{GL}_n)$，使得映射 $f \mapsto \phi(\tau) = f(a + \tau x) \cdot |\det \tau|^{-1}$ 为富比尼函数，从而确保在 $\mathrm{GL}_n(F)$-作用下的不变性。
• 通过条件 $\tau \mapsto \phi(\tau) |\det \tau|^{-n}$ 属于 $\mathcal{L}(F^{n^2})$ 来定义 $\mathrm{GL}_n(F)$ 上的积分，将 $F^{n^2}$ 与 $n \times n$ 矩阵相等同。
• 建立 $\mathrm{GL}_n(F)$ 上积分的左与右平移不变性，提升 $\mathrm{GL}_n(\overline{F})$ 上的哈尔测度。
• 通过 [13] 中关于 $p$-进情形下野奇点的结果，研究多项式变量替换下的相容性，特别是在正特征情形下。

实验结果

研究问题

• RQ1 如何在具有局部剩余域的赋值域 $F$ 上一致地定义 $F^n$ 与 $\mathrm{GL}_n(F)$ 上的平移不变积分？
• RQ2 何种条件可确保 $F^n$ 上重复积分与变量顺序无关，如何将其形式化为富比尼条件？
• RQ3 如何构造 $\mathrm{GL}_n(F)$ 上的积分，使其在 $\mathrm{GL}_n(F)$ 元素的左乘与右乘下保持不变？
• RQ4 多项式变量替换在将积分扩展至代数群时起何作用，正特征下会出现何种障碍？
• RQ5 在某些非线性变量替换（如 $y \mapsto y - t^{-1}x^p$）下富比尼性失效时，对代数群上积分的一致性会产生何种影响？

主要发现

• 空间 $\mathcal{L}(F^n, \mathrm{GL}_n)$ 在仿射变换 $x \mapsto a + \tau x$ 下封闭，且满足不变性性质 $\int^{F^n} f(a + \tau x) \, dx = |\det \tau|^{-1} \int^{F^n} f(x) \, dx$。
• 对任意 $\overline{F}^n$ 上的施瓦茨-布罗盖特函数 $g$，其在 $F^n$ 上的提升 $f = g^{0,0}$ 为富比尼函数，确保重复积分良好定义。
• $\mathrm{GL}_n(F)$ 上的积分既具有左平移不变性又具有右平移不变性，并提升 $\mathrm{GL}_n(\overline{F})$ 上的哈尔积分，满足 $\int^{\mathrm{GL}_n(F)} g^0(x) \, dx = \int_{\mathrm{GL}_n(\overline{F})} g(u) \, du$。
• 在剩余特征为 $p$ 的二维局部域情形下，变量替换 $y \mapsto y - t^{-1}x^p$ 导致富比尼性失效：一般情况下 $\int \int f(x, y - h(x)) \, dx \, dy = 0$，而 $\int \int f(x, y - h(x)) \, dy \, dx \neq 0$。
• 障碍源于正特征下 $\overline{F}$ 的非完美性，表明野变量替换可能破坏代数群上积分的一致性。