[论文解读] Taniguchi Lecture on Principal Bundles on Elliptic Fibrations

Ron Donagi|ArXiv.org|Feb 12, 1998

Algebraic Geometry and Number Theory参考文献 11被引用 24

一句话总结

本文通过胞面覆盖和特殊Prym簇，建立了椭圆纤维化 $X \to S$ 上主 $G$-丛模空间的几何描述。结果表明，模空间在纤维族模空间截面上方的纤维同构于Prym簇 $Prym_\Lambda(\widetilde{S})$，将该问题与Hitchin的可积系统及杂色/F-理论对偶性联系起来。

ABSTRACT

In this talk we discuss the description of the moduli space of principal G-bundles on an elliptic fibration X-->S in terms of cameral covers and their distinguished Prym varieties. We emphasize the close relationship between this problem and the integrability of Hitchin's system and its generalizations. The discussion roughly parallels that of [D2], but additional examples are included and some important steps of the argument are illustrated. Some of the applications to heterotic/F-theory duality were described in the accompanying ICMP talk (hep-th/9802093).

研究动机与目标

• 通过胞面覆盖和Prym簇等几何不变量，描述椭圆纤维化 $X \to S$ 上主 $G$-丛的模空间 $\mathcal{M}^G_X$。
• 阐明 $G$-丛模空间与Hitchin系统及其推广的可积性之间的关系。
• 为弦理论中杂色/F-理论对偶性（特别是在Calabi-Yau紧化情形）提供几何框架。
• 将椭圆曲线情形下已知的 $\mathcal{M}^G_E$ 描述推广至以 $S$ 为基的族，并分析纤维化 $\mathcal{M}^G_X \to \Gamma(S, \mathcal{M}^G_{X/S})$ 的纤维。
• 建立在胞面覆盖 $\widetilde{S} \to S$ 上的纤维与特殊Prym簇 $Prym_\Lambda(\widetilde{S})$ 之间的非典范同构。

提出的方法

• 将模空间分解为三个步骤：(1) 分类单个椭圆曲线 $E$ 上的 $G$-丛，(2) 构造参数化纤维上此类丛的族 $\mathcal{M}^G_{X/S} \to S$，(3) 分析纤维化 $\mathcal{M}^G_X \to \Gamma(S, \mathcal{M}^G_{X/S})$。
• 将 $\mathcal{M}^G_E$ 识别为商 $\mathcal{M}^T_E / W$，其中 $\mathcal{M}^T_E \cong E^r$ 是度数为零的 $T$-丛模空间，$W$ 为Weyl群。
• 证明 $\Gamma(S, \mathcal{M}^G_{X/S})$ 是一个加权射影空间，通过从全息 $T$-丛模空间拉回，参数化 $W$-Galois 胞面覆盖 $\widetilde{S} \to S$。
• 建立 $\mathcal{M}^G_X$ 在截面 $s \in \Gamma(S, \mathcal{M}^G_{X/S})$ 上方的纤维同构于特殊Prym簇 $Prym_\Lambda(\widetilde{S})$，其定义为从 $Hom_W(\Lambda, Pic(\widetilde{S}))$ 到 $H^2(W, \Lambda)$ 的同态的核。
• 利用 $\mathcal{M}^C_E$ 上Poincaré丛的存在性，构造一个 $W$-等变态射 $\mathcal{M}^C_E \times (G/B)^C \to \mathcal{M}^T_E$，从而在模空间层面诱导出所需的同构。
• 通过将半单元素的正则中心化子 $C$ 分解为半单部分与幂零部分，分析其结构，并通过检查等变性与中心化子分量的分裂性，证明映射 $Maps_W((G/B)^C, \mathcal{M}^T_E) \to \mathcal{M}^C_E$ 是同构。

实验结果

研究问题

• RQ1 如何通过胞面覆盖和Prym簇来描述椭圆纤维化 $X \to S$ 上主 $G$-丛的模空间？
• RQ2 在 $\Gamma(S, \mathcal{M}^G_{X/S})$ 的截面上方，$\mathcal{M}^G_X$ 的纤维的精确几何结构是什么？
• RQ3 模空间的构造如何与Hitchin系统的可积性及其推广相关联？
• RQ4 特殊Prym簇 $Prym_\Lambda(\widetilde{S})$ 在分类椭圆纤维化上的 $G$-丛中起什么作用？
• RQ5 对于 $G = E_8$ 的情形，模空间是否能以与其它群类似的方式描述，特别是在F-理论紧化背景下？

主要发现

• 椭圆曲线 $E$ 上 $G$-丛的模空间 $\mathcal{M}^G_E$ 同构于商 $\mathcal{M}^T_E / W$，其中 $\mathcal{M}^T_E \cong E^r$ 是一个阿贝尔簇，$W$ 为Weyl群。
• $\Gamma(S, \mathcal{M}^G_{X/S})$ 是一个加权射影空间，通过从全息 $T$-丛模空间拉回，参数化 $W$-Galois 胞面覆盖 $\widetilde{S} \to S$。
• 在对应于胞面覆盖 $\widetilde{S} \to S$ 的 $\Gamma(S, \mathcal{M}^G_{X/S})$ 中一点上方，$\mathcal{M}^G_X$ 的纤维同构于特殊Prym簇 $Prym_\Lambda(\widetilde{S})$，其为从 $Hom_W(\Lambda, Pic(\widetilde{S}))$ 到 $H^2(W, \Lambda)$ 的同态的核。
• 对于 $G$ 为 $E_n$ 型的情形，胞面覆盖可替换为具有del Pezzo纤维的纤维化 $U \to S$，此时 $\mathcal{M}^G_X$ 的纤维同构于相对Deligne上同调群 $\mathcal{D}(U/S)$，其连通分支为相对中间雅可比簇 $J_3(U/S)$。
• 通过 $W$-等变性及正则中心化子 $C = C_{ss} \times C_{unip}$ 的分解，建立了同构 $Maps_W((G/B)^C, \mathcal{M}^T_E) \to \mathcal{M}^C_E$ 的构造，其中半单部分给出 $({\mathcal{M}^T_E})^W$，而幂零部分独立于 $E$ 给出 $C_{unip}$。
• 该同构是非典范的，纤维是Prym簇上的非平凡扭子，反映了模问题的几何本质。