[论文解读] Zariski decompositions on arithmetic surfaces

Atsushi Moriwaki|arXiv (Cornell University)|Nov 16, 2009

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

一句话总结

本文在算术曲面上建立了连续型算术 ${\mathbb{R}}$-除子的 Zariski 分解，将经典 Zariski 分解推广至 Arakelov 几何。文中引入分解 $\overline{D} = \overline{P} + \overline{N}$，其中 $\overline{P}$ 为 nef，$\overline{N}$ 为有效除子，在适当的正性和连续性条件下证明了其存在性与唯一性，并表明标准 Arakelov Chow 群无法捕捉此类分解。

ABSTRACT

In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic varieties.

研究动机与目标

• 将经典 Zariski 分解从代数曲面上的代数除子推广至 Arakelov 几何中的算术 ${\mathbb{R}}$-除子。
• 定义并研究算术曲面上连续型算术 ${\mathbb{R}}$-除子的 Zariski 分解。
• 研究分解中正部与负部的性质，特别是其在 nef 算术 ${\mathbb{R}}$-除子列极限下的行为及正性条件。
• 表明标准 Arakelov Chow 群（配备可接受度量）不足以实现 Zariski 分解，凸显需要更精细的度量类型。

提出的方法

• 为复代数簇上的 ${\mathbb{R}}$-除子引入多种类型的 Green 函数——$C^0$、$C^\infty$、PSH 以及一般 $\mathscr{T}$-型。
• 将算术 ${\mathbb{R}}$-除子定义为对 $(D, g)$，其中 $D$ 为 ${\mathbb{R}}$-除子，$g$ 为指定类型的 Green 函数。
• 应用 Gromov 不等式与扭曲函数控制 Green 函数的增长并建立正性。
• 利用拟凸上包络构造算术除子的正部 $\overline{P}$。
• 发展算术曲面上 nef 算术 ${\mathbb{R}}$-除子的 $\sigma$-分解与极限过程理论。
• 通过将 $\overline{P}$ 表征为所有满足 $\leq \overline{D}$ 的 nef 算术 ${\mathbb{R}}$-除子中的最大元，证明 Zariski 分解的存在性与唯一性。

实验结果

研究问题

• RQ1 能否在算术曲面上为连续型算术 ${\mathbb{R}}$-除子定义类似于经典代数情形的 Zariski 分解？
• RQ2 在算术设定下，此类分解存在与唯一的必要充分条件是什么？
• RQ3 当 nef 算术 ${\mathbb{R}}$-除子列趋于极限时，正部与负部如何演化？
• RQ4 为何标准 Arakelov Chow 群（配备可接受度量）无法实现 Zariski 分解？
• RQ5 不同类型的 Green 函数（如 $C^0$、PSH、$\mathscr{T}$-型）在构造过程中起到何种作用？

主要发现

• 在算术曲面上，连续型算术 ${\mathbb{R}}$-除子的 Zariski 分解 $\overline{D} = \overline{P} + \overline{N}$ 存在且唯一。
• 正部 $\overline{P}$ 被表征为所有满足 $\leq \overline{D}$ 的 nef 算术 ${\mathbb{R}}$-除子中的最大元，推广了代数情形。
• 负部 $\overline{N}$ 为有效除子，且对 $\operatorname{Supp}(\overline{N})$ 的所有分支 $C_i$ 满足 $\widehat{\operatorname{deg}}(\overline{P} \cdot \overline{C}_i) = 0$，且在 $\operatorname{Supp}(\overline{N})$ 上的交点矩阵为负定。
• 以 $\overline{M}_\lambda = (C_0, -\log|z|^2 + \log(|z|^2 + \lambda))$（$0 < \lambda < 1$）为例，表明 $\overline{M}_\lambda$ 为大除子但非 nef，且其正部不等于 $\lambda\overline{L}$，说明正部不具有可加性。
• 配备可接受度量的 Arakelov Chow 群（如 Faltings 的 $\widehat{\operatorname{Div}}_{\Phi_\lambda}$）无法捕捉 Zariski 分解，因为在区间 $[0, \overline{M}_\lambda]$ 中唯一的 nef 元素为零。
• 对于 $\overline{D} = (nC_0, -n\log|z|^2 + \log f(|z|))$，其正部难以显式计算，表明显式构造具有复杂性。