[논문 리뷰] Splitting theorems on complete Riemannian manifolds with nonnegative Ricci curvature

Alberto Farina, Jesús Ocáriz|arXiv (Cornell University)|2020. 01. 08.

Geometric Analysis and Curvature Flows인용 수 4

한 줄 요약

이 논문은 유계 해에 대한 반선형 포아송 방정식에 대해 모디카 유형의 국소적 기울기 추정을 분석함으로써, 비음성 리만 다양체에 대한 전역적이고 국소적 분할 정리들을 수립한다. 일반화된 모디카 부등식에서 등호가 성립할 때, 다항체는 등장하는 $\sigma \times \mathbb{R}$의 등장적 분할을 하며, 해는 $\times$-요소의 엄격하게 단조 증가 함수가 되며, 메트릭과 해의 구조가 완전히 특징화된다.

ABSTRACT

In this paper we provide some local and global splitting results on complete Riemannian manifolds with nonnegative Ricci curvature. We achieve the splitting through the analysis of some pointwise inequalities of Modica type which hold true for every bounded solution to a semilinear Poisson equation. More precisely, we prove that the existence of a nonconstant bounded solution $u$ for which one of the previous inequalities becomes an equality at some point leads to the splitting results as well as to a classification of such a solution $u$.

연구 동기 및 목표

• 국소적 기울기 추정을 사용하여 비음성 리만 다각형에 대한 새로운 분할 정리 수립.
• 모디카의 부등식을 $F \geq 0$ 조건 없이 임의의 $C^2$ 비선형성 $F$로 일반화.
• 일반화된 모디카 추정에서 등호가 성립할 경우 다각형과 해의 구조를 특징화.
• 등호가 정칙점에서 성립할 경우 국소적 리만 곱 구조와 1차원 단조 해 행동을 유도.

제안 방법

• 일반화된 모디카 유형 부등식 도입: $\frac{1}{2}|\nabla_g u|^2 \leq F(u) - c_u$ 는 $-\Delta_g u + f(u) = 0$ 의 유계 해 $u$ 에 대해, $c_u = \inf_{y \in \mathcal{M}} F(u(y))$ 를 만족.
• 강한 최대원리에 의해 $P = \frac{1}{2}|\nabla_g u|^2 - F(u) + c_u$ 를 적용하여 등호가 성립할 경우 $\nabla_g u \neq 0$ 인 연결 성분에서 $P \equiv 0$ 임을 보임.
• 변수변환을 통해 $H'(u) = (2F(u) - 2c_u)^{-1/2}$ 를 사용하여 기울기 길이가 1인 조화함수 $v = H(u)$ 를 구성.
• 보흐너 공식과 $\nabla v$ 가 평행하다는 사실을 적용하여 $v$ 의 등위면이 전적으로 기하학적이고 등장적임을 도출, 국소 분할 유도.
• $\nabla v$ 의 흐름을 사용하여 리만 등장사상 $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$ 을 구성, 국소 곱 구조 증명.
• 제품 근처에서 해 $u$ 가 $u(p,s) = \varphi(s)$ 라고 표현되며, $\varphi$ 는 $\varphi'' = f(\varphi)$ 를 만족함을 보임.

실험 결과

연구 질문

• RQ1 일반화된 모디카 부등식에서 등호가 성립할 조건은 무엇인가? 이는 다각형의 분할을 유도하는가?
• RQ2 등호가 유계 해의 정칙점에서 성립할 경우 다각형의 국소적 구조를 어떻게 특징화할 수 있는가?
• RQ3 일반화된 기울기 추정에서 등호가 성립하는 근처에서 해 $u$ 는 어떻게 행동하는가?
• RQ4 상수 $c_u = \inf F(u(y))$ 는 고전적 모디카 추정을 정밀화하는 데 어떤 역할을 하는가?
• RQ5 비상수 유계 해가 기울기 추정에서 등호를 만족할 경우, 다각형이 리만 곱 구조여야 하는가?

주요 결과

• 등호가 정칙점 $x_0$ 에서 성립하고 $\nabla_g u(x_0) \neq 0$ 이면, $\nabla_g u \neq 0$ 인 연결 성분에서 $P \equiv 0$ 이다.
• 등호가 성립하는 연결 성분에서 리만 곡률은 $\nabla_g u$ 방향으로 0이 된다.
• $x_0$ 의 이웃 $\mathcal{U}$ 는 $\mathcal{N} \times I$ 로 등장적으로 분할되며, $\mathcal{N}$ 은 전적으로 기하학적이고 등장적인 초곡면이며 $\text{Ric}(\mathcal{N}) \geq 0$ 이다.
• $\mathcal{U}$ 에 제한된 해 $u$ 는 $u(p,s) = \varphi(s)$ 라고 표현되며, $\varphi$ 는 유계이고 엄격하게 단조 증가하는 $\varphi'' = f(\varphi)$ 의 해이다.
• $u$ 가 비상수이면 전역 분할 결과가 성립: $\mathcal{M}$ 은 $\mathcal{N} \times \mathbb{R}$ 과 등장적이고, $\mathcal{N}$ 은 전적으로 기하학적이고 등장적이며, $u(p,s) = \varphi(s)$ 이다.
• 기울기 길이가 항상 1인 조화함수 $v = H(u)$ 의 구성은 $\nabla_g v$ 가 평행함을 보장하며, 이는 전역 등장사상 $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$ 을 이끈다.