解法：吴宝珠利用Hitchin纤维化与几何支撑定理给出的证明(2008年)

第 2/9 步：瓦尔德斯普格的归约:从群到李代数,从混合特征到相同特征

通俗地说

与其直接攻克弯曲、非线性群 $G$ 上的基本引理,不如先将问题线性化:用其李代数 $\mathfrak{g}$ (其中乘法变成加法)取代 $G$ ,转而在那里证明类似的命题。

第二个化简则替换了算术舞台:不必使用 $p$ 进数,只需在有限域上的幂级数域 $\mathbb{F}_q((t))$ 中工作,在那里算术的两个“层次”共享同一个特征——这对几何而言是友好得多的世界。

\mathrm{FL}(G) \Longleftarrow \mathrm{FL}(\mathfrak{g}), \qquad \mathfrak{g} = \mathrm{Lie}(G)

详细分析

瓦尔德斯普格于1990年代证明,约化群 $G$ 的基本引理形式上可由其李代数 $\mathfrak{g} = \mathrm{Lie}(G)$ 上相应的命题推出:单位元附近 $G$ 上的轨道积分可以逐项与 $\mathfrak{g}$ 上的轨道积分对应(Hales 2011, §1; Waldspurger 1997)。这是一个真正的化简,因为 $\mathfrak{g}$ 是一个向量空间,其几何(中心化子、判别式)由普通的多项式代数支配,而非群乘法。

瓦尔德斯普格还通过比较“相近”的局部域证明,只需在诸如 $\mathbb{F}_q((t))$ 这样特征为正且相等的局部域上证明李代数版本的命题,而不必直接在 $p$ 进数 $\mathbb{Q}_p$ 上证明;十年后,拉夫·克鲁克斯(Raf Cluckers)、托马斯·黑尔斯与弗朗索瓦·卢瑟(François Loeser)利用动机积分的模型论,给出了一个独立且更灵活的、本质相同的转移证明,它同样处理了证明末尾所需的 $\kappa$ 加权版本和群版本。

正是这两个归约,使吴宝珠得以用定义在有限域上的曲线上的代数几何来攻克基本引理:从此以后的一切,都发生在特征为正且相等的李代数世界中。

本步骤中的术语

李代数 $\mathfrak{g}$: 群 $G$ 在其单位元处的线性逼近;对矩阵群而言,它由带有括号运算 $[X,Y] = XY - YX$ (取代群乘法)的矩阵组成。
正特征局部域: 诸如 $\mathbb{F}_q((t))$ 这样的域,即有限域 $\mathbb{F}_q$ 上的形式洛朗级数域,其表现类似于 $p$ 进数 $\mathbb{Q}_p$ ,但其中算术与几何(特征 $p$ )一致,使代数几何的工具可以直接使用。

本步骤用到的知识

李群与李代数