Arithmetic Fujita approximation over adelic curves

技术摘要：阿德尔曲线上的算术 Fujita 近似

问题陈述
本文探讨了将 Fujita 近似定理扩展到阿德尔曲线（Adelic Curves）这一 Arakelov 几何框架中的问题。在经典代数几何中，Fujita 定理断言一个大线丛可以通过一个包含一个有效线丛的扩充振幅线丛来无限逼近，且这种逼近是在一个双有理修改下的。在数域上的算术情形下，这一猜想此前已由 Chen 和 Yuan 使用不同的方法（分别是复纯度函数包络和 $\mathbb{R}$-过滤）分别得到了证明。

然而，推广到阿德尔曲线——这是一个由 Chen 和 Moriwaki 开发的框架，旨在统一数域、函数域以及其他具有阿德尔结构的基底上的算术几何——面临着显著的挑战。具体而言，在一般的阿德尔曲线中，由于缺乏“闵可夫斯基性质”（Minkowskian property，该性质在数域情形下有助于使用逐次极小值），以及由于阿德尔结构的复杂性（例如非离散的 $\sigma$-代数）而产生的可测性与可积性问题。本文旨在解决 Chen 和 Moriwaki 关于在这一一般设定下，是否能实现完整的算术 Fujita 近似（即针对 $\mathbb{R}$-线丛，而非仅仅是涉及渐近斜率的“相对”版本）的猜想。

方法论
作者采用了一种结合 $\mathbb{R}$-过滤、Harder-Narasimhan 过滤以及在平凡赋值域上构造分次线性序列的多步策略。

1. 框架与假设： 本研究假设基域 $K$ 是完美域，且阿德尔曲线 $S$ 满足特定的技术条件：要么 $\sigma$-代数 $\mathcal{A}$ 是离散的，要么对于所有的 $w \in \Omega$，$K$ 包含一个在 $K_w$ 中稠密的可数子域。这些条件确保了子空间范数和商范数保持可测性与可积性，从而避免了在构建阿德尔向量丛时的障碍。
2. Harder-Narasimhan 过滤与 $\mathbb{R}$-过滤： 本文利用了阿德尔向量丛的 Harder-Narasimhan 过滤，该过滤是通过 $\mathbb{R}$-过滤来表述的。这使得定义渐近不变量（如极大斜率 $\hat{\mu}^{\text{asy}}_{\max}$ 和极小斜率 $\hat{\mu}^{\text{asy}}_{\min}$）成为可能。
3. 向平凡赋值域的过渡： 一个关键技术是从原 $S$ 上的分次序列构造一个在平凡赋值域（$S_0$）上的分次线性序列。通过对全局截面空间 $H^0(X, L^{\otimes n})$ 应用 Harder-Narasimhan 过滤，作者定义了一个谱范数（spectral norm）。这将其原始序列转化为一个在 $S_0$ 上的“经过滤可逼近的分次线性序列”。
4. 分次线性序列的近似： 作者证明了对于一个算术大线丛，其关联的在 $S_0$ 上的分次线性序列是可逼近的。这涉及证明对于任何 $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$，由谱范数受限于 $e^{-D\lambda}$ 的截面所定义的子序列包含一个振幅除子。这一步骤依赖于在阿德尔设定下适配的几何 Kodaira 分解论证，从而避开了直接应用算术 Kodaira 分解的问题（正如示例 4.4 中的反例所示，算术 Kodaira 分解在一般阿德尔曲线中会失效）。
5. 向 $\mathbb{Q}$ 和 $\mathbb{R}$-线丛的扩展：
   • 对于 $\mathbb{Q}$-线丛，结果通过缩放可以直接从整数情形导出。
   • 对于 $\mathbb{R}$-线丛，作者使用了连续性论证。由于算术体积函数是连续的，一个算术大的 $\mathbb{R}$-线丛可以用一个算术大的 $\mathbb{Q}$-线丛来近似，且两者的差值具有一个非零的小截面。

主要贡献与结果
主要结果是 定理 1.1 (定理 5.5)，它确立了紧致阿德尔曲线上算术大的 $\mathbb{R}$-线丛的算术 Fujita 近似。

• 定理陈述： 令 $S$ 为一个满足可测性条件的完美域 $K$ 的紧致阿德尔曲线。令 $X$ 为射影簇，$L$ 为一个算术大的 $\mathbb{R}$-线丛。对于任意 $\epsilon > 0$，存在足够大的整数 $p$ 和双有理态射 $v: X' \to X$，使得：
  $$v^*(L^{\otimes p}) = A \otimes M$$
  其中：

  1. $A$ 是一个算术振幅线丛。
  2. $M$ 是一个拥有非零小截面（即对于所有 $w$，满足 $\|s\|_{\sup, w} \leq 1$ 的全局截面 $s$）的阿德尔 $\mathbb{R}$-线丛。
  3. 体积满足近似不等式：
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• 推广性： 该结果推广了 Chen 和 Yuan 的工作（他们处理的是数域情形），并对 Chen 和 Moriwaki 在其 2021 年的工作 [11, Remark 9.2.7] 中提出的猜想给出了肯定的回答。它超越了“相对 Fujita 近似”（仅控制极大斜率），实现了一个完整的分解，其中“有效”部分通过小截面的存在性得到控制。

意义
本文声称对 Chen 和 Moriwaki 关于 Fujita 近似在一般阿德尔曲线设定下有效性的猜想提供了明确的肯定答复。其意义在于：

1. 统一性： 它将算术几何的一个基本定理扩展到了一个统一的框架，涵盖了数域、函数域以及其他具有阿德尔结构的基底，尽管在此过程中失去了闵可夫斯基性质。
2. 技术解决： 通过施加对阿德尔曲线的限制条件并利用平凡赋值域上的谱范数构造，克服了与可测性和可积性相关的特定障碍。
3. 范围： 它成功处理了 $\mathbb{R}$-线丛（这对于现代算术交截理论至关重要），通过建立 $\mathbb{R}$-丛与 $\mathbb{Q}$-丛之间通过小截面连接的桥梁来实现。

作者指出，该结果是几何 Fujita 近似的直接类比，断言一个算术大的丛可以沿着一个有效方向（由拥有非零小截面的丛表示）被一个振幅丛所近似，从而证实了算术正性概念在阿德尔曲线框架下的鲁棒性。