[论文解读] Base divisors of big and nef line bundles on irreducible symplectic varieties

Ulrike Rieß|arXiv (Cornell University)|Jul 13, 2018

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

一句话总结

本文在形变类型条件下刻画了不可约对称形式流形上大且 nef 的线丛的基除子，证明其始终为不可约且无重根。研究建立在：当且仅当线丛分解为 $H = mL + F$，其中 $m \geq 2$，$L$ 为本原移动类且 $q(L) = 0$，$F$ 为负平方的不可约无重根除子，且 $(L, F)_q > 0$ 时，此类基除子存在，且满足 $h^0(H) = \binom{m+n}{n}$。主要贡献在于对基除子的结构分类，以及证明所有大且 nef 的线丛 $H$ 满足 $2H$ 为无基点纯化，将 K3 曲面的已有结果推广至高维对称形式流形。

ABSTRACT

Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.

研究动机与目标

• 对不可约对称形式流形上哪些大且 nef 的线丛具有非平凡基除子进行分类。
• 在形变类型条件下，确定此类基除子的几何与上同调结构。
• 将经典结果（如 Mayer 定理）从 K3 曲面推广至高维不可约对称形式流形。
• 分析除子型基点集在形变下的行为，特别是 K3[n]-型与 Kumn-型流形。
• 证明所有大且 nef 的线丛 $H$ 满足 $2H$ 为无基点纯化，与 Fujita 型猜想一致。

提出的方法

• 利用 $H^2(X, \mathbb{Z})$ 上的 Beauville–Bogomolov–Fujiki 二次型 $q$ 分析线丛的几何性质。
• 应用不可约对称形式流形的 Riemann–Roch 公式，计算 $h^0(H)$ 并将其与条件 $h^0(H) = \binom{m+n}{n}$ 联系起来。
• 运用双有理 Kähler 锥与素例外除子的反射理论，控制基点集的结构。
• 应用形变理论，证明获得除子型基点集的流形集合是 Noether–Lefschetz 除子的不交并。
• 利用半连续性与 Betti–Künneth 分解，将上同调条件从特殊纤维提升至一般纤维族。
• 应用 K3[n]-型（$\chi(H) = \binom{\frac{1}{2}q(H) + n + 1}{n}$）与 Kumn-型（$\chi(H) = (n+1)\binom{\frac{1}{2}q(H) + n}{n}$）的特定 Riemann–Roch 公式，推导出显式刻画。

实验结果

研究问题

• RQ1 在不可约对称形式流形上，大且 nef 的线丛在何种条件下具有非平凡基除子？
• RQ2 此类基除子的精确几何结构为何——特别是，它们是否不可约且无重根？
• RQ3 大且 nef 线丛的基点集在流形形变下如何行为？
• RQ4 条件 $h^0(H) = \binom{m+n}{n}$ 是否可用于对 K3[n]-型与 Kumn-型流形中的基除子进行分类？
• RQ5 在不可约对称形式流形上，$2H$ 是否对所有大且 nef 的线丛 $H$ 保持无基点纯化，如 K3 情形所示？

主要发现

• 不可约对称形式流形上大且 nef 的线丛 $H$ 具有非平凡基除子，当且仅当 $H = mL + F$，其中 $m \geq 2$，$L$ 为本原移动类且 $q(L) = 0$，$F$ 为不可约无重根除子，$(L, F)_q > 0$，且 $h^0(H) = \binom{m+n}{n}$。
• 基除子 $F$ 始终不可约且无重根，这是在一般流形中不存在的强结构约束。
• 在 K3[n]-型流形中，条件 $h^0(H) = \binom{m+n}{n}$ 等价于 $(L, F)_q = 1$，这强制 $q(F) = -2$。
• 在 Kumn-型流形中，不存在具有固定除子的此类 $H$，因此 $H$ 始终为移动类；此结论源于当 $m \geq 2$ 时 Riemann–Roch 公式产生矛盾。
• 在形变族中，$H$ 获得除子型基点集的集合是 Noether–Lefschetz 除子的不交并，反映了基点集条件的代数本质。
• 该结果意味着对所有大且 nef 的 $H$，$2H$ 为无基点纯化，从而在该设定下确认了 Fujita 猜想的强形式。