[论文解读] Langlands duality and G2 spectral curves

Nigel Hitchin|ArXiv.org|Nov 17, 2006

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

一句话总结

本文通过在希钦纤维化基空间上的一个对合，实现了例外群 $G_2$ 的朗兰兹对偶性，该对合将谱曲线纤维映射为其对偶，对应关系为 $(f,q) \mapsto (f, \frac{1}{54}f^3 - q)$。它证明了基空间上自然的三次形式在此对偶下保持不变，并利用 $Sp(6)$ 与 $SO(7)$ 之间的对偶性，通过七维表示描述了 $G_2$ 阿贝尔簇作为两个与同一双重覆盖相关的皮雷夫簇的交集。

ABSTRACT

We first demonstrate how duality for the fibres of the so-called Hitchin fibration works for the Langlands dual groups Sp(2m) and SO(2m+1). We then show that duality for G2 is implemented by an involution on the base space which takes one fibre to its dual. A formula for the natural cubic form is given and shown to be invariant under the involution.

研究动机与目标

• 为例外群 $G_2$ 的朗兰兹对偶性提供一个具体的实现，该群自对偶但其作用在模空间上非平凡。
• 通过七维表示描述 $G_2$ Higgs丛的阿贝尔簇，将其识别为两个皮雷夫簇的交集。
• 证明 $G_2$ 及其朗兰兹对偶之间的对偶性由希钦纤维化的基空间上的一个对合实现。
• 证明基空间上自然三次形式在此对偶对合下保持不变。
• 将该对偶机制推广至 $Sp(2m)$ 与 $SO(2m+1)$，阐明谱曲线与双重覆盖的作用。

提出的方法

• 通过将 $G_2$ 群实现为 $\mathbb{C}^7$ 中一个通用三形式的稳定化子，利用七维表示实现了其 Higgs 丛的几何描述。
• 通过与同一谱曲线的双重覆盖相关的两个皮雷夫簇的交集，构造了 $G_2$ Higgs 丛的阿贝尔簇。
• 在基空间上定义对偶对合为 $ (f,q) \mapsto (f, \frac{1}{54}f^3 - q) $，将一个纤维映射为其对偶。
• 基空间上的三次形式表达为留数之和：$ 2\sum_{q(a)=0} \frac{\dot{q}_1\dot{q}_2\dot{q}_3}{f^2 q'^2}(a) + 2\sum_{q^\vee(a)=0} \frac{\dot{q}^\vee_1\dot{q}^\vee_2\dot{q}^\vee_3}{f^2 (q^\vee)'^2}(a) $。
• 通过对微分形式进行变换并利用二面体群 $D_6$ 表示中的三角恒等式，验证了该对合下三次形式的不变性。
• 该方法利用了 $Sp(6)$ 与 $SO(7)$ 之间的对偶性，其中 $G_2$ 嵌入为 $\mathbb{C}^7$ 中三形式的稳定化子的单位连通分支。

实验结果

研究问题

• RQ1 给定 $G_2$ 的朗兰兹对偶是其自身，其朗兰兹对偶性如何实现？
• RQ2 在对偶对合下，如何通过几何机制将 $G_2$ 的希钦纤维映射为其对偶？
• RQ3 如何通过谱曲线与皮雷夫簇来描述 $G_2$ Higgs 丛的阿贝尔簇？
• RQ4 为何希钦纤维化基空间上的自然三次形式在对偶对合下保持不变？
• RQ5 $Sp(6)$–$SO(7)$ 对偶性在理解 $G_2$ 谱曲线及其对偶中起什么作用？

主要发现

• $G_2$ 的对偶性由希钦纤维化基空间上的对合 $ (f,q) \mapsto (f, \frac{1}{54}f^3 - q) $ 实现，该对合将每个纤维映射为其对偶。
• 基空间上自然的三次形式在此对合下保持不变，通过将其表达为留数之和，并验证变换下的对称性得以证明。
• $G_2$ Higgs 丛的阿贝尔簇被实现为两个与同一谱曲线的双重覆盖相关的皮雷夫簇的交集。
• 三次形式显式表达为 $ 2\sum_{q(a)=0} \frac{\dot{q}_1\dot{q}_2\dot{q}_3}{f^2 q'^2}(a) + 2\sum_{q^\vee(a)=0} \frac{\dot{q}^\vee_1\dot{q}^\vee_2\dot{q}^\vee_3}{f^2 (q^\vee)'^2}(a) $，其中 $q^\vee = \frac{1}{54}f^3 - q$。
• 通过将微分形式表示为谱曲线上三角函数并利用二面体群 $D_6$ 对称性，确认了三次形式的不变性。