[论文解读] Invariants of a general branched cover of ${\bf P}^{1}$

Gabriel Bujokas, Anand Patel|arXiv (Cornell University)|Apr 15, 2015

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

一句话总结

本文研究了在一般分支覆盖 $\alpha: C \to \mathbb{P}^1$ 的相对 canonical 嵌入中出现的 syzygy bundles，证明当亏格 $g \geq (d-3)(d-1)$ 时，Casnati-Ekedahl bundle $F$（第一个 syzygy bundle）对一般覆盖是平衡的。证明方法使用退化到链式 $\mathbb{P}^1$ 上的可接受覆盖，并建立了包含链式 rational normal curves 的二次曲面的极大秩条件。

ABSTRACT

We investigate the resolution of a general branched cover $α: C o {\bf P}^1$ in its relative canonical embedding $C \subset {\bf P} E$. We conjecture that the syzygy bundles appearing in the resolution are balanced for a general cover, provided that the genus is sufficiently large compared to the degree. We prove this for the Casnati-Ekedahl bundle, or "bundle of quadrics" $F$ - the first bundle appearing in the resolution of the ideal of the relative canonical embedding. Furthermore, we prove the conjecture for all syzygy bundles in the resolution when the genus satisfies $g = 1 \mod d$.

研究动机与目标

• 理解 branched cover $\alpha: C \to \mathbb{P}^1$ 的相对 canonical 嵌入中 syzygy bundles $N_i$ 的一般分裂类型。
• 研究这些 syzygy bundles 是否平衡，即最大与最小线丛分量次数之差至多为一。
• 证明当亏格相对于度数足够大时，bundle of quadrics $F$（第一个 syzygy bundle）对一般覆盖是平衡的这一猜想。
• 建立 $h^1(\operatorname{End} F)$ 的消失与包含极大连通 rational normal curve 链的二次曲面的极大秩问题之间的联系。

提出的方法

• 使用退化法构造一个可接受覆盖 $\alpha: X \to P$，其中 $P$ 是 $\mathbb{P}^1$ 的链，以在奇异基上研究 $F$-bundle。
• 为链式有理曲线上的向量丛 $V$ 建立一个一般性判别准则，使其满足 $h^1(\operatorname{End} V) = 0$，这蕴含了平衡性。
• 将证明 $h^1(\operatorname{End} F) = 0$ 的问题归约为包含极大连通 rational normal curve 链的二次曲面的二阶极大秩问题。
• 通过分析一个关联对应 $\Sigma$ 并证明 $\dim \Sigma < \dim \Sigma'$，从而说明该映射不是满射，来解决极大秩问题。
• 使用维数计数法证明：对线性空间 $\Lambda_{\text{left}}, \Lambda_{\text{right}}$ 的一般选择，其在中心曲线 $R_{\text{middle}}$ 上的剩余交点并不相同。
• 利用 $F$ 是包含相对 canonical 嵌入纤维的二次曲面的 bundle 这一事实，并将其分裂类型与覆盖的几何性质联系起来。

实验结果

研究问题

• RQ1 当 $g \gg d$ 时，Casnati-Ekedahl bundle $F$（二次曲面的 bundle）对一般分支覆盖 $\alpha: C \to \mathbb{P}^1$ 是否是平衡的？
• RQ2 在什么条件下有 $h^1(\operatorname{End} F) = 0$，这表征了 $F$ 的平衡性？
• RQ3 能否解决包含极大连通 rational normal curve 链的二次曲面的极大秩问题，以验证 $h^1(\operatorname{End} F)$ 的消失？
• RQ4 hyperplanes 与线性空间的关联对应 $\Sigma$ 的维数是否严格小于 $\Sigma'$，从而意味着一般配置不会产生相同的剩余交点？
• RQ5 在 $\mathbb{P}^1$ 的链上使用退化法在多大程度上允许我们推断出在光滑基 $\mathbb{P}^1$ 上的一般行为？

主要发现

• 当 $g \geq (d-3)(d-1)$ 时，Casnati-Ekedahl bundle $F$ 对一般分支覆盖 $\alpha: C \to \mathbb{P}^1$ 是平衡的，确认了 Conjecture A 的第一种情况。
• 该证明建立了此类覆盖下 $h^1(\operatorname{End} F) = 0$，这与 $F$ 的平衡性等价。
• 通过证明关联对应 $\Sigma$ 的维数为 $\frac{(r-1)^2}{2} + 3$，而 $\Sigma'$ 的维数为 $\frac{(r-1)^2}{2} + 4$，从而说明映射 $\Sigma \to \Sigma'$ 不是满射，解决了包含 $r$ 条 rational normal curves 的极大连通链的二次曲面的极大秩问题。
• 在 $\mathbb{P}^1$ 的链上构造可接受覆盖，使得可将光滑情形约化为奇异退化情形，从而能够使用维数理论论证。
• 该结果确认了在 $g \geq (d-3)(d-1)$ 的范围内，二次曲面 bundle $F$ 是平衡的，支持了更广泛的猜想：当 $g$ 足够大时，syzygy bundles 通常是平衡的。
• 分析表明，对 $\Lambda_{\text{left}}, \Lambda_{\text{right}}$ 的一般选择，其在中心曲线 $R_{\text{middle}}$ 上的剩余交点并不相同，从而排除了极大秩问题的非平凡解。