The existence of valuative interpolation

Basic Information

• Paper ID: 2510.22244
• Title: The existence of valuative interpolation
• Authors: Shijie Bao, Qi'an Guan, Zhitong Mi, Zheng Yuan
• Classification: math.CV (Complex Variables), math.AC (Commutative Algebra), math.AG (Algebraic Geometry)
• Publication Date: October 25, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.22244

Abstract

This paper establishes necessary and sufficient conditions for the existence of valuative interpolation on the rings of germs of holomorphic functions and real analytic functions at the origin in $\mathbb{C}^n$ and $\mathbb{R}^n$, utilizing key tools including Zhou valuations, Tian functions, and relative type convergence results. For polynomial rings with complex and real coefficients, separate necessary and sufficient conditions are established, which become necessary and sufficient conditions when the intersection of the zero sets of the given polynomials is the origin in $\mathbb{C}^n$. Furthermore, necessary and sufficient conditions are obtained for valuations to be representable as relative types with respect to tame maximal weights, demonstrating that the Boucksom-Favre-Jonsson results on quasi-monomial valuations also hold for quasi-monomial Zhou valuations, and establishing relationships between Zhou valuations and differentiability points of Tian functions.

Research Background and Motivation

Core Problem

This paper investigates the valuative interpolation problem: Given a finite collection of holomorphic functions $\{f_j\}_{1≤j≤m}$ and positive real numbers $\{a_j\}_{1≤j≤m}$, can one find a valuation $\nu$ such that $\nu(f_j) = a_j$ for all $j$?

Importance of the Problem

1. Central question in valuation theory: Valuations are fundamental tools for measuring singularities in algebraic geometry and multivariable complex analysis, closely related to classical concepts such as multiplier ideals and Lelong numbers
2. Connecting multiple mathematical branches: This problem bridges:
   • Complex analysis (holomorphic functions, plurisubharmonic functions)
   • Commutative algebra (valuations, ideals)
   • Algebraic geometry (singularity theory)
3. Need for measuring singularities: In singularity theory, valuations are needed to precisely measure the singularity of functions

Limitations of Existing Methods

1. Classical Lelong and Kiselman numbers: While providing important classes of valuations, they are insufficient for solving general interpolation problems
2. Quasi-monomial valuations: The work of Boucksom-Favre-Jonsson established an important framework, but its applicability to interpolation problems is limited
3. Lack of necessary and sufficient conditions: Previously, no general necessary and sufficient conditions for the existence of valuative interpolation were known

Research Motivation

The authors were inspired by the following observations:

• Lelong numbers are defined as $\nu(u,o) := \sup\{c ≥ 0 : u(z) ≤ c\log|z| + O(1)\}$
• The relative type introduced by Rashkovskii generalizes this concept
• Zhou valuations (from the authors' previous work) provide new tools

Core Contributions

1. Establishing necessary and sufficient conditions for valuative interpolation on holomorphic function germs (Theorem 1.2):
   • There exists a valuation $\nu$ such that $\nu(f_j) = a_j$ ⟺ $\sigma(\log|F|, \phi) = \sum a_j$
   • where $F = \prod f_j$, $\phi = \log(\sum |f_j|^{1/a_j})$
2. Generalization to polynomial rings (Corollaries 1.5-1.6):
   • Provides necessary/sufficient conditions on polynomial rings with complex and real coefficients
   • When the intersection of zero sets is the origin, conditions become necessary and sufficient
3. Characterizing valuations representable as relative types (Theorem 1.11):
   • A valuation $\nu$ is representable as a relative type with respect to a tame maximal weight ⟺ $\sup_{(f,o)}(\text{lct}(f)(a_\nu^\bullet) - \nu(f)) < +\infty$
4. Quasi-monomial properties of Zhou valuations (Proposition 1.13, Theorem 1.14):
   • Provides sufficient conditions for Zhou valuations to be quasi-monomial
   • Proves that Boucksom-Favre-Jonsson results hold for quasi-monomial Zhou valuations
5. Relationship between Tian functions and valuations (Theorem 1.15, Proposition 1.16):
   • Establishes connections between differentiability of Tian functions and valuation properties

Methodology Details

Problem Formulation

Valuative interpolation problem: Given:

• The ring $\mathcal{O}_o$ (ring of germs of holomorphic functions at the origin of $\mathbb{C}^n$)
• $m+1$ holomorphic functions $\{f_j\}_{0≤j≤m}$ with $a_0 = 0$
• $m$ positive numbers $\{a_j\}_{1≤j≤m}$

Find: Does there exist a valuation $\nu: \mathcal{O}_o^* \to \mathbb{R}_{≥0}$ satisfying:

1. $\nu(fg) = \nu(f) + \nu(g)$ (multiplicativity)
2. $\nu(f+g) ≥ \min\{\nu(f), \nu(g)\}$ (triangle inequality)
3. $\nu(c) = 0$ (constants map to zero)
4. $\nu(f_j) = a_j$ (interpolation condition)

Core Concepts

1. Relative Type

For plurisubharmonic functions $u$ and $\phi$, the relative type is defined as: $\sigma(u, \phi) := \sup\{c ≥ 0: u ≤ c\phi + O(1) \text{ near } o\}$

This generalizes the concept of Lelong numbers.

2. Zhou Valuations

The Zhou weight $\Phi_{o,\max}$ is a plurisubharmonic function satisfying:

1. $|f_0|^2e^{-2\phi_0}|z|^{2N_0}e^{-2\Phi_{o,\max}}$ is integrable (for sufficiently large $N_0$)
2. $|f_0|^2e^{-2\phi_0}e^{-2\Phi_{o,\max}}$ is not integrable
3. Maximality condition

The Zhou valuation is defined as: $\nu(f, \Phi_{o,\max}) := \sigma(\log|f|, \Phi_{o,\max})$

3. Tian Functions

For plurisubharmonic functions $\phi, \psi$, the Tian function is defined as: $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{ is integrable}\}$

This measures jumping numbers.

Proof Strategy for Main Theorems

Proof of Theorem 1.2 (Necessary and Sufficient Conditions)

Necessity ($(1) \Rightarrow (2)$): If there exists a valuation $\nu$ such that $\nu(f_j) = a_j$, then:

• By Lemma 2.10: $\sigma(\log|F|, \phi) ≤ \nu(F) = \sum \nu(f_j) = \sum a_j$
• By definition of relative type: $\sigma(\log|F|, \phi) ≥ \sum \sigma(\log|f_j|, \phi) ≥ \sum a_j$
• Therefore: $\sigma(\log|F|, \phi) = \sum a_j$

Sufficiency ($(2) \Rightarrow (1)$): Key steps:

1. Construct approximating sequences: Define $\phi_N := \max\{\phi, N\log|z|\}$
2. Utilize Tian functions: Consider $T_n(t) := \sup\{c ≥ 0: |F|^{2t}e^{-2c\phi_N} \text{ is integrable}\}$
3. By tameness (Proposition 2.34): $\lim_{t\to\infty} T_n'(t) = \sigma(\log|F|, \phi_N)$
4. Construct Zhou weights: For each $s$, there exists a Zhou weight $\Phi_{N,s}$ satisfying $\Phi_{N,s} ≥ T_n(s)\phi_N$
5. Convergence: By Proposition 2.34, a subsequence of $\{T_n(s)\nu_{N,s}\}$ converges to a valuation $\nu$
6. Verify interpolation condition: $\nu(f_j) = a_j$

Technical Innovations

1. Relative type as a discriminant criterion:
   • Innovatively transforms the valuative interpolation problem into computation of relative types
   • The condition $\sigma(\log|F|, \phi) = \sum a_j$ can be verified through analytic tools
2. Application of Zhou valuations:
   • Exploits good properties of Zhou valuations (relationship with jumping numbers)
   • Construction of Zhou weights provides concrete valuations
3. Convergence results (Proposition 2.34):
   • Proves convergence of valuation sequences under certain conditions
   • This is the key tool for proving sufficiency
4. Exploitation of tameness conditions:
   • Tame weights satisfy: $c_o^f(\phi) ≤ \sigma(\log|f|, \phi) + C$
   • This ensures good behavior of Tian functions

Experimental Setup

This is a pure theoretical mathematics paper with no experimental setup. All results are obtained through rigorous mathematical proofs.

Example Verification

Example 1.7 (Illustrating necessity of the sufficient condition): Let $h_1 = z_1, h_2 = z_2, h_3 = z_1z_2, g_1 = z_1-1, g_2 = z_2-1$ on $\mathbb{C}^2$. Take $\{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$.

• Zero set: $\cap_{l=1}^6\{f_l = 0\} = \{o, (1,1)\}$ (not an isolated origin)
• At point $(1,1)$: $\sup\{c: \log|F| ≤ \phi + O(1)\} = 6 = \sum a_l$
• At origin: $\sigma(\log|F|, \phi) > 6$

This demonstrates:

1. There exists a valuation $\nu$ such that $\nu(f_l) = a_l$ (by the condition at $(1,1)$)
2. But $\sigma(\log|F|, \phi) \neq \sum a_l$ (at the origin)
3. Therefore, the condition "zero set intersection is the origin" in Corollary 1.6 cannot be removed

Experimental Results

Main Theorems and Corollaries

Theorem 1.2 (Holomorphic Function Germs)

Given $m+1$ holomorphic functions $\{f_j\}_{0≤j≤m}$, $a_0=0$ and $m$ positive numbers $\{a_j\}_{1≤j≤m}$:

Necessary and sufficient condition:

• There exists a valuation $\nu$ such that $\nu(f_j) = a_j$
• ⟺ $\sigma(\log|F|, \phi) = \sum_{1≤j≤m} a_j$

where $F := \prod f_j$, $\phi := \log(\sum |f_j|^{1/a_j})$

Further result: If $o$ is an isolated point of $\cap_{1≤j≤m}\{f_j=0\}$ and the condition holds, then there exists a tame maximal weight $\phi_\nu$ such that $\nu(f) = \sigma(\log|f|, \phi_\nu)$.

Corollary 1.3 (Isolated Zero Point Case)

If $\{f_j\}_{1≤j≤n}$ satisfy $\cap_{1≤j≤n}\{f_j=0\} = \{o\}$, then for any positive numbers $\{a_j\}_{1≤j≤n}$, there exist a valuation $\nu$ and a tame weight $\phi_\nu$ such that:

• $\nu(f_j) = a_j$
• $\nu(f) = \sigma(\log|f|, \phi_\nu)$ for all $(f,o) \in \mathcal{O}_o$

Corollaries 1.5-1.6 (Polynomial Rings)

For $\mathbb{C}[z_1,...,z_n]$:

Sufficient condition: If $\sigma(\log|F|, \phi) = \sum a_j$, then there exists a valuation $\nu$ such that $\nu(f_j) = a_j$

Necessary condition: If there exists a valuation $\nu$ such that $\nu(f_j) = a_j$ and $\nu(z_l) > 0$ (for all $l$), then $\sigma(\log|F|, \phi) = \sum a_j$

Necessary and sufficient condition: When $\cap_{1≤j≤m}\{f_j=0\} = \{o\}$, the above conditions are equivalent

Valuation Representation Theorems

Theorem 1.11 (Relative Type Representation)

A valuation $\nu$ can be represented as $\nu(f) = \sigma(\log|f|, \phi_\nu)$ (where $\phi_\nu$ is a tame maximal weight)

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

where $\text{lct}(f)(a_\nu^\bullet)$ is the log canonical threshold.

Significance: Provides a complete characterization of valuations representable as relative types.

Properties of Zhou Valuations

Proposition 1.13 (Quasi-monomiality)

Let $\phi$ be a plurisubharmonic function with analytic singularities, $c_o^{f_0}(\phi) = 1$. Let $\Phi_{o,\max}$ be the associated Zhou weight with $\Phi_{o,\max} ≥ \phi + O(1)$. Then the corresponding Zhou valuation $\nu$ is a quasi-monomial valuation.

Theorem 1.14 (Generalization of Boucksom-Favre-Jonsson Results)

For plurisubharmonic functions $u, v$, the following are equivalent:

1. There exist $\phi_0$ and sequences $\{t_{i,j}\}$ such that $I(\phi_0 + t_{1,j}v)_o \subset I(\phi_0 + t_{2,j}u)_o$
2. For all $\phi_0$ and $t>0$: $I(\phi_0 + tv)_o \subset I(\phi_0 + tu)_o$
3. For all quasi-monomial Zhou weights $\Phi_{o,\max}$: $\sigma(u, \Phi_{o,\max}) ≤ \sigma(v, \Phi_{o,\max})$

Innovation: Extends results originally for quasi-monomial valuations to quasi-monomial Zhou valuations.

Tian Function Related Results

Theorem 1.15 (Valuation Properties)

If the Tian function $T_n(t)$ is differentiable at $t=0$ for all plurisubharmonic functions $\psi$, and we define $\tilde{\sigma}(\psi,\phi) := T_n'(0)$, then:

1. Linearity: $\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)$
2. Tropical additivity: $\tilde{\sigma}(\max\{\psi_1,\psi_2\}, \phi) = \min\{\tilde{\sigma}(\psi_1,\phi), \tilde{\sigma}(\psi_2,\phi)\}$
3. Triangle inequality: $\tilde{\sigma}(\log|f_1+f_2|, \phi) ≥ \min\{\tilde{\sigma}(\log|f_1|,\phi), \tilde{\sigma}(\log|f_2|,\phi)\}$

Conclusion: $\tilde{\sigma}(\log|\cdot|, \phi)$ is a valuation.

Proposition 1.16 (Zhou Valuation Characterization)

If there exists $N$ such that $|f_0|^2|z|^{2N}e^{-2\phi_0-2\phi}$ is integrable, and $T_n(t; f_0, \phi_0, \phi, \log|g|)$ is differentiable at $t=0$ for all holomorphic functions $g$, then $\nu(g) := T_n'(0)$ is a Zhou valuation.

Related Work

Foundations of Valuation Theory

1. Lelong numbers and Kiselman numbers:
   • Lelong (1957): Introduced Lelong numbers to measure singularities of plurisubharmonic functions
   • Kiselman: Introduced directional Lelong numbers (Kiselman numbers)
   • These are classical tools in valuation theory
2. Quasi-monomial valuations:
   • Boucksom-Favre-Jonsson (2008): Established theory of quasi-monomial valuations
   • Proved every quasi-monomial valuation is representable as a relative type with respect to a tame maximal weight
   • Established connections between Lelong numbers, multiplier ideals, and relative types
3. Relative type theory:
   • Rashkovskii (2006): Introduced the concept of relative type
   • Generalized Lelong numbers to more general settings

Authors' Previous Work

4. Zhou valuations (Bao-Guan-Mi-Yuan, 2025):
   • Introduced Zhou weights and Zhou valuations
   • Proved that relative types with respect to Zhou weights give valuations
   • Used for measuring singularities of plurisubharmonic functions
5. Strong openness property:
   • Guan-Zhou (2015): Proved Demailly's strong openness conjecture
   • This is a key tool in multiple proofs in this paper

Algebraic Geometry Perspective

6. Log canonical thresholds:
   • Jonsson-Mustaţă (2012, 2014): Established connections between valuations and asymptotic invariants
   • Introduced valuation-theoretic methods for log canonical thresholds
7. Valuation tree theory (two-dimensional case):
   • Favre-Jonsson (2004, 2005): Established valuation tree theory
   • Provided complete description in the two-dimensional case

Unique Contributions of This Paper

• First establishment of necessary and sufficient conditions for valuative interpolation: Previously, no general conditions for the interpolation problem were known
• Connecting analytic and algebraic methods: Links relative types (analytic) with valuative interpolation (algebraic)
• New applications of Zhou valuations: Demonstrates effectiveness of Zhou valuations in interpolation problems
• Generalizing existing results: Extends Boucksom-Favre-Jonsson results to Zhou valuations

Conclusions and Discussion

Main Conclusions

1. Complete solution of valuative interpolation (on holomorphic function germs):
   • Provides necessary and sufficient condition: $\sigma(\log|F|, \phi) = \sum a_j$
   • Condition can be verified through analytic tools
   • When zeros are isolated points, tame maximal weights can be constructed
2. Partial solution for polynomial rings:
   • Provides sufficient and necessary conditions
   • When zero set intersection is the origin, conditions become necessary and sufficient
   • Example 1.7 shows conditions may differ in general cases
3. Characterization of valuation representation:
   • Theorem 1.11 provides complete characterization of valuations representable as relative types
   • Condition involves log canonical thresholds
4. Deeper understanding of Zhou valuations:
   • Establishes connections with quasi-monomial valuations
   • Proves generalization of Boucksom-Favre-Jonsson results
   • Reveals relationships with Tian functions

Limitations

1. Incompleteness for polynomial rings:
   • For general polynomial rings, only sufficient and necessary conditions are separated
   • Necessary and sufficient conditions only when zero set intersection is the origin
   • Example 1.7 shows this restriction is essential
2. Dimensional restrictions:
   • Valuation tree methods in Appendix A.2 only apply to two-dimensional case
   • Lack of similar complete description in higher dimensions
3. Computational complexity:
   • Computation of relative type $\sigma(\log|F|, \phi)$ may be complex
   • No algorithms provided
4. Real analytic case:
   • Handled through embedding $P: \mathcal{C}_{\omega_{o'}} \to \mathcal{O}_o$
   • More direct methods may exist

Future Directions

Research directions suggested by the paper:

1. Algorithmic implementation:
   • Develop effective algorithms for computing relative types
   • Verify interpolation conditions in specific cases
2. Higher-dimensional generalizations:
   • Seek valuation tree analogues in higher dimensions
   • Develop more systematic higher-dimensional theory
3. Generalizations to other rings:
   • Consider more general rings (e.g., formal power series rings)
   • Study positive characteristic cases
4. Applications:
   • Applications in singularity theory
   • Applications in birational geometry
5. Further study of Zhou valuations:
   • Completely characterize which Zhou valuations are quasi-monomial
   • Study other properties of Zhou valuations

In-Depth Evaluation

Strengths

1. Significant Theoretical Contributions

• Solves important problem: First provides necessary and sufficient conditions for valuative interpolation
• Unified framework: Unifies multiple concepts (Zhou valuations, Tian functions, relative types)
• Generalizes classical results: Extends Boucksom-Favre-Jonsson results to new settings

2. Strong Technical Innovation

• Relative type discriminant criterion: Transforms abstract valuation existence into computable analytic conditions
• Convergence theory (Propositions 2.34, 2.36): Establishes convergence theory for valuation and relative type sequences
• Clever use of tameness: Skillfully exploits properties of tame weights to simplify proofs

3. Rigorous and Complete Proofs

• All main results have detailed proofs
• Technical lemmas (e.g., Lemmas 2.10-2.13) support main theorems
• Counterexample (Example 1.7) demonstrates necessity of conditions

4. Clear Structure

• Introduction clearly states main results
• Preliminaries systematically introduce background
• Main proofs organized by sections with clear logic

5. Interdisciplinary Connections

• Complex analysis (plurisubharmonic functions, Lelong numbers)
• Commutative algebra (valuations, ideals)
• Algebraic geometry (log canonical thresholds, singularity theory)

Weaknesses

1. Readability Challenges

• High technical density: Requires deep background in multiple fields
• Complex notation: Extensive specialized symbols and concepts
• Lack of intuitive explanations: Some key constructions lack geometric or algebraic intuition

2. Computational Feasibility

• Relative type computation: No effective computational methods for $\sigma(\log|F|, \phi)$ provided
• Practical application: Difficult to verify conditions in concrete examples
• Missing algorithms: No algorithms provided for determining solvability of interpolation

3. Result Limitations

• Polynomial ring incompleteness: Only necessary and sufficient conditions in special cases
• Dimensional restrictions: Valuation tree methods only for two dimensions
• Real number case: Handled through complexification; more direct methods may exist

4. Insufficient Examples

• Few concrete calculations: Only one counterexample (Example 1.7)
• Lack of positive examples: No demonstration of applying theorems in concrete cases
• Missing geometric intuition: Lack of geometric images to aid understanding

5. Comparison with Existing Work

• Unclear advantages: Advantages over quasi-monomial valuation methods not sufficiently clear
• Necessity of Zhou valuations: Why Zhou valuations are needed rather than other valuations not well justified

Impact

Contribution to the Field

1. Theory refinement: Fills important gap in valuation theory
2. New tools: Zhou valuations and Tian functions provide new research tools
3. Bridge role: Connects different approaches in analytic and algebraic geometry

Practical Value

1. Singularity analysis: Provides new methods for measuring and analyzing singularities
2. Theoretical foundation: Establishes foundation for further applied research
3. Methodology: Relative type methods may apply to other problems

Reproducibility

• Pure theoretical results: All results are theorems, no experiments involved
• Complete proofs: Proofs are detailed and verifiable
• Clear dependencies: Clearly cites required background results

Applicable Scenarios

Theoretical Research

1. Singularity theory: Analyze singularities in complex geometry
2. Birational geometry: Study birational properties of algebraic varieties
3. Multiplier ideal theory: Deepen understanding of multiplier ideal structures

Potential Applications

1. Minimal model program: Possible applications to minimal model theory
2. Kähler-Einstein metrics: Related to Tian's work
3. Computational algebraic geometry: Provides theoretical foundation for symbolic computation

Limited Scenarios

• Complex high-dimensional cases: Theory may be difficult to apply in high dimensions
• Non-isolated singularities: Some results require isolated singularities
• Computationally intensive problems: Actual computation may be very difficult

Overall Assessment

This is a high-quality pure mathematics theoretical paper achieving important progress in the classical field of valuation theory:

Core achievement: First establishes necessary and sufficient conditions for the valuative interpolation problem and develops a systematic theoretical framework.

Technical level: Rigorous proofs, deep techniques, comprehensively employing multiple tools from complex analysis, commutative algebra, and algebraic geometry.

Innovation: Application of Zhou valuations, relative type discriminant criteria, and convergence theory all demonstrate methodological innovation.

Shortcomings: Readability could be improved, computational methods are lacking, applicability of some results is limited.

Impact potential: Important for advancing valuation theory and singularity theory, establishing solid foundation for subsequent research.

This paper is suitable for researchers in valuation theory, complex geometry, and algebraic geometry to study in depth, and has important reference value for understanding the development of modern valuation theory.