Maximal variation of linear systems

技术摘要：线性系统的极大变分

问题陈述
本文研究了光滑射影簇 $X$ 上的线性系统 $|L|$ 在何种条件下表现出“极大变分”（maximal variation）。若线丛 $L$ 具有极大变分，则称其元素 $|L|$ 拥有最大可能的模数数量，即 $\dim |L|$。等价地，若 $S$ 是 $|L|$ 中的一个一般元素，则只有有限个 $S' \in |L|$ 与 $S$ 同构。从模空间理论的角度来看，这要求从线性系统 $|L|$ 到超曲面 $S$ 的模空间 $\mathcal{M}$ 的自然有理映射是泛有限的（generically finite）。

方法论与微分判别法
本文采用的主要工具是源自超曲面形变理论的微分判别法。设 $S \in |L|$ 为一个一般元素。本文确立了当切映射 $T\mu$（从线性系统的切空间到 $S$ 的库里西（Kuranishi）族切空间）是单射时，$L$ 具有极大变分。

这种单射性与限制切丛的上同调有关。具体而言，命题 1 指出：

• 若 $H^0(S, T_X|_S) = 0$，则 $L$ 具有极大变分。
• 反之，若 $H^1(X, \mathcal{O}_X) = 0$ 且 $H^0(S, T_S) = 0$，则极大变分蕴含 $H^0(S, T_X|_S) = 0$。

证明过程利用了正合序列 $0 \to T_S \to T_X|_S \to L|_S \to 0$ 以及相关的上同调序列，将切映射的单射性与 $T_X|_S$ 全局截面的消失联系起来。

各类簇的关键结果

1. $\mathbb{P}^n$ 中的超曲面
   对于 $\mathbb{P}^n$ 中次数为 $d$ 的光滑超曲面 $X$，$\mathcal{O}_X(1)$ 具有极大变分的条件可以简化为雅可比环（Jacobian ring）$R = \mathbb{C}[x_0, \dots, x_n]/(\partial F/\partial x_0, \dots, \partial F/\partial x_n)$ 的代数性质。

   • 命题 2： $\mathcal{O}_X(1)$ 具有极大变分，当且仅当对于一般线性形式 $\ell$，乘法映射 $\times \ell: R_{d-1} \to R_d$ 是单射。这等价于雅可比环满足弱列夫谢茨性质（Weak Lefschetz Property）。
   • 推论 1： 极大变分在以下情况得到确认：
     • $d \ge n+2$（在 Bricalli 和 Pirola 随后的工作中改进为 $d \ge n+1$）。
     • $\mathbb{P}^3$ 中的 $d \ge 4$ 的曲面。
     • 三次超曲面（Cubic threefolds）。
     • $\mathbb{P}^n$ 中次数为 $d$ 的一般超曲面。
   • 命题 3： 若 $\mathcal{O}_X(1)$ 具有极大变分，则 $\mathcal{O}_X(e)$ 对于所有 $e \ge 1$ 都具有极大变分。此外，若 $e \ge d$，则 $\mathcal{O}_X(e)$ 具有极大变分。

2. $\mathbb{P}^n$ 的二重覆盖
   对于沿光滑超曲面 $B$（次数为 $d$）分支的二重覆盖 $\pi: X \to \mathbb{P}^n$，本文分析了线丛 $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$。

   • 命题 4： $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$ 具有极大变分，当且仅当分支处雅可比环中的乘法映射是单射（类似于超曲面情形）。
   • 推论 2： 若 $d \ge n+1$（若 $n=2$ 则需 $d \ge 6$），则极大变分成立。
   • 该结果在 $e \ge d$ 时扩展至 $\pi^*\mathcal{O}_{\mathbb{P}^n}(e)$。

3. K3 曲面与超凯勒流形（Hyperkähler Manifolds）

   • 命题 5： K3 曲面上的任何振幅线丛都具有极大变分。
   • 命题 6： 维数大于 2 的超凯勒流形上的任何振幅线丛都具有极大变分。
   • 方法： 证明依赖于 Akizuki-Nakano 消解定理。由于这些流形满足 $T_X \cong \Omega^1_X$，故 $H^0(T_X) = 0$ 且 $H^1(T_X \otimes L^{-1}) = 0$，这迫使 $H^0(T_X|_S) = 0$。

4. 阿贝尔簇（Abelian Varieties）

   • 命题 7： 阿贝尔簇上的任何振幅线丛都具有极大变分。
   • 方法： 证明通过展示复合映射 $\tilde{u}: H^0(T_X) \to H^1(\mathcal{O}_X)$ 是一个同构来证明 $T\mu$ 是单射。该映射被识别为与 Chern 类 $c_1(L)$ 的杯积，由 Lefschetz 定理可知该映射是同构。

其他示例与反例

• 正面结果：
  • 若 $H^0(X, T_X) = 0$ 且 $L$ 是振幅的，则 $L^m$ 对于足够大的 $m$ 具有极大变分。
  • 若 $\Omega^1_X$ 是振幅的，则每个线丛都具有极大变分。
  • 对于 $\Omega^1_X$ 全局生成的极大类型曲面，任何非常振幅的线丛都具有极大变分。
  • 对于 $\text{Pic}(X) = \mathbb{Z} \cdot [K_X]$ 且 $c_1^2 > c_2$ 的极大类型曲面，线丛 $K_X^r$ ($r \ge 1$) 具有极大变分。
  • 满足 $H^0(T_{X_i}) = 0$ 且 $\dim X_i \ge 2$ 的乘积 $X_1 \times X_2$ 对任何振幅丛均满足该条件。
• 反例：
  • 允许连通线性群 $G$ 非平凡作用（且 $G$ 在 $|L|$ 上非平凡作用）的簇不具有极大变分。
  • 曲线 $C$ 上的射影丛 $\mathbb{P}(E)$（其中 $E$ 是非常振幅的秩 2 丛）；其线性系统没有模数。
  • 极大类型簇上的某些丛（例如，费马超曲面的特定吹胀情形）可能没有模数。

意义与范围
本文提供了一个统一的框架，用于确定何时线性系统达到极大变分，主要通过 $H^0(S, T_X|_S)$ 的消失来实现。虽然作者为 K3 曲面、超凯勒流形和阿贝尔簇建立了确定性结果，但对于超曲面和二重覆盖的结果是部分的，依赖于弱列夫谢茨性质猜想。

作者指出，随后的 Bricalli 和 Pirola [B-P] 的工作提供了一个更一般的定理：任何在光滑射影簇 $X$ 上满足 $h^{n,0} \neq 0$ 且 $h^{n-1,0} = 0$ 的非常振幅线丛都具有极大变分。这一结果改进了本文中的若干界限（特别是针对超曲面）。

本文最后提出了一个猜想：若 $X$ 不是非有理化（uniruled）的，则 $X$ 上的每个振幅线丛都具有极大变分。这表明，对于缺乏有理曲线的簇，极大变分是一个泛性质，而反例主要源于对称性或特定的纤维化结构。