[论文解读] Geometric structure and the local Langlands conjecture

Anne‐Marie Aubert, Paul Baum+2 more|arXiv (Cornell University)|Nov 1, 2012

Advanced Algebra and Geometry参考文献 40被引用 11

一句话总结

本文提出一个几何结构猜想，通过扩展商（extended quotients）统一了连通分裂半单 $p$-进李群的光滑对偶与朗兰兹参数，证明了主系的局部朗兰兹对应可通过包含这些几何对象的交换三角形实现为双射对应。关键贡献在于构建了一个系统化的几何框架，简化了 $L$-包与伯恩斯坦分量的计算，且在 $\mathrm{GL}_m(D)$ 和辛群上进行了显式验证。

ABSTRACT

We prove that a strengthened form of the local Langlands conjecture is valid throughout the principal series of any connected split reductive $p$-adic group. The method of proof is to establish the presence of a very simple geometric structure, in both the smooth dual and the Langlands parameters. We prove that this geometric structure is present, in the same way, for the general linear group, including all of its inner forms. With these results as evidence, we give a detailed formulation of a general geometric structure conjecture.

研究动机与目标

• 提出一个强化的几何结构猜想，将局部朗兰兹对应与 $p$-进群的表示理论统一起来。
• 建立连通分裂半单 $p$-进李群的光滑对偶与朗兰兹参数在扩展商下的共同几何结构。
• 证明该几何结构控制主系中 $L$-包与伯恩斯坦分量的交集。
• 展示扩展商为光滑对偶与朗兰兹参数提供了一个计算上可行的模型。
• 将该框架推广至一般线性群及其内形，验证关键例子中的猜想。

提出的方法

• 引入第二类扩展商作为 $p$-进群光滑对偶的几何模型。
• 利用伯恩斯坦分解与赫克代数理论，通过卡兹丹–卢济格基及渐近代数 $\mathcal{J}$ 将表示与几何数据关联。
• 构造一个映射的交换三角形：扩展商 $\to$ 光滑对偶 $\to$ 模 $G$-作用的朗兰兹参数，其中左箭头为双射，右箭头为有限对一。
• 应用仿射施普林格对应与广义施普林格对应，将几何数据与朗兰兹参数关联。
• 利用 $k$-代数之间的保谱同态，特别是 $\phi_q: \mathcal{H}_q(G) \to \mathcal{J}_q$，建立赫克代数与其渐近极限之间的几何等价性。
• 通过证明扩展商通过一个典范双射同时参数化主系表示与对应的朗兰兹参数，验证猜想在关键情形。

实验结果

研究问题

• RQ1 光滑对偶与 $p$-进群的朗兰兹参数中是否存在共同的几何结构？
• RQ2 主系中的局部朗兰兹对应是否可通过扩展商实现为双射对应？
• RQ3 $L$-包与伯恩斯坦分量的交集如何与扩展商的几何相关联？
• RQ4 扩展商在多大程度上可作为光滑对偶与朗兰兹参数的计算有效替代？
• RQ5 赫克代数的几何等价性是否可用于证明 $\mathrm{GL}_m(D)$ 与其他内形的猜想？

主要发现

• 扩展商与 $\mathrm{GL}_m(D)$ 的光滑对偶之间存在典范双射，验证了该情形下的猜想。
• 对于 $\mathrm{GL}_m(D)$，映射的交换三角形得以实现，左箭头为双射，右箭头为有限对一，确认了该几何结构。
• 当 $q$ 不是单位根时，渐近代数 $\mathcal{J}_q$ 通过三步过程（包括 $k$-结构的代数变化）与仿射赫克代数 $\mathcal{H}_q(G)$ 几何等价。
• 第二类扩展商同时参数化主系表示与对应的朗兰兹参数，建立了统一的几何框架。
• 该构造将施普林格对应推广至非连通群与扭曲扩展商的情形，使通过博雷尔子群的概形参数化朗兰兹参数成为可能。
• 对于辛群与 $G_2$，在伊瓦霍里-球对称情形下，该几何结构得以证明，支持了更广泛的猜想。