Kodaira-Iitaka dimension and multiplicity: an analytic perspective

这是一篇由 Siarhei Finski 撰写的关于Kodaira-Iitaka 维数和线性级数重数的解析几何论文。文章从复分析和多复变函数理论（特别是位势理论）的角度出发，建立了这些代数几何不变量与多调和函数（psh）包络的交积理论之间的深刻联系。

以下是对该论文的详细技术总结：

1. 研究问题与背景

• 核心对象：研究复射影流形 $X$ 上的全纯线丛 $L$ 的分级线性级数 $W = \bigoplus W_k$（即截面环 $R(X, L)$ 的子环）。
• 关键不变量：
  • Kodaira-Iitaka 维数 $\kappa(W)$：描述线性级数生成的有理映射的像的维数。
  • 重数 (Multiplicity) $\text{vol}_{\kappa}(W)$：描述截面空间维数增长的渐近系数。
• 现有局限：传统的定义主要基于代数几何（如 Okounkov 体、有理映射的像）。虽然对于完备线性级数（$W=R(X,L)$）且 $L$ 为大线丛（big）的情况，已有基于 Monge-Ampère 测度的解析公式（如 Boucksom 的工作），但对于非大线丛或非完备线性级数，缺乏统一的解析描述。此外，部分 Bergman 核的弱收敛性在一般情形下是否成立也是一个未决问题。

2. 方法论

文章主要采用了多复变位势理论 (Pluripotential Theory) 和 渐近分析 的方法：

• Fubini-Study 度量与包络 (Envelope)：
  • 利用线性级数上的范数（如 $L^\infty$ 范数）构造 $L^{\otimes k}$ 上的奇异度量 $FS(N_k)$。
  • 定义多调和包络 (Plurisubharmonic envelope) $P[W, h_L]$ 作为这些 Fubini-Study 度量序列的极限（经过正则化）。这是连接代数对象（线性级数）与解析对象（psh 函数/度量）的桥梁。
• 非全纯极 (Non-pluripolar) 乘积：
  • 利用 Guedj-Zeriahi 等人发展的非全纯极乘积理论，定义与包络相关的闭正 $(1,1)$-流形 $c_1(L, P[W, h_L])$ 的交积。
• Fujita 型逼近定理：
  • 利用 Kaveh-Khovanskii 的逼近定理，将任意线性级数在渐近意义上近似为某个大线丛的完备线性级数，从而将问题转化为已知的解析框架。
• Bergman 核与 Bernstein-Markov 测度：
  • 研究部分 Bergman 核的渐近行为，特别是其与 Bernstein-Markov 测度的关系，以探讨弱收敛性。

3. 主要贡献与结果

A. 解析公式的建立 (Theorems 1.1 & 1.3)

文章给出了 $\kappa(W)$ 和 $\text{vol}_{\kappa}(W)$ 的精确解析公式：

• Kodaira-Iitaka 维数：
  $$\kappa(W) = \max \{ i \in \{0, \dots, n\} : c_1(L, P[W, h_L])^i \wedge \omega^{n-i} \neq 0 \}$$
  即维数由包络度量的非全纯极交积的非零最高阶数决定。
• 重数公式：
  $$\text{vol}_{\kappa}(W) = \frac{1}{\phi^*[\omega]^{n-\kappa(W)}} \int_X c_1(L, P[W, h_L])^{\kappa(W)} \wedge \omega^{n-\kappa(W)}$$
  其中 $\phi$ 是线性级数诱导的有理映射。该公式将重数表示为包络度量的 Monge-Ampère 型测度的积分。

B. 数值 Kodaira-Iitaka 维数与不等式

• 引入了非全纯极数值 Kodaira-Iitaka 维数 $\kappa_{np}(L)$ 和数值重数 $\text{vol}_{\kappa, np}(L)$，定义为使用具有最小奇异性 (minimal singularities) 的势的流形 $T_{min}$ 的交积。
• 不等式关系：证明了 $\kappa(L) \leq \kappa_{np}(L)$ 且 $\text{vol}_{\kappa}(L) \leq \text{vol}_{\kappa, np}(L)$。
• 意义：当 $L$ 是大线丛时取等号；但在一般情况下，Kodaira-Iitaka 维数不是数值不变量（即不仅取决于 $c_1(L)$ 的数值类），这修正了某些直觉。

C. 度量层面的细化 (Theorem 1.7)

• 研究了由 $L$ 上两个连续度量诱导的 $W_k$ 上单位球的体积比。
• 证明了体积比的渐近对数极限等于相对 Monge-Ampère $\kappa$-能量 (Relative Monge-Ampère $\kappa$-energy) 的差：
  $$\lim_{k \to \infty} \frac{1}{k^{\kappa(W)+1}} \log \frac{v(B_k[W, K, h_L^0])}{v(B_k[W, K, h_L^1])} = E_\kappa(P[W, K, h_L^0]) - E_\kappa(P[W, K, h_L^1])$$
  这推广了 Berman-Boucksom 在大线丛完备级数情形下的结果。

D. 点态细化与 Bergman 核的收敛性 (Theorem 1.9)

• 部分 Bergman 核的弱收敛：
  • 文章构造了一个反例（Section 5.1），证明对于一般的线性级数，部分 Bergman 核诱导的测度不一定弱收敛到平衡测度。
  • 这种非收敛性与相对 Monge-Ampère $\kappa$-能量的不可微性密切相关。
• 一般收敛定理：
  • 证明了在更弱的条件下（通过因子分解到有理映射的像 $Z$），测度在 $Z$ 上的推前是弱收敛的。
  • 如果线性级数是双有理 (birational) 的，则部分 Bergman 核在 $X$ 上弱收敛到 $c_1(L, P[W, K, h_L])^n$。

E. 积分闭包与解析闭包 (Theorems 2.1 & 6.1)

• 定义了线性级数的解析闭包 $\widetilde{W}$（基于包络势定义的线性级数）。
• 证明了积分闭包 $\overline{W}$ 包含于解析闭包 $\widetilde{W}$ 中。
• 建立了 $\kappa(\widetilde{W}) = \kappa(W)$ 以及重数与映射度数的关系，统一了代数闭包与解析构造。

4. 意义与影响

1. 统一框架：将代数几何中的 Kodaira-Iitaka 维数和重数完全解析化，适用于非大线丛和非完备线性级数，填补了现有理论的空白。
2. 数值不变量的澄清：明确指出了 Kodaira-Iitaka 维数在一般情况下不是数值不变量，并给出了其数值上界的解析刻画。
3. 能量与几何的对应：建立了单位球体积比与 Monge-Ampère 能量之间的精确对应，深化了对几何量化（Geometric Quantization）中渐近行为的理解。
4. 收敛性问题的解决：揭示了部分 Bergman 核收敛性的微妙之处（依赖于双有理性质和能量的可微性），并提供了正确的收敛形式（在像空间上的推前）。
5. 工具创新：引入了“相对 Monge-Ampère $\kappa$-能量”这一概念，作为处理非大线丛情形下能量理论的关键工具。

总的来说，这篇论文通过引入多调和包络和交积理论，成功地将线性级数的代数不变量转化为解析几何中的积分和能量泛函，为复几何中线性级数的研究提供了强有力的新视角和计算工具。