2025-11-22T05:37:23.391383

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

Bhat, Nandi

The investigation of the dimension of Bergman spaces has long been a central topic in several complex variables, uncovering profound connections with potential theory and function theory since the pioneering work of Carleson, Weigerinck, and others in the 1960s. We investigate the dimension of $p$-Bergman spaces associated with pseudoconvex domains in $\mathbb{C}^n$. By constructing $L^p$-versions of the extension theorems of Ohsawa and Ohsawa-Takegoshi, we establish several geometric and potential-theoretic criteria that ensure the spaces are infinite-dimensional. Sufficient conditions for the infinite dimensionality of $p$-Bergman spaces of complete N-circle fibered Hartogs domains, balanced domains, and weighted $p$-Fock spaces are obtained by applying the mentioned $L^p$-analogs of extension theorems and generalizing a sufficient condition of Jucha.

academic

$p$ -Bergman空間の次元に関する注記

基本情報

論文ID: 2510.10098
タイトル: Remarks on the dimension of the $p$ -Bergman spaces
著者: Shreedhar Bhat, Achinta Kumar Nandi
分類: math.CV（複素解析）
発表日: 2025年10月11日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.10098

要旨

本論文は、 $\mathbb{C}^n$ の擬凸領域に関連する $p$ -Bergman空間の次元問題を研究している。1960年代のCarlesonやWiegerinckらの先駆的研究以来、Bergman空間の次元研究は多変数複素解析理論の中心的課題であり、ポテンシャル理論と関数理論との深い関連性を明らかにしてきた。OhsawaおよびOhsawa-Takegoshi拡張定理の $L^p$ 版を構築することにより、著者らはこれらの空間が無限次元であることを保証する幾何学的およびポテンシャル理論的判定法を確立した。これらの $L^p$ 類似拡張定理を応用し、Juchaの十分条件を一般化することにより、完全N-円形Hartogs領域、平衡領域および加重 $p$ -Fock空間の $p$ -Bergman空間が無限次元であるための十分条件を得た。

研究背景と動機

問題の核心

本論文が解決しようとする核心的問題は、Wiegerinck問題の $p$ -版である： $p \neq 2$ の $p$ -Bergman空間に対して、「自明であるか無限次元であるか」という二分性質が依然として成立するか？

研究の重要性

理論的意義：Bergman空間理論は多変数複素解析の基礎であり、その次元性質は領域の幾何構造を反映している
歴史的背景：古典的Bergman空間（ $p=2$ ）はHilbert構造と再生核を持つが、 $p \neq 2$ の場合はこれらの構造が欠けており、次元研究がより複雑になる
応用価値：量子力学のゼロモード問題、ポテンシャル理論などと密接な関連がある

既存方法の限界

既存研究は主に $p=2$ の場合に集中している
$p \neq 2$ の場合、系統的な拡張定理と次元判定法が不足している
高次元における二分性質はまだ完全には理解されていない

研究動機

$L^p$ 版の古典的拡張定理を発展させることにより、 $p$ -Bergman空間の次元性質を系統的に研究し、特に擬凸領域、Hartogs領域および平衡領域上での振る舞いを明らかにすること。

核心的貢献

主要拡張定理の $L^p$ 版の構築：
- Hörmander-Bombieri-Skoda定理の $L^p$ 類似
- Ohsawa-Takegoshi拡張定理の $L^p$ 版
- Ohsawa拡張定理の $L^p$ 類似
$p$ -Bergman空間が無限次元であるための幾何学的判定法の確立：
- 特定の多重劣調和重みを持つ擬凸領域に対して
- Lelong数に基づく条件
平面領域の完全な二分性の証明：
- $p \geq 2$ の場合：非自明ならば必ず無限次元
- $1 \leq p < 2$ の場合：任意の有限次元を持つ例を構築可能
Jucha条件の一般化：
- Hartogs領域に対する無限次元性の十分条件
- 加重 $p$ -Fock空間への拡張

方法の詳細

定義

領域 $\Omega \subset \mathbb{C}^n$ と $p \in [1,\infty)$ に対して、 $p$ -Bergman空間は以下のように定義される： $A^p(\Omega) = \left\{f: \Omega \to \mathbb{C} \mid f\text{は}\Omega\text{で正則かつ}\int_\Omega |f|^p d\lambda_{2n} < \infty\right\}$

加重版は以下の通り： $A^p(\Omega, \varphi) = \left\{f: \Omega \to \mathbb{C} \mid f\text{は}\Omega\text{で正則かつ}\int_\Omega |f|^p e^{-\varphi} d\lambda_{2n} < \infty\right\}$

核心的技術フレームワーク

1. $L^p$ 拡張定理の構築

定理3.5（Ohsawa-Takegoshi の $L^p$ 版）： $1 \leq p \leq 2$ とし、 $D \subset \Omega \times \mathbb{C}^{n-1}$ を擬凸領域、 $H = \{z_1 = 0\}$ とする。 $f$ を $D \cap H$ 上の正則関数で $\int_{D \cap H} |f(z)|^p e^{-\varphi(z)} d\lambda_{2n-2} < \infty$ を満たすものとする。このとき、 $F|_{D \cap H} \equiv f$ を満たす正則拡張 $F$ が存在して $\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. 次元判定法の確立

定理3.3： $1 \leq p < 2$ とし、 $G \subset \mathbb{C}^M$ を擬凸領域、 $\varphi \in PSH(G)$ が以下を満たすとする：

$\varphi(G) \subset [-\infty, 0)$
$\varphi - c\|\cdot\|^2 \in PSH(G)$ （ある $c > 0$ に対して）
開集合 $U \subset G$ が存在して、Lelong数 $\nu(\varphi, \cdot) = 0$ が $U$ 上で成立

このとき、 $A^p(G)$ は無限次元である。

3. 条件(10)と条件(16)

より一般的な場合に対して、Jucha条件の一般化が導入される：

条件(10)：各 $J \in \mathbb{N}$ に対して、コンパクト集合 $K_J \subset G$ 、 $u_J \in PSH(G)$ 、定数 $M'_J$ および関数 $v_J$ が存在して： $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$