[논문 리뷰] A_2-singularities of hypersurfaces with non-negative sectional curvature in Euclidean space

Kentaro Saji, Masaaki Umehara외 1명|arXiv (Cornell University)|2010. 11. 06.

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

한 줄 요약

이 논문은 일관된 접선 번들의 및 프론트 번들의 개념을 사용하여 공간형에서의 물결 전면에 대한 실현 정리를 수립한다. 이는 표면 이론의 기본 정리와 유사한 내재적 공식화를 가능하게 한다. 비음성 섹션 곡률을 가진 유클리드 공간의 초표면에 대해, $A_2$-특이점은 곡률이 유계이면 두 번째 기본 형식이 특이 집합을 따라 영이 되며, 곡률이 음이 아니면 특이 주요 곡률이 모두 음이 아니라는 것을 증명한다.

ABSTRACT

In a previous work, the authors gave a definition of `front bundles'. Using this, we give a realization theorem for wave fronts in space forms, like as in the fundamental theorem of surface theory. As an application, we investigate the behavior of principal singular curvatures along A_2-singularities of hypersurfaces with non-negative sectional curvature in Euclidean space.

연구 동기 및 목표

• 프론트 번들과 일관된 접선 번들을 사용하여 공간형에서의 물결 전면에 대한 내재적 공식화를 개발하는 것.
• 공간형에서의 물결 전면에 대한 실현 정리를 수립하여 표면 이론의 기본 정리를 일반화하는 것.
• $\mathbb{R}^{m+1}$에서 비음성 섹션 곡률을 가진 초표면의 $A_2$-특이점에서 주요 특이 곡률의 행동을 분석하는 것.
• 일관된 접선 번들과 프론트 번들을 유클리드 공간형으로의 매끄러운 사상으로 실현하기 위한 필요 및 충분 조건을 제공하는 것.

제안 방법

• 프론트 번들과 일관된 접선 번지를 물결 전면를 위한 내재적 구조로 도입한다.
• 메트릭 접속 $D$와 호환 조건 $D_X\varphi(Y) - D_Y\varphi(X) - \varphi([X,Y]) = 0$를 만족하는 번들 동형사상 $\varphi$를 사용한다.
• 내적을 $\varphi$를 통해 끌어올린 $\varphi$-메트릭을 정의하며, 이는 준정부호이다.
• 외재적 곡률과 일관된 접선 번들의 내재 기하를 연결하기 위해 가우스 방정식을 적용한다.
• 내적 $\varphi_i$와 $\psi_j$의 방향 도함수를 사용하여 $A_2$-특이점 근처에서 외부 섹션 곡률 $K^{\text{ext}}$의 극한을 분석한다.
• 특이 주요 곡률의 부호를 결정하기 위해 $\left\langle{D_1\varphi_1},{D_m\varphi_m}\right\rangle$의 부호를 사용한다.

실험 결과

연구 질문

• RQ1 주어진 프론트 번들이 일정 곡률을 가진 공간형에서 물결 전면로 실현될 수 있는 조건은 무엇인가?
• RQ2 유도된 섹션 곡률이 유계이거나 음이 아니면, $A_2$-특이점에서 특이 주요 곡률은 어떻게 행동하는가?
• RQ3 외재적 곡률과 일관된 접선 번들의 내재 기하 사이의 관계는 특이점 근처에서 어떻게 되는가?
• RQ4 내재적 구조를 사용하여 표면 이론의 기본 정리를 공간형에서의 물결 전면로 일반화할 수 있는가?
• RQ5 비음성 섹션 곡률은 $A_2$-특이점의 두 번째 기본 형식에 어떤 제약을 가하는가?

주요 결과

• 특이 집합 근처의 정칙 부분에서 섹션 곡률 $K$가 유계이면, 두 번째 기본 형식이 그 특이 집합을 따라 영이 된다.
• 특이 집합 근처의 정칙 부분에서 $K$가 비음성이라면, 특이 주요 곡률은 모두 비음성이다.
• $A_2$-특이점에서 외부 섹션 곡률 $K^{\text{ext}}$의 극한이 $\delta > 0$보다 크거나 같아지기 위한 필요 및 충분 조건은 특이점에서 $\partial_m\left\langle{\varphi_1},{\psi_1}\right\rangle \cdot \partial_m\left\langle{\varphi_m},{\psi_m}\right\rangle > 0$임이 증명된다.
• $\partial_1$-방향에서 특이 주요 곡률의 부호는 $\left\langle{D_1\varphi_1},{D_m\varphi_m}\right\rangle$의 부호에 의해 결정되며, 이 값은 비음성 곡률 조건 하에서 음수이다.
• $K \geq \delta > 0$이면, 특이 부분다양체는 양성 섹션 곡률을 가진다.
• 가우스 방정식은 특이 부분다양체의 섹션 곡률을 특이 주요 곡률의 곱과 연결하며, 이는 $K$의 양성과 특이 부분다양체 곡률의 양성을 확인한다.