[논문 리뷰] Orbifold compactness for spaces of Riemannian metrics and applications

Michael T. Anderson|ArXiv.org|2003. 12. 04.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 5

한 줄 요약

이 논문은 자연스러운 곡률 및 부피 유계 조건 하에서 리만계량의 공간에 대해 오비폴드 컴팩턴스를 확립하며, $L^{n/2}$-노름 제어, 비붕괴성, 국소 곡률 추정을 만족하는 계량 수열이 $C^{1,\beta}$ 오비폴드 극한으로 수렴함을 증명한다. 주요 기여는 에인슈타인, 바흐-평탄, 양라베 계량을 포함한 자연기능의 임계계량에 대한 컴팩턴스를 통합하는 일반적 프레임워크를 제공하며, 특이점과 곡률에 대해 균일한 유계를 제공한다.

ABSTRACT

This work proves certain general orbifold compactness results for spaces of Riemannian metrics, generalizing earlier results along these lines for Einstein metrics or metrics with bounded Ricci curvature. This is then applied to prove such compactness for spaces of Bach-flat (for example half-conformally flat) metrics on 4-manifolds, and related results for metrics which are critical points of other natural Riemannian functionals on the space of metrics.

연구 동기 및 목표

• 곡률에 대한 $L^{n/2}$-노름 유계, 비붕괴성, 국소 곡률 추정 조건 하에서 리만계량 수열에 대한 일반적 오비폴드 컴팩턴스 정리를 확립하기.
• 체거-그로모프 컴팩턴스를 에인슈타인 계량을 초월하여 바흐-평탄 및 양라베 계량을 포함한 더 넓은 임계계량 클래스로 확장하기.
• 특이점 수, 콘 유형 수, 국소 기본군 순서에 대한 균일한 유계를 곡률 및 부피 매개변수에만 의존하도록 제공하기.
• 비양성 곡률을 가진 바흐-평탄 양라베 계량의 붕괴와 캐스크 유사 극한 구조를 포함한 붕괴를 분석하기.
• ALE 공간과 자기 dual 계량에 대한 초전도체-고우스-본 네트 공식 및 지표 이론 공식을 통해 극한 오비폴드의 위상수학적 및 기하학적 제약 조건 유도하기.

제안 방법

• 정규화된 부피, $L^{n/2}$-곡률 유계, 비붕괴성, 국소 곡률 추정 (1.5) 조건을 만족하는 $n$-다양체의 공간 $\mathcal{M}(\Lambda, \nu_0, \delta_0, C_0)$ 정의하기.
• 국소 곡률 추정 (1.5)을 사용해 $L^{n/2}$-노름과 부피에 기반한 점별 곡률을 제어함으로써, 체거-그로모프 이론에서 전역 곡률 유계의 역할을 일반화하기.
• 그로모프-하우스도르프 수렴과 특이점 유한 개 외의 영역에서의 $C^{1,\alpha}$-정규성으로 극한 오비폴드 구조를 구성하기.
• 초전도체-고우스-본 네트 공식과 지표 정리(예: $\eta$-불변량에 대한)를 활용해 곡률 적분을 $\chi(M)$ 및 $\tau(M)$와 같은 위상수학적 불변량과 연결하기.
• 작은 곡률 추정 (1.5)을 사용해 $\int |R|^2$, $\int |Ric|^2$, $\int |z|^2$와 같은 기능의 임계계량이 요구되는 곡률 제어를 만족함을 보여주기.
• ALE 공간 모델을 통한 점근 극한 분석과 스칼라-평탄, 자기 dual 또는 반-공형 평탄한 ALE 끝에 대한 적분 항등식 (예: (3.26)–(3.28)) 유도하기.

실험 결과

연구 질문

• RQ1 점별 리치 곡률 유계를 가정하지 않고, $L^{n/2}$-곡률 유계와 비붕괴성 조건 하에서 리만계량 수열에 대해 오비폴드 컴팩턴스를 확립할 수 있는가?
• RQ2 붕괴하는 바흐-평탄 또는 임계계량 수열의 극한 오비폴드에 대한 위상수학적 및 기하학적 제약 조건은 무엇인가?
• RQ3 곡률 함수 $\int |R|^2$ 또는 $\int |Ric|^2$는 모듈리 공간의 구조와 그 컴팩티피케이션에 어떻게 관련되는가?
• RQ4 작은 곡률 추정 (1.5)은 국소 곡률 제어와 특이점 외의 영역에서의 $C^{1,\alpha}$ 수렴 가능성을 어떻게 보장하는가?
• RQ5 붕괴가 캐스크 유사 끝을 포함하는 경우, 특히 비양성 곡률을 가진 바흐-평탄 양라베 계량에 대해 컴팩턴스 결과를 확장할 수 있는가?

주요 결과

• $\mathcal{M}(\Lambda, \nu_0, \delta_0, C_0)$에 속하는 계량 수열은 그로모프-하우스도르프 위상에서 수렴하고, 정칙 부분의 컴팩트 부분집합에서 $C^{1,\alpha}$로 수렴하여 유한한 특이점 수를 가진 $C^{1,\alpha}$ 오비폴드 계량으로 수렴한다.
• 오비폴드 특이점 수, 각 특이점당 콘의 수, 국소 기본군 순서는 모두 $\Lambda$, $\nu_0$, $\delta_0$, $C_0$에 의해 균일하게 유계된다.
• 비양성 곡률을 가진 바흐-평탄 양라베 계량의 경우, 동일한 곡률 및 부피 유계 조건 하에서 오비폴드 컴팩턴스가 성립하며, 곡률의 $L^2$-노름은 위상수학적 불변량을 통해 유계가 된다.
• 4차원에서, 유한한 $L^2$-노름의 곡률과 양성 부피 성장 조건을 만족하는 $\mathbb{R}^4$ 상의 자기 dual, 스칼라-평탄 ALE 계량은 반드시 평탄하다. 이는 초전도체-고우스-본 네트 공식을 통해 증명된다.
• 자기 dual 계량의 $L^2$-노름 곡률은 $-7\chi(M) + 12\tau(M) + 7\sum \frac{1}{|\Gamma_k|} + 12\sum \eta(S^3/\Gamma_k)$에 의해 유계가 되며, 이는 위상수학적 상한을 제공한다.
• 함수 $\int |R|^2$, $\int |Ric|^2$, 또는 $\int |z|^2$의 임계계량은 작은 곡률 추정 (1.5)를 만족하며, 이는 비붕괴성 및 정규화 조건 하에서 주요 컴팩턴스 정리의 적용 가능성을 보장한다.