Moduli of parabolic bundles on an elliptic curve

技术摘要：椭圆曲线上的抛物丛模空间

问题陈述与动机
本文探讨了椭圆曲线（$g=1$）上具有平凡行列式且带有一个标记点的秩为 3 的半稳定抛物丛的模空间的几何性质。虽然亏格 $g \ge 2$ 的曲线的抛物丛模空间已得到充分理解（例如，在 [BY99]、[AG21] 等著作中已确立了有理性、托里利定理及自同构群），但椭圆曲线的情形呈现出独特的挑战。此前关于椭圆曲线的研究，如向量丛的 [Tu93] 以及抛物丛的 [BBDBR01, FV21, FJ22]，大多局限于秩 2 或特定的权值。本研究将分析扩展至任意权值的秩 3 情形，旨在明确描述这些模空间的几何结构、自同构群及托里利型性质，这些性质与高亏格情形显著不同；在高亏格情形中，仅凭模空间本身往往无法恢复曲线的同构类。

方法论
作者结合了经典分类技术与现代模理论：

1. 向量丛分类：本研究建立在阿蒂亚（Atiyah）对椭圆曲线上 0 度半稳定向量丛的分类 [Ati57a] 以及图（Tu）的同构 [Tu93] 之上，后者将秩 3、平凡行列式的向量丛模空间与射影平面 $\mathbb{P}^2$ 等同起来。
2. 抛物稳定性分析：作者分析了容许抛物权值空间的壁 - 室分解。他们证明，对于单个标记点，权值空间被一堵墙（$\mu_2 = 0$）分割为两个室（$P^+$ 和 $P^-$）。
3. 纤维几何：通过利用遗忘态射 $\Pi: \mathcal{M}^\mu \to \text{Bun}_{\mathcal{O}_X}(3, X) \cong \mathbb{P}^2$，作者分析了抛物丛模空间的纤维。他们证明了这些纤维同构于 $\mathbb{P}^1$，从而确立该模空间为 $\mathbb{P}^2$ 上的直纹面。
4. 万有族与单值群：利用平坦向量丛和单值群表示（黎曼 - 希尔伯特对应）构造万有族，用于描述局部几何及模空间在奇异轨迹附近的行为。
5. 自同构分析：通过考虑“模”运算（与线丛张量积、对偶化、拉回及赫克修正），并将其与底层几何结构的全自同构群进行比较，研究了该群的性质。

主要贡献与结果

• 模空间的几何（定理 A）：
  作者证明了模空间 $\mathcal{M}^-$ 和 $\mathcal{M}^+$（对应于两个权值室）是同构的紧化，它们紧化了同一个开稠密子集 $U_{gen}$（一般稳定丛）。这两个空间均同构于射影化切丛 $\mathbb{P}(T\mathbb{P}^2)$。遗忘映射 $\Pi^\pm: \mathcal{M}^\pm \to \mathbb{P}^2$ 是一个局部平凡的 $\mathbb{P}^1$-丛。紧化轨迹 $\Sigma^\pm = \mathcal{M}^\pm \setminus U_{gen}$（由仅在其中一个室中稳定的丛组成）构成了 $\mathbb{P}^2$ 的一个 3 次覆盖，其在一条尖点六次曲线上分歧。

• 高秩托里利定理（定理 B）：
  与椭圆曲线上向量丛的情形（其模空间是有理的且丢失了关于曲线的信息）不同，作者证明了抛物丛的托里利型结果。他们表明，两条椭圆曲线 $(X, p)$ 和 $(X', p')$ 同构，当且仅当它们对应的模空间对 $(\mathcal{M}, \Sigma)$ 和 $(\mathcal{M}', \Sigma')$ 同构。关键在于，曲线是从模空间与特定紧化轨迹 $\Sigma$ 组成的对中恢复出来的，该轨迹被证明同构于 $X$ 上的一个特定的稳定直纹面。

• 自同构群（定理 C）：
  本文刻画了数对 $(\mathcal{M}^\pm, \Sigma^\pm)$ 的自同构群。假设椭圆曲线除了椭圆对合外没有其他固定 $p$ 的自同构，则该自同构群是有限的，阶数为 18，且完全是“模”的。它由雅可比簇中的 3-挠点群（通过张量积作用）和对合对偶化生成。这与高亏格情形形成对比，后者自同构群可能是无限的或更复杂的；这也突显了，除非保持特殊轨迹 $\Sigma$，否则底层 $\mathbb{P}(T\mathbb{P}^2)$ 的全自同构群无法实现。

• 丛的显式分类：
  作者详细分类了哪些向量丛类型（来自阿蒂亚列表）允许稳定的抛物结构。他们指出，类型 (2.2)、(3.2) 和 (3.3) 的丛从不允许稳定的抛物结构，而类型 (1)、(2.1) 和 (3.1) 构成了通用稳定轨迹。他们明确描述了紧化轨迹与遗忘映射纤维的交集。

意义
本文通过解决椭圆曲线上秩 3 抛物丛的几何问题（此前仅针对秩 2 或特定权值处理），彰显了其重要性。它表明，虽然椭圆曲线上向量丛的模空间是有理的且无法区分曲线，但添加抛物结构（特别是模空间与其紧化边界的对）恢复了恢复曲线的能力（托里利性质）。此外，它确立了在该特定设定下，模空间的所有自同构均源于丛上的自然几何运算（模性），从而在低亏格、高秩背景下提供了对称群的完整描述。这些结果为这些模空间提供了一个具体的几何模型（带有特定分歧覆盖的 $\mathbb{P}(T\mathbb{P}^2)$），与高亏格情形中可用的更抽象描述形成对比。