[论文解读] Vector bundles on elliptic curves and factors of automorphy

Oleksandr Iena|arXiv (Cornell University)|Sep 16, 2010

Algebraic Geometry and Number Theory参考文献 13被引用 9

一句话总结

本文将阿蒂亚对椭圆曲线上向量丛的分类结果转化为自守因子的语言，建立了自守因子等价类与复环面上向量丛同构类之间的一一对应关系。其核心贡献是通过涉及指数函数和幂幺矩阵的显式矩阵因子，对固定秩与次数的椭圆曲线上不可约向量丛进行了完整分类。

ABSTRACT

We translate the Atiyah's results on classification of vector bundles on elliptic curves to the language of factors of automorphy.

研究动机与目标

• 以自守因子的语言重新表述阿蒂亚对椭圆曲线上向量丛的分类。
• 为专家所知但此前未发表或难以查找的结果提供系统且易于理解的处理。
• 建立复环面上向量丛与自守因子之间的对应关系，尤其针对椭圆曲线。
• 以矩阵值全纯函数的形式，对固定秩与次数的椭圆曲线上不可约向量丛给出完整分类。

提出的方法

• 通过在普遍覆盖上的群作用，利用自守因子与在普遍覆盖下拉回为平凡的向量丛之间的对应关系。
• 将 $ r $-维自守因子定义为满足上链条件 $ f(\lambda\mu, y) = f(\lambda, \mu y)f(\mu, y) $ 的全纯函数 $ f: \Gamma \times Y \to \mathrm{GL}_r(\mathbb{C}) $。
• 通过 $ Y $ 上全纯 $ \mathrm{GL}_r(\mathbb{C}) $-值函数的共轭引入自守因子上的等价关系，从而导出上同调集 $ H^1(\Gamma, r) $。
• 将 $ X $ 上的向量丛构造为商丛 $ E(f) = Y \times \mathbb{C}^r / \Gamma $，其中 $ \Gamma $ 通过自守因子作用。
• 通过识别普遍覆盖 $ \mathbb{C} \to E_\tau $ 并分析基本群的作用，将此框架应用于复环面，特别是椭圆曲线。
• 以度数为零的不可约丛的分类（定理 5.13）为基础，通过拉回与张量积操作推导出一般情况的分类（定理 5.23）。

实验结果

研究问题

• RQ1 阿蒂亚对椭圆曲线上向量丛的分类如何能以自守因子的语言重新表述？
• RQ2 自守因子等价类与复环面上向量丛同构类之间的确切对应关系是什么？
• RQ3 如何利用自守因子形式化，对固定秩与次数的椭圆曲线上不可约向量丛进行完整分类？
• RQ4 向量丛上的操作（如拉回、张量积）如何转化为自守因子上的操作？
• RQ5 参数化椭圆曲线上度数为零及一般度数的不可约丛的矩阵因子具有何种结构？

主要发现

• 每个椭圆曲线 $ E_\tau $ 上秩为 $ r $、次数为 $ d $ 的不可约向量丛均可表示为拉回 $ \pi_{r'}^*(L' \otimes F_h) $，其中 $ h = \gcd(r,d) $，$ r' = r/h $，$ d' = d/h $，$ L' $ 是 $ E_{r'\tau} $ 上次数为 $ d' $ 的线丛，$ F_h $ 是秩为 $ h $ 的幂幺丛。
• 不可约丛的度数为零的分类恰好对应于 $ d = 0 $ 的情形，此时 $ h = r $，$ r' = 1 $，$ d' = 0 $，所得到的丛由单个矩阵因子定义。
• 主要结果（定理 5.23）通过形如 $ \begin{pmatrix} 0 & I_{(r'-1)h} \\ \varphi_0^{d'} A_h(a) & 0 \end{pmatrix} $ 的分块矩阵显式参数化了所有秩为 $ r $、次数为 $ d $ 的不可约丛，其中 $ \varphi_0(u) = q^{-r/2} u^{-1} $，$ q = e^{2\pi i \tau} $，$ A_h(a) $ 是一个幂幺若尔当代数块矩阵。
• 矩阵因子 $ \varphi_0^{d'} A_h(a) $ 编码了自守数据，其中 $ a \in \mathbb{C}^* $ 参数化了丛的同构类。
• 该构造表明，沿同源映射 $ \pi_{r'}: E_{r'\tau} \to E_\tau $ 拉回一个丛，等价于与一个幂幺丛 $ F_h $ 的张量积，且该对应关系与自守因子形式化相容。
• 该结果以完全构造性和几何化的方式确认并重新推导了文献 [10] 中的命题 1，提供了基于全纯数据的完整且显式的分类。