On the $p$-Bergman kernel with respect to a functional $\xi$

Basic Information

• Paper ID: 2510.13144
• Title: On the $p$-Bergman kernel with respect to a functional $\xi$
• Authors: Shijie Bao, Qi'an Guan, Xun Sun
• Classification: math.CV (Complex Analysis)
• Publication Date: October 16, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2510.13144

Abstract

This paper generalizes the concepts of $p$-Bergman kernel and $\xi$-Bergman kernel to the $p$-Bergman kernel with respect to a functional $\xi$, and establishes several properties of this new kernel. The authors investigate the relationship between the $L^p$ version of higher-order Bergman kernels and the $\xi$-Bergman kernel. As applications, they provide new proofs and generalizations of previous results by Błocki and Zwonek concerning higher-order Bergman kernels.

Research Background and Motivation

Problem Background

1. Need for generalizations of classical Bergman kernels: Classical Bergman kernels have important applications in complex analysis, but their generalizations primarily follow two directions: $p$-Bergman kernels (modifying the integration exponent) and $\xi$-Bergman kernels (introducing functionals)
2. Absence of a unified framework: Current research lacks a theoretical framework that unifies these two types of generalizations
3. $L^p$ theory of higher-order Bergman kernels: There is a need to establish connections between higher-order Bergman kernels and $\xi$-Bergman kernels

Research Motivation

• Establish a more general Bergman kernel theory that unifies existing generalizations
• Explore properties of $p$-Bergman theory in the functional setting
• Provide new tools for optimal $L^p$ extension problems in complex analysis

Core Contributions

1. Introduction of new concepts: First defines the $p$-Bergman kernel $K_{\xi,p}(z)$ with respect to a functional $\xi$, unifying $p$-Bergman kernels and $\xi$-Bergman kernels
2. Establishment of complete theory: Proves fundamental properties of the $p$-Bergman kernel with respect to $\xi$, including reproducing formulas, regularity, and plurisubharmonicity
3. Revelation of deep connections: Establishes the precise relationship between higher-order Bergman kernels and $\xi$-Bergman kernels: $K^{H,p}_\Omega(z) = \inf_{\xi \in S_H} K_{\xi,\Omega,p}(z)$
4. Generalization of classical results: Extends Błocki-Zwonek results from $p=2$ to $p \in (0,2]$, including monotonicity, convexity, and boundary behavior

Detailed Methodology

Core Definitions

For $\xi \in \ell_1^{(n)}$ (sequence spaces satisfying certain convergence conditions) and $p > 0$, define:

Minimization problem: $m_{\xi,p}(z) := \inf\{\|f\|_p : f \in A^p(\Omega), (\xi \cdot f)(z) = 1\}$

$p$-Bergman kernel: $K_{\xi,p}(z) := m_{\xi,p}(z)^{-p}$

Off-diagonal $p$-Bergman kernel ($p \geq 1$): $K_{\xi,p}(\cdot, z) := m_{\xi,p}(\cdot, z) \cdot m_{\xi,p}(z)^{-p}$

Key Technical Tools

1. Functional action: For $\xi = (\xi_\alpha)_{\alpha \in \mathbb{N}^n}$ and holomorphic function $f$: $(\xi \cdot f)(z) := \sum_{\alpha \in \mathbb{N}^n} \xi_\alpha \frac{f^{(\alpha)}(z)}{\alpha!}$
2. Variational methods: Employs nonlinear analysis techniques of the $p$-Laplacian operator to establish regularity
3. Optimal $L^p$ extension theorem: For $p \in (0,2]$, utilizes the Guan-Zhou method to prove fiberwise plurisubharmonicity

Main Theoretical Results

Fundamental Properties Theorems

Theorem 1.1 (Control estimates): For compact set $K \subset \Omega$ and $p \in (0,+\infty)$, there exists a constant $C_{K,p}$ such that: $\sup_{z \in K} |(\xi \cdot f)(z)| \leq C_{K,p} \|f\|_p$

Theorem 1.2 (Reproducing formula): For $z_0 \in \Omega$ and $f \in A^p(\Omega)$: $(\xi \cdot f)(z_0) = m_{\xi,p}(z_0)^{-p} \int_\Omega |m_{\xi,p}(\cdot, z_0)|^{p-2} m_{\xi,p}(\cdot, z_0) f$

Regularity Results

Theorem 1.3 (Lipschitz continuity): For $p > 1$ and compact set $K \subset \Omega$, there exists a constant $C$ such that: $|m_{\xi,p}(z, w_1) - m_{\xi,p}(z, w_2)| \leq C|w_1 - w_2|$$|\xi \cdot m_{\xi,p}(z, w_1) - \xi \cdot m_{\xi,p}(z, w_2)| \leq C|w_1 - w_2|$

Theorem 1.5 ($C^{1,1}$ regularity): For $p > 1$, $K_{\xi,p} \in C^{1,1}_{loc}(\Omega)$ and: $\frac{\partial K_{\xi,p}}{\partial x_j}(z) = p \text{Re} \frac{\partial(\xi \cdot K_{\xi,p}(\cdot, z))}{\partial x_j}\bigg|_z$

Higher-Order Kernel Relationship Theorem

Theorem 1.7 (Precise relationship): For homogeneous polynomial $H$ and $p \in [1,+\infty)$: $K^{H,p}_\Omega(z) = \inf_{\xi \in S_H} K_{\xi,\Omega,p}(z) = \min_{\xi \in S_H} K_{\xi,\Omega,p}(z)$

where $S_H$ is the collection of functionals associated with $H$.

Boundary Behavior

Theorem 1.6 (Boundary estimates): For bounded quasi-convex domain $\Omega$, $0 < p < 2$, there exists a constant $c$ such that: $K_{\xi,p}(z) \geq \frac{c}{\delta(z)^p}$ where $\delta(z) = \text{dist}(z, \partial\Omega)$.

Applications and Generalizations

Generalization of Błocki-Zwonek Results

Theorem 1.8: For $p \in (0,2]$ and homogeneous polynomial $H$:

1. The function $a \mapsto \log K_{\xi,\{G_\Omega(\cdot,o) < a\},p}(o)$ is convex
2. The function $a \mapsto e^{(2n+pk)a} K_{\xi,\{G_\Omega(\cdot,o) < a\},p}(o)$ is monotonically increasing
3. $K_{\xi,\Omega,p}(o) \geq K^{H,p}_{I_\Omega(o)}(o)$

Corollaries:

• If $A^p(I_\Omega(o))$ is non-trivial, then $A^p(\Omega)$ is also non-trivial
• For $p \in [1,2]$, $K^{H,p}_{\Omega_a}(o)$ is monotonically increasing with respect to $a$

Technical Innovations

Methodological Innovations

1. Unified framework: First unifies $p$-Bergman theory with $\xi$-Bergman theory
2. Variational techniques: Skillfully applies nonlinear inequalities of the $p$-Laplacian operator
3. Complex analysis tools: Combines optimal $L^p$ extension theorems with the Guan-Zhou method

Proof Techniques

1. Normal families method: Utilizes sub-mean value properties to establish normal families and handle convergence issues
2. Hahn-Banach theorem: Cleverly applies functional analysis tools in proving higher-order kernel relationships
3. Plurisubharmonicity: Establishes logarithmic plurisubharmonicity through fiberwise techniques

Related Work

Historical Development

1. Classical Bergman kernels: Introduced by Bergman in the 1930s
2. $p$-Bergman kernels: Chen-Zhang (2022) established systematic theory
3. $\xi$-Bergman kernels: Bao-Guan (2022) introduced them for studying strong openness properties

Contributions of This Paper

• First unifies two important generalization directions
• Establishes precise connections with higher-order Bergman kernels
• Generalizes important geometric analysis results

Conclusions and Discussion

Main Achievements

1. Establishes complete theory of $p$-Bergman kernels with respect to functional $\xi$
2. Proves deep connections with higher-order Bergman kernels
3. Generalizes multiple important geometric analysis results

Theoretical Significance

• Provides new research tools for complex analysis
• Deepens understanding of geometric properties of Bergman kernels
• Offers new perspectives for optimal extension problems

Application Prospects

• Applicable to research on Kähler-Einstein metrics
• Potential applications in effectiveness problems in algebraic geometry
• Provides new techniques for several complex variables function theory

In-Depth Evaluation

Strengths

1. Theoretical completeness: Establishes a systematic and complete theoretical framework
2. Technical depth: Employs profound techniques from complex analysis and functional analysis
3. Application value: Generalizes multiple important results with broad application prospects
4. Clear exposition: The paper has clear structure and detailed proofs

Technical Highlights

• Skillful variational methods for handling nonlinear minimization problems
• Innovative application of Hahn-Banach theorem to establish precise relationships
• Deep geometric insights revealing connections between different kernels

Potential Impact

• Opens new research directions in complex geometric analysis
• May inspire further research on generalized Bergman kernels
• Potential applications in Kähler geometry and algebraic geometry

Applicable Scenarios

• Extension problems in complex analysis
• Research in several complex variables function theory
• Metric problems in Kähler geometry
• Effectiveness problems in algebraic geometry

References

The paper cites 32 important references covering core works in Bergman kernel theory, optimal extension theorems, plurisubharmonic functions, and related fields, demonstrating the authors' deep understanding and solid foundation in this area.