[논문 리뷰] Note on Brendle-Eichmair's paper "Isoperimetric and Weingarten surfaces in the Schwarchild manifold"

Haizhong Li, Yong Wei외 1명|arXiv (Cornell University)|2012. 10. 21.

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 4

한 줄 요약

이 논문은 브렌들- 아이히마이어의 정리 7에서 슈바르츠실트 만에 있는 등주 및 웨인게르텐 표면에 대한 볼록성 가정을 제거한다. 모든 별형 초표면에서 타원점의 존재를 증명하고 주요 곡률의 기본 대칭 함수 성질을 활용하여, 볼록성이 없더라도 일정한 $\sigma_p$는 초표면이 회전 슬라이스 $\mathbb{S}^{n-1} \times \{r\}$임을 보여준다. 결과는 유사한 기하 조건 하에 일반적인 아인슈타인 기저 만에 대해 확장된다.

ABSTRACT

In this short note, we show that the assumption "convex" in Theorem 7 of Brendle-Eichmair's paper \cite{BE} is unnecessary.

연구 동기 및 목표

• 브렌들-아이히마이어의 논문 제7정리에서 슈바르츠실트 만에 있는 $\sigma_p$-일정 초표면에 대한 불필요한 볼록성 가정을 제거한다.
• 볼록성이 요구되지 않는 조건에서도 별형 초표면이 일정한 $\sigma_p$를 가지면 반드시 회전 슬라이스 $\mathbb{S}^{n-1} \times \{r\}$임을 증명한다.
• 아인슈타인 기저 $N$과 적절한 와핑 함수 $\lambda(r)$를 가진 와핑된 곱 만에 대해 결과를 일반화한다.
• 모든 주요 곡률이 국소적으로 양수가 아닐지라도, 어떤 별형 초표면에 타원점이 존재하면 강성 결과를 도출하는 데 충분하다는 것을 보여준다.

제안 방법

• 최댓값 점에서 높이 함수 $h = r$의 헤시안을 분석하여, 모든 닫힘, 임베딩, 별형 초표면 $\Sigma$에 대해 타원점의 존재를 증명한다.
• 수축 벡터장 $X = \lambda(r)\partial_r$ 및 그 성질을 이용하여 $\sigma_p$와 $\sigma_{p-1}$를 포함한 곡률 추정치와 항등식을 유도한다.
• 일정한 $\sigma_p > 0$ 조건 하에서, $\Sigma$ 위에서 텐서 장의 적분을 통한 적분을 통해 히엔체-카르커 유사 부등식과 민코프스키 유사 부등식을 도출한다.
• $\Sigma$에서 $1 \leq j \leq p-1$에 대해 $\sigma_j > 0$의 양성은, $\sigma_j > 0$인 집합이 열려 있고 닫혀 있음을 보여, 전체 초표면이 양의 콘 $\Gamma_p^+$에 속함을 보장한다.
• 와핑된 곡률 구조에서 리치 곡률 표현식을 이용하여 민코프스키 항등식의 발산 항의 부호를 제어함으로써 오차 항의 비음성 보장.
• 기저 $N$이 $Ric_N = (n-2)B g_N$를 만족하는 아인슈타인 기저를 가지며, $\lambda(r)$에 대해 (H1')-(H4') 조건이 만족되는 $M = N \times [0,\bar{r})$의 만에 대해 일반화된 증명을 수행한다.

실험 결과

연구 질문

• RQ1 브렌들-아이히마이어의 $\sigma_p$-일정 초표면에 대한 강성 정리에서 볼록성 가정을 제거할 수 있는가?
• RQ2 모든 주요 곡률이 국소적으로 양수가 아닐지라도, 별형 초표면에 타원점이 존재하면 일정한 $\sigma_p$가 회전 슬라이스임을 유도할 수 있는가?
• RQ3 강성 결과는 일반적인 아인슈타인 기저 만에 대해 확장 가능한가?
• RQ4 와핑 함수 $\lambda(r)$에 어떤 기하 조건이 성립하면 일반화된 설정에서 민코프스키 유사 부등식과 히엔체-카르커 부등식이 유효한가?

주요 결과

• 브렌들-아이히마이어 논문의 정리 7에서 볼록성 가정은 불필요하다; 강성 결론은 모든 별형 초표면에 대해 일정한 $\sigma_p$일 때도 성립한다.
• 닫힘, 임베딩, 별형 초표면 $(M,\bar{g})$가 일정한 $\sigma_p$를 가지면, 어떤 $r \in (0,\bar{r})$에 대해 반드시 회전 슬라이스 $\mathbb{S}^{n-1} \times \{r\}$이 된다.
• 모든 별형 초표면에 타원점이 존재하면 $\sigma_p > 0$이 되고 주요 곡률이 양의 콘 $\Gamma_p^+$에 속하게 되어 민코프스키 유사 부등식을 적용할 수 있다.
• 주어진 조건 하에서 민코프스키 유사 부등식 $p \int_\Sigma \langle X,\nu\rangle \sigma_p \geq (n-p)\int_\Sigma \lambda' \sigma_{p-1}$이 성립하며, 오차 항은 리치 곡률의 부호와 $\sigma_{p-2;j} > 0$로 인해 비음성이 보장된다.
• 기저 $N$이 $Ric_N = (n-2)B g_N$를 만족하는 아인슈타인 기저를 가지며, $\lambda(r)$에 대해 (H1')-(H4') 조건이 만족되는 $M = N \times [0,\bar{r})$의 만에 대해 결과가 일반화되며, 동일한 강성 결론이 도출된다.
• 데 시터-슈바르츠실트 만은 (H1)-(H4) 모든 조건을 만족하므로, 추론 3는 $\sigma_p$-일정 별형 초표면이 이 물리적 시공간 모델에서 슬라이스임을 확인한다.