2025-11-13T15:10:11.172021

The existence of valuative interpolation

Bao, Guan, Mi et al.

In this article, using key tools including Zhou valuations, Tian functions and a convergence result for relative types, we establish necessary and sufficient conditions for the existence of valuative interpolations on the rings of germs of holomorphic functions and real analytic functions at the origin in $\mathbb{C}^{n}$ and $\mathbb{R}^{n}$, respectively. For the cases of polynomial rings with complex and real coefficients, we establish separate necessary conditions and sufficient conditions, which become both necessary and sufficient when the intersection of the zero sets of the given polynomials is the set of the origin in $\mathbb{C}^{n}$. Furthermore, we obtain a necessary and sufficient condition for a valuation to be of the form given by a relative type with respect to a tame maximal weight. We demonstrate a result of Boucksom--Favre--Jonsson on quasimonomial valuations also holds for quasimonomial Zhou valuations. Finally, we obtain a relationship between Zhou valuations and the differentiable points of Tian functions.

academic

The existence of valuative interpolation

基本信息

论文ID: 2510.22244
标题: The existence of valuative interpolation
作者: Shijie Bao, Qi'an Guan, Zhitong Mi, Zheng Yuan
分类: math.CV (Complex Variables), math.AC (Commutative Algebra), math.AG (Algebraic Geometry)
发表时间: October 25, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.22244

摘要

本文利用Zhou赋值、Tian函数和相对型的收敛结果等关键工具，建立了在 $\mathbb{C}^n$ 和 $\mathbb{R}^n$ 原点处全纯函数芽环和实解析函数芽环上赋值插值存在性的充要条件。对于复系数和实系数多项式环的情况，建立了分别的必要条件和充分条件，当给定多项式零点集的交集为 $\mathbb{C}^n$ 中的原点时，这些条件成为充要条件。此外，还获得了赋值可表示为关于温顺极大权的相对型的充要条件，证明了Boucksom-Favre-Jonsson关于拟单项式赋值的结果对拟单项式Zhou赋值也成立，并建立了Zhou赋值与Tian函数可微点之间的关系。

研究背景与动机

核心问题

本文研究赋值插值问题（valuative interpolation problem）：给定有限个全纯函数 $\{f_j\}_{1≤j≤m}$ 和正实数 $\{a_j\}_{1≤j≤m}$ ，能否找到一个赋值 $\nu$ 使得 $\nu(f_j) = a_j$ 对所有 $j$ 成立？

问题的重要性

赋值理论的核心问题：赋值是代数几何和多复变函数论中测量奇点的基本工具，与多重理想、Lelong数等经典概念密切相关
连接多个数学分支：该问题连接了：
- 复分析（全纯函数、多次调和函数）
- 交换代数（赋值、理想）
- 代数几何（奇点理论）
测量奇点的需求：在奇点理论中，需要通过赋值来精确测量函数的奇异性

现有方法的局限性

经典Lelong数和Kiselman数：虽然提供了重要的赋值类，但不足以解决一般的插值问题
拟单项式赋值：Boucksom-Favre-Jonsson的工作建立了重要框架，但对插值问题的适用性有限
缺乏充要条件：此前没有关于赋值插值存在性的一般充要条件

研究动机

作者受以下观察启发：

Lelong数定义为 $\nu(u,o) := \sup\{c ≥ 0 : u(z) ≤ c\log|z| + O(1)\}$
Rashkovskii引入的相对型推广了这一概念
Zhou赋值（作者之前的工作）提供了新的工具

核心贡献

建立全纯函数芽环上赋值插值的充要条件（定理1.2）：
- 存在赋值 $\nu$ 使得 $\nu(f_j) = a_j$ ⟺ $\sigma(\log|F|, \phi) = \sum a_j$
- 其中 $F = \prod f_j$ ， $\phi = \log(\sum |f_j|^{1/a_j})$
推广到多项式环（推论1.5-1.6）：
- 给出复系数和实系数多项式环上的必要/充分条件
- 当零点集交集为原点时，条件成为充要的
刻画可表示为相对型的赋值（定理1.11）：
- 赋值 $\nu$ 可表示为关于温顺极大权的相对型 ⟺ $\sup_{(f,o)}(\text{lct}(f)(a_\nu^\bullet) - \nu(f)) < +\infty$
Zhou赋值的拟单项式性质（命题1.13，定理1.14）：
- 给出Zhou赋值为拟单项式的充分条件
- 证明Boucksom-Favre-Jonsson的结果对拟单项式Zhou赋值成立
Tian函数与赋值的关系（定理1.15，命题1.16）：
- 建立Tian函数可微性与赋值性质的联系

方法详解

任务定义

赋值插值问题：给定：

环 $\mathcal{O}_o$ （ $\mathbb{C}^n$ 原点处全纯函数芽环）
$m+1$ 个全纯函数 $\{f_j\}_{0≤j≤m}$ ，其中 $a_0 = 0$
$m$ 个正数 $\{a_j\}_{1≤j≤m}$

求：是否存在赋值 $\nu: \mathcal{O}_o^* \to \mathbb{R}_{≥0}$ 满足：

$\nu(fg) = \nu(f) + \nu(g)$ （乘法性）
$\nu(f+g) ≥ \min\{\nu(f), \nu(g)\}$ （三角不等式）
$\nu(c) = 0$ （常数为0）
$\nu(f_j) = a_j$ （插值条件）

核心概念

1. 相对型（Relative Type）

对于多次调和函数 $u$ 和 $\phi$ ，相对型定义为： $\sigma(u, \phi) := \sup\{c ≥ 0: u ≤ c\phi + O(1) \text{ near } o\}$

这推广了Lelong数的概念。

2. Zhou赋值

Zhou权重 $\Phi_{o,\max}$ 是满足以下条件的多次调和函数：

$|f_0|^2e^{-2\phi_0}|z|^{2N_0}e^{-2\Phi_{o,\max}}$ 可积（对足够大的 $N_0$ ）
$|f_0|^2e^{-2\phi_0}e^{-2\Phi_{o,\max}}$ 不可积
极大性条件

Zhou赋值定义为： $\nu(f, \Phi_{o,\max}) := \sigma(\log|f|, \Phi_{o,\max})$

3. Tian函数

对于多次调和函数 $\phi, \psi$ ，Tian函数定义为： $T_n(t; f_0, \phi_0, \phi, \psi) := \sup\{c ≥ 0: |f_0|^2e^{-2\phi_0}e^{2t\psi}e^{-2c\phi} \text{ 可积}\}$

这是测量跳跃数的函数。

主要定理的证明思路

定理1.2的证明（充要条件）

必要性（ $(1) \Rightarrow (2)$ ）：如果存在赋值 $\nu$ 使得 $\nu(f_j) = a_j$ ，则：

由引理2.10： $\sigma(\log|F|, \phi) ≤ \nu(F) = \sum \nu(f_j) = \sum a_j$
由相对型定义： $\sigma(\log|F|, \phi) ≥ \sum \sigma(\log|f_j|, \phi) ≥ \sum a_j$
因此： $\sigma(\log|F|, \phi) = \sum a_j$

充分性（ $(2) \Rightarrow (1)$ ）：关键步骤：

构造逼近序列：定义 $\phi_N := \max\{\phi, N\log|z|\}$
利用Tian函数：考虑 $T_n(t) := \sup\{c ≥ 0: |F|^{2t}e^{-2c\phi_N} \text{可积}\}$
由温顺性（tameness）： $\lim_{t\to\infty} T_n'(t) = \sigma(\log|F|, \phi_N)$
构造Zhou权重：对每个 $s$ ，存在Zhou权重 $\Phi_{N,s}$ 满足 $\Phi_{N,s} ≥ T_n(s)\phi_N$
收敛性：利用命题2.34，序列 $\{T_n(s)\nu_{N,s}\}$ 的子列收敛到赋值 $\nu$
验证插值条件： $\nu(f_j) = a_j$

技术创新点

相对型作为判别准则：
- 创新地将赋值插值问题转化为相对型的计算
- 条件 $\sigma(\log|F|, \phi) = \sum a_j$ 可以通过分析工具验证
Zhou赋值的应用：
- 利用Zhou赋值的良好性质（与跳跃数的关系）
- Zhou权重的构造提供了具体的赋值
收敛结果（命题2.34）：
- 证明了赋值序列在一定条件下的收敛性
- 这是证明充分性的关键工具
温顺性条件的利用：
- 温顺权重满足： $c_o^f(\phi) ≤ \sigma(\log|f|, \phi) + C$
- 这保证了Tian函数的良好行为

实验设置

本文是纯理论数学论文，不包含实验设置。所有结果都是通过严格的数学证明得到的。

示例验证

例1.7（说明充要条件的必要性）：设 $h_1 = z_1, h_2 = z_2, h_3 = z_1z_2, g_1 = z_1-1, g_2 = z_2-1$ 在 $\mathbb{C}^2$ 上。取 $\{f_1,...,f_6\} = \{h_1g_1, h_1g_2, h_2g_1, h_2g_2, h_3g_1, h_3g_2\}$ ， $a_1 = ... = a_6 = 1$ 。

零点集： $\cap_{l=1}^6\{f_l = 0\} = \{o, (1,1)\}$ （不是孤立原点）
在 $(1,1)$ 点： $\sup\{c: \log|F| ≤ \phi + O(1)\} = 6 = \sum a_l$
在原点： $\sigma(\log|F|, \phi) > 6$

这表明：

存在赋值 $\nu$ 使得 $\nu(f_l) = a_l$ （由在 $(1,1)$ 的条件）
但 $\sigma(\log|F|, \phi) \neq \sum a_l$ （在原点）
因此推论1.6中"零点集交集为原点"的条件不能去掉

实验结果

主要定理及其推论

定理1.2（全纯函数芽环）

给定 $m+1$ 个全纯函数 $\{f_j\}_{0≤j≤m}$ ， $a_0=0$ 和 $m$ 个正数 $\{a_j\}_{1≤j≤m}$ ：

充要条件：

存在赋值 $\nu$ 使得 $\nu(f_j) = a_j$
⟺ $\sigma(\log|F|, \phi) = \sum_{1≤j≤m} a_j$

其中 $F := \prod f_j$ ， $\phi := \log(\sum |f_j|^{1/a_j})$

进一步结果：若 $o$ 是 $\cap_{1≤j≤m}\{f_j=0\}$ 的孤立点且条件满足，则存在温顺极大权 $\phi_\nu$ 使得 $\nu(f) = \sigma(\log|f|, \phi_\nu)$ 。

推论1.3（孤立零点情况）

若 $\{f_j\}_{1≤j≤n}$ 满足 $\cap_{1≤j≤n}\{f_j=0\} = \{o\}$ ，则对任意正数 $\{a_j\}_{1≤j≤n}$ ，存在赋值 $\nu$ 和温顺权 $\phi_\nu$ 使得：

$\nu(f_j) = a_j$
$\nu(f) = \sigma(\log|f|, \phi_\nu)$ 对所有 $(f,o) \in \mathcal{O}_o$

推论1.5-1.6（多项式环）

对于 $\mathbb{C}[z_1,...,z_n]$ ：

充分条件：若 $\sigma(\log|F|, \phi) = \sum a_j$ ，则存在赋值 $\nu$ 使得 $\nu(f_j) = a_j$

必要条件：若存在赋值 $\nu$ 使得 $\nu(f_j) = a_j$ 且 $\nu(z_l) > 0$ （所有 $l$ ），则 $\sigma(\log|F|, \phi) = \sum a_j$

充要条件：当 $\cap_{1≤j≤m}\{f_j=0\} = \{o\}$ 时，上述条件等价

赋值表示定理

定理1.11（相对型表示）

赋值 $\nu$ 可表示为 $\nu(f) = \sigma(\log|f|, \phi_\nu)$ （其中 $\phi_\nu$ 是温顺极大权）

⟺ $\sup_{(f,o)}(\text{lct}(f)(a_\nu^\bullet) - \nu(f)) < +\infty$

其中 $\text{lct}(f)(a_\nu^\bullet)$ 是对数正则阈值。

意义：给出了可用相对型表示的赋值的完整刻画。

存在 $\phi_0$ 和序列 $\{t_{i,j}\}$ 使得 $I(\phi_0 + t_{1,j}v)_o \subset I(\phi_0 + t_{2,j}u)_o$
对任意 $\phi_0$ 和 $t>0$ ： $I(\phi_0 + tv)_o \subset I(\phi_0 + tu)_o$
对任意拟单项式Zhou权重 $\Phi_{o,\max}$ ： $\sigma(u, \Phi_{o,\max}) ≤ \sigma(v, \Phi_{o,\max})$

创新：将原本对拟单项式赋值的结果推广到拟单项式Zhou赋值。

Tian函数相关结果

定理1.15（赋值性质）

若Tian函数 $T_n(t)$ 在 $t=0$ 处对所有多次调和函数 $\psi$ 可微，定义 $\tilde{\sigma}(\psi,\phi) := T_n'(0)$ ，则：

线性性： $\tilde{\sigma}(c_1\psi_1 + c_2\psi_2, \phi) = c_1\tilde{\sigma}(\psi_1,\phi) + c_2\tilde{\sigma}(\psi_2,\phi)$
热带加法性： $\tilde{\sigma}(\max\{\psi_1,\psi_2\}, \phi) = \min\{\tilde{\sigma}(\psi_1,\phi), \tilde{\sigma}(\psi_2,\phi)\}$
三角不等式： $\tilde{\sigma}(\log|f_1+f_2|, \phi) ≥ \min\{\tilde{\sigma}(\log|f_1|,\phi), \tilde{\sigma}(\log|f_2|,\phi)\}$

结论： $\tilde{\sigma}(\log|\cdot|, \phi)$ 是赋值。

赋值插值的完全解决（在全纯函数芽环上）：
- 给出了充要条件： $\sigma(\log|F|, \phi) = \sum a_j$
- 条件可通过分析工具验证
- 当零点为孤立点时，可构造温顺极大权
多项式环的部分解决：
- 给出了充分条件和必要条件
- 当零点集交集为原点时，条件成为充要的
- 例1.7说明了一般情况下条件可能不同
赋值表示的刻画：
- 定理1.11给出了可表示为相对型的赋值的完整刻画
- 条件涉及对数正则阈值
Zhou赋值的深入理解：
- 建立了与拟单项式赋值的联系
- 证明了Boucksom-Favre-Jonsson结果的推广
- 揭示了与Tian函数的关系

局限性

多项式环的不完全性：
- 对于一般多项式环，只有充分条件和必要条件分离
- 只在零点集交集为原点时有充要条件
- 例1.7显示这个限制是本质的
维数限制：
- 附录A.2中的赋值树方法只适用于二维情况
- 高维情况缺乏类似的完整描述
计算复杂性：
- 相对型 $\sigma(\log|F|, \phi)$ 的计算可能复杂
- 没有给出具体的算法
实解析情况：
- 通过嵌入 $P: \mathcal{C}_{\omega_{o'}} \to \mathcal{O}_o$ 处理
- 可能存在更直接的方法