[论文解读] 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

一句话总结

本文通过利用等变全纯映射将极小有界齐次域的Bergman核表达为Siegel圆盘Bergman核的形式，建立了该核的精确估计。关键结果是在Bergman距离 $\rho$ 内，比值 $|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ 存在一致有界性，即对任意 $\rho > 0$，该比值上下界一致有界，这对刻画这些域上Toeplitz算子的性质至关重要。

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.

研究动机与目标

• 推导极小有界齐次域Bergman核的精确估计，这对这些域上的算子理论至关重要。
• 将已知对称域（如Harish-Chandra实现）的估计结果推广到缺乏对称性的广义有界齐次域。
• 建立所有满足固定Bergman距离 $\rho$ 的 $z,a$ 的比值 $|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ 的一致有界性。
• 通过将一般域的Bergman核表示为这些对称模型上核的乘积，将问题约化为已知的对称域上的估计。

提出的方法

• 利用Ishi提出的齐次Siegel域的矩阵实现，定义从极小有界齐次域 $\tilde{U}$ 到秩为 $n_j$ 的Siegel圆盘 $\mathcal{U}_{n_j}$ 的等变全纯映射 $\theta_{n_j}: \tilde{U} \to \mathcal{U}_{n_j}$。
• 建立一个分解公式（定理B），将Bergman核 $K_{\tilde{U}}(z,w)$ 表示为涉及 $\theta_{n_j}(z)$ 和 $\theta_{n_j}(w)$ 的行列式乘积，其指数为 $s_j/(n_j+1)$。
• 利用Siegel圆盘上Bergman核的已知显式形式：$K_{\mathcal{U}_{n_j}}(Z,W) = \mathrm{Vol}(\mathcal{U}_{n_j})^{-1} \det(I - Z\overline{W})^{-(n_j+1)}$。
• 通过引理3.2比较极小域 $\tilde{U}$ 与Siegel圆盘 $\mathcal{U}_{n_j}$ 之间的Bergman距离，将 $\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$ 联系起来。
• 利用对称域（如Siegel圆盘）上Bergman核比值在固定Bergman距离内一致有界这一事实，并通过乘积结构将该有界性提升至一般域。
• 利用Bergman核与Bergman距离的自同构不变性，通过变换 $\varphi_a(z)$ 将问题约化为固定中心 $t$ 的情形，从而将点 $a$ 标准化为 $t$。

实验结果

研究问题

• RQ1 能否在广义有界齐次域 $\tilde{U}$ 中，对所有满足固定Bergman距离 $\rho$ 的 $z,a$，建立Bergman核比值 $|K_{\tilde{U}}(z,a)/K_{\tilde{U}}(a,a)|$ 的一致有界性？
• RQ2 如何通过全纯映射将极小有界齐次域的Bergman核表示为对称域（Siegel圆盘）Bergman核的形式？
• RQ3 对称域上Bergman核比值的一致有界性是否足以通过等变映射约化，推导出非对称有界齐次域上的相同性质？
• RQ4 在映射 $\theta_{n_j}$ 下，极小有界齐次域上的Bergman距离与相关Siegel圆盘上Bergman距离之间的确切关系是什么？

主要发现

• 任何极小有界齐次域 $\tilde{U}$ 的Bergman核可表示为Siegel圆盘Bergman核的幂的乘积：$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$ 个Siegel圆盘 $\mathcal{U}_{n_j}$ 上核比值在距离 $M_{n_j}\rho$ 内的界。
• 定理A的估计表明，$|K_{\tilde{U}}(z,w)|$ 在形如 $B(t,\rho) \times \tilde{U}$ 的紧子集上一致有界上下界，即对所有 $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}$ 上的Bergman距离通过映射 $\theta_{n_j}$ 控制Siegel圆盘上的距离，且对称域上核比值在固定距离内已知一致有界。
• 即使 $\tilde{U}$ 不具有对称性，该结果仍成立，因为通过核分解与距离比较，可将问题约化为对称域。