[论文解读] The pullback of a theta divisor to M_{g,n}

Fabian Müller|arXiv (Cornell University)|Mar 14, 2012

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

一句话总结

本文计算了在 $\overline{\mathcal{M}}_{g,n}$ 中，由满足 $\sum d_j x_j$ 线性等价于有效除子的带标记曲线 $[C; x_1, \dots, x_n]$ 构成的除子 $\overline{D}_{\underline{d}}$ 的类，其中 $\sum d_j = g-1$ 且至少有一个 $d_j < 0$。利用向量丛技巧、下推论证和测试曲线，作者基于节点曲线中负度标记点位于同一分量或不同分量的情况，推导出该除子类关于 $\lambda$、$\psi_j$ 和边界类 $\delta_{i:S}$ 的显式公式。

ABSTRACT

We compute the class of a divisor on M_{g,n} given as the closure of the locus of smooth pointed curves [C; x_1,..., x_n] for which \sum d_j x_j has an effective representative, where d_j are integers summing up to g-1, not all positive. The techniques used are a vector bundle computation, a pushdown argument reducing the number of marked points, and the method of test curves.

研究动机与目标

• 计算带标记曲线 $[C; x_1, \dots, x_n]$ 的闭包 $\overline{D}_{\underline{d}}$ 的类，其中 $\sum d_j x_j$ 线性等价于有效除子，且满足 $\sum d_j = g-1$ 以及至少一个 $d_j < 0$。
• 通过通用 theta 除子的拉回，将经典的 theta 除子理论从雅可比簇推广到模空间 $\overline{\mathcal{M}}_{g,n}$。
• 在 $\operatorname{Pic}(\overline{\mathcal{M}}_{g,n})$ 中提供一个统一的除子类公式，根据节点曲线中负度标记点在各分量上的分布情况区分不同情形。
• 通过将韦伊除子和洛根除子等特殊情况统一于同一框架下，推广已知结果。

提出的方法

• 作者使用向量丛计算来确定除子类中 $\lambda$ 和 $\psi_j$ 的系数。
• 通过从 $\overline{\mathcal{M}}_{g,n}$ 到 $\overline{\mathcal{M}}_{g,n-1}$ 的遗忘映射，应用下推论证以减少标记点数量，从而简化计算。
• 构造测试曲线族以计算边界类 $\delta_{i:S}$ 的系数，特别关注负度标记点位于同一分量或不同分量的情形。
• 该方法区分两类边界分量：一类是所有负度点位于同一分量（记作 $S \subseteq S_+$），另一类是负度点分布在不同分量（记作 $S \not\subseteq S_+$）。
• 关键公式通过结合测试曲线结果与下推不变性推导得出，其形式为分段表达式，包含形如 $\binom{|d_S - i| + 1}{2}$ 的二项式系数。
• 证明通过归纳法进行，并归约到低亏格或低标记点数的情形（如 $n=3,4$），以文献中已知结果作为基础情形。

实验结果

研究问题

• RQ1 在 $\operatorname{Pic}(\overline{\mathcal{M}}_{g,n})$ 中，当 $\sum d_j = g-1$ 且至少一个 $d_j < 0$ 时，由 $\sum d_j x_j$ 线性等价于有效除子定义的闭包 $\overline{D}_{\underline{d}}$ 的类是什么？
• RQ2 除子类中边界类 $\delta_{i:S}$ 的系数如何依赖于节点曲线上负度标记点在各分量中的分布？
• RQ3 韦伊除子和洛根除子的类能否作为 $\overline{D}_{\underline{d}}$ 统一公式的特例被恢复？
• RQ4 下推技术在保持除子类信息的同时，如何减少标记点数量？

主要发现

• 除子类为 $[\overline{D}_{\underline{d}}] = -\lambda + \sum_{j=1}^n \binom{d_j + 1}{2} \psi_j - 0 \cdot \delta_0 - \sum_{\substack{i,S \\ S \subseteq S_+}} \binom{|d_S - i| + 1}{2} \delta_{i:S} - \sum_{\substack{i,S \\ S \not\subseteq S_+}} \binom{d_S - i + 1}{2} \delta_{i:S}$，其中 $S_+ = \{j \mid d_j > 0\}$。
• 系数 $\delta_0$ 为零，表明该除子不包含参数化具有单个节点的不可约曲线的边界分量。
• 当 $S \subseteq S_+$ 时，$\delta_{i:S}$ 的系数为 $-\binom{|d_S - i| + 1}{2}$，反映了所有负度点位于同一分量时的贡献。
• 当 $S \not\subseteq S_+$ 时，系数为 $-\binom{d_S - i + 1}{2}$，对应负度点分布在不同分量的情形。
• 该公式可恢复已知结果：当 $\underline{d} = (d_1, \dots, d_{n-1}; -1)$ 时，退化为洛根除子类；当 $n=2$ 时，与库基尔曼对韦伊除子类的计算一致。
• 结果与海因及格鲁舍夫斯基–扎哈罗夫的工作一致并加以推广，表明除子 $\overline{D}_{\underline{d}}$ 是某个不同态射下 theta 除子拉回的一个分量，其重数由零点阶数决定。