[论文解读] On the Corank of Gaussian Maps for General Embedded K3 Surfaces

Ciro Ciliberto, Angelo Felice Lopez+1 more|ArXiv.org|Nov 15, 1994

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

一句话总结

该论文通过将问题约化至在 S×S 沿对角线的爆破上的 Kawamata-Viehweg vanish 定理，计算了一般嵌入 K3 曲面的高斯映射 Φ 的余秩。关键结果为：当 i ≥ 2 且 g ≥ 2，或 i = 1 且 g ≥ 17 时，Φ 是满射，前提是超平面除子可分解为三个双有理充分的除子，从而在 K3 曲面及其嵌入的几何中建立了基础性结果。

ABSTRACT

Let $S_{g}$ be a general prime K3 surface in $P^g$ of genus $g \geq 3$ or a general double cover of $P^2$ ramified along a sextic curve for $g = 2$ and $S = S_{i,g}$ its {\it i}-th Veronese embedding. In this article we compute the corank of the Gaussian map $Φ:\bigwedge^2 H^0(S,O_S(1)) o H^0(S,Ω_S^1(2))$ for $i \geq 2, g \geq 2$ and $i=1, g \geq 17$. The main idea is to reduce the surjectivity of $Φ$ to an application of the Kawamata-Viehweg vanishing theorem on the blow-up of $S imes S$ along,the diagonal. This is seen to apply once the hyperplane divisor of the K3 surface $S$ can be decomposed as a sum of three suitable birationally ample divisors. We show that such a decomposition exists when $i \geq 3$ or on some K3 surfaces, constructed using the surjectivity of the period mapping, when $i = 1, g \geq 17$ or $i=2, g \geq 7$.

研究动机与目标

• 确定一般嵌入 K3 曲面的高斯映射 Φ: ⋀²H⁰(S, O_S(1)) → H⁰(S, Ω¹_S(2)) 的余秩。
• 建立高斯映射满射的条件，特别是 K3 曲面的 Veronese 嵌入情形。
• 将满射性问题约化为在 S×S 沿对角线的爆破上应用 Kawamata-Viehweg vanish 定理。
• 证明当超平面除子可分解为三个合适的双有理充分除子时，该满射性成立。
• 通过周期映射的满射性与 K3 曲面构造，将结果推广至 i=1 且 g≥17，以及 i=2 且 g≥7 的情形。

提出的方法

• 将高斯映射 Φ 的满射性问题约化为在 S×S 沿对角线的爆破上应用 Kawamata-Viehweg vanish 定理。
• 通过爆破构造奇点的解析解，以在受控的几何设定中应用 vanish 定理。
• 利用 Veronese 嵌入（i ≥ 1）分析 K3 曲面在射影空间中的高阶嵌入。
• 将超平面除子分解为三个双有理充分除子，作为应用 vanish 定理的关键技术条件。
• 应用周期映射的满射性，构造具有所需除子分解的 K3 曲面，适用于 i=1 且 g≥17，以及 i=2 且 g≥7 的情形。
• 通过代数几何中的几何与上同调方法验证此类分解的存在性。

实验结果

研究问题

• RQ1 在何种条件下，一般嵌入 K3 曲面的高斯映射 Φ: ⋀²H⁰(S, O_S(1)) → H⁰(S, Ω¹_S(2)) 是满射？
• RQ2 当 i ≥ 2 且 g ≥ 2 时，是否可以计算 K3 曲面 Veronese 嵌入下高斯映射的余秩？
• RQ3 若超平面除子可分解为三个双有理充分除子，是否意味着高斯映射的满射性？
• RQ4 对于 i=1 且 g≥17 的情形，是否可通过周期映射的满射性与除子分解建立高斯映射的满射性？
• RQ5 对于通过 Veronese 嵌入（i ≥ 1）的一般 K3 曲面，高斯映射的精确余秩是多少？

主要发现

• 当 i ≥ 2 且 g ≥ 2 时，高斯映射 Φ 是满射，表明此时其余秩为零。
• 当 i = 1 且 g ≥ 17 时，通过超平面除子可分解为三个双有理充分除子的合适构造，证明了 Φ 的满射性。
• 当 i = 2 且 g ≥ 7 时，通过基于周期映射满射性的 K3 曲面构造，证明了 Φ 的满射性。
• 通过将问题约化至 S×S 沿对角线的爆破上的 Kawamata-Viehweg vanish 定理，计算了 Φ 的余秩。
• 在该情境下，将超平面除子分解为三个双有理充分除子，既是应用 vanish 定理的必要条件，也是充分条件。
• 结果适用于一般素数 K3 曲面在 P^g（g ≥ 3）中的情形，以及在六次曲线上具有二重覆盖结构（g = 2）的一般双覆盖情形。