[논문 리뷰] An integral formula and its applications on sub-static manifolds

Junfang Li, Chao Xia|arXiv (Cornell University)|2016. 03. 07.

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

한 줄 요약

이 논문은 다중 경계 성분을 가진 리만다이니안 다양체에 대한 일반화된 적분 공식을 수립하여, 하위정적 다양체에서 새로운 Heintze-Karcher 및 Minkowski 유형 부등식을 가능하게 한다. 이 방법은 잠재 함수 $V$ 를 사용한 새로운 타원형 PDE 접근법을 사용하여 날카로운 기하학적 부등식과 수평볼록 및 볼록 초표면에 대한 거의 Schur 보조정리를 도출한다.

ABSTRACT

In this article, we first establish the main tool - an integral formula for Riemannian manifolds with multiple boundary components (or without boundary). This formula generalizes Reilly's original formula from \cite{Re2} and the recent result from \cite{QX}. It provides a robust tool for sub-static manifolds regardless of the underlying topology. Using this formula and suitable elliptic PDEs, we prove Heintze-Karcher type inequalities for bounded domains in general sub-static manifolds which recovers some of the results from Brendle \cite{Br} as special cases. On the other hand, we prove a Minkowski inequality for static convex hypersurfaces in a sub-static warped product manifold. Moreover, we obtain an almost Schur lemma for horo-convex hypersurfaces in the hyperbolic space and convex hypersurfaces in the hemi-sphere, which can be viewed as a special Alexandrov-Fenchel inequality.

연구 동기 및 목표

• 다중 경계 성분 또는 경계가 없는 리만다이니안 다양체에 적용 가능한 통합된 적분 공식을 개발하여 Reilly의 공식 및 최근 결과를 일반화한다.
• 회전 대칭성 또는 위상적 제약 조건 없이 일반 하위정적 다양체 내 유계 영역에 대해 Heintze-Karcher 유형 부등식을 수립한다.
• 하위정적 와핑된 곱 다양체 내 정적 볼록 초표면에 대해 Minkowski 유형 부등식을 유도한다.
• 하이퍼볼릭 공간 내 수평볼록 초표면과 반구면 내 볼록 초표면에 대해 거의 Schur 보조정리를 증명하며, 이를 특수한 Alexandrov-Fenchel 부등식으로 해석한다.
• 잠재 함수 $V$ 를 통한 강력한 타원형 PDE 프레임워크를 도입하여 음의 곡률을 가진 다양체로 기하학적 분석 도구를 확장한다.

제안 방법

• 시험 함수 $f$ 의 헤시안 및 라플라스 연산자와 경계의 제2 기본형식을 포함한 매끄러운 잠재 함수 $V$ 를 사용한 일반화된 적분 공식(정리 1.1)을 유도한다.
• 비음성 텐서 $VQ = \overline{\Delta}V\bar{g} - \overline{\nabla}^2 V + V\mathrm{Ric} \geq 0$ 를 통한 하위정적 리만다이니안 삼중체를 정의하여 정적 및 공간형 사례를 일반화한다.
• 적분 공식을 적용하여 적절한 시험 함수를 선택하고, 부분 적분 및 헬더 부등식을 사용하여 Heintze-Karcher 유형 부등식을 도출한다.
• 코다치 방정식과 추적 자유 제2 기본형식을 사용하여 곡률 양과 추적 자유 부분의 $L^2$ 노름을 연결하고 제어한다.
• 동일한 적분 프레임워크와 프레드홀름 대체법을 사용하여 스칼라 곡률에 대한 가중 $L^2$ 추정을 통해 거의 Schur 보조정리를 수립한다.
• 등호가 성립할 경우 초표면이 유미티컬이어야 하며, 엄격한 하위정적 성질이 한 점에서 성립할 경우 배경 다양체가 아이н슈타인이어야 한다는 사실을 분석함으로써 강성 결과를 증명한다.

실험 결과

연구 질문

• RQ1 재리의 공식을 일반화하고 임의의 위상과 다중 경계 성분을 가진 하위정적 다양체에 적용 가능한 통합된 적분 공식을 개발할 수 있는가?
• RQ2 이 새로운 공식을 사용하여 대칭성 가정 없이 일반 하위정적 다양체 내에서 어떤 Heintze-Karcher 유형 부등식을 도출할 수 있는가?
• RQ3 이 프레임워크를 사용하여 하위정적 와핑된 곱 다양체 내 볼록 초표면에 대해 Minkowski 유형 부등식을 수립할 수 있는가?
• RQ4 하이퍼볼릭 공간과 반구면 내 수평볼록 및 볼록 초표면의 맥락에서 거의 Schur 보조정리의 날카로운 형태는 무엇인가?
• RQ5 유도된 기하학적 부등식에서 등호가 성립할 경우 어떤 조건에서 강성이 발생하는가(예: 유미티컬성 또는 아이인슈타인 구조)?

주요 결과

• 일반화된 적분 공식(1.1)은 Reilly의 원래 공식을 확장하며, 다중 경계 성분을 가진 다양체에 적용 가능하여 하위정적 환경에서 새로운 기하학적 부등식을 가능하게 한다.
• 일반 하위정적 다양체 내 유계 영역에 대해 Heintze-Karcher 유형 부등식이 수립되었으며, 원형 대칭성이 필요 없이 브렌들의 결과를 특수 케이스로 포함한다.
• 하위정적 와핑된 곱 다양체 내 정적 볼록 초표면에 대해 Minkowski 유형 부등식이 증명되었으며, 이러한 초표면에 대한 새로운 기하학적 제약 조건을 제공한다.
• 하이퍼볼릭 공간 내 수평볼록 초표면과 반구면 내 볼록 초표면에 대해 거의 Schur 보조정리가 도출되었으며, 등호가 성립하는 것은 초표면이 유미티컬일 때에만 성립한다.
• 거의 Schur 보조정리의 등호 경우는 하위정적 부등식이 어느 한 점에서 엄격할 경우 다양체가 아이인슈타인임을 의미하여 강력한 강성 조건을 설정한다.
• 증명 기법은 적분 공식, 부분 적분, 헬더 부등식, 코다치 방정식에 기반하며, 등호 조건은 텐서 $\Delta V g - \nabla^2 V + V \mathrm{Ric}^\Sigma$ 의 양성에 의해 분석된다.