[논문 리뷰] Convergence of Bergman measures for high powers of a line bundle

Robert J. Berman, David Witt Nyström|ArXiv.org|2008. 05. 19.

Geometry and complex manifolds참고 문헌 8인용 수 9

한 줄 요약

이 논문은 참조 측도 $d\mu$가 $(K, \varphi)$에 대해 안정적으로 버진-마르크 조건을 만족할 조건 하에, 고차원 복소다양체에서 고차 텐서 거듭제곱을 갖는 헬름홀트선다발의 스케일링된 버그만 측도가 평형 측도 $(K, \varphi)$로 약수렴함을 확립한다. 이 결과는 복소다양체의 고차원 버전으로 일반화된 고전적 직교다항식 및 랜덤행렬 고유값 분포 이론을 다항성 이론과 점근 해석을 통해 다루고 있다.

ABSTRACT

Let $L$ be a holomorphic line bundle on a compact complex manifold $X$ of dimension $n,$ and let $e^{-ϕ}$ be a continuous metric on $L.$ Fixing a measure $dμ$ on $X$ gives a sequence of Hilbert spaces consisting of holomorphic sections of tensor powers of $L.$ We prove that the corresponding sequence of scaled Bergman measures converges, in the high tensor power limit, to the equilibrium measure of the pair $(K,ϕ),$ where $K$ is the support of $dμ,$ as long as $dμ$ is stably Bernstein-Markov with respect to $(K,ϕ).$ Here the Bergman measure denotes $dμ$ times the restriction to the diagonal of the pointwise norm of the corresponding orthogonal projection operator. In particular, an extension to higher dimensions is obtained of results concerning random matrices and classical orthogonal polynomials.

연구 동기 및 목표

• 콤���한 복소다양체 $X$ 상에서 $k \to \infty$일 때 스케일링된 버그만 측도 $\frac{B_{k\varphi}}{k^n}d\mu$의 약수렴을 확립한다.
• 이전의 직교다항식 및 랜덤행렬 고유값 분포 이론 결과를 고차원 복소다양체로 일반화한다.
• 참조 측도 $d\mu$가 $(K, \varphi)$에 대해 안정적으로 버진-마르크 조건을 만족할 경우, 극한 측도가 평형 측도 $\mathrm{MA}(P_K(\varphi))$임을 증명한다.
• 블룸-레벤버그 및 다른 연구자들이 제기한 고차원 및 일반 선다발 설정에서의 수렴에 관한 추측을 해결한다.

제안 방법

• 항등사상 $K_{\varphi}(z,w)$를 $C^\infty(X,L)$에서 $H^0(X,L)$로의 정규직교 프로젝션으로 사용한다.
• 버그만 함수 $B_{\varphi}(z) = \sum_i |s_i(z)|^2 e^{-\varphi}$를 정의하여, 버그만 측도 $B_{\varphi}(z)d\mu(z)$를 생성한다.
• 고차 텐서 거듭제곱 극한 $k \to \infty$에서 스케일링된 버그만 측도 $\frac{B_{k\varphi}}{k^n}d\mu$를 분석한다.
• 섹션의 $L^2$-노름에 대한 점근적 통제를 확보하기 위해 안정적인 버진-마르크 측도 개념을 적용한다.
• 최근 [4]의 결과를 활용하여 상대적 $\mathcal{E}_0$-함수의 정규성 및 볼록성에 관한 결과를 활용한다.
• 로그 볼륨 함수의 이阶도 도함수를 활용한 변분적 접근을 통해 볼륨 함수의 볼록성과 도함수의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 연속적인 메트릭 $\varphi$를 갖는 헬름홀트선다발 $L$에 대해, 스케일링된 버그만 측도 $\frac{B_{k\varphi}}{k^n}d\mu$가 $k \to \infty$일 때 약수렴하는가?
• RQ2 측도 $d\mu$가 어떤 조건을 만족할 경우 극한이 평형 측도 $\mathrm{MA}(P_K(\varphi))$가 되는가?
• RQ3 일차원 설정(예: 직교다항식)에서의 수렴 결과를 고차원 복소다양체로 확장할 수 있는가?
• RQ4 고차 텐서 거듭제곱 극한에서 평형 측도 $\mathrm{MA}(P_K(\varphi))$는 버그만 측도의 자연스러운 극한인가?

주요 결과

• 스테이블 버진-마르크 조건 하에 스케일링된 버그만 측도 $\frac{B_{k\varphi}}{k^n}d\mu$는 평형 측도 $\mathrm{MA}(P_K(\varphi))$로 약수렴한다.
• 이 수렴은 복소다양체 $X$의 차원이 $n$인 콤팩트한 복소다양체 상에서 연속 메트릭 $\varphi$를 갖는 헬름홀트선다발 $L$에 대해 임의로 성립한다.
• 이 결과는 블룸-레벤버그(2012) 및 다른 연구자들의 고차원 및 일반 선다발 설정에서의 추측을 확인한다.
• 증명은 로그 볼륨 함수의 볼록성과 그 첫 번째 도함수의 평형 측도로의 수렴성에 기반한다.
• 수렴은 볼륨 함수의 이阶도 도함수를 활용한 변분적 방법을 통해 확립되며, 이 도함수의 비음성(음이 아닌 성질)이 입증된다.
• 평형 측도 $\mathrm{MA}(P_K(\varphi))$는 스케일링된 버그만 측도의 약극한으로 특징지어지며, 복소다양체 이론의 고전적 결과를 일반화한다.