[论文解读] On the Severi type inequalities for irregular surfaces

Xin Lü, Kang Zuo|arXiv (Cornell University)|Apr 24, 2015

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

该论文为具有极大阿尔巴内塞维数的不规则一般型曲面建立了新的塞弗里型不等式，证明当 $K_X^2 < \frac{9}{2}\chi(\mathcal{O}_X)$ 时，有 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$，并通过阿贝尔或双椭圆曲面的双重覆盖刻画了等式成立的条件。证明方法结合了帕尔迪尼的阿尔巴内塞提升技巧、肖的自同构群阶的线性界，以及对阿尔巴内塞映射次数的归纳法，从而在特定数值条件下证实了曼蒂尼及其他人的猜想。

ABSTRACT

Let $X$ be a minimal surface of general type and maximal Albanese dimension with irregularity $q\geq 2$. We show that $K_X^2\geq 4χ(\mathcal O_X)+4(q-2)$ if $K_X^2

研究动机与目标

• 为具有不规则性 $q \geq 2$ 的极小一般型曲面及极大阿尔巴内塞维数建立一个改进的塞弗里型不等式。
• 以双重覆盖结构的形式刻画不等式 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ 中等式成立的情形。
• 在条件 $K_X^2 \geq 36(q-2)$ 或 $\chi(\mathcal{O}_X) \geq 8(q-2)$ 下，证明曼蒂尼关于不规则曲面地理学的猜想。
• 证实一个猜想：满足 $K_X^2 = 4\chi(\mathcal{O}_X)$ 的曲面恰好是阿贝尔曲面上的双重覆盖的典范模型，其分支除子具有至多简单奇点。

提出的方法

• 应用帕尔迪尼的阿尔巴内塞提升技巧，构造一系列纤维曲面 $f_n: \widetilde{X}_n \to \mathbb{P}^1$，其斜率收敛于 $K_X^2 / \chi(\mathcal{O}_X)$。
• 利用 [LZ15, 定理 3.1] 的结果，将问题约化为双重覆盖纤维化的情形。
• 运用肖的自同构群阶的线性界，证明当大素数 $n=p$ 时，诱导出曲面 $X$ 上的一个良好定义的对合 $\sigma$，其商曲面 $X/\langle\sigma\rangle$ 支持阿尔巴内塞映射。
• 对阿尔巴内塞映射的次数使用归纳法，分析阿尔巴内塞映射通过双重覆盖分解的情形。
• 分析商曲面 $Y = X/\langle\sigma\rangle$ 的结构，证明其为极小的一般型曲面，具有极大阿尔巴内塞维数，且满足 $q(Y) = q$，$K_Y^2 < \frac{9}{2}\chi(\mathcal{O}_Y)$。
• 当阿尔巴内塞映射通过多个非分歧双重覆盖分解时导出矛盾，从而证明等式情形必源于对阿贝尔或双椭圆曲面的单重双重覆盖，确认了双重覆盖结构的唯一性。

实验结果

研究问题

• RQ1 对于具有 $q \geq 2$ 的极小一般型曲面及极大阿尔巴内塞维数，不等式 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$ 在什么条件下成立？
• RQ2 在 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ 中等式成立的曲面的精确几何结构是什么？
• RQ3 曼蒂尼猜想 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-3)$ 在 $q \geq 4$ 时在何种条件下成立？
• RQ4 当 $K_X^2 = 4\chi(\mathcal{O}_X)$ 时，曲面何时是阿贝尔曲面上的双重覆盖的典范模型，且分支除子具有至多简单奇点？

主要发现

• 当 $K_X^2 < \frac{9}{2}\chi(\mathcal{O}_X)$ 时，对于具有 $q \geq 2$ 的极小一般型曲面及极大阿尔巴内塞维数，不等式 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$ 成立。
• 等式 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ 成立当且仅当 $X$ 的典范模型是曲面 $Y$ 上的平坦双重覆盖，满足 $K_Y \cdot R = 4(q-2)$，其中当 $q=2$ 时 $Y$ 为阿贝尔曲面，当 $q \geq 3$ 时 $Y = E \times C$，$g(E)=1$，$g(C)=q-1$，且分支除子 $R$ 具有至多简单奇点。
• 在条件 $K_X^2 \geq 36(q-2)$ 或 $\chi(\mathcal{O}_X) \geq 8(q-2)$ 下，曼蒂尼猜想 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-3)$ 对于 $q \geq 4$ 成立。
• 猜想：满足 $K_X^2 = 4\chi(\mathcal{O}_X)$ 的曲面恰好是阿贝尔曲面上的双重覆盖的典范模型，其分支除子为充分大且具有至多简单奇点的除子，该猜想已得证明。
• 若 $K_X^2 > 36(q-2)$ 或 $\chi(\mathcal{O}_X) > 8(q-2)$，则等式 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ 成立的情形仅可能出现在上述等式刻画中描述的曲面。
• 若阿尔巴内塞映射通过多个非分歧双重覆盖分解，则导出矛盾，从而证明等式情形不可能源于此类覆盖链，确认了双重覆盖结构的唯一性。