[논문 리뷰] Variational problems for Riemannian functionals and arithmetic groups

Alexander Nabutovsky, Shmuel Weinberger|arXiv (Cornell University)|1997. 11. 08.

advanced mathematical theories인용 수 3

한 줄 요약

이 논문은 차원 ≥5인 컴act 다양체 위의 메트릭의等거리류 공간에서 리만 함수계열을 연구하기 위한 새로운 변분 접근법을 제안한다. 주어진 다양체 M^n에 대한 문제를 제어된 리치 곡률과 스칼라 곡률 성질을 갖는 다양체의 계열로 환원함으로써, 유계 섹션 볼드 곡률을 갖는 리만 기하 구조의 폐포에서 직경 함수계열이 무수히 많은 '매우 깊은' 국소 최솟값을 갖는다는 것을 증명한다.

ABSTRACT

In this paper we introduce a new approach to variational problems on the space Riem(M^n) of Riemannian structures (i.e. isometry classes of Riemannan metrics) on any fixed compact manifold M^n of dimension n >= 5. This approach often enables one to replace the considered variational problem on Riem(M^n) (or on some subset of Riem(M^n)) by the same problem but on spaces Riem(N^n) for every manifold N^n from a class of compact manifolds of the same dimension and with the same homology as M^n but with the following two useful properties: (1) If νis any Riemannian structure on any manifold N^n from this class such that Ric_(N^n,ν) >= -(n-1), then the volume of (N^n,ν) is greater than one; and (2) Manifolds from this class do not admit Riemannian metrics of non-negative scalar curvature. As a first application we prove a theorem which can be informally explained as follows: Let M be any compact connected smooth manifold of dimension greater than four, M et(M) be the space of isometry classes of compact metric spaces homeomorphic to M endowed with the Gromov-Hausdorff topology, Riem_1(M) in M et(M ) be the space of Riemannian structures on M such that the absolute values of sectional curvature do not exceed one, and R_1(M) denote the closure of Riem_1(M) in M et(M ). Then diameter regarded as a functional on R_1(M) has infinitely many "very deep" local minima.

연구 동기 및 목표

• 차원 n ≥ 5인 컴act 다양체 위의 리만 기하 구조 공간에서의 변분 문제를 분석하기 위한 새로운 방법을 개발하는 것.
• Riem(M^n) 위의 변분 문제를 M^n과 동일한 호모로지를 가지지만 유리한 기하 제약 조건을 갖는 모델 다양체 N^n 위의 등가 문제로 대체하는 것.
• 모델 다양체에서 리치 곡률이 아래로 유계이고, 음이 아닌 스칼라 곡률을 갖는 메트릭가 존재하지 않는 기하 조건을 확립하여 더 강력한 분석적 통제를 가능하게 하는 것.
• 이 방법을 적용하여, 유계 섹션 볼드 곡률을 갖는 리만 기하 구조의 폐포에서 직경 함수계열에 대해 무수히 많은 '매우 깊은' 국소 최솟값의 존재를 증명하는 것.
• 이러한 최솟값이 대칭성 또는 저차원성의 산물이 아니며, 구조적으로 안정되어 있음을 보여주는 것.

제안 방법

• M^n과 동일한 호모로지를 가지지만, Ric(N^n, ν) ≥ -(n−1)를 만족하는 모든 메트릭 ν에 대해 vol(N^n, ν) > 1임을 보장하는, 컴act n차원 다양체 N^n의 집합을 도입하는 것.
• 이러한 모델 다양체에서 음이 아닌 스칼라 곡률을 갖는 리만 메트릭이 존재하지 않음을 이용하여 일부 기하학적 붕괴를 배제하는 것.
• 위상적 및 기하학적 불변성을 활용하여, Riem(M^n) 위의 변분 문제를 주어진 클래스의 모든 N^n에 대해 Riem(N^n) 위의 등가 문제로 환원하는 것.
• Gromov-Hausdorff 위상구조를 사용하여, M와 동형인 컴팩트 메트릭 공간의 공간에서 Riem_1(M)의 폐포 R_1(M)를 분석하는 것.
• 곡률 제약 조건, 체적 제어, 스칼라 곡률의 금지 조건 간의 상호작용을 분석하여 직경 함수계열의 임계점을 연구하는 것.
• R_1(M) 위의 직경 함수계열이 무수히 많은 국소 최솟값을 갖는다는 것을 입증하며, 이 최솟값들은 '매우 깊다'—즉, 국소적이며, 인접한 임계값들로부터 큰 에너지 간격을 가지며, 안정성을 나타냄.

실험 결과

연구 질문

• RQ1 고정된 다양체 M^n 위의 리만 기하 구조 공간에서의 변분 문제는, 곡률과 체적을 제어하는 특성들을 갖는 모델 다양체의 집합으로 환원될 수 있는가?
• RQ2 모델 다양체에 대한 기하 제약 조건은 체적이 아래로 유계이고, 음이 아닌 스칼라 곡률을 갖는 메트릭가 존재하지 않도록 보장하는가?
• RQ3 유계 섹션 볼드 곡률을 갖는 리만 기하 구조의 폐포에서 직경 함수계열은 무수히 많은 국소 최솟값을 갖는가?
• RQ4 이러한 국소 최솟값들은 인접한 임계값들로부터 상당한 에너지 간격을 가지며, '매우 깊다'는 의미에서 의미 있는가?
• RQ5 특정 위상적 및 곡률 성질을 갖는 다양체로의 환원을 통해 이러한 최솟값의 존재를 확립할 수 있는가?

주요 결과

• 모든 컴팩트 연결 미분 다양체 M^n(차원 n ≥ 5)에 대해, |섹션 볼드 곡률| ≤ 1인 리만 기하 구조의 폐포 R_1(M)에서 직경 함수계열은 무수히 많은 국소 최솟값을 갖는다.
• 이러한 국소 최솟값들은 '매우 깊다'—즉, 근처의 임계값들로부터 상당한 에너지 간격을 가지며, 안정성을 나타냄.
• 환원 방법은 M^n과 동일한 호모로지를 가지며, Ric(N^n, ν) ≥ -(n−1) ⇒ vol(N^n, ν) > 1를 만족하는 모델 다양체 N^n의 집합에 의존한다.
• 모델 다양체는 음이 아닌 스칼라 곡률을 갖는 어떤 리만 메트릭도 허용하지 않으며, 이는 기하학적 붕괴를 방지하는 데 필수적이다.
• 이 방법은 Riem(M^n) 위의 변분 문제를 이 클래스의 모든 N^n에 대해 Riem(N^n) 위로 이전시키며, 임계점의 구조를 유지한다.
• 결과적으로, 산술군 작용과 곡률 제어를 통한 기하 변분 문제에서 임계점의 급격한 증식을 위한 새로운 메커니즘이 확립된다.