[論文レビュー] 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領域であるかどうかを完全に分類すること。
• 固定された $m < m_\Omega$ に対して、$\widehat{\Omega}_m(\mu)$ がLu Qikeng領域であるための必要十分条件となる明示的な閾値 $\mu_m$ を提供すること。$m \geq m_\Omega$ の場合はすべての $\mu > 0$ に対して成り立つ。

提案手法

• 基底領域 $\Omega$ のHua多項式 $\chi(s)$ と一般化されたノルム $N(z,z)$ を用いて、$\widehat{\Omega}_m(\mu)$ のBergman核を明示的に計算する。
• 核は $\eta = 1/(1 - \xi)$ および $\xi = \langle Z,W \rangle / N(z,w)^\mu$ を用いて定義される多項式 $P_\mu^m(\eta)$ の形に表現される。
• Lu Qikeng性質は、$P_\mu^m(\eta)$ のすべての根が半平面 $\operatorname{Re} \eta \leq 1/2$ 内にあるかどうかの確認に帰着される。
• 多項式 $\chi(k\mu)$ を上昇階乗の展開により展開し、係数 $C_j(\mu)$ を定義。これらを用いて、Pochhammer記号を含む和の形で $P_\mu^m(\eta)$ を構成する。
• Hurwitz行列式と $\eta = 1/2$ における微分の符号解析（特に $P_\mu^m(1/2)$、および1階・3階微分）を用いて根の局在を分析する。
• 各次元 $d \leq 4$ の基底領域 $\Omega$ に対して、$q_m(\mu) = P_\mu^m(1/2)$ の正の最小根として、臨界値 $\mu_m$ を決定する。

実験結果

リサーチクエスチョン

• RQ1 どの $m$ と $\mu > 0$ に対して、Cartan-Hartogs領域 $\widehat{\Omega}_m(\mu)$ のBergman核が $\widehat{\Omega}_m(\mu) \times \widehat{\Omega}_m(\mu)$ 上でゼロフリーとなるか？
• RQ2 固定された $m < m_\Omega$ に対して、$\widehat{\Omega}_m(\mu)$ がLu Qikeng領域であるための必要十分条件となる明示的閾値 $\mu_m$ は何か？
• RQ3 臨界ファイバー次元 $m_\Omega$ は基底領域 $\Omega$ にどのように依存するか？また、$m \geq m_\Omega$ のとき、すべての $\mu > 0$ に対して $\widehat{\Omega}_m(\mu)$ がLu Qikeng領域であるのはどのような場合か？
• RQ4 $P_\mu^m(\eta)$ の根の複素平面上での挙動は何か？そして、それがBergman核のゼロフリー性にどのように影響するか？

主な発見

• 単位円板（$d=1$）に対しては、すべての $m \geq 1$ とすべての $\mu > 0$ に対して $\widehat{\Omega}_m(\mu)$ はLu Qikeng領域である。
• 2次元のヘルミート球面に対しては、$m=1$ かつ $\mu \leq 2$、$m=2$ かつ $\mu \leq 4$、または $m \geq 3$ のとき、すべての $\mu > 0$ に対して $\widehat{\Omega}_m(\mu)$ はLu Qikeng領域である。
• 3次元のヘルミート球面に対しては、$\mu_1 = \sqrt{2} \approx 1.414$ であり、$\mu_m$ は $m$ と共に増加する。$m_\Omega = 6$。
• 3次元のLie球面に対しては、$\mu_1 = 2/\sqrt{3} \approx 1.155$ であり、$\mu_m$ は $m$ と共に増加する。$m_\Omega = 6$。
• 4次元のヘルミート球面に対しては、$\mu_1 \approx 1.225$ であり、$\mu_m$ は $m$ と共に増加する。$m_\Omega = 8$ であり、$m=1,2$ に対して $\mu_{m,1} < \mu_{m,2}$ が成り立つ。
• 4次元のLie球面に対しては、$m \geq 8$ のとき $\mu_m > 0$ であり、$\mu_m$ は $m$ と共に増加する。$m_\Omega = 8$。