[논문 리뷰] Rigidity for nearly umbilical hypersurfaces in space forms

Xu Cheng, Detang Zhou|arXiv (Cornell University)|2012. 08. 08.

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

한 줄 요약

이 논문은 유클리드 공간, 쌍곡공간, 구면공간의 폐포한형태($\mathbb{R}^{n+1}$, $\mathbb{H}^{n+1}$, $\mathbb{S}^{n+1}_+$)에서 폐포한형태의 제2 기본형과 평균 곡률을 포함하는 $L^2$ 부등식에 대한 강성 결과를 확립한다. 페레즈의 부등식에서 등호가 성립할 조건은 완전 타원형형태의 포면—구체적으로는 거리구—로 특징지어지며, 이는 비유클리드 공간형태로 안정성 결과를 확장하고, 비음성 Ricci 곡률 조건을 초월하여 곡률에 의존하는 상수를 포함하는 새로운 $L^2$ 추정을 통해 부등식을 일반화한다.

ABSTRACT

Perez proved some $L^2$ inequalities for closed convex hypersurfaces immersed in the Euclidean space $\mathbb{R}^{n+1}$, more generally, for closed hypersurfaces with non-negative Ricci curvature, immersed in an Einstein manifold. In this paper, we discuss the rigidity of these inequalities when the ambient manifold is $\mathbb{R}^{n+1}$, the hyperbolic space $\mathbb{H}^{n+1}$, or the closed hemisphere $\mathbb{S}_+^{n+1}$. We also obtain a generalization of the Perez's theorem to the hypersurfaces without the hypothesis of non-negative Ricci curvature.

연구 동기 및 목표

• 공간형태에서 음이 아닌 Ricci 곡률을 가진 포면에 대한 $L^2$ 부등식의 강성을 조사한다.
• 페레즈의 $L^2$ 부등식에서 등호가 성립할 조건을 규명하여 포면의 기하학적 구조를 특징짓는다.
• 페레즈의 결과를 음이 아닌 Ricci 곡률 조건을 초월하여, 부등식에 곡률에 의존하는 상수를 도입함으로써 일반화한다.
• 일반화된 부등식에서 등호가 성립할 경우 포면이 완전 타원형형태임, 즉 환경 공간형태에서의 거리구임을 증명한다.

제안 방법

• 아인슈타인 다양체에서 코다치 방정식과 곡률 항등식을 사용하여 추적 자유 제2 기본형에 대한 $L^2$ 추정을 유도한다.
• 공간형태에서의 거리구와의 고유값 비교를 통한 포면의 Ricci 곡률 분석.
• 함수 $\phi = H - \overline{H}$를 포함하는 보흐너 유형의 추론을 적용하여 Ricci 곡률이 양일 경우 $\nabla\phi = 0$임을 보인다.
• 추적 자유 제2 기본형과 $\phi$의 헤시안 사이의 선형 종속성을 도출함으로써 $A$의 상수성을 이끌어낸다.
• 곡률에 의존하는 상수 $1 + \frac{K}{\eta_1}$를 포함하는 일반화된 부등식 유도. 여기서 $K$는 환경 곡률이고 $\eta_1$는 자코비 연산자의 첫 번째 고유값이다.
• 모순과 국소 분석을 통한 증명: 등호가 성립하고 Ricci 곡률이 정정일 경우, $A = \frac{\overline{H}}{n}g$가 식별적으로 성립하며 이는 완전 타원형형태를 의미한다.

실험 결과

연구 질문

• RQ1 공간형태에서 포면에 대한 페레즈의 $L^2$ 부등식에서 등호가 성립하는 조건은 무엇인가?
• RQ2 등호가 성립할 경우 완전 타원형형태임을 보여주는 강성 결과는 $\mathbb{R}^{n+1}$에서 $\mathbb{H}^{n+1}$와 $\mathbb{S}^{n+1}_+$로 확장될 수 있는가?
• RQ3 음이 아닌 Ricci 곡률 조건을 제거할 경우 $L^2$ 부등식은 어떻게 변하는가?
• RQ4 Ricci 곡률 제어 없이도 부등식에 일반 상수를 유지할 수 있는가? 만약 불가능하면 어떤 대체 상수가 나타나는가?
• RQ5 일반화된 부등식에서 등호의 경우가 포면이 거리구임을 결론짓는 데 충분한가?

주요 결과

• 부등식 $\int_{\Sigma}|A - \frac{1}{n}\overline{H}g|^2 = \frac{n}{n-1}\int_{\Sigma}|A - \frac{H}{n}g|^2$ 에서 등호가 성립하는 것은 $c = 0, -1, 1$ 인 $M^{n+1}(c)$에서 $\Sigma$가 완전 타원형형태의 포면일 때에만 성립한다.
• $\mathbb{R}^{n+1}$에서 등호는 $\Sigma$가 일정 평균 곡률를 가진 둥근 구일 때에만 성립한다.
• $\mathbb{H}^{n+1}$에서 등호는 $\Sigma$가 점을 중심으로 한 지오데식 구(거리구)일 때에만 성립한다.
• $\mathbb{S}^{n+1}_+$에서 등호는 $\Sigma$가 완전 타원형형태의 포면, 즉 거리구일 때에만 성립한다.
• 일반화된 부등식 $\int_{\Sigma}|A - \frac{\overline{H}}{n}g|^2 \leq \frac{n}{n-1}(1 + \frac{K}{\eta_1})\int_{\Sigma}|A - \frac{H}{n}g|^2$ 는 임의의 폐포한형태의 포면이 아인슈타인 다양체에 있을 경우 성립하며, 상수는 최적이다.
• K > 0일 경우에도 등호의 경우가 여전히 완전 타원형형태를 의미한다. 이는 Ricci 곡률이 정정이고 $H - \overline{H}$의 헤시안이 추적 자유 제2 기본형과 선형 종속일 경우에 한하여 성립한다.