[논문 리뷰] Two Problems on Cartan Domains

Weiping Yin|ArXiv.org|2006. 03. 09.

Holomorphic and Operator Theory인용 수 13

한 줄 요약

이 논문은 예외적 카르탕 도메인 $Σ_V(16)$ 및 $Σ_{VI}(27)$에서 베르그만 핵, 코시-슈타이너 핵, 포아송 핵, 그리고 베르그만 메트릭에 대한 명시적 공식을 유도하고, 유계 동차 도메인 위에서의 불변 미분 연산자 $L_j$의 클래스를 수립한다. 주요 결과는 $L_j(P_j) = 0$이 성립하는 것과 도메인이 대칭임이 동시에 성립하는 것으로, 포아송 핵의 $j$제곱근 위에서 이러한 연산자의 소멸을 통해 대칭 도메인을 특성화한다.

ABSTRACT

Firstly, we consider the unitary geometry of two exceptional Cartan domains $\Re_{V}(16)$ and $\Re_{VI}(27)$. We obtain the explicit formulas of Bergman kernal funtion, Cauchy-Szegö kernel, Poinsson kernel and Bergman metric for $\Re_{V}(16)$ and $\Re_{VI}(27)$. Secondly, we give a class of invariant differential operators for Cartan domain $\Re$ of dimension n: If the Bergman metric of $\Re$ is $$ds^{2}=\sum\limits_{i,j=1}^{n}g_{ij}dz_{i}d\bar{z}_{j}, T(z,\bar{z})=(g_{ij})$$ and $$L(u)=T^{-1}(z,\bar{z}) [\frac{\partial^2u}{\partial z_i\partial\bar{z}_j}],$$then $$L_j(u)=\{\mbox {The sum of all prinipal minors of degree} j {for} L(u)\}$$ is invariant under the biholomorphic mapping of $\Re$. Let $D$ be the irreducible bounded homogeneous domain in $C^n$, $P=P(z,*)$ the Poisson kernel of $D$, then for any fixed $J(1\leq j \leq n)$ one has $L_j(P^{1/j})=0$ iff $D$ is a symmetric domain.

연구 동기 및 목표

• 예외적 카르탕 도메인 $Σ_V(16)$ 및 $Σ_{VI}(27)$에서 기본 적분 핵—베르그만, 코시-슈타이너, 포아송, 그리고 베르그만 메트릭—에 대한 명시적 표현을 계산하는 것.
• 두 번째 도함수에 대한 역 베르그만 메트릭 텐서의 주된 소수를 기반으로 한 $L_j(u)$의 형태로 정의된 유계 동차 도메인 위에서의 불변 미분 연산자 클래스를 구성하고, 복소해석적 사상에 대한 불변성을 증명하는 것.
• 유계 동차 도메인이 대칭임과 동시에 필요한 충분조건을 $L_j(P_j)$의 소멸 조건을 통해 결정하는 것. 여기서 $P_j = P^{1/j}$ 이고 $P$는 포아송 핵이다.

제안 방법

• 행렬 표현과 유니터리 구조를 이용하여 $Σ_V(16)$ 및 $Σ_{VI}(27)$에서의 베르그만 핵과 메트릭에 대한 명시적 공식을 유도한다.
• 행렬 $T = (g_{ij})$가 베르그만 메트릭 텐서일 때, 미분 연산자 $L(u) = T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$를 정의하고, 이를 $L(u)$의 모든 $j \times j$ 주된 소수의 합으로 확장하여 $L_j(u)$로 정의한다.
• 복소해석적 사상에 대한 불변성을 증명하기 위해, 해석적 사상에 따른 변환 법칙을 분석함으로써 $L_j(u)$가 도메인 $\Re$의 복소해석적 자동사상에 대해 불변임을 증명한다.
• 선형 정규화를 통해 $T|_{Z=0} = \lambda I$ 및 $\left(\partial^2 \log P / \partial z' \partial \overline{z}\right)|_{Z=0} = -\mu I$로 설정함으로써 문제를 행렬 $\alpha = \partial \log P / \partial z|_{Z=0}$를 포함하는 스펙트럼 분석으로 환원한다.
• 행렬 $I - (b/j)\alpha'\overline{\alpha}$의 특성 다항식을 분석하여, $j$-번째 주된 소수의 합이 소멸하는 조건을 규명한다. 여기서 $b = (\lambda\mu)^{-1}$이다.
• 모든 $j$에 대해 $L_j(P_j) = 0$이 되는 것과 $L_1(P) = 0$이 되는 것이 동치임을 증명하고, [1]에서 알려진 결과를 활용하여 도메인 $D$가 대칭임과 동시에 $L_j(P_j) = 0$이 성립하는 것으로 결론을 내린다.

실험 결과

연구 질문

• RQ1 예외적 카르탕 도메인 $\Re_V(16)$ 및 $\Re_{VI}(27)$에서의 베르그만 핵, 코시-슈타이너 핵, 포아송 핵, 그리고 베르그만 메트릭에 대한 명시적 공식은 무엇인가?
• RQ2 행렬 $T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$의 모든 $j \times j$ 주된 소수의 합으로 정의된 연산자 $L_j(u)$는 유계 동차 도메인의 복소해석적 자동사상에 대해 불변인가?
• RQ3 포아송 핵 $P$의 $j$제곱근인 $P_j = P^{1/j}$에 대해 $L_j(P_j)$의 소멸 조건은 기약 유계 동차 도메인 중에서 대칭 도메인을 특성화하는가?

주요 결과

• 행렬 구조와 클리퍼드 대수의 구조를 기반으로, 예외적 카르탕 도메인 $\Re_V(16)$ 및 $\Re_{VI}(27)$에서의 베르그만 핵, 코시-슈타이너 핵, 포아송 핵, 그리고 베르그만 메트릭에 대한 명시적 닫힌 형태의 표현이 도출되었다.
• 행렬 $T^{-1}(z,\overline{z})[\partial^2 u / \partial z_i \partial \overline{z}_j]$의 모든 $j \times j$ 주된 소수의 합으로 정의된 연산자 $L_j(u)$는 도메인 $\Re$의 복소해석적 사상에 대해 불변이며, 이는 대칭 도메인 위에서 알려진 불변성 성질을 일반화한다.
• 임의의 고정된 $j$에 대해 $1 \leq j \leq n$일 때, 조건 $L_j(P_j) = 0$이 성립하는 것은 도메인 $D$가 대칭임과 동시에 성립한다. 여기서 $P_j = P^{1/j}$ 이고 $P$는 포아송 핵이다.
• 원점에서 연산자 $L_j(P_j)$의 행렬 $G(P_j)$는 $(-\lambda\mu/j)I + (1/j^2)\alpha'\overline{\alpha}$로 간소화되며, $j$-번째 주된 소수의 합이 소멸하는 것은 행렬 $I - (b/j)\alpha'\overline{\alpha}$의 스펙트럼 성질에 따라 달라진다. 여기서 $b = (\lambda\mu)^{-1}$이다.
• 행렬 $I - (b/j)\alpha'\overline{\alpha}$의 $j$-번째 주된 소수의 합이 소멸하는 것은 $n - ab = 0$일 때이고, 여기서 $a = \alpha'\overline{\alpha}$, $b = (\lambda\mu)^{-1}$이다. 이로 인해 $L_j(P_j) = 0 \iff L_1(P) = 0$의 동치 관계가 유도된다.