[论文解读] Holomorphic principal bundles over elliptic curves

Robert Friedman, John W. Morgan|ArXiv.org|Nov 22, 1998

Algebraic Geometry and Number Theory参考文献 12被引用 55

一句话总结

本文对椭圆曲线上的全纯主 $G$-丛（$G$ 为半单代数群）进行分类，证明当 $G = Sp(2n)$ 或 $SO(2n)$ 时，半稳定 $G$-丛的 $S$-等价类模空间为射影空间，并给出了自同构群与辛/对称形式的显式描述。结果推广了 Atiyah 对向量丛的分类，为研究 F-theory 紧化中 $G$-丛奠定了基础。

ABSTRACT

In this paper, the first of a series of three, we classify holomorphic principal G-bundles over an elliptic curve, where G is a reductive group. We also study the local and global properties of the moduli space of semistable G-bundles. We identify canonical representatives for each S-equivalence class of semistable G-bundles, and study their automorphism groups.

研究动机与目标

• 对光滑椭圆曲线 $E$ 上的半单代数群 $G$ 的全纯主 $G$-丛进行分类，推广 Atiyah 对向量丛的分类。
• 建立半稳定 $G$-丛的 $S$-等价类模空间的结构，特别是对辛群与正交群的情形。
• 分析取值于 $\mathcal{O}_E(p_0)$ 的非退化对称与交错形式在 $G$-丛上的存在性与分类，这对理解自同构群至关重要。
• 通过研究椭圆曲线上的 $G$-丛，为 F-theory/杂化对偶性提供基础结果，其中 $G = E_6, E_7, E_8$ 是相关群。
• 通过在后续论文中引入新的解析性变形方法，解决以往方法的局限性，特别是无法构造普遍丛的问题。

提出的方法

• 利用 Grothendieck 定理将 $\mathbb{P}^1$ 上 $G$-丛的结构群约化至 Cartan 子群的方法，并将其推广至椭圆曲线。
• 通过将全纯 $G$-丛分解为不可约丛 $I \otimes W_2(q)$ 的形式进行分类，其中 $I$ 为线丛，$W_2(q)$ 为秩 2 不可约丛。
• 利用 $W_2(q)$ 上的固定形式 $R_0$，将 $G$-丛上非退化双线性形式（对称或交错）的问题约化为线丛 $I$ 上的形式问题。
• 通过公式 $\operatorname{Aut}^{\mathbb{C}^*Q}(V) \cong \mathbb{C}^* \times_{\mathbb{Z}/2\mathbb{Z}} \operatorname{Aut}^{Q_0}(I)$ 计算丛的共形自同构群，其中 $Q_0$ 是 $I$ 上的诱导形式。
• 利用 Narasimhan-Seshadri 定理与 Ramanathan 的稳定性理论，将平坦丛与不可约表示联系起来，尤其在 $G = SL_n(\mathbb{C})$ 的情形下。
• 通过对称或交错形式构造模空间为射影空间 $\mathbb{P}^{(n-1)/2}$ 或 $\mathbb{P}^{n/2}$，具体取决于 $n$ 的奇偶性。

实验结果

研究问题

• RQ1 对于半单群 $G$，椭圆曲线上半稳定 $G$-丛的 $S$-等价类模空间的结构是怎样的？
• RQ2 何时全纯 $G$-丛会允许取值于 $\mathcal{O}_E(p_0)$ 的非退化对称或交错双线性形式？
• RQ3 此类丛的自同构群（尤其是共形自同构）如何依赖于形式类型与群 $G$？
• RQ4 此类形式的存在性与 $G$-丛提升至 $Spin(2n)$ 等中心扩张之间有何关系？
• RQ5 如何利用椭圆曲线上 $G$-丛的分类来理解弦理论中 F-theory/杂化对偶性？

主要发现

• 当 $G = Sp(2n)$ 时，半稳定 $G$-丛的 $S$-等价类模空间在 $n$ 为奇数时同构于 $\mathbb{P}^{(n-1)/2}$，在 $n$ 为偶数时同构于 $\mathbb{P}^{n/2}$。
• 当 $G = SO(2n)$ 时，模空间同构于 $\mathbb{P}^{(n-1)/2}$ 或 $\mathbb{P}^{n/2}$，具体取决于 $n$ 的奇偶性，且当 $n$ 为奇数时，丛无法提升至 $SO(2n)$。
• 在模掉标量后，丛 $I \otimes W_2(q)$ 的共形自同构群为 $\mathbb{C}^* / \{\pm \operatorname{Id}\}$（当 $q \neq -q$ 时），或为 $\mathbb{C}^* \rtimes \mathbb{Z}/2\mathbb{Z}$（当 $q = p_0$ 时）。
• 当 $q = -q$ 但 $q \neq p_0$ 时，$I \otimes W_2(q)$ 的自同构群是阿贝尔群；但对于带有自然辛形式的 $W_2(q) \oplus W_2(q)$，其自同构群为 $GL_2(\mathbb{C})$，是非阿贝尔群。
• 在 $W_2(q) \oplus W_2(-q)$ 上存在非退化交错形式，当且仅当 $q = p_0$ 且 $d$ 为奇数，或 $q = -q$ 且 $d$ 为偶数。
• 对于 $Spin(2n)/({\mathbb{Z}}/2{\mathbb{Z}})$-丛的模空间为加权射影空间 $\mathbb{P}(1,1,1,2,2,\dots,2)$，表明在对称情形下自同构结构为非阿贝尔。