[论文解读] On Zariski decomposition problem

Yuri Prokhorov|arXiv (Cornell University)|Nov 21, 2002

Algebraic structures and combinatorial models参考文献 14被引用 9

一句话总结

本综述厘清了 Zariski 分解各种推广形式——经典、Fujita、Shokurov、s- 与 σ- 分解——与除子代数有限生成性之间的联系。它证明了在 Q-因子化代数簇上，对大除子而言，半ample Zariski 分解（s-分解）在正部分为 b-ample 时，与广义 Fujita 分解一致；并证明在中等 Kodaira 维数的 klt 对下，log canonical 代数的有限生成性在拟同构下保持不变。

ABSTRACT

We discuss different generalizations of Zariski decomposition, relations between them and connections with finite generation of divisorial algebras.

研究动机与目标

• 厘清不同 Zariski 分解推广形式（包括经典、Fujita、Shokurov、s- 与 σ- 分解）之间的关系。
• 研究这些分解与除子代数有限生成性之间的联系。
• 确立在 Q-因子化代数簇上，半ample Zariski 分解与广义 Fujita 分解一致的条件。
• 证明在具有中等 Kodaira 维数的 klt 对中，log canonical 代数的有限生成性在拟同构下保持不变。
• 系统性地综述文献中已知结果，重点强调 b-半ample 性、b-ample 性与除子分解之间的相互作用。

提出的方法

• 使用 b-除子与 b-半ample 性的概念，将经典 Zariski 分解推广至相对与双有理情形。
• 应用有理 1-收缩及其拉回的概念，以定义并比较不同分解类型。
• 利用 Kodaira 引理，通过 ample 与有效除子逼近大除子，从而比较不同分解中正部分的性质。
• 通过 huts（1.2）的拉回构造，定义并分析双有理映射下除子类的行为。
• 应用广义 Fujita 分解的概念，并在 b-ample 性与 Q-因子化性条件下证明其与 s-分解的等价性。
• 依赖 [PLF]、[F3]、[FM] 及 b-除子与有限生成性的基础性成果，推导出不同分解类型与代数有限生成性之间的逻辑关系。

实验结果

研究问题

• RQ1 在 Q-因子化代数簇上，大除子的 s-分解与广义 Fujita 分解在何种条件下一致？
• RQ2 s-分解中正部分的 b-ample 性如何与除子代数的有限生成性相关联？
• RQ3 有理 1-收缩及其拉回在比较不同 Zariski 分解类型中起何作用？
• RQ4 在 klt 对的背景下，log canonical 代数的有限生成性如何在拟同构下保持不变？
• RQ5 Fujita 意义下的 Zariski 分解存在性在多大程度上蕴含 canonical 代数的有限生成性？

主要发现

• 对于 Q-因子化代数簇上的大除子 $D$，s-分解 $P_{\operatorname{s}}(D)$ 与广义 Fujita 分解 $P_{\operatorname{gf}}(D)$ 当且仅当 $P_{\operatorname{s}}(D)$ 为 b-ample 时一致。
• 除子代数 $\mathcal{R}_X(D)$ 有限生成当且仅当 $\mathcal{R}_X(P_{\operatorname{gf}}(D))$ 有限生成，且当 $P_{\operatorname{gf}}(D)$ 为 b-半ample 时成立。
• canonical 代数 $\mathcal{R}(K_X)$ 有限生成，若 $g^*K_X$ 具有半ample 正部分的 Fujita 分解，如在具有椭圆纤维化的三倍体情形所示。
• 对于 Kawamata log terminal 对 $(X,B)$ 满足 $0 \leq \kappa(X,K_X+B) \leq 3$，log canonical 代数 $\mathcal{R}(K_X+B)$ 有限生成。
• 若 $g^*K_X$ 在 Fujita 意义下存在 Zariski 分解，则 $\mathcal{R}(K_X)$ 有限生成，此结论通过双有理收缩下 canonical 除子的拉回建立。
• 广义 Fujita 分解 $D = P_{\operatorname{gf}} + F_{\operatorname{gf}}$ 满足 $\mathcal{R}_X(D) = \mathcal{R}_X(P_{\operatorname{gf}})$，且 $P_{\operatorname{gf}} \geq P_{\operatorname{s}}(D)$，在 $P_{\operatorname{s}}(D)$ 为 b-ample 时取等。