[论文解读] A criterion for left-orthogonality of an effective divisor on a surface

Alexey Elagin|arXiv (Cornell University)|Oct 7, 2016

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

一句话总结

本文建立了在光滑曲面上，当有效除子 $D$ 为左正交或强左正交时的显式几何与组合准则，即对偶 $(\mathcal{O}_X, \mathcal{O}_X(D))$ 构成例外或强例外对。关键结果表明，此类除子必须是具有受控算术亏格与交点性质的有理曲线树，尤其在假设 $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ 的条件下。这些准则通过子除子的算术亏格与自交数的条件来表达。

ABSTRACT

We find a criterion for an effective divisor $D$ on a smooth surface to be left-orthogonal or strongly left-orthogonal (i.e. for the pair of line bundles $(\mathcal O,\mathcal O(D))$ to be exceptional or strong exceptional).

研究动机与目标

• 表征在光滑曲面上，有效除子 $D$ 何时为左正交或强左正交，即对 $(\mathcal{O}_X, \mathcal{O}_X(D))$ 为例外或强例外对的条件。
• 基于除子分量的几何与组合结构，提供一个准则，尤其在假设 $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ 的条件下。
• 阐明此类除子的结构，特别是与有理曲面及其在完整强例外族中作用的关系。
• 通过分析单个除子的必要条件，解决有理曲面是否允许完整强例外线丛族这一开放问题。

提出的方法

• 本文使用光滑曲面上相干层导出范畴中例外与强例外族的理论。
• 应用黎曼–罗赫公式与上同调消去条件，分析线丛 $\mathcal{O}_X$ 与 $\mathcal{O}_X(D)$ 之间的 Ext-代数。
• 准则由 $\operatorname{Ext}^i(\mathcal{O}_X(D), \mathcal{O}_X)$ 对所有 $i > 0$ 的消去（左正交性）与 $\operatorname{Ext}^i(\mathcal{O}_X, \mathcal{O}_X(D))$ 对所有 $i > 0$ 的消去（强左正交性）推导而来。
• 利用子除子 $D'$ 的算术亏格 $p_a(D')$ 与交点数 $D \cdot D'$ 来表述必要与充分条件。
• 使用霍奇指数定理来限制具有正自交的分量可能的配置。
• 分析包括多分量与重数情形，特别是 $D = kE$ 且 $E^2 = r$ 的情形。

实验结果

研究问题

• RQ1 在何种几何与组合条件下，曲面上的有效除子 $D$ 为左正交？
• RQ2 为使 $D$ 成为强左正交，还需满足哪些附加条件？
• RQ3 具有给定自交的有理曲线分量的何种构型可支持左正交除子？
• RQ4 算术亏格 $p_a(D')$ 与交点数 $D \cdot D'$ 如何限制此类除子的结构？
• RQ5 在左正交性条件下，是否存在具有重数 $>1$ 且自交为正的分量？

主要发现

• 在满足 $h^1(X,\mathcal{O}_X) = h^2(X,\mathcal{O}_X) = 0$ 的曲面 $X$ 上，有效除子 $D$ 为左正交当且仅当 $D$ 是算术亏格 $p_a(D) = 0$ 的有理曲线树，且对所有连通满足 $0 < D' \leq D$ 的子除子均有 $p_a(D') \leq 0$。
• 同一条件也刻画强左正交性，但需额外满足对所有此类 $D'$ 有 $p_a(D') \leq 1 + D \cdot D'$。
• 左正交除子最多可包含两个具有正自交的不可约分量，且仅在 $D = E_1 + E_2$ 且 $E_i^2 = 1$、$D^2 = 4$ 的情况下成立。
• 若 $D$ 的某一分量 $E$ 的重数 $k > 1$ 且 $E^2 > 0$，则必有 $D = 2E$ 且 $E^2 = 1$。
• 例子表明，如 $A_n$ 型有理曲线链（自交为 $-2$）构成的除子是左正交的，但非强左正交，因其在某些子除子上不满足 $D \cdot D' \geq -1$ 条件。
• 霍奇指数定理排除了除最多两个分量且 $E_i^2 = 1$ 外，其他具有正自交的分量配置。