[論文レビュー] A sufficient condition for a hypersurface to be isoparametric

Zizhou Tang, Dongyi Wei+1 more|arXiv (Cornell University)|Mar 27, 2018

Geometric Analysis and Curvature Flows参考文献 5被引用数 6

ひとこと要約

本稿では、第二基本形式の双対テンソルの各べきのトレースが $n-1$ 次まで一定であり、スカラー曲率の積分が非負であるならば、すべての固有値が定数であることを示すことにより、単位球面上の超曲面が等曲率的であるための十分条件を確立している。この結果は、de Almeida と Brito の 3次元定理を高次元に一般化し、定数スカラー曲率をもつ最小超曲面に関するチャーン予想に対する強い証拠を提供する。

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.

研究の動機と目的

• $S^4$ における等曲率的超曲面に関する de Almeida と Brito の 1990 年の定理を高次元に一般化すること。
• $S^{n+1}$ における閉じた超曲面が等曲率的であるための十分条件を、テンソルトレースと曲率制約に基づいて確立すること。
• $S^{n+1}$ における定数スカラー曲率をもつ最小超曲面に関するチャーン予想の強い形に対する肯定的証拠を提供すること。
• 第二基本形式に特定のトレースおよび Codazzi 条件が満たされる場合、主曲率が定数であることを証明し、これが等曲率的であることを示すこと。

提案手法

• 閉じたリーマン多様体 $M$ 上に定義された対称 $(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$ を用いて、$\mathfrak{a}$ の 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}$ に埋め込まれた閉じた最小超曲面で、スカラー曲率が定数であるものは等曲率的である。