[论文解读] Frenkel-Gross' irregular connection and Heinloth-Ngô-Yun's are the same

Xinwen Zhu|arXiv (Cornell University)|Oct 9, 2012

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

一句话总结

本文证明了 Frenkel-Gross 构造的 $\mathbb{G}_m$ 上的不规则联络与 Heinloth-Ngô-Yun 构造的不规则联络是同构的，从而确认了 [HNY] 中的猜想 2.14。通过 Beilinson-Drinfeld 对 Hitchin 可积系统进行的量子化，作者表明两种构造在 $G$-主丛的模堆栈上产生相同的自守 D-模，这通过 Hecke 特征值对应关系意味着联络是相同的。

ABSTRACT

We show that the irregular connection on $\bbG_m$ constructed by Frenkel-Gross (2009) and the one constructed by Heinloth-Ngô-Yun (arXiv:1005.2765) are the same, which confirms the Conjecture 2.14 of arXiv:1005.2765.

研究动机与目标

• 在几何朗兰兹的背景下，建立 $\mathbb{G}_m$ 上两种不同不规则联络构造之间的等价性。
• 验证 Heinloth-Ngô-Yun 的猜想 2.14，该猜想认为其自守 D-模是特定不规则联络的 Hecke 特征值。
• 证明通过 Beilinson-Drinfeld 方法构造的自守 D-模与 Heinloth-Ngô-Yun 显式构造的 D-模一致，利用等变性与唯一性。
• 表明具有运算形式的 Frenkel-Gross 联络，正是 [HNY] 中 D-模的 Hecke 特征值，从而证明其等价性。

提出的方法

• 证明 $\mathbb{G}_m$ 上的 Frenkel-Gross 联络 $\mathcal{E}$ 具有运算形式，使其可应用于 Beilinson-Drinfeld 量子化框架。
• 利用 Beilinson-Drinfeld 方法，在模堆栈 $\operatorname{Bun}_{\mathcal{G}}$ 上构造一个具有 Hecke 特征值 $\mathcal{E}$ 的自守 D-模。
• 证明该构造的 D-模关于 $I(1)/I(2)$ 的作用在非退化的加法特征标 $\Psi$ 下是等变的，与 [HNY] 中的结构一致。
• 由于此类等变 D-模在模空间上的唯一性，表明 Beilinson-Drinfeld 构造的 D-模与 Heinloth-Ngô-Yun 构造的 D-模完全一致。
• 由于 [HNY] 中的不规则联络被定义为其 D-模的 Hecke 特征值，因此它必须等于 $\mathcal{E}$，从而完成证明。

实验结果

研究问题

• RQ1 Frenkel-Gross 与 Heinloth-Ngô-Yun 在 $\mathbb{G}_m$ 上构造的不规则联络是否同构？
• RQ2 通过 Beilinson-Drinfeld 对 Hitchin 可积系统进行量子化所得到的自守 D-模，是否与 [HNY] 中显式构造的 D-模一致？
• RQ3 Frenkel-Gross 联络是否正是 [HNY] 中 D-模的 Hecke 特征值，如猜想所述？
• RQ4 模堆栈上等变 D-模的唯一性是否可用于识别两种不同构造的同一对象？

主要发现

• Frenkel-Gross 构造的 $\mathbb{G}_m$ 上的不规则联络与 Heinloth-Ngô-Yun 构造的不规则联络同构，从而确认了 [HNY] 中的猜想 2.14。
• 通过 Beilinson-Drinfeld 方法构造的自守 D-模关于 $I(1)/I(2)$ 在特征标 $\Psi$ 下是等变的，其结构与 [HNY] 一致。
• Beilinson-Drinfeld 量子化构造的 D-模由其等变性与特征值性质唯一确定，因此必然与 [HNY] 中的 D-模一致。
• 因此，[HNY] 中 D-模的 Hecke 特征值正是 Frenkel-Gross 联络，证明了两种构造产生同一对象。