[논문 리뷰] A sufficient condition for a hypersurface to be isoparametric

Zizhou Tang, Dongyi Wei외 1명|arXiv (Cornell University)|2018. 03. 27.

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

한 줄 요약

이 논문은 단위원에서의 초표면이 등장성임을 보임으로써 충분조건을 설정한다. 이는 두 번째 기본형의 쌍대 텐서가 차수 $n-1$까지의 거듭제곱의 추적을 일정하게 하고, 스칼라 곡률 적분이 음이 아닌 경우, 모든 고유값이 일정함을 보여 이sovolumetricity를 유도함을 증명한다. 이 결과는 3차원에서의 de Almeida와 Brito의 정리를 고차원으로 일반화하며, 일정한 스칼라 곡률을 가진 최소 초표면에 대한 Chern의 추측에 강력한 증거나를 제공한다.

ABSTRACT

Let $M^n$ be a closed Riemannian manifold on which the integral of the scalar curvature is nonnegative. Suppose $\mathfrak{a}$ is a symmetric $(0,2)$ tensor field whose dual $(1,1)$ tensor $\mathcal{A}$ has $n$ distinct eigenvalues, and $\mathrm{tr}(\mathcal{A}^k)$ are constants for $k=1,\cdots, n-1$. We show that all the eigenvalues of $\mathcal{A}$ are constants, generalizing a theorem of de Almeida and Brito \cite{dB90} to higher dimensions. As a consequence, a closed hypersurface $M^n$ in $S^{n+1}$ is isoparametric if one takes $\mathfrak{a}$ above to be the second fundamental form, giving affirmative evidence to Chern's conjecture.

연구 동기 및 목표

• 1990년도 de Almeida와 Brito의 $S^4$에서의 등장성 초표면에 대한 정리를 고차원으로 일반화하는 것.
• 스칼라 곡률 제약 조건과 텐서 추적 조건에 기반하여, $S^{n+1}$에서 폐쇄된 초표면이 등장성임을 보이는 충분조건을 설정하는 것.
• $S^{n+1}$에서 일정한 스칼라 곡률을 가진 최소 초표면에 대한 Chern의 추측의 강력한 형태에 대한 긍정적인 증거를 제공하는 것.
• 두 번째 기본형에 대한 일정한 추적과 Codazzi 조건이 성립할 경우, 주곡률이 일정함을 증명하여 등장성임을 유도하는 것.

제안 방법

• 폐쇄된 리만ian $n$-다양체 위에 정의된 대칭 $(0,2)$ 텐서 필드 $\mathfrak{a}$를 가정하고, $\int_M R_M \geq 0$임을 전제로 한다.
• 텐서 $\mathfrak{a}$의 쌍대 $(1,1)$ 텐서 $\mathcal{A}$를 고려하며, $\mathcal{A}$가 $n$개의 서로 다른 고유값 $\lambda_1, \dots, \lambda_n$을 가진다고 가정한다.
• 모든 $k = 1, \dots, n-1$에 대해 $\mathrm{tr}(\mathcal{A}^k)$가 일정함을 조건으로 한다.
• 텐서 항등식과 체적 형식 $\Omega$를 이용해 대칭 텐서의 Codazzi 조건을 활용하여 미분형식 $d\psi$를 유도한다.
• Stokes의 정리를 $d\psi$에 적용하여 스칼라 곡률 $R_M$과 대칭 합 $A$를 포함하는 적분 항등식을 도출한다.
• 레마 2.1을 사용하여 $\int_M A \cdot \Omega \leq 0$임을 보이고, $\int_M R_M \geq 0$와 결합하여 $\int_M R_M = 0$임과 동시에 $A \equiv 0$임을 유도함으로써 고유값이 일정함을 증명한다.

실험 결과

연구 질문

• RQ1 폐쇄된 초표면이 $S^{n+1}$에서 등장성임이 되기 위한 두 번째 기본형에 대한 조건은 무엇인가?
• RQ2 de Almeida와 Brito의 3차원 결과(일정한 평균 곡률 및 음이 아닌 스칼라 곡률)는 고차원으로 확장될 수 있는가?
• RQ3 $k=1,\dots,n-1$에 대해 $\mathrm{tr}(\mathcal{A}^k)$의 일정성이 $\mathcal{A}$의 모든 고유값이 일정함을 의미하는가?
• RQ4 스칼라 곡률 적분은 고유값 일정성과 등장성 유도에 어떤 역할을 하는가?

주요 결과

• $\mathfrak{a}$가 Codazzi 텐서이고 $n$개의 서로 다른 고유값을 가지며, $k=1,\dots,n-1$에 대해 $\mathrm{tr}(\mathcal{A}^k)$가 일정할 경우, $\mathrm{tr}(\mathcal{A}^n)$ 역시 일정함을 보여 모든 고유값 $\lambda_i$가 일정함을 의미한다.
• 주어진 조건 하에서 스칼라 곡률의 적분 $\int_M R_M$은 반드시 0이 되어야 하며, 즉 $\int_M R_M \equiv 0$임을 의미한다.
• $\int_M R_M \geq 0$라는 가정은 필수적이다. 이 조건이 없을 경우 적분 항등식의 모순으로 인해 결론이 성립하지 않는다.
• 이 증명은 전역적으로 정의된 미분형식 $\psi$를 구성하고 Stokes의 정리를 적용하여 $A$에 대한 적분 조건이 0이 되도록 유도함으로써 고유값 일정성을 강제한다.
• 이 결과는 de Almeida와 Brito의 1990년도 정리를 $n=3$에서 모든 $n > 3$로 일반화하며, 등장성임을 보이는 고차원 충분조건을 제공한다.
• 이 작업은 $S^{n+1}$에서 일정한 스칼라 곡률을 가진 폐쇄된 최소 초표면이 등장성임을 보이는 Chern의 추측의 강력한 형태에 대한 강력한 증거를 제공한다.