[논문 리뷰] Asymptotics of Bergman kernels

Robert J. Berman, Bo Berndtsson외 1명|ArXiv.org|2005. 06. 18.

Geometry and complex manifolds참고 문헌 8인용 수 15

한 줄 요약

이 논문은 국소화와 가중 $L^2$-프로jections을 사용하여, 컴acts한 복소다양체 위의 양성 선다발에 대한 Bergman 커널의 점근 전개에 대한 직접적이고 기본적인 증명을 제시한다. 이는 실해석적 및 매끄러운 계량 모두에 대해 유효한 계수를 계산할 수 있는 알고리즘을 제공하며, $k^{-N}$에 대한 정확한 오차 추정을 통해 이전 결과를 확장하는 구성적 접근을 통해 전역 커널의 점근적 성질을 규명한다.

ABSTRACT

We give an elementary proof of the existence of an asymptotic expansion in powers of $k$ of the Bergman kernel associated to $L^k$, where $L$ is a positive line bundle. We also give an algorithm for computing the coefficients in the expansion.

연구 동기 및 목표

• 傅리에 적분 연산자나 경계 점근성에 대한 깊은 결과에 의존하지 않고, 양성 선다발에 대한 Bergman 커널의 점근 전개에 대한 직접적이고 기본적인 증명을 제공하는 것.
• Bergman 커널 $K_k(x,y)$의 점근 전개에서 계수 $b_m(x,y)$를 계산하는 효과적인 알고리즘을 개발하는 것.
• 국소 모델과의 점근적 동치성을 국소화와 $L^2$-추정을 통해 전역 Bergman 커널에 적용하는 것.
• 실해석적이지 않은 매끄러운 계량으로도 점근 전개를 확장하여, 계수가 거의 해석적임을 보이고 오차 항이 여전히 통제 가능함을 보이는 것.
• 복소기하학과 분석에서의 미세국소 기법에 대한 자가 포함적이고 접근 가능한 소개를 제공하는 것.

제안 방법

• 국소 해석적 좌표계와 자명화를 사용하여 문제를 단위 구 위의 해석적 함수들의 가중 $L^2$-공간으로 축소하고, 가중치 $e^{-k heta}$를 적용하는 것.
• 계수 $b_m$에 대한 재귀 공식을 사용하여, $O(k^{-N})$ 오차 이내로 해석적 함수를 재생하는 국소 점근 Bergman 커널 $K_k^{(N)}$을 구성하는 것.
• 전역 커널과 국소 커널 간의 차이에서 $\bar{\partial}$-방정식 오차를 제어하기 위해 Hörmander의 $L^2$-추정을 적용하는 것.
• 재생 성질을 국소화하고 소근처에서의 균일 수렴을 보장하기 위해 컷오프 함수 $\chi$를 사용하는 것.
• 형식적 멱급수 전개와 해석적 조건을 통해 계수 $b_m(x,z)$에 대한 재귀식 (2.15)를 유도하는 것.
• 해석적 조건이 없더라도 $\bar{\partial}$-오차의 감쇠를 이용하여, Cauchy 적분 추정을 통해 점별 및 도함수 추정을 확립하는 것.

실험 결과

연구 질문

• RQ1 Bergman 커널의 점근 전개를 Boutet de Monvel–Sjöstrand의 경계 점근성에 의존하지 않고 유도할 수 있는가?
• RQ2 점근 전개 $K_k(x,y) \sim \frac{k^n}{\pi^n} e^{k\psi(x,y)} \left(1 + \sum_{m=1}^\infty \frac{b_m(x,y)}{k^m}\right)$에서 계수 $b_m(x,y)$를 계산할 수 있는 구성적이고 알고리즘적인 방법이 존재하는가?
• RQ3 매끄러운(해석적이지 않은) 계량에서 점근 전개의 오차 항은 어떻게 행동하며, 정확한 추정을 얻을 수 있는가?
• RQ4 국소 점근 커널이 전역 Bergman 커널을 어느 정도 근사할 수 있으며, 어떤 기하학적 조건에서 그러한 근사가 성립하는가?
• RQ5 해석적이지 않은 경우에도 커널의 도함수 수렴을 통제할 수 있는가?

주요 결과

• 임의의 $N$에 대해, 곡률이 양성인 점의 근처에서 $x,y$에 대해 균일하게, 전역 Bergman 커널 $K_k(x,y)$는 $K_k(x,y) = K_k^{(N)}(x,y) + O(k^{n-N-1})e^{k(\phi(x)/2 + \phi(y)/2)}$의 점근 전개를 가진다.
• 계량 $\phi$가 실해석적이라면 전개에서 계수 $b_m(x,y)$는 해석적이고, 매끄러운 경우 거의 해석적(즉, $\bar{\partial}_{xz}b_m$이 $z=\bar{x}$에서 무한 차수로 소멸함)이다.
• 이 방법은 (2.15)의 공식에 기반하여, 잔여 공간에서의 미분방정식을 순차적으로 푸는 방식으로 $b_m(x,y)$를 명시적으로 계산할 수 있는 재귀 알고리즘을 제공한다.
• 국소 커널 $K_k^{(N)}$의 재생 성질에서 오는 오차는 $O(e^{-\delta k})$이며, 전역 커널은 $L^2$-노름과 점별적으로 $O(k^{-N})$ 오차 이내로 국소 커널과 일치한다.
• 다른 차수의 도함수 차이 $D^\alpha(K_k - K_k^{(N)})$에 대한 추정은 균일하게 성립한다: 임의의 다중지표 $\alpha$에 대해 $|\alpha| \leq m$일 때, $D^\alpha(K_k - K_k^{(N)}) = O(k^{m+n-N-1})e^{k(\phi(x)/2 + \phi(y)/2)}$이다.
• 증명은 점근 전개가 해석적이지 않은 매끄러운 계량에서도 $C^m$-위상에서 성립함을 보이며, 이는 $\bar{\partial}$-오차의 감쇠와 Cauchy 추정에 기인한다.