[논문 리뷰] Bergman kernels and equilibrium measures for ample line bundles

Robert J. Berman|ArXiv.org|2007. 04. 12.

Geometry and complex manifolds인용 수 24

한 줄 요약

이 논문은 일반적인 매끄러운 헤르미트 계량을 가진 암만한 헬름홀로피크 라인 번들의 경우, 컴acts한 복소다양체 위에서 베르그만 커널의 점근적 행동을 규명하며, 세 가지 자연스러운 측도(균형 측도, 베르그만 함수, k번째 베르그만 체적 형식)가 균형 계량과 곡률 형식을 포함한 동일한 극한으로 수렴함을 보여준다. 주요 결과는 베르그만 커널 점근적 행동이 균형 계량에 의해 지배되며, 균형 계량이 원래 계량과 일치하는 집합 외부에서는 지수적 감쇠가 발생하고, 곡률이 양일 경우 이 집합 내부에서는 완전한 국소 전개가 성립한다는 것이다.

ABSTRACT

Let L be an ample holomorphic line bundle over a compact complex Hermitian manifold X. Any fixed smooth Hermitian metric on L induces a Hilbert space structure on the space of global holomorphic sections with values in the k:th tensor power of L. In this paper various convergence results are obtained for the corresponding Bergman kernels. The convergence is studied in the large k limit and is expressed in terms of the equilibrium metric associated to the fixed metric, as well as in terms of the Monge-Ampere measure of the fixed metric itself on a certain support set. It is also shown that the equilibrium metric has Lipschitz continuous first derivatives. These results can be seen as generalizations of well-known results concerning the case when the curvature of the fixed metric is positive (the corresponding equilibrium metric is then simply the fixed metric itself).

연구 동기 및 목표

• 양의 곡률이 아닌 일반적인 매끄러운 헤르미트 계량을 가진 암만한 선 번들의 경우 기존의 베르그만 커널 점근적 행동 이론을 양의 곡률의 경우를 초월하여 확장하기.
• 원래 계량의 곡률 형식과 균형 계량을 통해 큰 k에서의 베르그만 함수 및 관련 측도의 극한을 기하학적 불변량으로 기술하기.
• 균형 계량 φₑ의 C^{1,1}-정규성을 입증하며, 이는 복소 몽제-암페르 이론에서 별도의 관심사가 되는 결과이다.
• Tian-Zelditch-Catlin 전개를 양의 곡률이 아닌 경우로 일반화하기 위해, 균형 계량이 원래 계량과 일치하는 집합에 국한하여 적용하기.
• 고정된 디바이저를 따라 허무어지는 섹션에 대한 프레임워크를 적응하여, 음의 곡률을 가진 특이 계량을 모델링하기.

제안 방법

• 복소 몽제-암페르 방정식의 하위해를 고려하여 상한으로서의 균형 계량 φₑ를 정의함으로써, 최대 곡률 정규화 계량을 포착한다.
• 고정된 계량 φ와 체적 형식 ωₙ에 의해 유도되는 H⁰(X, Lᵏ) 위의 힐버트 공간 구조를 이용하여, 수직 프로젝션 커널로서의 베르그만 커널 Kₖ(x,y)를 정의한다.
• 큰 k에서의 베르그만 함수 Bₖ(x) = Kₖ(x,x)e^{-kφ}의 점근적 행동을 분석하며, φₑ = φ인 집합 D 위에서 (ddᶜφₑ)ⁿ/n!를 포함하는 측도로 수렴함을 보인다.
• Bedford-Taylor 기법과 복소 몽제-암페르 방정식의 경계값 문제 기법을 응용하여 균형 계량 φₑ의 C¹,¹-정규성을 입증한다.
• X×X 위에서 측도 k⁻ⁿ|Kₖ(x,y)|²_{kφ}ωₙ(x)∧ωₙ(y)의 약한 수렴을 Δ ∧ 1_D (ddᶜφ)ⁿ/n!로 입증하며, 여기서 Δ는 대각선 커런트이다.
• 디바이저 Z를 따라 허무어지는 섹션의 부분공간에 대해 프레임워크를 적응하여, 디바이저에 의해 유도되는 특이 계량 ψ = φ - ln|s|²에 대해 결과가 그대로 성립함을 보였다.

실험 결과

연구 질문

• RQ1 고정 계량 φ의 곡률이 양이 아니고, 오직 준양성 또는 부호가 없는 경우, 베르그만 커널 점근적 행동은 어떻게 되는가?
• RQ2 기하학적 불변량을 통해, Bₖ(x) = Kₖ(x,x)e^{-kφ}의 큰 k에서의 정확한 극한은 무엇인가?
• RQ3 변분 문제로 정의된 균형 계량 φₑ는 곡률 형식 (ddᶜφ)ⁿ과 φₑ = φ인 지지집합 D와 어떻게 관련이 있는가?
• RQ4 양의 곡률을 가진 점에서만 성립하는 Tian-Zelditch-Catlin 국소 점근 전개는, 전반적으로 양의 곡률이 아니지만 국소적으로는 양의 곡률을 가진 점들로 일반화될 수 있는가?
• RQ5 섹션들이 고정된 디바이저를 따라 허무어지도록 요구될 경우, 베르그만 커널 점근적 행동은 어떻게 변하는가? 이는 음의 곡률을 가진 특이 계량을 효과적으로 도입하는 것이다.

주요 결과

• 균형 측도 (ddᶜφₑ)ⁿ/n!, 큰 k에서의 k⁻ⁿBₖωₙ의 극한, k번째 베르그만 체적 형식 (ddᶜ(k⁻¹ln Kₖ(x,x)))ⁿ/n!의 세 측도는 모두 약한 수렴으로 동일한 측도 1_D (ddᶜφ)ⁿ/n!로 수렴한다. 여기서 D는 균형 계량 φₑ가 원래 계량 φ와 일치하는 집합이다.
• 집합 D 내부에서, 베르그만 커널은 Kₖ(x,x) = (kⁿ det(ddᶜφₑ)(x) + ...) e^{kφₑ(x)}의 점근 전개를 가지며, k에 대한 저차항을 포함한다. 이 경우 주항등항은 ddᶜφₑ > 0일 때 Tian-Zelditch-Catlin 전개와 일치한다.
• D 외부에서는 베르그만 함수 Bₖ(x)가 지수적으로 감쇠한다: k → ∞일 때 Kₖ(x,x)e^{-kφ(x)} → 0 이며, 지수적으로 빠르게 수렴한다.
• 균형 계량 φₑ는 X 위에서 C¹,¹-정규성을 가지며, 이는 복소 몽제-암페르 이론에서 별도의 관심사가 되는 결과이다.
• X×X 위에서 측도 k⁻ⁿ|Kₖ(x,y)|²_{kφ}ωₙ(x)∧ωₙ(y)의 약한 극한은 Δ ∧ 1_D (ddᶜφ)ⁿ/n!이며, 여기서 Δ는 대각선에 대한 적분 커런트이다.
• 섹션들이 디바이저 Z를 따라 허무어지면, 결과는 특이 계량 ψ = φ - ln|s|²에 대해 확장되며, 이 경우 점근적 행동은 ψ에 대응하는 균형 계량에 의해 지배되며, 곡률의 지지집합에 대한 체적 조건으로 정의된 집합 D_Z에 의해 결정된다.