[논문 리뷰] Off-diagonal asymptotic properties of Bergman kernels associated to analytic Kähler potentials

Hamid Hezari, Zhiqin Lu외 1명|arXiv (Cornell University)|2017. 05. 25.

Geometry and complex manifolds참고 문헌 30인용 수 5

한 줄 요약

이 논문은 콪 pact한 카플러 다양체 위의 양의 선다발의 텐서 항등을 갖는 베르그만 커널에 대해 실해석적 카플러 포텐셜 조건 하에서 완전한 비대각선 游근 전개를 수립한다. [BeBeSj08]의 방법을 통해 유도된 형태의 계수 상한 $ C^m m!^2 $ 를 이용하여, 저자들은 전개가 대각선 주변의 $ k^{-1/4} $-근접 영역에서 균일하게 성립함을 보이며, 이는 부드러운 포텐셜의 경우 알려진 $ k^{-1/2} $-근접 영역을 초월한다. 이 결과는 해석적 설정에서의 점 游근 통제를 정밀화하고, 일정한 헬로모르피크 섹션 곡률을 갖는 경우 Berman의 고정된 근접 영역 결과를 복원한다.

ABSTRACT

We prove a new off-diagonal asymptotic of the Bergman kernels associated to tensor powers of a positive line bundle on a compact Kähler manifold. We show that if the Kähler potential is real analytic, then the Bergman kernel accepts a complete asymptotic expansion in a neighborhood of the diagonal of shrinking size $k^{-\frac14}$. These improve the earlier results in the subject for smooth potentials, where an expansion exists in a $k^{-\frac12}$ neighborhood of the diagonal. We obtain our results by finding upper bounds of the form $C^m m!^{2}$ for the Bergman coefficients $b_m(x, \bar y)$, which is an interesting problem on its own. We find such upper bounds using the method of Berman-Berndtsson-Sjöstrand. We also show that sharpening these upper bounds would improve the rate of shrinking neighborhoods of the diagonal $x=y$ in our results. In the special case of metrics with local constant holomorphic sectional curvatures, we obtain off-diagonal asymptotic in a fixed (as $k o \infty$) neighborhood of the diagonal, which recovers a result of Berman [Ber] (see Remark 3.5 of [Ber] for higher dimensions). In this case, we also find an explicit formula for the Bergman kernel mod $O(e^{-k δ} )$.

연구 동기 및 목표

• 실해석적 카플러 포텐셜 설정 하에서 베르그만 커널에 대한 완전한 비대각선 점 游근 전개를 수립하는 것.
• 부드러운 포텐셜의 경우 알려진 $ k^{-1/2} $-근접 영역을 초월하여, 이러한 전개가 성립하는 대역의 크기를 향상시키는 것.
• 점 游근 전개의 타당성을 위한 핵심 요소인, 형태 $ C^m m!^2 $ 의 양의 상한을 갖는 베르그만 커널 계수 $ b_m(x, \bar{y}) $ 를 얻는 것.
• 이 계수 상한을 더 정밀하게 다듬는 것이 점 游근 전개의 대역 크기를 더욱 향상시킬 수 있음을 보여주는 것.
• 일정한 헬로모르피크 섹션 곡률을 갖는 특수한 경우에 Berman의 고정된 근접 영역 결과를 회복하고 확장하는 것.

제안 방법

• BeBeSj08의 방법을 사용하여 점 游근 전개의 나머지 항을 통제하는 데 필수적인, 형태 $ C^m m!^2 $ 의 상한을 갖는 베르그만 커널 계수 $ b_m(x, \bar{y}) $ 를 유도하는 것.
• 형태 $ K_k(x,y) = e^{k\psi(x,\bar{y})} \frac{k^n}{\pi^n} \left(1 + \sum_{j=1}^{N_0(k)-1} \frac{b_j(x,\bar{y})}{k^j} \right) + \text{나머지} $ 의 형식으로 비대각선 전개를 구성하는 것. 여기서 $ \psi $ 는 카플러 포텐셜 $ \phi $ 의 해석적 확장이다.
• 대역의 크기를 제어하기 위해 $ N_0(k) = \left[\left(\frac{k}{C}\right)^{1/2}\right] $ 를 정의하여 전개의 항 수를 결정하는 것. 이는 $ k^{-1/4} $-근접 영역에서 나머지 항이 균일하게 제어됨을 보장한다.
• 핵심 함수의 척도 극한에서 유도된 계수 $ A_m(x,y,\theta) $ 의 전송 방정식을 활용하여 전개 항을 순차적으로 정의하는 것.
• 전개 계수 $ b_m(x,\bar{y}) $ 와 $ A_m $-계수 간의 관계를 $ B(x,z) = \frac{1 + k(x-y)\cdot A(x,y,\theta) + (D_\theta \cdot A)(x,y,\theta)}{\Delta_0(x,y,\theta)} $ 라는 공식을 통해 연결하여 전개의 일致성을 확보하는 것.
• 비대각선 행동을 지배하는 지수 감쇠 $ e^{-kD(x,y)/2} $ 를 제어하기 위해 칼라비의 다이아스타스 함수 $ D(x,y) $ 를 적용하는 것.

실험 결과

연구 질문

• RQ1 카플러 포텐셜이 실해석적일 경우, 스무스 포텐셜의 경우 알려진 $ k^{-1/2} $-근접 영역을 초월하여 대각선 주변에서 더 큰 영역에서 완전한 비대각선 점 游근 전개를 수립할 수 있는가?
• RQ2 해석적 설정에서 베르그만 커널 계수 $ b_m(x, \bar{y}) $ 의 최적 상한은 무엇이며, 이는 전개가 성립하는 영역의 크기에 어떤 영향을 미치는가?
• RQ3 점 游근 전개가 유효한 대역의 크기가 계수 $ b_m $ 의 감쇠 속도에 따라 어떻게 달라지며, 더 엄격한 상한을 통해 이를 향상시킬 수 있는가?
• RQ4 일정한 헬로모르피크 섹션 곡률을 갖는 특수한 경우에 점 游근 전개를 고정된 대역(크기 $ k $ 와 무관하게)에서 성립시키고, $ O(e^{-k\delta}) $ 모듈로 명시적인 공식을 유도할 수 있는가?
• RQ5 전개에서 $ N $ 이 $ k $ 에 따라 의존할 경우, 나머지 항이 정량적으로 제어될 수 있는가? 이는 전개가 $ \sqrt{\log k / k} $ 임계값을 초월해도 유용하게 사용될 수 있음을 의미하는가?

주요 결과

• 카플러 포텐셜이 실해석적일 경우, 대각선 주변의 $ k^{-1/4} $-근접 영역에서 완전한 비대각선 점 游근 전개가 성립함을 보이며, 이는 스무스 포텐셜의 경우 알려진 $ k^{-1/2} $-근접 영역을 크게 초월한다.
• 모든 수열 $ x_k, y_k $ 에 대해 거리 $ d(x_k, y_k) \leq k^{-1/4} $ 를 만족할 때 전개가 균일하게 성립하며, 형태 $ |K_k(x_k, y_k)|_{h^k} \sim \frac{k^n}{\pi^n} e^{-kD(x_k, y_k)/2} $ 를 갖는다. 여기서 $ D $ 는 칼라비의 다이아스타스 함수이다.
• 저자들은 점 游근 전개의 타당성에 핵심적인, 형태 $ C^m m!^2 $ 의 상한을 갖는 베르그만 계수 $ b_m(x, \bar{y}) $ 를 수립하였으며, 이는 [BeBeSj08]의 방법을 통해 유도되었다.
• 대역 크기를 $ k^{-1/4} $ 이하로 줄이기 위해서는 이러한 $ C^m m!^2 $ 상한을 더 향상시켜야 하며, 이는 계수 제어와 대역 크기 사이에 직접적인 연관성이 있음을 시사한다.
• 일정한 헬로모르피크 섹션 곡률을 갖는 경우, 전개는 대각선 주변의 고정된(크기 $ k \to \infty $ 에서도 일정한) 영역에서 균일하게 성립하며, 베르그만 커널은 $ O(e^{-k\delta}) $ 모듈로 명시적으로 주어진다.
• 전개의 나머지 항은 $ O_{N}(1) $ 으로 제어되며, $ N = N_0(k) = \left[\left(\frac{k}{C}\right)^{1/2}\right] $ 로 선택함으로써 나머지 항이 $ k^{-1/4} $-근접 영역에서 주항등보다 작아지게 된다.