[논문 리뷰] The Topology of Open Manifolds with Nonnegative Ricci Curvature

Zhongmin Shen, Christina Sormani|ArXiv.org|2006. 06. 30.

Geometric Analysis and Curvature Flows참고 문헌 50인용 수 15

한 줄 요약

이 종합 논문은 비음수 리치 곡률을 가진 완전한 비콤팩트 리만 다양체의 위상수학을 종합적으로 검토하며, 차원, 체적 성장 또는 지름 성장 제약 조건에서 유도된 결과에 집중한다. 체거-그로몰 분할 정리, 밀너의 기본군의 유한 생성성에 대한 추측, 루프를 무한히 끌고 가는 정리와 같은 기존의 정리들을 통합하면서도, 이중 소렌로이드 보완부에 리치 ≥ 0인 계량이 존재하는지 여부, 3차원 다양체의 위상 등 열린 문제들을 부각시킨다.

ABSTRACT

We survey all results concerning the topology of complete noncompact Riemannian manifolds with nonnegative Ricci curvature that have no additional conditions other than restrictions to the dimension, volume growth or diameter growth of the manifold. We will also present relevant examples and list open problems.

연구 동기 및 목표

• 최소한의 기하적 가정 하에 리치 ≥ 0인 완전한 비콤팩트 다양체에 대한 모든 알려진 위상수학적 결과를 체계적으로 요약하는 것.
• 이러한 다양체에 대해 코드임계-일차 호모로지 군 $ H_{n-1}(M,\mathbb{Z}) $ 를 분류하고 $ H_{n-2}(M,\mathbb{Z}) $ 를 제약 조건에 둔다.
• 왜곡된 곱, 샤-양 다양체, 페렐만의 빌딩 블록과 같은 주요 예를 제시하여 다양한 위상적 유형의 다양성을 보여주는 것.
• 특히 밀너의 추측의 상태와 이중 소렌로이드 보완부에 리치 ≥ 0 계량이 존재할 수 있는지 여부와 같은 열린 문제들을 부각시키는 것.
• 체적 성장과 루프를 무한히 끌고 가는 성질과 같은 정성적 성질을 특징으로 하여 향후 연구를 이끌어내는 것.

제안 방법

• 체거-그로몰 분할 정리를 활용하여, 직선을 포함하는 다양체가 등급적으로 $ \mathbb{R} \times N^{n-1} $ 로 분할됨을 보이며, 끝의 수를 최대 두 개로 제한한다.
• 비숍-그로모프 체적 비교 정리를 적용하여 체적 성장을 분석하고, 곡률 상한과 기본군의 구조 간의 관계를 규명한다.
• 루프를 무한히 끌고 가는 정리를 활용하여, 리치 ≥ 0인 다양체 내의 임의의 루프는 무한히 끌고 갈 수 있음을 보이며, 이는 기본군의 위상적 제약 조건을 암시한다.
• 왜곡된 곱 구조 $ [0,\infty) \times_f S^1 $ 를 분석하여 $ \text{Ric} \geq 0 $ 인 예를 생성하며, 유클리드 공간과 구를 포함한다.
• 이중 소렌로이드 보완부를 밀너의 추측에 대한 잠재적 반례로 고려하며, 중첩된 토러스와 무한한 루프를 이용해 덮개군이 이중 유리수군과 동형이 되는 기본군을 구성한다.
• 조화 사상 기법과 벡터 번들의 구성 방법을 검토하여, $ N^3 \times \mathbb{R}^k $ 와 같이 단순 연결이 아닌 다양체에 리치 ≥ 0 계량이 존재하는지 탐색한다.

실험 결과

연구 질문

• RQ1 이중 소렌로이드 보완부는 $ \text{Ric} > 0 $ 인 계량이 존재하지 않음에도 불구하고, 완전한 리만 계량을 가질 수 있는가?
• RQ2 리치 ≥ 0인 3차원 다양체의 기본군은 밀너의 추측에 따라 반드시 유한 생성되는가?
• RQ3 리치 ≥ 0인 다양체가 비자명한 기본군을 가질 수 있는 최소 체적 성장 또는 지름 성장은 무엇인가?
• RQ4 왜곡된 이중 소렌로이드 $ N^3 \times \mathbb{R}^k $ 는 리치 ≥ 0 계량을 가질 수 있는가? 만약 그렇다면, 이는 밀너의 추측에 어떤 함의를 갖는가?
• RQ5 특히 기본군이 자명하지 않은 경우, 콪 pact 다각형 위의 벡터 번들에 리치 ≥ 0 계량이 존재하는 데 있어 위상적 장벽은 무엇인가?

주요 결과

• 체거-그로몰 분할 정리는, 리치 ≥ 0를 만족하는 완전한 비콤팩트 다양체가 직선을 포함하면 등급적으로 $ \mathbb{R} \times N^{n-1} $ 로 분할됨을 암시하며, 이는 끝의 수를 최대 두 개로 제한한다.
• $ \text{Ric} > 0 $ 인 경우, 다양체는 정확히 한 개의 끝만 가질 수 있으며, 이러한 다양체는 직선을 포함할 수 없다.
• 리치 ≥ 0 조건 하에서 코드임계-일차 호모로지 군 $ H_{n-1}(M,\mathbb{Z}) $ 는 $ \mathbb{Z} $ 와 동형이며, $ H_{n-2}(M,\mathbb{Z}) $ 는 토크션 없이 제약을 받는다.
• 루프를 무한히 끌고 가는 정리는, 리치 ≥ 0인 다양체 내의 임의의 루프는 무한히 끌고 갈 수 있음을 보이며, 이는 다양체가 2차 체적 성장을 가질 경우 기본군이 유한 생성됨을 암시한다.
• 주가 보여주었듯이, 리치 ≥ 0 이며 체적 성장이 정확히 $ r^3 $ 인 3차원 다양체는 수축 가능하지만, 일반적인 경우는 열려 있다.
• 이중 소렌로이드 보완부는 덮개군이 덮개군에 대해 덮개군이 이중 유리수군과 동형이며, 모든 알려진 위상적 조건을 만족하지만, 리치 ≥ 0 계량이 존재하는지 여부는 열린 문제이다.