[논문 리뷰] Szego kernels and a theorem of Tian

Steve Zelditch|ArXiv.org|2000. 02. 03.

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

한 줄 요약

이 논문은 컴acts한 칼라다이만포르만에서의 양성 선다발의 고차수의 헬름홀로픽 섹션의 정규직교 기저의 노름의 제곱합에 대한 완전한 점근 전개를 수립한다. 부테 데 몽벨–시오스트란드 파라메트릭스와 복소 조화적 적분의 정적분법을 이용한 미세국소 분석을 통해, 주된 항이 $ N^n $ 이고, $ N^{n-1}, N^{n-2}, \dots $ 의 하위항이 존재하는 점근 전개를 증명하며, 티안의 수렴 결과를 $ C^\infty $-위상으로 정교화하고, 왜곡 함수와 푸비니–슈트로메트릭 계량에 대한 완전한 점근 급수를 제공한다.

ABSTRACT

We give a simple proof of Tian's theorem that the Kodaira embeddings associated to a positive line bundle over a compact complex manifold are asymptotically isometric. The proof is based on the diagonal asymptotics of the Szego kernel (i.e. the orthogonal projection onto holomorphic sections). In deriving these asymptotics we use the Boutet de Monvel-Sjostrand parametrix for the Szego kernel.

연구 동기 및 목표

• 콤���트 칼라다이만포르만에서의 고차수 $ L^{igotimes N} $ 의 헬름홀로픽 섹션의 노름의 제곱합에 대한 완전한 점근 전개를 수립한다.
• 푸비니–슈트로메트릭 형식의 당김이 원래의 칼라다이만포르만 형식으로 수렴하는 티안의 결과를 $ C^\infty $-수렴으로 강화하여, 단지 $ C^2 $ 수렴을 넘어서는 것을 보인다.
• 헤르미트 계량 $ h_N $ 과 푸비니–슈트로메트릭 계량 $ h_{FS,N} $ 사이의 완전한 점근 급수를 도출한다. 하위항을 포함한다.
• 다양체 $ M $ 상의 헬름홀로픽 기하학과 선다발 $ L^* $ 의 단위 원환면 $ X $ 상의 CR 기하학을 연결함으로써, 츠에고 커널 이론의 적용을 가능하게 한다.
• 배경 계량 $ G $ 에 대한 리치 곡률의 고유값에 따라 비율 $ h_N / h_{FS,N} $ 의 정확한 공식을 제공한다.

제안 방법

• 단위 원환면 $ X $ 상에서 츠에고 커널 $ \Pi_N(x,x) $ 에 대한 부테 데 몽벨–시오스트란드 파라메트릭스를 사용한다. 이는 $ L^2(X) $ 를 하드비 하우스 $ H^2(X) $ 로 사영한다.
• 복소 조화적 적분의 정적분법을 $ \Pi_N(x,x) $ 의 진동 적분 표현에 적용하여, 위상 함수 $ \Psi(t,\theta;x,y) $ 와 그 임계점을 분석한다.
• 임계집합 $ \{(t,\theta) = (1,0)\} $ 에서 위상의 헤시안을 계산하고, 비퇴화성을 보이며, 고차항을 위한 미분 연산자 $ L_\Psi $ 를 유도한다.
• 형태 $ \Pi_N(x,x) \sim N^n C_n s_0(x,x) + N^{n-1} a_1(x,x) + \cdots $ 의 점근 전개를 유도하며, 계수는 대각선을 따라 기호의 임계 데이터에 따라 결정된다.
• S^1-불변 성질을 통해 $ X $ 상의 츠에고 커널을 $ \sum_i |S_i^N(z)|_{h_N}^2 $ 와 연결함으로써, 섹션의 $ L^2 $-노름과 원환면 위의 커널을 연결한다.
• 항등식 $ \partial_b \bar\partial_b \log \Pi_N(x,x) = \partial_b \bar\partial_b \log s_0(x,x) + O(N^{-1}) $ 를 사용하여 곡률 점근 전개를 도출하고, $ \frac{1}{N} \phi_N^* \omega_{FS} \to \omega_g $ 가 $ C^k $-위상에서 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 합 $ \sum_{i=0}^{d_N} |S_i^N(z)|_{h_N}^2 $ 는 $ N $ 의 거듭제곱에 대한 완전한 점근 전개를 가지는가? 만약 그렇다면 계수는 무엇인가?
• RQ2 $ \frac{1}{N} \phi_N^* \omega_{FS} $ 가 $ C^2 $ 에서 $ C^\infty $-위상으로 수렴하는가를 강화할 수 있는가?
• RQ3 왜곡 함수 $ h_N / h_{FS,N} $ 의 정확한 점근적 행동은 무엇이며, 선다발의 곡률과 배경 계량의 선택에 따라 어떻게 달라지는가?
• RQ4 원환면 $ X $ 상의 츠에고 커널의 미세국소 분석은 다양체 $ M $ 과 헬름홀로픽 섹션의 공간의 전반적 기하학과 어떻게 관련되는가?
• RQ5 노름의 제곱합의 점근 전개에서 하위항은 곡률 불변량을 통해 명시적으로 계산하고 표현할 수 있는가?

주요 결과

• 합 $ \sum_{i=0}^{d_N} |S_i^N(z)|_{h_N}^2 $ 는 완전한 점근 전개를 갖는다: $ a_0 N^n + a_1(z) N^{n-1} + a_2(z) N^{n-2} + \cdots $, 여기서 $ a_0 = 1 $ 이며, 임의의 $ R $ 에 대해 $ O(N^{n-R}) $ 오차까지 $ C^k $-노름에서 유효하다.
• $ \frac{1}{N} \phi_N^* \omega_{FS} $ 가 $ C^\infty $-위상에서 $ \omega_g $ 로 수렴함을 확인하였으며, 이는 티안의 추측을 확인한다.
• 비율 $ \frac{h_{N,z}}{h_{FS,N,z}} = \left( \frac{N}{2\pi} \right)^n |\alpha_1(z) \cdots \alpha_n(z)| + O(N^{n-1}) $ 이며, 여기서 $ \alpha_j(z) $ 는 배경 계량 $ G $ 에 대해 $ \operatorname{Ric}(h) $ 의 고유값이다.
• 배경 계량 $ G $ 가 $ \omega_g = \operatorname{Ric}(h) $ 와 관련된 칼라다이만포르만 계량일 경우, 고유값 $ \alpha_j(z) \equiv 1 $ 이 되므로, $ \frac{h_N}{h_{FS,N}} \sim \left( \frac{N}{2\pi} \right)^n $ 이 된다.
• 복소 위상 $ \Psi(t,\theta;x,y) $ 에 정적분법을 적용한 결과, $ t=1, \theta=0 $ 에서 비퇴화된 임계점이 존재하며, 이로 인해 $ N^{-1} $ 의 전개가 완전한 급수로 유도된다.
• 주항 $ a_0 = 1 $ 은 리만–로흐 다항식과 일치함으로써 확인되며, 이는 알려진 부피 점근 전개와의 일致를 보장한다.