[论文解读] Base point free theorem of Reid-Fukuda type

Osamu Fujino|ArXiv.org|Mar 8, 1999

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

一句话总结

本文证明了关于 dlt 对 $(X, \nabla)$ 上的 nef Cartier 除子的基点自由定理，表明若存在某个 $a > 0$ 使得 $aL - (K_X + \nabla)$ 是 nef 且对数大，则对所有充分大的 $m$，有 $|mL|$ 是基点自由的。证明方法使用了对数解耦、消去定理，以及通过边界除子的各部分限制在维数上进行归纳。

ABSTRACT

Let $(X,Δ)$ be a proper dlt pair and $L$ a nef Cartier divisor such that $aL-(K_X+Δ)$ is nef and log big on $(X,Δ)$ for some $a\in {\mathbb Z}_{>0}$. Then $|mL|$ is base point free for every $m\gg 0$.

研究动机与目标

• 在不依赖对数极小模型程序的前提下，为 dlt 对 $(X, \nabla)$ 建立 Reid-Fukuda 类型的基点自由定理。
• 将 Fukuda 在光滑情形和三维情形下的结果推广至任意维数和 dlt 奇点。
• 在条件 $aL - (K_X + \nabla)$ 为 nef 且对数大的前提下，证明 $|mL|$ 对于 $m \gg 0$ 是基点自由的。
• 通过使用对数解耦和边界各部分上的同调技巧，提供一种基于消去定理的方法。

提出的方法

• 构造 dlt 对 $(X, \nabla)$ 的对数解耦 $f: Y \to X$，使得 $f$ 在对数奇点中心处是同构。
• 定义 $E = \sum \lceil a_i \rceil E_i$ 和 $F = f^{-1}_*\nabla + E - \sum a_i E_i$，使得 $K_Y + F = f^*(K_X + \nabla) + E$。
• 利用引理 1.5，证明当 $m \geq a$ 时，有 $H^1(Y, \mathcal{O}_Y(mM + E - S_0)) = 0$，其中 $M = f^*L$ 且 $S_0$ 是 $\lfloor \nabla \rfloor$ 的某个分量的严格提升。
• 应用短正合列 $0 \to \mathcal{O}_Y(-S_0) \to \mathcal{O}_Y \to \mathcal{O}_{S_0} \to 0$ 的长正合列，证明 $H^0(X, \mathcal{O}_X(mL)) \to H^0(S, \mathcal{O}_S(mL))$ 的满射性。
• 通过维数归纳，将归纳假设应用于对 $(S, \operatorname{Diff}(\nabla - S))$，该对为 dlt 且满足相同的 adjoint 条件。
• 最终得出 $\operatorname{Bs}|mL| \cap \lfloor \nabla \rfloor = \emptyset$，并利用命题 1.4 推出对 $m \gg 0$ 有基点自由性。

实验结果

研究问题

• RQ1 在 dlt 对 $(X, \nabla)$ 上，当何种条件下，一个 nef Cartier 除子 $L$ 对于大 $m$ 是基点自由的？
• RQ2 是否可以在不使用对数极小模型程序的前提下建立基点自由定理？
• RQ3 为何 $aL - (K_X + \nabla)$ 的 nef 且对数大性质能确保高阶上同调的消去和全局截面映射的满射性？
• RQ4 对数奇点中心的结构在多大程度上影响线性系统基点自由性？
• RQ5 对数奇点对的消去定理能否推广到除子未必是大，但仅在中心上为对数大的情形？

主要发现

• 若 $L$ 是一个在完备 dlt 对 $(X, \nabla)$ 上的 nef Cartier 除子，且存在某个正整数 $a \in \mathbb{Z}_{>0}$ 使得 $aL - (K_X + \nabla)$ 为 nef 且对数大，则对所有充分大的 $m$，有 $|mL|$ 是基点自由的。
• 即使在三维情形，该证明也避免了使用对数极小模型程序，转而依赖对数解耦和上同调消去。
• 关键步骤是通过在对数解耦上的消去性，证明了对任意 $\lfloor \nabla \rfloor$ 的不可约分量 $S$，限制映射 $H^0(X, \mathcal{O}_X(mL)) \to H^0(S, \mathcal{O}_S(mL))$ 的满射性。
• 除子 $aL - (K_X + \nabla)$ 在 $S$ 上的限制在 $(S, \operatorname{Diff}(\nabla - S))$ 上仍保持为 nef 且对数大，从而支持了维数上的归纳。
• 对 $m \gg 0$，有 $|mL|$ 的基点集与 $\lfloor \nabla \rfloor$ 不相交，结合命题 1.4 可推出基点自由性。
• 该结果推广了 Fukuda 在光滑情形和三维情形下的早期定理，将其扩展至任意维数和 dlt 奇点。