[论文解读] Polynômes de Hua, noyau de Bergman des domaines de Cartan-Hartogs et problème de Lu Qikeng

F. Zohra Demmad-Abdessameud|arXiv (Cornell University)|Jan 21, 2007

Holomorphic and Operator Theory参考文献 4被引用 7

一句话总结

该论文通过将Hua多项式根的定位问题转化为代数问题，解决了Cartan-Hartogs域 $\omega_{m}(\mu)$ 的Lu Qikeng问题。研究证明，当基域维度 $d \leq 4$ 时，Bergman核为零自由（即Lu Qikeng域）当且仅当 $\mu$ 足够小或 $m$ 足够大，其中显式阈值由 $P_\mu^m(\eta)$ 的根确定，从而对低维对称基域给出了完整的分类。

ABSTRACT

In this paper we reduce the Lu Qikeng problem for Cartan-Hartogs domains to an algebraic problem on Hua polynomials and we give a complete solution when the Cartan-Hartogs domain is built on a bounded symmetric domain of dimension at most 4.

研究动机与目标

• 确定Cartan-Hartogs域 $\widehat{\Omega}_m(\mu)$ 的Bergman核何时为零，即解决Lu Qikeng问题。
• 将Lu Qikeng问题约化为关于Hua多项式 $P_\mu^m(\eta)$ 根的代数问题。
• 当基域 $\Omega$ 的维度 $d \leq 4$ 时，完全分类所有 $m$ 和 $\mu > 0$，使得 $\widehat{\Omega}_m(\mu)$ 为Lu Qikeng域。
• 提供显式阈值 $\mu_m$，使得当 $m < m_\Omega$ 时，$\widehat{\Omega}_m(\mu)$ 为Lu Qikeng域当且仅当 $0 < \mu \leq \mu_m$；当 $m \geq m_\Omega$ 时，对所有 $\mu > 0$ 均为Lu Qikeng域。

提出的方法

• 利用基域 $\Omega$ 的通用范数 $N(z,z)$ 和Hua多项式 $\chi(s)$，显式计算了 $\widehat{\Omega}_m(\mu)$ 的Bergman核。
• 核被表示为多项式 $P_\mu^m(\eta)$ 的形式，其中 $\eta = 1/(1 - \xi)$ 且 $\xi = \langle Z,W \rangle / N(z,w)^\mu$。
• 将Lu Qikeng性质约化为判断 $P_\mu^m(\eta)$ 的所有根是否位于复平面的半平面 $\operatorname{Re} \eta \leq 1/2$ 内。
• 将多项式 $\chi(k\mu)$ 展开为上升阶乘，定义系数 $C_j(\mu)$，并利用Pochhammer符号构造 $P_\mu^m(\eta)$ 为求和形式。
• 通过Hermite-Hurwitz行列式及在 $\eta = 1/2$ 处导数的符号分析，研究根的定位，特别是 $P_\mu^m(1/2)$ 及其一阶和三阶导数。
• 对每个维度 $d \leq 4$ 的基域 $\Omega$，将临界值 $\mu_m$ 确定为 $q_m(\mu) = P_\mu^m(1/2)$ 的最小正根。

实验结果

研究问题

• RQ1 对于哪些 $m$ 和 $\mu > 0$，Cartan-Hartogs域 $\widehat{\Omega}_m(\mu)$ 的Bergman核在 $\widehat{\Omega}_m(\mu) \times \widehat{\Omega}_m(\mu)$ 上为零自由？
• RQ2 精确的阈值 $\mu_m$ 是什么，使得当固定 $m < m_\Omega$ 时，$\widehat{\Omega}_m(\mu)$ 为Lu Qikeng域当且仅当 $0 < \mu \leq \mu_m$？
• RQ3 临界纤维维数 $m_\Omega$ 如何依赖于基域 $\Omega$？对于哪些 $m \geq m_\Omega$，$\widehat{\Omega}_m(\mu)$ 对所有 $\mu > 0$ 均为Lu Qikeng域？
• RQ4 $P_\mu^m(\eta)$ 的根在复平面上的行为如何？其分布如何决定Bergman核的零自由性？

主要发现

• 对于单位圆盘（$d=1$），对所有 $m \geq 1$ 和所有 $\mu > 0$，$\widehat{\Omega}_m(\mu)$ 均为Lu Qikeng域。
• 对于二维Hermitian球面，$\widehat{\Omega}_m(\mu)$ 为Lu Qikeng域当且仅当：$m=1$ 且 $\mu \leq 2$，或 $m=2$ 且 $\mu \leq 4$，或 $m \geq 3$ 时对所有 $\mu > 0$ 成立。
• 对于三维Hermitian球面，$\mu_1 = \sqrt{2} \approx 1.414$，且 $\mu_m$ 随 $m$ 增大而增加；$m_\Omega = 6$。
• 对于三维Lie球面，$\mu_1 = 2/\sqrt{3} \approx 1.155$，且 $\mu_m$ 随 $m$ 增大而增加；$m_\Omega = 6$。
• 对于四维Hermitian球面，$\mu_1 \approx 1.225$，且 $\mu_m$ 随 $m$ 增大而增加；$m_\Omega = 8$，且对 $m=1,2$ 有 $\mu_{m,1} < \mu_{m,2}$。
• 对于四维Lie球面，当 $m \geq 8$ 时 $\mu_m > 0$，且 $\mu_m$ 随 $m$ 增大而增加；$m_\Omega = 8$。