Remarks on the dimension of the $p$-Bergman spaces

Basic Information

• Paper ID: 2510.10098
• Title: Remarks on the dimension of the $p$-Bergman spaces
• Authors: Shreedhar Bhat, Achinta Kumar Nandi
• Classification: math.CV (Complex Variables)
• Publication Date: October 11, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10098

Abstract

This paper investigates the dimension problem of $p$-Bergman spaces associated with pseudoconvex domains in $\mathbb{C}^n$. Since the pioneering work of Carleson and Wiegerinck in the 1960s, the study of Bergman space dimensions has been a central topic in several complex variables theory, revealing profound connections with potential theory and function theory. By constructing $L^p$ versions of the Ohsawa and Ohsawa-Takegoshi extension theorems, the authors establish geometric and potential-theoretic criteria ensuring these spaces are infinite-dimensional. Applying these $L^p$ analogues and generalizing Jucha's sufficient conditions, they obtain sufficient conditions for the infinite-dimensionality of $p$-Bergman spaces on complete $N$-circular Hartogs domains, balanced domains, and weighted $p$-Fock spaces.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is the $p$-version of the Wiegerinck problem: For $p \neq 2$, do $p$-Bergman spaces still exhibit the dichotomy property of being "either trivial or infinite-dimensional"?

Research Significance

1. Theoretical Importance: Bergman space theory is fundamental to several complex variables, and its dimension properties reflect the geometric structure of domains
2. Historical Context: Classical Bergman spaces ($p=2$) possess Hilbert structure and reproducing kernels, but when $p \neq 2$, these structures are absent, making dimension research more complex
3. Applied Value: Closely related to zero-mode problems in quantum mechanics and potential theory

Limitations of Existing Methods

1. Existing research primarily focuses on the case $p=2$
2. For $p \neq 2$, there is a lack of systematic extension theorems and dimension criteria
3. The dichotomy property in higher dimensions remains incompletely understood

Research Motivation

To systematically study the dimension properties of $p$-Bergman spaces by developing $L^p$ versions of classical extension theorems, particularly their behavior on pseudoconvex domains, Hartogs domains, and balanced domains.

Core Contributions

1. Construction of $L^p$ versions of key extension theorems:
   • $L^p$ analogue of the Hörmander-Bombieri-Skoda theorem
   • $L^p$ version of the Ohsawa-Takegoshi extension theorem
   • $L^p$ analogue of the Ohsawa extension theorem
2. Establishment of geometric criteria for infinite-dimensionality of $p$-Bergman spaces:
   • For pseudoconvex domains with specific plurisubharmonic weights
   • Conditions based on Lelong numbers
3. Proof of complete dichotomy for planar domains:
   • For $p \geq 2$: non-trivial implies infinite-dimensional
   • For $1 \leq p < 2$: construction of examples with arbitrary finite dimension
4. Generalization of Jucha's condition:
   • Sufficient conditions for infinite-dimensionality on Hartogs domains
   • Extension to weighted $p$-Fock spaces

Methodology Details

Problem Definition

For a domain $\Omega \subset \mathbb{C}^n$ and $p \in [1,\infty)$, the $p$-Bergman space is defined as: $A^p(\Omega) = \left\{f: \Omega \to \mathbb{C} \mid f \text{ is holomorphic in } \Omega \text{ and } \int_\Omega |f|^p d\lambda_{2n} < \infty\right\}$

The weighted version is: $A^p(\Omega, \varphi) = \left\{f: \Omega \to \mathbb{C} \mid f \text{ is holomorphic in } \Omega \text{ and } \int_\Omega |f|^p e^{-\varphi} d\lambda_{2n} < \infty\right\}$

Core Technical Framework

1. Construction of $L^p$ Extension Theorems

Theorem 3.5 ($L^p$ version of Ohsawa-Takegoshi): Let $1 \leq p \leq 2$, $D \subset \Omega \times \mathbb{C}^{n-1}$ be a pseudoconvex domain, $H = \{z_1 = 0\}$, and $f$ be a holomorphic function on $D \cap H$ satisfying $\int_{D \cap H} |f(z)|^p e^{-\varphi(z)} d\lambda_{2n-2} < \infty$

Then there exists a holomorphic extension $F$ such that $F|_{D \cap H} \equiv f$ and $\int_D |F(z)|^p e^{-\varphi(z)} d\lambda_{2n} \leq \frac{4\pi}{(c(\Omega,0))^2} \int_{D \cap H} |f(z')|^p e^{-\varphi(z)} d\lambda_{2n-2}$

2. Establishment of Dimension Criteria

Theorem 3.3: Let $1 \leq p < 2$, $G \subset \mathbb{C}^M$ be a pseudoconvex domain, and $\varphi \in PSH(G)$ satisfy:

• $\varphi(G) \subset [-\infty, 0)$
• $\varphi - c\|\cdot\|^2 \in PSH(G)$ for some $c > 0$
• There exists an open set $U \subset G$ where the Lelong number $\nu(\varphi, \cdot) = 0$

Then $A^p(G)$ is infinite-dimensional.

3. Conditions (10) and (16)

For more general cases, generalizations of Jucha's condition are introduced:

Condition (10): For each $J \in \mathbb{N}$, there exist a compact set $K_J \subset G$, $u_J \in PSH(G)$, constants $M'_J$, and a function $v_J$ such that: $u_J(z) + M'_J \log^+ \|z\| \leq J\varphi(z), \quad z \in G \setminus K_J$$u_J(z) \leq J\varphi(z) + v_J(z), \quad z \in K_J$

Technical Innovations

1. Minimal Extension Method: Inspired by work of Chen and Xiong, using minimal extension techniques to construct $L^p$ estimates
2. Application of Reverse Hölder Inequalities: Cleverly converting $L^2$ results to $L^p$ results
3. Diagonal Sequence Arguments: Systematically handling extension problems on unbounded domains

Experimental Setup

Theoretical Verification Framework

Since this is a pure mathematics theory paper, "experiments" are primarily theoretical constructions and proof verification:

1. Construction of Planar Domains: Construction of planar domains $\Omega_k$ with $k$-dimensional $p$-Bergman spaces
2. Analysis of Hartogs Domains: Verification of dimension properties on various Hartogs domains
3. Classification of Balanced Domains: Completion of dichotomy proof for balanced domains in $\mathbb{C}^2$

Scope of Application of Main Theorems

• Restrictive Conditions: Main results are restricted to $1 \leq p \leq 2$
• Domain Types: Pseudoconvex domains, Hartogs domains, balanced domains, Reinhardt domains
• Weight Functions: Plurisubharmonic functions

Main Results

1. Complete Characterization of Planar Domains

Theorems 2.1 and 2.2:

• For $p \geq 2$: $A^p(\Omega)$ is either trivial or infinite-dimensional
• For $1 \leq p < 2$: For each $k \in \mathbb{N}$, there exists a domain $\Omega_k$ such that $\dim A^p(\Omega_k) = k$

2. Dimension Properties of Hartogs Domains

Theorem 3.19: Let $G \subset \mathbb{C}^M$ be a pseudoconvex domain and $\varphi$ satisfy condition (10). Then $A^p(D_\varphi(G))$ is infinite-dimensional.

Corollary 3.20: If $G$ is an unbounded pseudoconvex domain and $\varphi - c\|\cdot\|^2 \in PSH(G)$, then $A^p(D_\varphi(G))$ is infinite-dimensional.

3. Dichotomy for Balanced Domains

Theorem 3.26: For $1 \leq p < 2$ and $D_h \subset \mathbb{C}^2$ a balanced pseudoconvex domain, $A^p(D_h)$ is either trivial or infinite-dimensional.

4. Weighted Fock Spaces

Theorem 4.1: If $\varphi$ satisfies condition (16), then $\dim F^p_\varphi = \infty$ for all $1 \leq p \leq 2$.

Related Work

Historical Development

1. Carleson (1967): Characterized non-triviality of Bergman spaces on planar domains using logarithmic capacity
2. Wiegerinck (1984): Proposed the dimension dichotomy conjecture
3. Jucha (2012): Provided necessary and sufficient conditions for Bergman spaces on Hartogs domains
4. Pflug-Zwonek (2017): Studied the case of balanced domains

Position of This Work

This paper systematically generalizes these classical results to $p$-Bergman spaces, particularly:

• First systematic theory for the case $p \neq 2$
• Construction of $L^p$ versions of key extension theorems
• Complete dimension analysis for several important domain classes

Conclusions and Discussion

Main Conclusions

1. Preservation of Dichotomy: In many cases, $p$-Bergman spaces still maintain the property of being "either trivial or infinite-dimensional"
2. Effect of $p$: Different behavior patterns emerge for $p \geq 2$ and $1 \leq p < 2$
3. Importance of Geometric Conditions: Lelong numbers, plurisubharmonicity, and other geometric conditions play crucial roles

Limitations

1. Case $p > 2$: Due to technical constraints, main results are restricted to $p \leq 2$
2. High-Dimensional Balanced Domains: Results are incomplete for balanced domains in $\mathbb{C}^n$ ($n > 2$)
3. Necessary Conditions: In some cases, only sufficient conditions are provided

Future Directions

1. Extension to the case $p > 2$
2. Study of more general weighted cases
3. Exploration of connections with other function spaces
4. Development of effective algorithms for computing dimensions

In-Depth Evaluation

Strengths

1. Theoretical Depth: Systematically develops $p$-Bergman space theory, filling important gaps
2. Technical Innovation: Construction of $L^p$ extension theorems is original
3. Completeness of Results: Provides complete analysis for several important domain classes
4. Proof Techniques: Minimal extension and diagonal sequence methods are well-executed

Weaknesses

1. Technical Limitations: The absence of results for $p > 2$ is a notable deficiency
2. Applied Value: As pure theoretical research, direct applications are limited
3. Computational Complexity: No practical methods for computing dimensions are provided

Impact

1. Theoretical Contribution: Establishes foundations for $p$-Bergman space theory
2. Method Value: $L^p$ extension techniques may have broader applications
3. Follow-up Research: Provides tools and insights for related problems

Applicable Scenarios

1. Research in several complex variables theory
2. Operator theory and function space theory
3. Potential theory and harmonic analysis
4. Zero-mode problems in quantum mechanics

References

The paper cites important literature in the field, including:

• Classical work of Carleson
• Pioneering papers of Wiegerinck
• Important results of Jucha on Hartogs domains
• Research of Pflug-Zwonek on balanced domains
• Development of modern extension theorems

Overall Assessment: This is a high-quality pure mathematics theory paper that systematically develops dimension theory for $p$-Bergman spaces. While there are limitations regarding the case $p > 2$ and practical applications, its theoretical contributions are substantial and establish important foundations for further development in this field.