[论文解读] The fundamental lemma of Jacquet-Rallis in positive characteristics

Zhiwei Yun|arXiv (Cornell University)|Jan 7, 2009

Advanced Algebra and Geometry参考文献 16被引用 31

一句话总结

本文在正特征下，对特征大于秩 $ n $ 的局部函数域，通过霍奇纳纤维化与希格斯丛模空间上的弗罗贝尼乌斯迹公式，利用整体几何方法，证明了李代数版本的雅克-拉利斯基本引理。关键结果建立了对称空间与酉群设定下的轨道积分恒等式，证实了雅克-拉利斯与魏张在函数域情形下的猜想。

ABSTRACT

We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups.

研究动机与目标

• 在特征大于秩 $ n $ 的函数域情形下，建立雅克-拉利斯基本引理的李代数版本。
• 证明关于测试函数在对称空间 $ \mathfrak{s}_n(F) $ 与酉李代数 $ \mathfrak{u}_n(F) $ 上的轨道积分恒等式，至多相差一个符号因子 $ (-1)^{v(A)} $。
• 通过归约到李代数情形，将证明扩展至引理的群版本，并验证当不存在匹配元素时的消失条件。
• 使用整体几何技术——特别是霍奇纳纤维化与模堆栈上的弗罗贝尼乌斯迹公式——来控制不可计算的局部轨道积分。
• 在正特征下确认对称空间与赫米特空间变体的引理所猜想的恒等式。

提出的方法

• 采用吴氏证明朗兰兹-舍尔斯塔德基本引理的全局到局部策略，利用霍奇纳模堆栈将局部轨道积分与全局上同调不变量联系起来。
• 在光滑射影曲线 $ X $ 上构造一组全局希格斯丛族，其奇点由除子 $ D $ 控制，以在固定点 $ x_0 $ 处建模局部数据。
• 利用同构 $ \mathcal{M} \cong \prod_{x \in |X_m|} \mathcal{M}^x_{i_x, a_x, b_x} $ 将全局模空间分解为局部因子，从而在每个点上分别分析。
• 应用拉德-迹公式计算局部模空间 $ \mathcal{M}^x_{i_x, a_x, b_x} $ 与 $ \mathcal{N}^x_{a_x, b_x} $ 上的弗罗贝尼乌斯迹，将其与轨道积分联系起来。
• 通过迹恒等式与半简化，建立局部霍奇纳纤维与局部仿射施普林格纤维上 $ \operatorname{Frob}_k $-模的同构。
• 利用 $ \mathcal{M}^x $ 与 $ \mathcal{N}^x $ 在 $ x_0 $ 之外为零维的事实，仅 $ x_0 $ 处的纤维贡献非平凡上同调，从而简化全局迹计算。

实验结果

研究问题

• RQ1 当 $ \operatorname{char}(F) > n $ 时，雅克-拉利斯基本引理的李代数版本在正特征下是否成立？
• RQ2 在函数域设定下，引理的群版本能否归约为李代数版本？
• RQ3 对称空间 $ \mathfrak{s}_n(F) $ 与酉李代数 $ \mathfrak{u}_n(F) $ 上的轨道积分是否至多相差符号 $ (-1)^{v(A)} $？
• RQ4 当对称空间与酉群之间不存在匹配元素时，轨道积分的消失性是否一致？
• RQ5 霍奇纳纤维化的整体几何能否用于在相对迹公式背景下证明局部恒等式？

主要发现

• 在特征大于秩 $ n $ 的函数域情形下，证明了雅克-拉利斯基本引理的李代数版本，证实了猜想 1.1.1 (1)。
• 通过第 2.6.1 段所示的归约论证，群版本的引理由李代数版本推出，且该论证在任意域上均成立。
• 当不存在匹配元素时，轨道积分的消失性通过一种抵消机制建立，如引理 2.5.3 所示。
• 霍奇纳纤维上的全局上同调迹公式导出局部模空间 $ \mathcal{M}^x $ 与 $ \mathcal{N}^x $ 上同调之间的 $ \operatorname{Frob}_k $-模同构，从而导致弗罗贝尼乌斯迹匹配。
• 对所有 $ j \geq 0 $，局部模空间上同调上 $ \operatorname{Frob}_k^m $ 的迹满足 $ \operatorname{Tr}(\operatorname{Frob}_k^m, M^j_0) = \operatorname{Tr}(\operatorname{Frob}_k^m, N^j_0) $，意味着半简化 $ \operatorname{Frob}_k $-模的同构。
• 由于 $ \operatorname{Frob}_k^2 $-作用决定了幂零部分，且 $ M^j_0 $ 与 $ N^j_0 $ 作为 $ \operatorname{Frob}_k^2 $-模同构，因此完整的 $ \operatorname{Frob}_k $-模也同构，从而完成证明。