[论文解读] Any flat bundle on a punctured disc has an oper structure

Edward Frenkel, Xinwen Zhu|arXiv (Cornell University)|Nov 19, 2008

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

一句话总结

该论文通过仿射施瓦茨勒纤维的形变，证明了任意复连通半单群 $G$ 的穿孔圆盘上的每个平坦 $G$-丛都具有一个主丛结构，解决了局部几何朗兰兹纲领中的一个核心猜想。关键结果是证明了从 $G$-主丛到平坦 $G$-丛的遗忘映射是满射。

ABSTRACT

We prove that any flat G-bundle, where G is a complex connected reductive algebraic group, on the punctured disc admits the structure of an oper. This result is important in the local geometric Langlands correspondence proposed in arXiv:math/0508382. Our proof uses certain deformations of the affine Springer fibers which could be of independent interest. As a byproduct, we construct representations of affine Weyl groups on the homology of these deformations generalizing representations constructed by Lusztig.

研究动机与目标

• 证明穿孔圆盘 $D^\times = \mathrm{Spec}\,\mathbb{C}((t))$ 上的每个平坦 $G$-丛都具有主丛结构，这与 [Fr1] 和 [FG] 中的猜想一致。
• 建立遗忘映射 $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 的满射性，这是局部几何朗兰兹对应关系的关键。
• 在形变仿射施瓦茨勒纤维的同调上构造仿射韦伊群的表示，推广卢兹提格的构造。
• 通过主丛结构为仿射卡克斯–莫迪代数在临界水平上的模类范畴提供几何框架。

提出的方法

• 在仿射旗流形 $G(F)/P_J$ 中引入形变仿射施瓦茨勒纤维 $X_{A,J}$，其参数为连接 $A \in \mathfrak{g}(F)$ 和子集 $J \subset I_{\mathrm{aff}}$。
• 定义 $\mathrm{Aut}^+(D)$ 在勒维商 $G_J = P_J/P_J^u$ 上的作用，并证明其作用平凡，从而确保形变的良定义性。
• 构造一个交换图，将 $X_A$（形变施瓦茨勒纤维）与格罗滕迪克变换 $\widetilde{\mathfrak{g}}_J \to \mathfrak{g}_J$ 联系起来，通过映射 $\varphi_J: X_{A,J} \to \mathfrak{g}_J/G_J$。
• 利用该图的 $G_J$-等变结构，诱导出 $\pi_{J*}\underline{\mathbb{C}}$ 上的 $W_J$-作用，从而诱导出 $H_*(X_A)$ 上的 $W_J$-作用。
• 通过在所有 $J \subsetneq I_{\mathrm{aff}}$ 上取极限构造，将有限韦伊群作用提升为仿射韦伊群 $W_{\mathrm{aff}}$ 在 $H_*(X_A)$ 上的作用。
• 应用所得的同调表示，证明每个平坦 $G$-丛都规范等价于一个主丛，通过证明相关轨道映射是满射。

实验结果

研究问题

• RQ1 每个穿孔圆盘上的平坦 $G$-丛是否都具有主丛结构，即是否存在一个到极大 Borel 子群的约化并满足主丛条件？
• RQ2 能否证明对任意半单群 $G$，遗忘映射 $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 是满射？
• RQ3 形变仿射施瓦茨勒纤维 $X_{A,J}$ 是否支持仿射韦伊群 $W_{\mathrm{aff}}$ 的表示，从而推广卢兹提格对有限韦伊群表示的构造？
• RQ4 是否存在一种几何机制，可将任意平坦联络转化为主丛形式，而无需像科斯坦定理那样要求正则性条件？
• RQ5 在遗忘映射的满射性为必要条件的前提下，如何通过主丛结构实现局部几何朗兰兹对应？

主要发现

• 遗忘映射 $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 是满射，证明了穿孔圆盘上的每个平坦 $G$-丛都具有主丛结构。
• 形变仿射施瓦茨勒纤维 $X_{A,J}$ 在 $G(F)/P_J$ 中是良定义的，并支持自然的 $G_J$-作用，且自同构群 $\mathrm{Aut}^+(D)$ 在 $G_J$ 上作用平凡。
• 在 $X_A$（形变施瓦茨勒纤维）与格罗滕迪克变换 $\widetilde{\mathfrak{g}}_J \to \mathfrak{g}_J$ 之间构造了一个交换图，使得 $G_J$-等变结构得以传递。
• 同调 $H_*(X_A)$ 上自然地作用着仿射韦伊群 $W_{\mathrm{aff}}$，推广了卢兹提格在普通施瓦茨勒纤维同调上的表示。
• 该构造为仿射卡克斯–莫迪代数在临界水平上、具有由主丛确定的中心特征的模类范畴提供了几何实现，这正是局部几何朗兰兹纲领所要求的。
• 该结果将科斯坦定理关于正则轨道的结果推广到穿孔圆盘上联络的设定中，且无需对留数部分作正则性假设。