[논문 리뷰] Random almost holomorphic sections of ample line bundles on symplectic manifolds

Bernard Shiffman, Steve Zelditch|ArXiv.org|2000. 01. 19.

Geometry and complex manifolds참고 문헌 23인용 수 13

한 줄 요약

이 논문은 암시적 복소 구조를 가진 심플렉틱 다양체 위에서 앰플 라인 번들의 고차수의 무작위 거의 헬름홀로픽 섹션들이 $N \to \infty$일 때 확률적 의미에서 점점 헬름홀로픽 행동을 보임을 확립한다. $\bar{\partial}$ 연산자의 미세해석과 슈체고 프로젝터의 점근적 성질을 이용하여, 일반적인 섹션들이 날카운 노름 상한을 만족하고, 가까운 점들에서의 값과 도함수들의 공동 분포가 헬름홀로픽 경우와 동일한 보편적 척도 극한을 가짐을 증명한다.

ABSTRACT

The spaces $H^0(M, L^N)$ of holomorphic sections of the powers of an ample line bundle $L$ over a compact Kähler manifold $(M,ω)$ have been generalized by Boutet de Monvel and Guillemin to spaces $H^0_J(M, L^N)$ of `almost holomorphic sections' of ample line bundles over an almost complex symplectic manifold $(M, J, ω)$. We consider the unit spheres $SH^0_J(M, L^N)$ in the spaces $H^0_J(M, L^N)$, which we equip with natural inner products. Our purpose is to show that, in a probabilistic sense, almost holomorphic sections behave like holomorphic sections as $N o \infty$. Our first main result is that almost all sequences of sections $s_N \in SH^0_J(M, L^N)$ are `asymptotically holomorphic' in the Donaldson-Auroux sense that $||s_N||_{\infty}/||s_N||_{2} = O(\sqrt{\log N})$, $||\bar{\partial} s_N||_{\infty}/||s_N||_{2} = O(\sqrt{\log N})$ and $||\partial s_N||_{\infty}/||s_N||_{2} = O(\sqrt{N \log N})$. Our second main result concerns the joint probability distribution of the random variables $s_N(z^p),\ abla s_N(z^p)$, $1\le p\le n$, for $n$ distinct points $z^1,..., z^n$ in a neighborhood of a point $P_0\in M$. We show that this joint distribution has a universal scaling limit about $P_0$ as $N o \infty$. In particular, the limit is precisely the same as in the complex holomorphic case. Our methods involve near-diagonal scaling asymptotics of the Szegö projector $Π_N$ onto $H^0_J(M, L^N)$, which also yields proofs of symplectic analogues of the Kodaira embedding theorem and Tian asymptotic isometry theorem.

연구 동기 및 목표

• 거의 복소 심플렉틱 다양체 위에서 부아탱 드 몽벨-쥐외맹 프레임워크 내에서 거의 헬름홀로픽 섹션의 일반적인 확률적 행동을 이해하는 것.
• 무작위로 선택된 정규화된 거의 헬름홀로픽 섹션의 수열이 도널드슨과 아우루오의 의미에서 점점 헬름홀로픽 섹션과 유사하게 행동함을 증명하는 것.
• 유한 개의 점들에서 값과 도함수들의 공동 분포가 보편적 극한으로 수렴하는지 확인하는 것 — 이는 헬름홀로픽 경우와 동일하다.

제안 방법

• 헤르미트 메트릭과 심플렉틱 부피 형식을 이용해 $H^0_J(M, L^N)$ 공간들에 $L^2$ 내적을 부여하는 것.
• 단위 구면 $SH^0_J(M, L^N)$ 위의 하르 확률 측도 $\nu_N$ 를 이용해 무작위 섹션의 확률 모델을 정의하는 것.
• 슈체고 프로젝터 $\Pi_N$ 의 근접 대각선 점근적 성질을 적용하여 무작위 섹션의 공분산 구조를 분석하는 것.
• 제트 사상의 자코비안 $\mathcal{J}_N$ 을 통해 $n$개의 점들에서의 값과 일阶 도함수들의 공동 확률 밀도를 유도하는 것.
• 스케일링된 공분산 행렬 $\Delta^N(z/\sqrt{N})$ 이 보편적 극한 $\Delta^\infty(z)$ 로 수렴함을 증명하는 것 — 이는 하이젠베르크 군의 슈체고 커널로 주어진다.
• 동일한 점근적 프레임워크를 통해 코다이라 매bedding 정리와 티안의 점근적等距 정리의 심플렉틱 유사 정리를 도출하는 것.

실험 결과

연구 질문

• RQ1 무작위 거의 헬름홀로픽 섹션들이 $N \to \infty$ 일 때 도널드슨-아우루오의 의미에서 점근적 헬름홀로픽 상한을 만족하는가?
• RQ2 무작위 거의 헬름홀로픽 섹션의 $n$개의 가까운 점들에서의 값과 도함수들의 공동 분포는 특정 다양체나 라인 번들의 선택에 관계없이 보편적인가?
• RQ3 무작위 섹션의 제트 자료 공분산 구조의 정확한 척도 극한은 무엇인가? $N \to \infty$ 일 때.
• RQ4 심플렉틱 유사 정리들 — 예를 들어 코다이라 매bedding 정리와 티안의 등거리 정리 — 는 거의 헬름홀로픽 섹션의 점근적 행동으로부터 도출될 수 있는가?
• RQ5 $L^\infty$ 노름 $\|s_N\|_\infty$, $\|\bar{\partial}s_N\|_\infty$, 그리고 그들의 도함수들은 일반적인 무작위 섹션에서 $N$ 에 따라 어떻게 척도화되는가?

주요 결과

• 모든 거의 헬름홀로픽 섹션의 $L^2$ 정규화된 수열은 $N \to \infty$ 일 때 $\|s_N\|_\infty / \|s_N\|_2 = O(\sqrt{\log N})$ 과 $\|\bar{\partial}s_N\|_\infty / \|s_N\|_2 = O(\sqrt{\log N})$ 를 만족한다.
• 일阶 도함수들에 대해서는 $k \geq 1$ 일 때 $\|\nabla^k s_N\|_\infty / \|s_N\|_2 = O(N^{k/2} \sqrt{\log N})$ 과 $\|\nabla^k \bar{\partial}s_N\|_\infty / \|s_N\|_2 = O(N^{k/2} \sqrt{\log N})$ 를 만족한다.
• 스케일링된 $n$개의 점들에서의 값과 일阶 도함수들의 공동 분포는 $N \to \infty$ 일 때 보편적 극한 $\gamma_{\Delta^\infty(z)}$ 로 약한 수렴을 보이며, 다양체나 번들의 선택과 무관하다.
• 극한 공분산 행렬 $\Delta^\infty(z)$ 는 감소한 하이젠베르크 군 위의 슈체고 커널과 그 도함수로 명시적으로 주어지며, 비호로모픽 성분은 0이다.
• 척도 극한은 정확히 헬름홀로픽 경우의 보편적 극한과 일치하여 국소 통계의 보편성 확인된다.
• 결과들은 슈체고 프로젝터의 점근적 분석을 통해 코다이라 매bedding 정리와 티안의 점근적 등거리 정리의 심플렉틱 유사 정리를 암시한다.