[논문 리뷰] The SzegÖ kernel on an orbifold circle bundle

Jian Song|ArXiv.org|2004. 05. 05.

Geometry and complex manifolds참고 문헌 25인용 수 11

한 줄 요약

이 논문은 유한한 고립 특이점을 가진 컴act Kähler 오비폴드로 Zelditch의 Bergman 커널의 渐近 전개를 일반화한다. 고차의 양성 선다발의 정규직교 힐베르트 섹션들의 제곱노름 합이 오비폴드 점에서 델타 함수 특이성을 포함하는 완전한 渐近 전개를 갖는다는 것을 보이며, 곡률 불변량과 전개의 계수 사이에 정확한 대응 관계를 설정한다. 주요 결과는 특이점에서 잔여항의 명시적 공식을 제공한다.

ABSTRACT

The analysis of holomorphic sections of high powers $L^N$ of holomorphic ample line bundles $L o M$ over compact Kähler manifolds has been widely applied in complex geometry and mathematical physics. The Tian-Yau-Zelditch's asymptotic expansion of the Szegö kernel of a circle bundle plays an important role in Kähler-Einstein geometry. We generalize the expansion for compact Kähler orbifolds with only finite isolated singularities and analyze the behavior of the expansion near the singularities.

연구 동기 및 목표

• 부드러운 Kähler 다양체에서 Zelditch의 Bergman 커널 渐近 전개를 유한한 고립 특이점을 가진 컴act Kähler 오비폴드로 확장한다.
• 표준적인 渐近 전개가 실패하는 오비폴드 특이점 근처에서 Bergman 커널의 행동을 분석한다.
• 양성 선다발의 고차 힐베르트 섹션들의 정규직교 기저의 제곱노름 합에 대한 완전한 渐近 전개를 유도한다.
• 특히 특이점에서의 잔여항 계수를 오비폴드 군 작용과 곡률 불변량의 언어로 표현한다.
• 스케일링된 Fubini-Study 메트릭이 오비폴드에서 원래 Kähler 메트릭으로 수렴함을 보이며, Sobolev 및 Hölder 노름에서 최적의 수렴 속도를 확보한다.

제안 방법

• Boutet de Monvel-Sjöstrand의 Szegö 커널에 대한 파라메트릭스 구성 기법을 오비폴드 설정으로 일반화하며, 분포적 수정을 통해 특이점을 통합한다.
• Hörmander의 L² 추정과 피크 섹션 기법을 사용하여 특이점 근처에서 섹션의 성장도를 제어한다.
• 다양체의 메트릭 및 관련 Bergman 커널을 연구하기 위해 복소다음함수 가중치를 가진 가중 L² 내적을 도입한다.
• 정적 위상 및 복소해석 기법을 적용하여 渐近 전개의 주요 항, 특히 특이점에서의 델타 함수 기여를 계산한다.
• 군 표현 이론과 오비폴드 국소 모델을 사용하여 잔여 계수의 명시적 공식 $ b(i) = \frac{1}{|G_i|} \sum_{1 \neq g \in G_i} \frac{1}{\det(I - g|T_{z_i})} $ 을 도출한다.
• 지오데식 거리 $ r $ 를 이용하여 특이점 집합으로부터의 거리에서의 지수 감쇠 성질과 열핵 추정을 결합함으로써 $ C^k $ 및 $ L^p $ 수렴 속도를 정밀하게 확보한다.

실험 결과

연구 질문

• RQ1 표준적인 부드러운 방법이 실패하는 고립 특이점을 가진 Kähler 오비폴드에서 Bergman 커널의 渐近 전개는 어떻게 행동하는가?
• RQ2 특이점 근처에서 힐베르트 섹션들의 제곱노름 합의 渐近 전개의 정확한 구조는 무엇인가? 특히 특이점 근처에서의 행동은 어떻게 되는가?
• RQ3 특이점에서의 잔여항은 국소 군 작용과 곡률 불변량의 언어로 명시적으로 계산할 수 있는가?
• RQ4 스케일링된 Fubini-Study 메트릭의 당김은 오비폴드에서 원래 Kähler 메트릭으로 수렴하는가? 그리고 그 수렴 속도는 어떠한가?
• RQ5 Hölder 또는 Sobolev 노름에서 메트릭 근사의 수렴이 성립하는 조건은 무엇인가?

주요 결과

• 정규직교 힐베르트 섹션들의 제곱노름 합은 완전한 渐近 전개를 갖는다: $ \sum_{i=0}^{d_N} \|S_i^N(z)\|^2_{h_N} \sim a_0 N^n + a_1(z) N^{n-1} + \cdots + a_n(z) + \sum_{i=1}^m b(i) \delta_{z_i}(z) + a_{n+1}(z) N^{-1} + \cdots $, 여기서 $ a_0 = 1 $.
• 계수 $ a_1(z) $ 는 오비폴드 Kähler 메트릭 $ g $ 의 스칼라 곡률이며, 부드러운 경우의 일반화이다.
• 각 특이점 $ z_i $ 에서의 잔여항은 $ b(i) = \frac{1}{|G_i|} \sum_{1 \neq g \in G_i} \frac{1}{\det(I - g|T_{z_i})} $ 로 주어지며, 이는 오직 국소 군 작용에 의존한다.
• Bergman 커널과 그 주요 渐近 항들의 차이는 $ N \to \infty $ 일 때 약한 수렴으로 특이점에서의 델타 함수 합으로 수렴한다.
• $ C^k $ 노름에서의 수렴 속도는 $ C_{R,k}(N^{n-R} + N^{n + k/2} e^{-\delta N r^2}) $ 로 유계이다. 이는 특이점에서의 지수 감쇠를 보여준다.
• 스케일링된 Fubini-Study 메트릭의 당김은 $ C^k $ 노름에서 원래 Kähler 메트릭으로 수렴하며, 수렴 속도는 $ \| \frac{1}{N} \Phi_N^* \omega_{FS} - \omega \|_{C^k} \leq C_k (N^{-1} + N^{k/2} e^{-\delta N r^2}) $ 로 유계이며, 특이점 근처에서 최적의 감쇠를 보인다.