[论文解读] Covers of Elliptic Curves and the Lower Bound for Slopes of Effective Divisors on $\bar{\mathcal M}_{g}$

Dawei Chen|arXiv (Cornell University)|Apr 30, 2007

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文研究了作为椭圆曲线的度 $d$ 覆盖、在单点处分支且具有固定分歧类型的亏格 $g$ 曲线，这些曲线构成一个映射到 $\overline{\mathcal{M}}_g$ 的单参数族 $Y$。通过单值群作用与正方形 tiled 曲面的联系，作者计算了 $Y$ 的斜率，并推导出 $\overline{\mathcal{M}}_g$ 上有效除子斜率的下界，表明 Brill-Noether 下界并非普遍下界，并提供了对斜率猜想的新反例。

ABSTRACT

Consider genus $g$ curves that admit degree $d$ covers to elliptic curves only branched at one point with a fixed ramification type. The locus of such covers forms a one parameter family $Y$ that naturally maps into the moduli space of stable genus $g$ curves $\bar{\mathcal M}_{g}$. We study the geometry of $Y$, and produce a combinatorial method by which to investigate its slope, irreducible components, genus and orbifold points. As a by-product of our approach, we find some equalities from classical number theory. Moreover, a correspondence between our method and the viewpoint of square-tiled surfaces is established. We also use our results to study the lower bound for slopes of effective divisors on $\bar{\mathcal M}_{g}$.

研究动机与目标

• 研究作为椭圆曲线的度 $d$ 覆盖、在单点处分支且具有固定分歧类型 $\sigma$ 的亏格 $g$ 曲线的几何性质 $Y$。
• 利用单值群作用与组合方法，计算 $Y$ 在 $\overline{\mathcal{M}}_g$ 中的斜率。
• 将 $Y$ 的斜率用作 $\overline{\mathcal{M}}_g$ 上有效除子斜率的下界，挑战长期存在的斜率猜想。
• 建立覆盖上单值群作用与正方形 tiled 曲面中蝴蝶移动之间的对应关系。

提出的方法

• 构建一个单参数族 $Y$，即作为椭圆曲线的度 $d$ 覆盖、在单点处分支且具有固定分歧类型 $\sigma$ 的亏格 $g$ 曲线。
• 应用单值群作用分析 $Y$ 的不可约性与几何性质，使用如 $(\alpha,\beta) \mapsto (\alpha\beta, \beta)$ 和 $(\alpha,\beta) \mapsto (\beta^{-1}, \alpha)$ 的变换。
• 通过加权连通覆盖的组合计数计算 $Y$ 的斜率，使用公式 $s(Y) = \frac{Y \cdot \delta}{Y \cdot \lambda}$。
• 建立单值群作用与正方形 tiled 曲面中蝴蝶移动之间的对应关系，将代数几何与 Teichmüller 动力学联系起来。
• 利用 Ramanujan 微分方程与模形式，推导出用于斜率计算的数论恒等式。
• 应用 [HL] 中关于 $Y$ 的亏格与连通分支数的结果，特别针对 $g=2$ 与 $\sigma = (3^1 1^{d-3})$ 或 $(2^2 1^{d-4})$ 的情形。

实验结果

研究问题

• RQ1 对于作为椭圆曲线的度 $d$ 覆盖、在单点处分支且具有固定分歧类型 $\sigma$ 的亏格 $g$ 曲线，其轨迹 $Y$ 的斜率是多少？
• RQ2 对于不同分歧类型，$Y$ 有多少个不可约分支，特别是当 $\sigma = (2^2 1^{d-4})$ 时？
• RQ3 $Y$ 的斜率能否作为 $\overline{\mathcal{M}}_g$ 上有效除子斜率的下界？
• RQ4 是否存在一个对所有 $g$ 均成立的 $\overline{\mathcal{M}}_g$ 上有效除子斜率的统一下界？
• RQ5 覆盖上的单值群作用与正方形 tiled 曲面的动力学之间存在何种关系？

主要发现

• 当 $g=2$ 且 $\sigma = (3^1 1^{d-3})$ 时，$Y$ 的斜率计算为 $s(Y) = 6 + \frac{12}{d+1}$，当 $g=10$ 时，该值小于 Brill-Noether 下界 $6 + \frac{12}{g+1} = 7\frac{1}{11}$，从而构成对斜率猜想的反例。
• Teichmüller 曲线 $Y_{2,d,(3^1 1^{d-3})}$ 在 $d$ 为偶数或 $d=3$ 时不可约，而在 $d>3$ 为奇数时恰好有两个分支。
• 当 $\sigma = (2^2 1^{d-4})$ 时，$Y$ 的分支数在 $d>5$ 为奇数时至少为两个，但确切数量仍未知。
• $Y$ 的亏格 $g(Y)$ 渐近增长阶小于 3，且当 $g=2$ 时，其亏格由 $O(d^{3/2 + \varepsilon})$ 有界（对任意 $\varepsilon > 0$），如 [HL] 所示。
• 本文建立了单值群作用与正方形 tiled 曲面中蝴蝶移动之间的对应关系，将 [CTM1] 的结果推广至非素数 $d$ 的情形。
• 通过涉及除数函数 $\sigma_1(n)$ 与 $\sigma_3(n)$ 的数论恒等式，本文推导出斜率计算的精确公式，包括 $\sum_{k=1}^{d-1} \sigma_1(k)\sigma_1(d-k) = \left(\frac{1}{12} - \frac{d}{2}\right)\sigma_1(d) + \frac{5}{12}\sigma_3(d)$。