Duality for asymptotic invariants of graded families

技术摘要：分次族渐近不变量的对偶性

问题陈述
本文研究了交换代数与代数几何中出现的自然数序列之间的对偶性，特别关注分次理想族（graded families of ideals）。核心问题是理解亚加性序列（subadditive sequences，如符号幂的初始次数）与超加性序列（superadditive sequences，如 Castelnuovo-Mumford 正则度值或喷射分离指数）之间的关系。虽然这些序列通常出现在相关的上下文中，但它们的渐近增长因子（例如 Waldschmidt 常数和渐近正则度）在历史上一直被相对独立地研究。作者旨在建立一个严谨的对偶框架，用以交换这些序列类型，并反转它们的渐近增长常数，同时为关于射影空间中点构型的长期存在的猜想提供同调重构。

方法论
作者采用了一种结合组合序列理论、逆系统理论（inverse system theory）和几何不变性理论（geometric invariant theory）的多方面方法：

1. 序列对偶框架： 第 2 节奠定了基础，作者对自然数序列进行了推广。对于序列 $\alpha = \{\alpha_n\}$，他们定义了对偶序列 $\overleftarrow{\alpha}_n = \inf\{d \mid \alpha_d \geq n\}$ 和 $\overrightarrow{\alpha}_n = \sup\{d \mid \alpha_d \leq n\}$。他们证明了这些变换是互为逆运算的，并且至关重要的是，它们会交换亚加性和超加性序列的类别。在温和的假设下，这些变换会使渐近增长因子（$\lim \alpha_n/n$）互为倒数。

2. 微分封闭过滤（Differentially Closed Filtrations）： 在第 4 节中，作者引入了“微分封闭分次过滤”的概念。如果对 $I_n$ 中的元素应用 $k$ 阶微分算子能得到 $I_{n-k}$ 中的元素，则称该过滤 $\mathcal{I} = \{I_n\}$ 是微分封闭的。这类过滤包括普通幂、符号幂（通过 Zariski-Nagata 定理）以及微分幂和积分 Frobenius 幂。

3. 逆系统与 Macaulay-Matlis 对偶： 作者利用了逆系统理论（Macaulay 对偶）。对于一个微分封闭过滤 $\mathcal{I}$，他们在对偶环（在特征为零时为分次幂代数 $D$ 或多项式环 $S$）中构造了一系列理想 $L_s(\mathcal{I})$。他们证明，当且仅当 $\mathcal{I}$ 是微分封闭时，$L_s(\mathcal{I})$ 才是理想。这一构造将过滤的初始次数与逆系统商的正则度联系起来。

4. 几何应用： 该方法被应用于特定的几何设置，包括点集的喷射分离序列（jet separation sequence）和 Seshadri 常数。作者通过第 2 节中建立的对偶变换，将符号幂的正则度与喷射分离指数联系起来。

主要贡献与结果

• 广义序列对偶（定理 2.5 & 2.6）： 本文确立了变换 $\overleftarrow{\cdot}$ 和 $\overrightarrow{\cdot}$ 将亚加性序列映射为超加性序列（反之亦然），并使它们的渐近增长因子互为倒数。具体而言，若 $\alpha$ 是具有增长因子 $\hat{\alpha}$ 的亚加性序列，则 $\overrightarrow{\alpha}$ 是具有增长因子 $\hat{\alpha}^{-1}$ 的超加性序列。

• 微分封闭过滤的对偶性（定理 4.9 & 4.20）： 作者证明，对于微分封闭分次过滤 $\mathcal{I} = \{I_n\}$，初始次数序列 $\alpha_n = \alpha(I_n)$ 是亚加性的，而逆系统商的末端次数（end-degrees）序列 $\beta_s = \text{end}(D/L_s(\mathcal{I}))$ 是超加性的。这两个序列是彼此对偶的（通过 $n$ 平移），且其渐近增长因子满足倒数关系：
  $$\hat{\beta} = \frac{\hat{\alpha}}{\hat{\alpha} - 1} \quad \text{以及} \quad \hat{\alpha} = \frac{\hat{\beta}}{\hat{\beta} - 1}$$
  这推广了 Emsalem 和 Iarrobino 关于根理想符号幂的先前结果。

• Seshadri 常数与渐近正则度的互惠性（定理 5.5, 5.7, 推论 5.8）： 对于 $\mathbb{P}^N$ 中的有限点集 $X \subset \mathbb{P}^N$，本文确立了喷射分离指数序列 $s(X, d)$ 与符号幂的 Castelnuovo-Mumford 正则度序列 $\text{reg}(I(X)^{(k)})$ 之间的对偶关系。因此，多点 Seshadri 常数 $\varepsilon(X)$ 被证明是渐近正则度的倒数：
  $$\varepsilon(X) = \lim_{d \to \infty} \frac{s(X, d)}{d} = \left( \lim_{k \to \infty} \frac{\text{reg}(I(X)^{(k)})}{k} \right)^{-1}$$
  这为已知的互惠关系提供了结构性解释。

• Nagata–Iarrobino 猜想的同调重构（第 6 节）： 作者通过逆系统重新表述了 Nagata 猜想（关于 $\mathbb{P}^2$ 中非常一般点集的 Waldschmidt 常数）和 Iarrobino 猜想（针对高维情形）。具体而言，他们表明这些猜想等价于：逆系统理想 $L_s(X)$ 的渐近正则度以 $\frac{\sqrt[N]{r}}{\sqrt[N]{r} - 1}$ 的速率增长。此外，他们提出了一个同调重构（猜想 6.2），即对于非常一般点，Waldschmidt 常数等于渐近正则度（$\hat{\alpha} = \widehat{\text{reg}}$）。

意义与主张

本文声称提供了一个统一各种代数几何渐近不变量的原则。通过将初始次数与正则度之间的关系框定为序列的对偶性，作者为普通幂与符号幂之间的包含问题、理想的复现性（resurgence）以及点构型的几何学提供了新的视角。

其重要性在于：

1. 统一性： 通过单一的对偶机制，将 Waldschmidt 常数、渐近复现性、Seshadri 常数和渐近正则度联系起来。
2. 推广性： 将 Emsalem-Iarrobino 关于符号幂逆系统的经典结果扩展到更广泛的微分封闭过滤类。
3. 重构性： 为 Nagata 和 Iarrobino 猜想提供了基于同调和逆系统的重构，这可能为通过研究理想 $L_s(X)$ 来攻击这些猜想开辟新途径。

作者明确指出，虽然他们恢复了已知的互惠关系（例如 Seshadri 常数与渐近正则度之间的关系），但他们的贡献在于识别了迫使这种关系发生的底层序列对偶性。最后，他们提出了几个开放性问题，涉及一般根理想的正则度序列的亚加性，以及在更广泛背景下 $L_s(\mathcal{I})$ 生成元的几何解释。