[论文解读] Sur le lemme fondamental pour les groupes unitaires

Gérard Laumon|ArXiv.org|Dec 18, 2002

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通过利用仿射施伯宁纤维的纯度猜想，建立了等特征局部域上酉群的基本引理的几何类比。在假设该猜想成立的前提下，作者证明了紧化雅可比簇的上同调群与积的扭曲上同调之间的同构，通过全局形变和等变上同调技术，将结果从正则半单元素推广至所有此类元素。

ABSTRACT

Assuming the purity conjecture for the affine Springer fibers which has been formulated by Goresky, Kottwitz and MacPherson, we prove a geometric analog of the fundamental lemma for unitary groups. Our approach is similar to the one of Goresky, Kottwitz and MacPherson. Our main new ingredient is the link between affine Springer fibers and compactified Jacobians which is described in math.AG/0204109.

研究动机与目标

• 将几何基本引理推广至等特征局部域上的酉群，消除对正则半单元素的限制。
• 在纯度猜想下，建立紧化雅可比簇与施伯宁纤维积的上同调同构。
• 通过施伯宁纤维与紧化雅可比簇之间的联系，推广戈雷斯基、科特维茨与麦克唐纳森的方法。
• 证明仿射施伯宁纤维的纯度猜想蕴含等特征局部域上酉群的几何基本引理。
• 提供一个几何框架，通过格罗滕迪克-莱夫谢茨不动点公式蕴含算术基本引理。

提出的方法

• 将仿射施伯宁纤维上同调的纯度猜想作为基础假设。
• 应用关于施伯宁纤维空间上环作用的等变上同调技术。
• 通过将奇点纤维全局形变为具有多个分支的光滑曲线，将几何与紧化雅可比簇联系起来。
• 使用奇异闭浸入的Gysin同态，其中局部系统 $\mathcal{L}$ 充当方向层。
• 通过商去除共特征格 $\Lambda_I$ 将问题约化为等变上同调，聚焦于商环 $\mathbb{G}_m^2$。
• 应用文献[2]中的关键结果，建立施伯宁纤维与紧化雅可比簇之间的关系，从而将 $X_I$ 的上同调与 $Z_I$ 的上同调联系起来。

实验结果

研究问题

• RQ1 仿射施伯宁纤维的纯度猜想是否蕴含等特征局部域上酉群的几何基本引理？
• RQ2 几何基本引理能否推广至所有正则半单元素，而不仅限于非分歧极大环面中的元素？
• RQ3 紧化雅可比簇在实现施伯宁纤维积奇异嵌入的Gysin映射中起什么作用？
• RQ4 在缺乏光滑性的情况下，$Z_I$ 上的局部系统 $\mathcal{L}$ 如何作为方向？
• RQ5 在纯度假设下，等变上同调方法能否用于建立同构 $H^\bullet-2r(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$？

主要发现

• 仿射施伯宁纤维的纯度猜想蕴含等特征局部域上酉群的几何基本引理。
• 在纯度假设下，同构 $H^\bullet-2r(Z_{I_1} \times Z_{I_2}, \mathbb{Q}_\ell)(-r) \xrightarrow{\sim} H^\bullet(Z_I, \mathcal{L})$ 成立。
• 紧化雅可比簇 $Z_I$ 的上同调同构于积 $Z_{I_1} \times Z_{I_2}$ 的扭曲上同调，扭曲度为 $r = \sum_{i\in I_1,j\in I_2} r_{ij}$。
• 等变上同调计算表明 $H_\bullet^{\mathbb{G}_m^2}(X_I, \mathbb{Q}_\ell)_m = t^r H_\bullet(X_{I_1} \times X_{I_2}, \mathbb{Q}_\ell)_m[t]$，确认了预期结构。
• 该结果通过格罗滕迪克-莱夫谢茨不动点公式蕴含酉群的算术基本引理。
• 该方法在存在奇点的情况下，通过局部系统 $\mathcal{L}$ 作为光滑方向的替代，建立了上同调群之间的典范同构。