[论文解读] Semistable fibrations over an elliptic curve with only one singular fibre

Abel Castorena, Margarida Mendes Lopes+1 more|arXiv (Cornell University)|Jul 27, 2017

Geometric and Algebraic Topology参考文献 1被引用 3

一句话总结

本文利用单值性数据构造了在椭圆曲线上具有恰好一个奇异纤维的半稳定纤维丛的有效例子，通过单值性数据定义了椭圆曲线的非伽罗瓦覆盖。关键贡献在于提出了一种系统化的方法来生成此类纤维丛，证明了具有唯一奇异纤维的一般型曲面存在，从而反驳了先前认为至少需要两个奇异纤维的论断。

ABSTRACT

In this work we describe a construction of semistable fibrations over an elliptic curve with one unique singular fibre and we give effective examples using monodromy of curves.

研究动机与目标

• 解决文献中关于椭圆曲线上纤维丛奇异纤维最小数量的矛盾。
• 构造椭圆曲线上具有恰好一个奇异纤维的半稳定纤维丛的显式例子。
• 证明此类纤维丛存在且为一般型，反驳[9]中认为至少需要两个奇异纤维的论断。
• 利用穿孔椭圆曲线基本群的单值表示来构造具有可控分支的非伽罗瓦覆盖。
• 刻画结果纤维丛的不变量（如亏格、陈数）并验证其极小性与稳定性。

提出的方法

• 使用单值表示 ρ: π₁(E − {O_E}, x₀) → S_d 对在一点处分支的 d 次覆盖 f: C → E 进行分类。
• 构造满足 [α, β] = ρ(x)[ρ(y)] 为不相交对换乘积的覆盖，以确保分支除子为约化形式。
• 确保单值群 G = ⟨α, β⟩ 是传递且本原的，从而得到亏格为 g(C) 的光滑连通曲线 C。
• 构造乘积曲面 X = C × C，并通过复合映射 C × C → E × E → E 定义纤维丛 φ: X → E，其中第二张映射为求和映射。
• 通过贝乌维尔公式分析奇异纤维结构，验证纤维丛为相对极小、半稳定且恰好有一个奇异纤维。
• 应用沃伊塔不等式与德巴尔不等式，对 χ、K² 和 c₂ 等不变量进行界定，并验证纤维丛为一般型。

实验结果

研究问题

• RQ1 是否存在具有恰好一个奇异纤维的椭圆曲线上半稳定纤维丛，从而反驳[9]中认为至少需要两个奇异纤维的论断？
• RQ2 单值表示的何种条件可确保在 C × C 上诱导的纤维丛具有唯一奇异纤维？
• RQ3 此类纤维丛的显式不变量（亏格、χ、K²、c₂）为何？它们与单值群之间有何关系？
• RQ4 在何种条件下纤维丛是稳定的？在何种条件下它是阿爾巴內塞纤维丛？
• RQ5 能否使用由两个置换生成的对称群的有限子群（其交换子为不相交对换的乘积）构造有效例子？

主要发现

• 当单值群 G ⊂ S_d 为传递且本原，且 [α, β] 为不相交对换的乘积时，X = C × C 上的纤维丛 φ: X → E 恰好有一个奇异纤维。
• 对于由 α = (1 2 3)、β = (2 3 4) 生成的 G ≤ S₄ 的例子，曲线 C 的亏格为 2，φ 的一般纤维亏格为 9。
• 对于由 α 和 β 生成的 G ≤ S₈ 且同构于 PGL₂(F₇) 的例子，[α, β] 为四个不相交对换的乘积，C 的亏格为 3，一般纤维亏格为 33。
• 对于 d = 4n+1，n ≥ 2 的族，G ≤ S_d 由 α 和 β 生成，且 [α, β] 为 2n 个不相交对换的乘积，C 的亏格为 n+1，一般纤维亏格为 2nd + 1。
• 当且仅当所有奇异纤维的分支均为有理曲线且 g(N) = 0 时，纤维丛是稳定的，此时 c₂ = 3g − 3。
• 当 c₂ = 3g − 3 时，纤维丛为阿爾巴內塞映射，且 q = 1，不等式 2 < 12χ/5 < g − 1 暗示稳定纤维丛具有唯一奇异纤维时必有 g ≥ 4。