[论文解读] Moduli of Trigonal Curves

Zvezdelina E. Stankova-Frenkel|arXiv (Cornell University)|Oct 12, 1997

Advanced Numerical Analysis Techniques参考文献 19被引用 55

一句话总结

本文確立了基曲線 $B$ 上三葉纖維叢的斜率 $\delta_B/\lambda_B$ 的精確上界 $\frac{36(g+1)}{5g+1}$，並證明當且僅當所有纖維均不可約且某個除子類 $\eta$ 數值為零時，此上界被精確達到。本文進一步將此上界與三葉族中馬羅尼（Maroni）純量的幾何性質聯繫起來，並透過相關秩二向量叢的波戈莫洛夫半穩定性，計算了偶數虧格下 $\overline{\mathfrak{T}}_g$ 的有理佩卡德群。

ABSTRACT

We study the moduli of trigonal curves. We establish the exact upper bound of ${36(g+1)}/(5g+1)$ for the slope of trigonal fibrations. Here, the slope of any fibration $X o B$ of stable curves with smooth general member is the ratio $δ_B/λ_B$ of the restrictions of the boundary class $δ$ and the Hodge class $λ$ on the moduli space $\bar{\mathfrak{M}}_g$ to the base $B$. We associate to a trigonal family $X$ a canonical rank two vector bundle $V$, and show that for Bogomolov-semistable $V$ the slope satisfies the stronger inequality ${δ_B}/{λ_B}\leq 7+{6}/{g}$. We further describe the rational Picard group of the {trigonal} locus $\bar{\mathfrak T}_g$ in the moduli space $\bar{\mathfrak{M}}_g$ of genus $g$ curves. In the even genus case, we interpret the above Bogomolov semistability condition in terms of the so-called Maroni divisor in $\bar{\mathfrak T}_g$.

研究动机与目标

• 確定非等 isotrivial 三葉纖維叢在基曲線 $B$ 上的斜率 $\delta_B/\lambda_B$ 的精確上界。
• 根據纖維叢及其相關向量叢的幾何與上同調條件，描述達到此最大斜率的族。
• 描述 $\overline{\mathfrak{M}}_g$ 中三葉純量 $\overline{\mathfrak{T}}_g$ 的有理佩卡德群，特別是在偶數虧格的情形。
• 將三葉族相關的典範秩二向量叢 $V$ 的波戈莫洛夫半穩定性條件，以 $\overline{\mathfrak{T}}_g$ 中馬羅尼除子的幾何形式加以解釋。

提出的方法

• 為任意三葉纖維叢 $X \to B$ 建構一個典範秩二向量叢 $V$，其編碼線性系 $g^1_3$。
• 利用 $V$ 上的波戈莫洛夫半穩定性條件，推導出改進的斜率上界 $\delta_B/\lambda_B \leq 7 + \frac{6}{g}$，此界優於一般性上界。
• 分析 $\overline{\mathfrak{T}}_g$ 中馬羅尼純量的幾何性質，定義為無法嵌入 $\mathbb{F}_0$ 或 $\mathbb{F}_1$ 的三葉曲線的閉包，並證明達到最大斜率的族完全位於此純量內。
• 透過邊界與霍奇類之間的線性關係，將除子類關聯起來，計算偶數虧格下 $\overline{\mathfrak{T}}_g$ 的有理佩卡德群。
• 在纖維叢的全空間 $X$ 上應用交點理論，計算非根分支與分歧的貢獻，從而導出 $\lambda|_B$、$\delta|_B$ 與邊界除子之間的關鍵線性關係。
• 利用差值 $\mathfrak{S}_h = (8g+4)\lambda|_B - g\delta|_B$ 建構邊界除子的有效線性組合 $\mathcal{E}_h$，進而導出 $\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{I}}_g$ 中的基本關係。

实验结果

研究问题

• RQ1 非等 isotrivial 三葉纖維叢在基曲線 $B$ 上的斜率 $\delta_B/\lambda_B$ 的精確上界為何？
• RQ2 與三葉族相關的典範秩二向量叢 $V$ 的波戈莫洛夫半穩定性，如何約束纖維叢的斜率？
• RQ3 $\overline{\mathfrak{T}}_g$ 中馬羅尼純量的幾何意義為何？其與達到最大斜率的族有何關聯？
• RQ4 如何以邊界與霍奇類的語言描述三葉純量 $\overline{\mathfrak{T}}_g$ 的有理佩卡德群？
• RQ5 $\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{T}}_g$ 中霍奇類 $\lambda$ 與邊界除子類之間存在哪些線性關係？

主要发现

• 任何非等 isotrivial 三葉纖維叢的斜率精確上界為 $\frac{36(g+1)}{5g+1}$，且此上界為精確的。
• 當且僅當所有纖維均不可約、$X$ 為 $B$ 上某個可展曲面 $Y$ 的三重覆蓋，且 $X$ 上的除子類 $\eta$ 數值為零時，斜率上界達成。
• 對於波戈莫洛夫半穩定的相關向量叢 $V$，斜率滿足更強的不等式 $\delta_B/\lambda_B \leq 7 + \frac{6}{g}$，但此非全域最大值，因馬羅尼純量的存在而受限。
• $\overline{\mathfrak{T}}_g$ 中的馬羅尼純量由無法嵌入 $\mathbb{F}_0$ 或 $\mathbb{F}_1$ 的三葉曲線組成，且所有達到最大斜率 $\frac{36(g+1)}{5g+1}$ 的族均包含於此純量內。
• 偶數虧格下 $\overline{\mathfrak{T}}_g$ 的有理佩卡德群透過涉及霍奇類 $\lambda$ 與邊界除子類的線性關係加以描述，其係數來自纖維叢上的交點理論計算。
• 本文在 $\operatorname{Pic}_{\mathbb{Q}}\overline{\mathfrak{I}}_g$ 中確立了一個基本關係：$(8g+4)\lambda = g\xi_0 + \sum_{i=1}^{[(g-1)/2]} 2(i+1)(g-i)\xi_i + \sum_{j=1}^{[g/2]} 4j(g-j)\delta_j$，此關係將斜率上界推廣至雙曲幾何情形。