[논문 리뷰] $L^2$ Curvature Bounds on Manifolds with Bounded Ricci Curvature

Wenshuai Jiang, Aaron Naber|arXiv (Cornell University)|2016. 05. 18.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 16

한 줄 요약

이 논문은 유계 리치 곡률과 비 collapsing 체적 조건을 만족하는 리만 다양체에 대해 $L^2$ 곡률 경계 추측을 증명하며, 리만 곡률 텐서의 $L^2$ 노름이 균일하게 유계임을 확립한다. 또한, 그로모프-하우스도르프 극한 공간에서의 특이점 집합이 $n-4$-직선적이고 유한한 $H^{n-4}$ 측도를 가지며, 이는 $n-4$ 유한성 추측을 확인하고 거의 모든 접선 원뿔이 $ℝ^{n-4} \times C(S^3/\Gamma)$와 등급임을 보여준다.

ABSTRACT

Consider a Riemannian manifold with bounded Ricci curvature $|\Ric|\leq n-1$ and the noncollapsing lower volume bound $\Vol(B_1(p))> v>0$. The first main result of this paper is to prove that we have the $L^2$ curvature bound $\fint_{B_1(p)}|\Rm|^2 < C(n, v)$, which proves the $L^2$ conjecture. In order to prove this, we will need to first show the following structural result for limits. Namely, if $(M^n_j,d_j,p_j) \longrightarrow (X,d,p)$ is a $GH$-limit of noncollapsed manifolds with bounded Ricci curvature, then the singular set $\cS(X)$ is $n-4$ rectifiable with the uniform Hausdorff measure estimates $H^{n-4}\big(\cS(X)\cap B_1\big)

연구 동기 및 목표

• 유계 리치 곡률 $|\mathrm{Ric}| \leq n-1$ 과 체적 하한 $\mathrm{Vol}(B_1(p)) > \mathrm{v} > 0$ 를 만족하는 리만 다양체에서 리만 곡률 텐서에 대한 $L^2$ 경계를 확립한다.
• 이러한 다양체의 그로모프-하우스도르프 극한에서의 특이점 집합이 $n-4$-직선적이고 유한한 $H^{n-4}$ 측도를 가짐을 증명한다.
• 유계 리치 곡률과 비 collapsing 조건을 만족하는 다양체의 극한에 대해 케이러와 콜딩이 제기한 $n-4$ 유한성 추측을 확인한다.
• 특이점 집합에서 $n-4$-거의 모든 점에서의 접선 원뿔이 유일하고 $ℝ^{n-4} \times C(S^3/\Gamma)$와 등급임을 보여준다. 여기서 $\Gamma \subseteq O(4)$ 는 유한군이다.

제안 방법

• 곡률이 제어되고 기하학이 근사적으로 곱 구조와 유사한 $(\delta,\tau)$-목 영역들로 다양체를 덮기 위해 목 분해 정리를 사용한다.
• 조화 함수 이론과 $\epsilon$-정규성 정리들을 활용하여 목 영역에서 $\mathcal{H}$-체적 및 국소 $L^2$ 곡률 추정을 확립한다.
• $\delta$-분할 함수와 조화 반지름 추정을 적용하여 곡률를 제어하고 리프엔베르그 유형 정규성을 증명한다.
• 목 영역에서 하향 아르플로르 정규성과 체적 비교 추정을 증명하여 특이점 집합의 $H^{n-4}$ 측도를 유계로 제한한다.
• 귀납법과 반복적 커버링 체계를 활용하여 최대 목 영역를 구성하고 분해를 정밀화한다.
• 목 분해와 접선 원뿔 분석을 활용하여 $n-4$-거의 모든 접선 원뿔이 유일하고 $ℝ^{n-4} \times C(S^3/\Gamma)$ 형태임을 보여준다.

실험 결과

연구 질문

• RQ1 유계 리치 곡률과 비 collapsing 체적 조건을 만족할 때, 유한한 위상 구조나 지름 유계 조건 없이도 $L^2$ 곡률 경계가 성립하는가?
• RQ2 이러한 다양체의 그로모프-하우스도르프 극한에서 특이점 집합이 $n-4$-직선적이고 유한한 $H^{n-4}$ 측도를 가지는가?
• RQ3 특이점 집합에서 $n-4$-거의 모든 점에서 접선 원뿔이 유일하고 $ℝ^{n-4} \times C(S^3/\Gamma)$와 등급인가? 여기서 $\Gamma \subseteq O(4)$ 이다.
• RQ4 케이러와 콜딩의 $n-4$ 유한성 추측은 유계 리치 곡률과 비 collapsing 체적 조건만으로도 증명될 수 있는가?
• RQ5 리치 곡률과 체적 유계 조건만을 가정할 때 극한 공간에서 특이점 집합의 구조는 어떠한가?

주요 결과

• 모든 $p$ 에 대해 $\fint_{B_1(p)} |\mathrm{Rm}|^2(x)\,dx < C(n,\mathrm{v})$ 이며, 이는 $L^2$ 추측을 증명한다. 이는 $|\mathrm{Ric}| \leq n-1$ 과 $\mathrm{Vol}(B_1(p)) > \mathrm{v} > 0$ 를 만족하는 다양체에서 성립한다.
• 그로모프-하우스도르프 극한 공간 $X$ 의 특이점 집합 $\mathcal{S}(X)$ 는 $n-4$-직선적이며 $H^{n-4}(\mathcal{S}(X) \cap B_1) < C(n,\mathrm{v})$ 를 만족한다. 이는 $n-4$ 유한성 추측을 확인한다.
• 모든 $x \in \mathcal{S}(X)$ 에 대해 $n-4$-거의 모든 점에서 접선 원뿔은 유일하고 $ℝ^{n-4} \times C(S^3/\Gamma_x)$ 와 등급이다. 여기서 $\Gamma_x \subseteq O(4)$ 는 원점 외부에서 자유롭게 작용한다.
• 특이점 집합의 $H^{n-4}$ 측도는 $n$ 과 체적 하한 $\mathrm{v}$ 에만 의존하는 차원 상수에 의해 유계로 제한된다.
• 이 증명은 주어진 조건 하에서 $L^2$ 곡률 경계가 자동으로 성립함을 보여주며, 4차원에서 앤더슨의 추측을 해결하고 고차원으로 확장한다.
• 특이점 집합의 구조는 완전히 특징지어진다: 직선적이고 $H^{n-4}$ 측도가 유한하며, 거의 모든 접선 원뿔은 $ℝ^{n-4}$ 와 구면 몫에 대한 메트릭 콘의 곱이다.