[论文解读] On surfaces with $p_g=2$, $q=1$ and non-birational bicanonical map

Ciro Ciliberto, Margarida Mendes Lopes|ArXiv.org|Mar 1, 2002

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

一句话总结

本文证明了，任何定义在 ℂ 上的不规则一般型曲面，若满足 p_g=2, q=1，且双 canonical 映射非双有理，则必具有一个亏格为 2 的曲线线性系。通过上同调消去、拟 canonical 系统以及双 canonical 对合的几何性质，作者通过证明此类线性系的存在性在给定不变量下会导致矛盾，从而排除了非标准情形，完成了对这类曲面的分类。

ABSTRACT

In the present note we show that any surface of general type with $p_g=2$,$q=1$ and non-birational bicanonical map has a pencil of curves of genus 2. Combining this result with previous ones, one obtains thatan irregular surface $S$ of general type with $χ(S)\geq 2$ and non-birational bicanonical map has a pencil of curves of genus 2.

研究动机与目标

• 对满足 χ(S) ≥ 2 且双 canonical 映射非双有理的一般型不规则曲面进行分类。
• 在具有非双有理双 canonical 映射的曲面分类中，排除 p_g=2, q=1 的非标准情形。
• 确立此类曲面必具有一个亏格为 2 的曲线线性系。
• 通过证明唯一可能的非双有理双 canonical 情形为具有亏格 2 线性系的标准情形，完成分类。

提出的方法

• 分析 Pic⁰(S) 中 η 对应的拟 canonical 系 |K + η|，将其分解为固定部分与移动部分。
• 应用消去定理与 Serre 对偶性，对 1-连通曲线 C 估计 h¹(S, O_S(K + η + C)) 的上界。
• 利用 Albanese 映射及其纤维研究曲线上线丛与上同调的行为。
• 构造一个由 Pic⁰(S) 参数化的、在 |K + η| 中的移动曲线的二维系统 M，并研究其交点性质。
• 引入映射 α: S → Pic²(A') ≅ A'，将点发送至通过该点的 M_x,x′ 中曲线参数之和。
• 利用双 canonical 对合 ι 分析共轭交点，并通过重数上界导出矛盾。

实验结果

研究问题

• RQ1 对于具有非双有理双 canonical 映射的一般型曲面，是否存在非标准情形满足 p_g=2, q=1？
• RQ2 对于满足 χ(S) ≥ 2 且双 canonical 映射非双有理的此类曲面，是否存在亏格为 2 的线性系是必要的？
• RQ3 上同调消去与拟 canonical 系统的结构对曲面几何施加了何种限制？
• RQ4 双 canonical 对合如何与拟 canonical 系统的移动部分相互作用？
• RQ5 能否利用系统 M_x,x′ 的指标导出非标准情形下的矛盾？

主要发现

• 任何满足 χ(S) ≥ 2 且双 canonical 映射非双有理的一般型不规则曲面，必具有一个亏格为 2 的曲线线性系。
• 主要拟 canonical 系 |K + η| 可分解为固定部分 F 与移动部分 |M|，其中 |M| 是由 Pic⁰(S) 参数化的二维系统。
• 通过一般点 x 及其双 canonical 共轭点 x′ 的曲线 M_x,x′ 的系统具有指标 ν = 2。
• M_x,x′ 中两条一般曲线在两个不同的变点处相交，且这两点在双 canonical 对合下共轭。
• 两条一般曲线在固定点处的交点重数为 μ − 4，在变点处为 4，且 μ ≥ 4。
• 当假设存在非标准情形且 n ≥ 4 时，会迫使多条曲线通过同一组点，违反交点理论的上界，从而导致矛盾。