[論文レビュー] Some estimates of the Bergman kernel of minimal bounded homogeneous domains

Hideyuki Ishi, Satoshi Yamaji|arXiv (Cornell University)|Oct 21, 2010

Holomorphic and Operator Theory参考文献 11被引用数 12

ひとこと要約

本稿では、同相的正則写像を介して、最小有界同次領域のベルグマン核をシーゲル円板のベルグマン核で表現することにより、そのベルグマン核に対する鋭い推定を確立する。主な結果は、ベルグマン距離 $\rho$ 内で $|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ の比が一様に有界であることを示し、任意の $\rho > 0$ に対して上界と下界が一様に保たれることを証明する。これは、これらの領域上でのトーピツ作用素の特徴付けに不可欠である。

ABSTRACT

We describe the Bergman kernel of any bounded homogeneous domain in a minimal realization relating to the Bergman kernels of the Siegel disks. Taking advantage of this expression, we obtain substantial estimates of the Bergman kernel of the homogeneous domain.

研究の動機と目的

• 最小有界同次領域のベルグマン核に対する鋭い推定を導出すること。これは、これらの領域上での作用素論に不可欠である。
• 対称領域（例：ハリシュ・チャンドラ実現）における既知の推定を、対称性を欠く一般の有界同次領域へ拡張すること。
• すべての $z,a$ が固定されたベルグマン距離 $\rho$ 内にある場合に、$|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ の比に対する一様有界性を確立すること。
• 一般領域のベルグマン核を、これらの対称的モデル（シーゲル円板）上の核の積として表現することにより、問題を既知の対称領域の推定に還元すること。

提案手法

• 石井が導入した同次シーゲル領域の行列的実現を用いて、最小有界同次領域 $\tilde{U}$ からランク $n_j$ のシーゲル円板 $\mathcal{U}_{n_j}$ への等変正則写像 $\theta_{n_j}: \tilde{U} \to \mathcal{U}_{n_j}$ を定義する。
• 定理Bにより、ベルグマン核 $K_{\tilde{U}}(z,w)$ が $\theta_{n_j}(z)$ と $\theta_{n_j}(w)$ を含む行列式の積として表される因数分解公式を確立し、各項に指数 $s_j/(n_j+1)$ を適用する。
• シーゲル円板上でのベルグマン核の既知の明示的形を活用する：$K_{\mathcal{U}_{n_j}}(Z,W) = \mathrm{Vol}(\mathcal{U}_{n_j})^{-1} \det(I - Z\overline{W})^{-(n_j+1)}$。
• 最小領域 $\tilde{U}$ とシーゲル円板 $\mathcal{U}_{n_j}$ 間のベルグマン距離の比較を実施し、命題3.2を用いて $\beta_{\tilde{U}}(z,a) \leq \rho$ を $\beta_{\mathcal{U}_{n_j}}(\theta_{n_j}(z),\theta_{n_j}(a)) \leq M_{n_j}\rho$ に関連付ける。
• 対称領域（例えばシーゲル円板）では、固定されたベルグマン距離内でのベルグマン核比が一様に有界であることが知られており、この性質を積構造を通じて一般領域へと持ち上げる。
• ベルグマン核とベルグマン距離の自己同型不変性を用い、点 $a$ を固定点 $t$ に正規化する変換 $\varphi_a(z)$ を導入することで、問題を固定中心 $t$ に還元する。

実験結果

リサーチクエスチョン

• RQ1 一般の有界同次領域 $\tilde{U}$ において、固定されたベルグマン距離 $\rho$ 内にあるすべての $z,a$ に対して、ベルグマン核比 $|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ の一様有界性を確立できるか。
• RQ2 最小有界同次領域のベルグマン核は、正則写像を介して、どのようにシーゲル円板のベルグマン核で表現できるか。
• RQ3 対称領域上でのベルグマン核比の一様有界性が、等変写像による還元を通じて、非対称な有界同次領域に対しても同様の性質を保証するか。
• RQ4 写像 $\theta_{n_j}$ の下で、最小有界同次領域上のベルグマン距離と関連するシーゲル円板上のベルグマン距離との正確な関係は何か。

主な発見

• 任意の最小有界同次領域 $\tilde{U}$ のベルグマン核は、シーゲル円板のベルグマン核の累乗の積として表される：$K_{\tilde{U}}(z,w) = C \prod_{j=1}^r K_{\mathcal{U}_{n_j}}(\theta_{n_j}(z), \theta_{n_j}(w))^{s_j/(n_j+1)}$、ここで $C$ は領域に依存する定数である。
• 任意の $\rho > 0$ に対して、定数 $C_\rho > 0$ が存在し、$\beta_{\tilde{U}}(z,a) \leq \rho$ を満たすすべての $z,a \in \tilde{U}$ に対して $C_\rho^{-1} \leq \left| \frac{K_{\tilde{U}}(z,a)}{K_{\tilde{U}}(a,a)} \right| \leq C_\rho$ が成り立つ。これは、核比の一様有界性を示す。
• 定数 $C_\rho$ は明示的に $C_\rho = \prod_{j=1}^r C_j^{s_j/(n_j+1)}$ として構成され、ここで $C_j$ は $j$ 番目のシーゲル円板 $\mathcal{U}_{n_j}$ 上で距離 $M_{n_j}\rho$ 内での核比を抑える定数である。
• 定理Aの推定により、$B(t,\rho) \times \tilde{U}$ のようなコンパクト部分集合上で $|K_{\tilde{U}}(z,w)|$ が一様に上界と下界を持つことが示され、$z \in B(t,\rho)$ かつすべての $w \in \tilde{U}$ に対して $M_\rho^{-1} \leq |K_{\tilde{U}}(z,w)| \leq M_\rho$ が成り立つ。ここで $M_\rho = C_\rho K_{\tilde{U}}(t,t)$ である。
• 証明は、$\tilde{U}$ 上のベルグマン距離が写像 $\theta_{n_j}$ を通じてシーゲル円板上の距離を制御でき、かつ対称領域上では核比が固定距離内ですでに一様に有界であることが知られているという事実に依存している。
• 対称性がなくても、核の因数分解と距離の比較により、問題を対称領域に還元できるため、この結果は成り立つ。