[논문 리뷰] 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)|2007. 01. 21.

Holomorphic and Operator Theory참고 문헌 4인용 수 7

한 줄 요약

이 논문은 Hua 다항식의 근 분포를 이용해 Cartan-Hartogs 도메인 $\omega_{m}(\mu)$ 에 대한 Lu Qikeng 문제를 해결한다. 차원 $d \leq 4$ 인 기저 도메인에 대해 Bergman 핵함수는 $\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$ 인 경우, $\widehat{\Omega}_m(\mu)$ 가 Lu Qikeng 도메인이 되는 모든 $m$ 과 $\mu > 0$ 을 완전히 분류하는 것.
• 고정된 $m < m_\Omega$ 에 대해 $\widehat{\Omega}_m(\mu)$ 가 Lu Qikeng 도메인이 되는 것과 동치가 되는 명시적 임계값 $\mu_m$ 을 제공하는 것. 이때 $0 < \mu \leq \mu_m$ 이며, $m \geq m_\Omega$ 일 경우 모든 $\mu > 0$ 에 대해 성립한다.

제안 방법

• 기저 도메인 $\Omega$ 의 일반화된 노름 $N(z,z)$ 와 Hua 다항식 $\chi(s)$ 를 이용해 $\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)$ 와 그 첫 번째 및 세 번째 도함수를 중심으로 분석한다.
• 각 차원 $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 고정된 $m < m_\Omega$ 에 대해 $\widehat{\Omega}_m(\mu)$ 가 Lu Qikeng 도메인이 되는 데 필요한 정확한 임계값 $\mu_m$ 은 무엇인가? 이때 $\widehat{\Omega}_m(\mu)$ 는 $0 < \mu \leq \mu_m$ 일 때에만 Lu Qikeng 도메인이 된다.
• RQ3 임계 섬유 차원 $m_\Omega$ 는 기저 도메인 $\Omega$ 에 따라 어떻게 달라지며, $m \geq m_\Omega$ 일 때 $\widehat{\Omega}_m(\mu)$ 가 모든 $\mu > 0$ 에 대해 Lu Qikeng 도메인이 되는가?
• RQ4 $P_\mu^m(\eta)$ 의 복소평면 상의 근의 행동은 어떻게 되며, 이는 Bergman 핵함수의 영이 되지 않는 성질을 어떻게 결정하는가?

주요 결과

• 단위 원판($d=1$) 에 대해 $\widehat{\Omega}_m(\mu)$ 는 모든 $m \geq 1$ 과 모든 $\mu > 0$ 에 대해 Lu Qikeng 도메인이다.
• 2차원 허미트리안 볼에 대해 $\widehat{\Omega}_m(\mu)$ 는 $m=1$ 이고 $\mu \leq 2$, 또는 $m=2$ 이고 $\mu \leq 4$, 또는 $m \geq 3$ 이면 Lu Qikeng 도메인이다.
• 3차원 허미트리안 볼에 대해 $\mu_1 = \sqrt{2} \approx 1.414$ 이며, $\mu_m$ 은 $m$ 에 따라 증가한다; $m_\Omega = 6$.
• 3차원 리 볼에 대해 $\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차원 리 볼에 대해 $m \geq 8$ 이면 $\mu_m$ 이 양수이며, $\mu_m$ 은 $m$ 에 따라 증가한다; $m_\Omega = 8$.