[論文レビュー] Riemannian Submanifolds: A Survey

Bang‐Yen Chen|arXiv (Cornell University)|Jul 7, 2013

Geometric Analysis and Curvature Flows参考文献 421被引用数 4

ひとこと要約

バン・エン・チェンによるこの包括的なサーベイは、リーマン的部分多様体の詳細な概要を提供しており、基礎的な定理、主要な幾何的クラス（最小、有限型、平行、ラグランジュ、スラント、CR、およびケーラー部分多様体）およびそれらの曲率とスペクトル的性質をカバーしている。中心的な貢献は、実および複素空間形式における部分多様体幾何学の体系的取り扱いであり、球面、複素射影空間、およびカイリー平面における最小および有限型部分多様体のための鋭い固有値不等式と分類結果が得られている。

ABSTRACT

Submanifold theory is a very active vast research field which plays an important role in the development of modern differential geometry. This branch of differential geometry is still so far from being exhausted; only a small portion of an exceedingly fruitful field has been cultivated, much more remains to be discovered. In this article, the author provides a broad review of Riemannian submanifolds in differential geometry.

研究の動機と目的

• リーマン的部分多様体理論の統一的かつ詳細なサーベイを提供し、古典的および現代的結果を統合すること。
• 部分多様体幾何学における基本的問題、特に最小性、有限型、およびラプラシアンのスペクトル的性質に取り組むこと。
• 実および複素空間形式における最小および有限型部分多様体を、固有値不等式と曲率制約を用いて分類すること。
• 球面、複素射影空間およびクaternion的射影空間、およびカイリー平面における部分多様体の鋭いスペクトル的および幾何的不等式を確立すること。
• 曲率、平均曲率、および複素構造が、内在的および外在的不変量を用いた部分多様体の分類において果たす役割を調査すること。

提案手法

• ガウス、コーディッリ、リッチの基本方程式を用いて、曲率と形状作用素の関係を導出する。
• スペクトル理論および変分法を応用し、コンパクトな最小部分多様体上のラプラシアンの固有値を研究する。
• スペクトル分解による単位作用素の定義に基づく有限型埋め込みの概念を用い、スペクトル順序によって部分多様体を分類する。
• 曲率のピンチングと外在的幾何学を用いて鋭い固有値不等式を導出する。具体的には、$ S^m(1) $、$ \mathbb{C}P^m(4) $、$ \mathbb{H}P^m(4) $ における不等式 $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - c) $ を得る。
• 共形不変性および全絶対曲率技術を用いて、タイトおよびタウト埋め込みを研究する。
• Euler-Lagrange方程式 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $ を用いて、平均曲率が一定の超曲面を特徴付け、ユークリッド空間および球面上の解を考察する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな最小部分多様体におけるラプラシアンの鋭い固有値不等式は、実および複素空間形式においてどのようなものか？
• RQ2 $ \mathbb{R}P^m(1) $、$ \mathbb{C}P^m(4) $、$ \mathbb{H}P^m(4) $ において、固有値不等式の等号を達成するコンパクトな最小部分多様体は何か？
• RQ3 有限型および埋め込みの順序の概念が、部分多様体のスペクトル的および幾何的性質にどのように制約を加えるか？
• RQ4 部分多様体が1型であるための必要十分条件は何か？また、極値固有値を達成するための条件は何か？
• RQ5 どの超曲面がEuler-Lagrange方程式 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $ を満たし、奇数次元と偶数次元でどのように異なるか？

主な発見

• コンパクトな最小部分多様体 $ M $ が $ \mathbb{R}P^m(1) $ に埋め込まれているとき、最初の2つの非ゼロ固有値は $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - 2) $ を満たし、等号が成り立つのは $ M $ が完全測地的 $ \mathbb{R}P^n(1) $ である場合に限る。
• $ \mathbb{C}P^m(4) $ において、固有値不等式の等号が成り立つのは、$ \mathbb{C}P^k(4) $、$ SO(2+k)/SO(2)\times SO(k) $、または $ E_6/\text{Spin}(10)\times T $ のようなヘルミート対称空間である場合に限る。対応する $ m $ の値が存在する。
• $ \mathbb{H}P^m(4) $ におけるコンパクトな最小部分多様体について、不等式 $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - 8) $ の等号が成り立つのは、$ n = 4m $ である完全測地的クaternion的部分多様体である場合に限る。
• $ \mathcal{O}P^2(4) $ におけるコンパクトな最小超曲面について、$ \lambda_1 \leq 4n $ が成り立ち、ディミトリッチの結果により、$ \lambda_1 < 676/15 \approx 45.06 $ に改善される。
• Euler-Lagrange方程式 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $ は、偶数 $ n $ に対して球面でない解を持つ。これには回転トーラスや $ S^3 $ における最小曲面のステレオグラフィック射影が含まれる。
• $ \mathbb{C}P^m(4) $ におけるコンパクトな最小部分多様体について、$ \lambda_1 \leq 2(n+2) $ が成り立ち、等号が成り立つのは $ M $ が完全測地的複素部分多様体として $ \mathbb{C}P^{n/2}(4) $ にホロモーフィック等長に埋め込まれている場合に限る。