[논문 리뷰] On the asymptotic expansion of Bergman kernel

Xianzhe Dai, Kefeng Liu외 1명|arXiv (Cornell University)|2004. 04. 27.

Geometry and complex manifolds참고 문헌 33인용 수 131

한 줄 요약

이 논문은 컴actsymplectic다양체와 오비폴드 위의 앰플 라인 번들의 고차 힘에 대해 스피너^c 디랙 연산자의 베르그만 커널에 대한 완전한 비대각선 점 游점점근전개와 아그몬형 추정을 수립한다. 미세국소 분석과 열핵 방법을 사용하여, $ p^{-1} $ 의 거듭제곱에 대한 균일한 점근전개를 증명하며, 계수들은 곡률 텐서와 그 도함수들의 다항식이다. 이는 도널드슨의 작업을 오비폴드로 확장하고 기하적 양자화를 안정성과 지수 이론과 연결한다.

ABSTRACT

We study the asymptotic of the Bergman kernel of the spin$^c$ Dirac operator on high tensor powers of a line bundle.

연구 동기 및 목표

• 카일러 계량에서 상수 스칼라 곡률을 가진 도널드슨의 작업을 오비폴드로 확장하기 위해 점근적 베르그만 커널 전개를 연구함으로써 이를 확장한다.
• 컴팩트 심플렉틱 다양체와 오비폴드 위의 앰플 라인 번들의 고차 힘에 대해 스피너^c 디랙 연산자의 베르그만 커널에 대한 완전한 비대각선 점근전개를 수립한다.
• 다양한 리만 계량과 기하학적 자료에 걸쳐 유효한 균일한 아그몬형 추정을 유도한다.
• 베르그만 커널의 점근전개를 열핵과 지수 이론과 연결하며, 특히 기하적 양자화와 안정성의 맥락에서 이를 고려한다.
• 전개의 계수들이 곡률 텐서 $ R^{TX}, R^{\text{det}}, R^{E}, R^{L} $, 그 도함수, 그리고 $ \bf{J} $ 의 고유값의 역수에 대한 다항식임을 보인다.

제안 방법

• 라인 번들의 곡률이 $ \omega $ 인 양성 라인 번들 $ L $ 과 함께 $ (0,q) $-형식에 값이 있는 스피너^c 디랙 연산자 $ D_p $ 를 고려한다.
• 미세국소 분석과 부테 데 몽벨–쥐외맹 구축을 적용하여 슈체고 커널과 관련된 분포적 연산자 $ D_b $ 를 정의한다.
• 진동적 적분 설정에서 매개변수의 역전개와 정적 위상 방법을 사용하여 베르그만 커널 $ B_p(x) $ 의 점근전개를 도출한다.
• 매개변수 가중치가 $ \mathscr{C}^s $-노름에서 유계이고 계량이 하한이 존재하는 조건에서, $ \mathscr{C}^l $-노름에서 도함수를 제어함으로써 균일한 추정을 수립한다.
• 스펙트럼 및 트레이스 방법을 통해 $ \exp(-\frac{u}{p}D_p^2) $ 의 열핵 전개를 이용하여 베르그만 커널 점근성을 도출한다.
• 국소 정규좌표와 복소構조 $ J $ 를 사용하여 커널을 $ \mathcal{J}_{x_0} $, 즉 복소구조 연산자로 표현하고, $ \mathbb{R}^{2n} $ 에서 가우시안 적분을 계산하여 주요 항을 추출한다.

실험 결과

연구 질문

• RQ1 스핀^c 디랙 연산자의 베르그만 커널은 비대각선 영역에서 $ p \to \infty $ 일 때 어떻게 점근적으로 행동하는가?
• RQ2 기하학적 오비폴드에서 곡률에 의존하는 명시적 계수를 가진 완전한 비대각선 점근전개를 구성할 수 있는가?
• RQ3 베르그만 커널에 대한 아그몬형 추정의 정확한 형태는 무엇이며, 계량과 접속 자료의 변화에 대해 얼마나 균일한가?
• RQ4 베르그만 커널의 점근성은 $ D_p^2 $ 의 열핵과 어떻게 관련되어 있으며, 지수 이론과 기하적 양자화에 대해 어떤 함의를 갖는가?
• RQ5 전개의 계수들이 곡률과 호로노미를 포함한 기하학적 불변량을 얼마나 잘 반영하는가, 특히 오비폴드 점에서 어떻게 되는가?

주요 결과

• 베르그만 커널은 완전한 비대각선 점근전개를 갖는다: $ B_p(x) = \sum_{r=0}^k b_r(x) p^{n-r} + \mathscr{O}(p^{n-k-1}) $, 임의의 $ k,l \in \mathbb{N} $ 에 대해 $ \mathscr{C}^l $-노름에서 균일하다.
• 계수 $ b_r(x) \in \operatorname{End}(\Lambda(T^{*(0,1)}X) \otimes E)_x $ 는 $ R^{TX}, R^{\det}, R^E, R^L $, 그 도함수들(최대 차수 $ 2r-1 $ 또는 $ 2r $) 및 $ \bf{J} $ 의 고유값의 역수에 대한 다항식이다.
• 주요 항은 $ b_0(x) = (\det \bf{J})^{1/2} I_{\mathbb{C} \otimes E} $ 이며, 이는 심플렉틱 체적 형식을 포함한다.
• 전개는 균일하다: 임의의 $ k,l $ 에 대해, 데이터가 $ \mathscr{C}^s $ 에서 유계이고 $ g^{TX} $ 가 하한이 존재하는 한, 계량 $ g^{TX} $ 에 독립적인 $ C_{k,l} $ 가 존재한다.
• 푸비니-슈트라우스 계량의 점근전개는 $ \left| \frac{1}{p} \phi_p^* \omega_{FS} - \omega \right|_{\mathscr{C}^l} \leq C_l \left( \frac{1}{p} + p^{l/2} e^{-c\sqrt{p} d(x,X')} \right) $ 를 만족하며, 컷로시스에서 빠른 수렴을 보인다.
• 오비폴드 점 $ y_j $ 에서, 베르그만 커널은 $ \frac{e^{i\theta_j p} g|_E \circ I_{\mathbb{C} \otimes E}}{|G_{y_j}| \det_{\mathbb{C}}(1 - g^{-1}_{T^{(1,0)}X})} \delta_{y_j} $ 의 특이 기여를 가지며, 이는 군 작용과 단일화를 반영한다.