[논문 리뷰] Non-local Curvature and Topology of Locally Conformally Flat Manifolds

Ruobing Zhang|arXiv (Cornell University)|2015. 10. 04.

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

한 줄 요약

이 논문은 1 < θ < 2 인 경우 분수 $ Q_{2\theta} $ 곡률이 음이 아닌 조건 하에, 양의 스칼라 곡률을 가진 컴act이고 국소적으로 등각 평탄한 다양체와 관련된 켈리니안 군의 극한 집합의 하우스도르프 차원에 대한 날카운 상계를 확립한다. 이 상계 $ \frac{n - 2\theta}{2} $ 는 최적임을 보이며, 슈렌-요의 고전적 결과를 일반화하고, 특히 3차원 및 5차원 다양체에서 새로운 강성 및 분류 정리들을 이끌어낸다.

ABSTRACT

In this paper, we focus on the geometry of compact conformally flat manifolds $(M^n,g)$ with positive scalar curvature. Schoen-Yau proved that its universal cover $(\widetilde{M^n}, ilde{g})$ is conformally embedded in $\mathbb{S}^n$ such that $M^n$ is a Kleinian manifold. Moreover, the limit set of the Kleinian group has Hausdorff dimension $0$, then the above inequality is strict. Moreover, the above upper bound is sharp. As applications, we obtain some topological rigidity and classification theorems in lower dimensions.

연구 동기 및 목표

• 켈리니안 군의 극한 집합에 대한 슈렌-요의 하우스도르프 차원 추정을 분수 곡률 설정으로 일반화하기.
• 양의 스칼라 곡률을 가진 컴팩트하고 국소적으로 등각 평탄한 다양체에서 $ 1 < \theta < 2 $ 인 비국소 곡률 $ Q_{2\theta} \geq 0 $ 의 기하학적 및 위상수학적 함의를 조사하기.
• 고전적 $ \frac{n-2}{2} $ 경계를 개선하여, 분수 차수 $ \theta $ 에 따라 극한 집합의 하우스도르프 차원에 대한 날카운 상계를 확립하기.
• $ Q_3 \geq 0 $ 조건 하에 3차원 및 5차원 다양체에 대한 강성 및 분류 결과를 도출하고, 분수 야마베 문제의 존재 정리도 포함하기.
• 경계의 날카러움을 보여주는 명시적 예제를 제시하고, $ Q_3 > 0 $ 이며 양의 스칼라 곡률을 가지지만 구와 등각적으로 동치가 아닌 다양체의 존재를 보여주기.

제안 방법

• 지정된 하이퍼볼릭 메트릭 $ (\mathbb{H}^{n+1}/\Gamma, g_+) $ 를 갖는 국소적으로 등각 평탄한 다양체에서 분수 GJMS 연산자 $ P_{2\theta} $ 와 그 연관된 $ Q_{2\theta} $ 곡률의 등각 공변성을 활용한다.
• 유클리드 공간에서의 분수 라플라스 연산자의 조화 연장 기법과 등가 정의를 적용하여 경계 행동과 비국소 연산자를 분석한다.
• 분수 라플라스 연산자에 대한 비교 원리와 부드러운 근사 보조정리를 활용하여 등각 무한대 근처에서 해의 성장 및 감쇠를 통제한다.
• 모든 덮개를 $ \mathbb{S}^n $ 에 등각 통합하고 $ \widetilde{M} \cong \Omega(\Gamma) $ 를 식별하며, 극한 집합 $ \Lambda(\Gamma) $ 를 정칙 불연속성의 도메인의 여집합으로 연구한다.
• 재정규화된 부피와 페퍼만-그라함 점근 전개를 이용하여, 예를 들어 $ \mathbb{H}^6 $ 상의 워프드 프로덕트 메트릭과 AdS-슈바르츠실트 공간에서의 $ Q_{2\theta} $ 곡률을 명시적으로 계산한다.
• 청-항-양 및 퀸-랙에 의한 결과를 응용하여, $ Q_{2\theta} > 0 $ 조건 하에 분수 야마베 문제의 해 존재성을 도출한다.

실험 결과

연구 질문

• RQ1 1 < θ < 2 인 경우, 양의 스칼라 곡률과 $ Q_{2\theta} \geq 0 $ 조건을 만족하는 컴팩트하고 국소적으로 등각 평탄한 다양체와 관련된 켈리니안 군 $ \Gamma $ 의 극한 집합 $ \Lambda(\Gamma) $ 의 하우스도르프 차원에 대한 날카운 상계는 무엇인가?
• RQ2 비국소 곡률 $ Q_{2\theta} $ 는 고전적 슈렌-요 추정 $ \dim_{\mathcal{H}}(\Lambda) < \frac{n-2}{2} $ 를 어떻게 개선하는가?
• RQ3 경계 $ \dim_{\mathcal{H}}(\Lambda) \leq \frac{n - 2\theta}{2} $ 는 도달 가능한가? 등호가 성립할 경우 기하학적 함의는 무엇인가?
• RQ4 3차원 컴팩트하고 국소적으로 등각 평탄한 다양체에서 $ Q_3 \geq 0 $ 이면 어떤 위상수학적 및 기하학적 함의가 있는가? (양의 스칼라 곡률 조건 하)
• RQ5 스칼라 곡률 $ R > 0 $ 이고 $ Q_3 > 0 $ 이며 구 $ \mathbb{S}^3 $ 과 등각적으로 동치가 아닌 컴팩트하고 국소적으로 등각 평탄한 3차원 다양체가 존재하는가?

주요 결과

• 모든 컴팩트하고 국소적으로 등각 평탄한 다양체 $ (M^n, g) $ 에 대해 $ R_g > 0 $ 과 $ Q_{2\theta} \geq 0 $ 를 만족할 경우, 극한 집합 $ \Lambda(\Gamma) $ 의 하우스도르프 차원은 $ \dim_{\mathcal{H}}(\Lambda) \leq \frac{n - 2\theta}{2} $ 를 만족하며, 이 경계는 날카롭다. 여기서 $ 1 < \theta < \max\{2, n/2\} $ 이다.
• 만약 $ Q_{2\theta} > 0 $ 이면 경계는 엄밀히 날카롭다: $ \dim_{\mathcal{H}}(\Lambda) < \frac{n - 2\theta}{2} $ 이며, 이는 고전적 $ \frac{n-2}{2} $ 추정을 개선한다.
• n = 3 인 경우, 어떤 점에서 $ Q_3 > 0 $ 이면 $ (M^3, g) $ 는 둥근 구 $ \mathbb{S}^3 $ 과 등각적으로 동치이다; 만약 $ Q_3 \equiv 0 $ 이면 $ (M^3, g) $ 는 $ \mathbb{S}^1 \times \mathbb{S}^2 $ 에서 둥근 메트릭을 갖는 등급이다.
• 6차원 하이퍼볼릭 공간에 워프드 프로덕트 메트릭을 부여한 경우, 5차원 다양체 $ M^5 $ 의 예를 명시적으로 구성하였으며, 이 경우 $ 0 < \theta < 3/2 $ 에 대해 $ Q_{2\theta} > 0 $ 이고 $ Q_3 = 0 $ 이다. 이는 경계의 날카러움을 보여준다.
• AdS-슈바르츠실트 메트릭을 통해 $ \mathbb{S}^1(\lambda) \times \mathbb{S}^2 $ 에서 $ R > 0 $ 과 $ Q_3 > 0 $ 인 예를 구성하였으며, 이는 이러한 다양체가 항상 구와 등각적으로 동치일 필요는 없다는 것을 보여주며, 일반적인 등각적으로 콤���한 에인슈타인 기하에서의 보편 강성을 배제한다.
• 분수 야마베 문제의 해가 존재한다: 임의의 $ \gamma' \in (0, \gamma] $ 에 대해, $ Q_{2\gamma} > 0 $ 인 어떤 $ \gamma \in (1, \max\{2, n/2\}) $ 이 존재할 경우, $ \widehat{Q}_{2\gamma'} \equiv 1 $ 인 등각 메트릭 $ \hat{g} $ 가 존재한다.