[논문 리뷰] The Mean Curvature of the Second Fundamental Form of a hypersurface

Stefan Haesen, Steven Verpoort|ArXiv.org|2007. 09. 13.

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

한 줄 요약

이 논문은 반리만다이니안 다양체 내의 초표면에 대해 제2 기본형의 평균 곡률($H_{\text{II}}$)의 개념을 도입하고, 그의 일阶 변분을 유도하며, 이를 통해 외재적 초구를 특성화한다. 주요 기여는 $H_{\text{II}}$가 일정하거나 특정 곡률 관계를 만족하는 초표면이 공간 형태와 아인슈타인 다양체에서 외재적 초구임을 기하학적 및 변분적 분석을 통해 보여주는 것이다. 특히 제2 기본형의 면적 함수를 기반으로 한 기하학적 분석을 통해 이를 입증한다.

ABSTRACT

An expression for the first variation of the area functional of the second fundamental form is given for a hypersurface in a semi-Riemannian space. The concept of the "mean curvature of the second fundamental form" is then introduced. Some characterisations of extrinsic hyperspheres in terms of this curvature are given.

연구 동기 및 목표

• 반리만다이니안 다양체 내의 초표면에 대해 제2 기본형의 평균 곡률($H_{\text{II}}$)을 변분 양수로 정의하고 분석한다.
• 제2 기본형의 면적 함수의 일阶 변분을 연구하여 제2 기본형의 외재 기하를 탐구한다.
• 공간 형태, 아인슈타인 다양체, 그리고 3차원 다양체에서 $H_{\text{II}}$와 곡률 불변량을 사용하여 외재적 초구를 특성화한다.
• 지오데식 초구의 면적(제2 기본형 기반 측정)이 유클리드 초구의 면적과 일치하는 조건을 설정한다.
• 다양체가 국소적으로 평탄하거나 와일 텐서가 0이 되는 조건을 곡률 불변량(스칼라 곡률, 리치 텐서, 라만 텐서)에 대해 필요 및 충분 조건으로 유도한다.

제안 방법

• 초표면의 면적을 측정하기 위해 면적 함수수식 $\text{Area}_{\text{II}}(M) = \bigint \nolimits_M \big|\text{det}(A)\big|^{1/2} d\text{Vol}$를 정의한다. 여기서 $A$는 형태 연산자이다.
• 정규 변형에 따른 $\text{Area}_{\text{II}}(M)$의 일阶 변분을 유도하여, 이 면적의 변화율로 $H_{\text{II}}$를 정의한다.
• 제1 및 제2 기본형의 리만-크리비타 연결 간의 비교 공식을 수립하여 기하 양수 간의 관계를 설정한다.
• 반경 $r$에 대한 지오데식 초구의 $\text{Area}_{\text{II}}$의 멱급수 전개를 유도하며, 스칼라 곡률 $\bar{S}$, 리치 텐서 $\bar{\text{Ric}}$, 라만 텐서 $\bar{R}$ 등의 곡률 불변량을 포함한다.
• 이 전개를 리만다이니안 다양체 $\bar{M}$ 내의 지오데식 초구에 적용하고, 유클리드 초구의 면적과 동일시함으로써 곡률 제약 조건을 도출한다.
• 와일 텐서 및 보흐너 텐서 분석을 통해 추가 기하적 가정(예: 등각 평탄성, 카일러 구조) 하에서 국소 평탄성을 증명한다.

실험 결과

연구 질문

• RQ1 제2 기본형에 기반한 면적 함수의 일阶 변분은 무엇이며, 이는 새로운 평균 곡률 $H_{\text{II}}$를 어떻게 정의하는가?
• RQ2 공간 형태 또는 아인슈타인 다양체 내에서 어떤 초표면이 $H_{\text{II}} = C \sqrt{K}$ 또는 $H_{\text{II}} - K_{\text{II}}$의 부호가 일정한가?
• RQ3 리만다이니안 다양체 $\bar{M}$의 곡률 조건은 무엇이어야 하며, 모든 지오데식 초구의 면적(제2 기본형 기반 측정)이 유클리드 초구의 면적과 일치하는가?
• RQ4 조건 $\text{Area}_{\text{II}}(\text{geodesic hypersphere}) = r^{m/2} \alpha_m$이 성립할 경우, $\bar{M}$이 국소적으로 평탄한가?
• RQ5 등각 평탄성, 카일러 구조, 또는 곱 구조와 같은 가정이 면적 등식 조건 하에서 $\bar{M}$이 국소적으로 평탄하다는 결론에 어떻게 영향을 미치는가?

주요 결과

• 리만다이니안 다양체 $\bar{M}$ 내의 지오데식 초구의 면적(제2 기본형 기반 측정)은 반경 $r$의 거듭제곱에 대한 점근 전개를 가지며, 곡률 불변량을 포함한다: $\text{Area}_{\text{II}}(\bar{G}_n(r)) = r^{m/2} \alpha_m \left[1 - r^2 \left(\frac{\bar{S}}{3(m+1)}\right)_{(n)} + r^4 \left( \cdots \right) + \mathcal{O}(r^5) \right]$.
• 모든 $r$과 $n$에 대해 $\text{Area}_{\text{II}}(\bar{G}_n(r)) = r^{m/2} \alpha_m$이 성립하면, 스칼라 곡률 $\bar{S} = 0$이며 $\|\bar{R}\|^2 = \|\bar{\text{Ric}}\|^2$이다.
• 추가 가정(예: 차원 $\leq 5$, 리치 텐서의 정부호성, 등각 평탄성(차원 ≠ 6), 카일러 구조(차원 $\leq 5$), 곱 구조) 하에서 다양체 $\bar{M}$은 국소적으로 평탄하다.
• 차원 $\dim \bar{M} \leq 5$일 경우, 곡률 제약 조건은 와일 텐서의 제곱 노름 $\|\bar{W}\|^2 = 0$을 함의하며, 이는 $\bar{R} = 0$을 의미한다.
• $\|\bar{W}\|^2 = \frac{m-5}{m-1}\|\bar{R}\|^2 \leq 0$라는 결과는 $m \leq 4$일 때 $\bar{R} = 0$을 의미하여, 저차원에서의 국소 평탄성을 증명한다.
• 차원 $\dim \bar{M} \geq 7$일 경우, 등각 평탄성과 곡률 제약 조건이 동시에 성립하면 $\|\bar{R}\|^2 = 0$이 아니면 모순이 발생하며, 이는 다시 $\bar{R} = 0$을 의미한다.