[论文解读] Moore Matrices and Ulrich Bundles on an Elliptic Curve

Ragnar-Olaf Buchweitz, Alexander Pavlov|arXiv (Cornell University)|Nov 17, 2015

Algebraic structures and combinatorial models参考文献 13被引用 3

一句话总结

本文利用 Moore 矩阵，为特征不等于 2、3 的域上光滑椭圆曲线的 Hesse 形式线性行列式表示提供了标准型，并为所有不可约的秩 2、度 0 的 Ulrich 线丛（无非零截面）构造了矩阵因子分解。研究建立了这些线丛与度 0 且无全局截面的线丛之间的扩展关系，通过 Moore 矩阵构造和散度映射实现。

ABSTRACT

We give normal forms of determinantal representations of a smooth projective plane cubic in terms of Moore matrices. Building on this, we exhibit matrix factorizations for all indecomposable vector bundles of rank 2 and degree 0 without nonzero sections, also called Ulrich bundles, on such curves.

研究动机与目标

• 为特征 ≠ 2,3 的域上光滑平面三次曲线的 Hesse 形式线性行列式表示提供显式标准型。
• 对这类曲线上所有不可约的秩 2、度 0 向量丛（无非零全局截面，即 Ulrich 线丛）进行分类。
• 通过由 Moore 矩阵和余因子构造构建的矩阵因子分解，实现这些 Ulrich 线丛。
• 通过椭圆曲线上的群运算，特别是利用 3-挠点条件，建立这些线丛与曲线上点之间的对应关系。
• 利用矩阵空间上的散度映射计算相关线丛的扩张群，证明其在基域上为一维。

提出的方法

• 使用形式为 $ M_{(a_0,a_1,a_2),old{x}} = (a_{i+j}x_{i-j}) $ 的 Moore 矩阵，其指标为满足 $[a_0:a_1:a_2] \notin E$ 且 $a_0a_1a_2 \neq 0$ 的点。
• 证明每个 Hesse 三次曲线的线性行列式表示在 $ \mathsf{G}_3 = \mathrm{GL}(3,K) \times \mathrm{GL}(3,K)/\mathbb{G}_m(K) $ 作用下，等价于此类 Moore 矩阵。
• 证明两个 Moore 矩阵给出等价表示当且仅当 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $，其中 $ \cdot_E $ 表示以 $[0:-1:1]$ 为单位元的椭圆曲线群运算。
• 通过由 Moore 矩阵及其伴随矩阵构成的三角块矩阵的余核，构造 Ulrich 线丛的矩阵因子分解。
• 将扩张群 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ 实现为矩阵空间模交换子的商，其中散度映射 $ \mathsf{div} $ 诱导出与 $ K $ 的同构。
• 利用 Atiyah 对椭圆曲线上秩 2 向量丛的分类，证明所有此类 Ulrich 线丛均来自度 0 且无全局截面的线丛的非分裂扩张。

实验结果

研究问题

• RQ1 光滑椭圆曲线在 Hesse 形式下的线性行列式表示的标准型是什么？
• RQ2 如何通过矩阵因子分解显式构造这类曲线上所有不可约的秩 2、度 0 Ulrich 线丛？
• RQ3 在何种几何与代数条件下，两个 Moore 矩阵会给出等价的行列式表示？
• RQ4 相关线丛的扩张群如何通过矩阵空间与散度映射实现？
• RQ5 3-挠点条件 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $ 在这些表示的分类中起什么作用？

主要发现

• 每个光滑 Hesse 三次曲线的线性行列式表示都等价于一个 Moore 矩阵 $ M_{(a_0,a_1,a_2),old{x}} $，其中 $[a_0:a_1:a_2] \in E $ 且 $a_0a_1a_2 \neq 0$。
• 两个此类 Moore 矩阵给出等价表示当且仅当 $ 3 \cdot_E \mathbf{a} = 3 \cdot_E \mathbf{a}' $，其中 $ \cdot_E $ 是以 $[0:-1:1]$ 为单位元的椭圆曲线群运算。
• 曲线上所有不可约的秩 2、度 0 Ulrich 线丛均来自线丛 $ \mathbf{L} = \operatorname{Coker} M_{a,x} $ 的非分裂扩张，满足 $ \deg \mathbf{L} = 0 $ 且 $ H^0(E, \mathbf{L}) = 0 $。
• 扩张群 $ \operatorname{Ext}^1_R(\mathbf{L},\mathbf{L}) $ 在 $ K $ 上为一维，且通过矩阵 $ M_{b,y} $ 上的散度映射 $ \mathsf{div} $ 与 $ K $ 同构。
• 此类 Ulrich 线丛的矩阵因子分解由一个三角块矩阵给出，其余核即为所需线丛，非分裂性由 $ \mathsf{div}(M_{a,x}) = 3 \neq 0 $ 保证。
• 该构造通过点 $ \mathbf{a} \in E $ 与 Ulrich 线丛建立了一个自然对应，其中 $ a_0a_1a_2 \neq 0 $，并排除了乘积为零的 3-挠点。