[論文レビュー] Remarks on an inequality involving the normal scalar curvature

Franki Dillen, Johan Fastenakels+1 more|ArXiv.org|Oct 24, 2006

Geometric Analysis and Curvature Flows参考文献 8被引用数 9

ひとこと要約

この論文は、実空間形式内の部分多様体の正規化スカラー曲率、平均曲率、法スカラー曲率の間の予想された不等式を調査する。幾何学的問題をトレースがゼロの対称行列を含む代数的不等式に翻訳することで、著者たちは予想の弱化版を証明し、特に複素空間形式内のラグランジュ部分多様体、特にC^3およびC^4内の最小および超最小のものについてその有効性を確立する。

ABSTRACT

We study a pointwise inequality for submanifolds in real space forms involving the scalar curvature, the normal scalar curvature and the mean curvature. We translate it into an algebraic problem, allowing us to prove a slightly weaker version of it. We also prove the conjecture for certain types of submanifolds of $\mathbb C^n$.

研究の動機と目的

• 実空間形式内の部分多様体について、スカラー曲率、法スカラー曲率、平均曲率を含む予想された点での不等式の有効性を調査すること。
• 幾何学的曲率不等式をトレースがゼロの対称行列を含む等価な代数的問題に翻訳すること。
• 特にH-アンビリカルラグランジュ部分多様体、C^3内の最小ラグランジュ部分多様体、C^4内の超最小ラグランジュ部分多様体を含む特定のクラスの部分多様体について、予想を証明すること。
• これらの特別な部分多様体タイプにおける不等式の等号成立ケースを特徴づけること。

提案手法

• トレースがゼロの対称行列の交換子を含む代数的不等式に幾何学的曲率不等式を変換すること。
• 正規直交フレームとガウスおよびリッチ方程式による曲率分解を用いて、スカラー曲率および法スカラー曲率を第二基本形式で表現すること。
• 平均曲率を第二基本形式から分離するために、テンソル $ b(X,Y) = h(X,Y) - \langle X,Y\rangle H $ を定義すること。
• 交換子ノルム $ \|[B_\alpha, B_\beta]\| $ を法スカラー曲率 $ \rho^\perp $ に関連させ、行列ノルムの和を $ \|H\|^2 $ に関連させること。
• 形状作用素の対称性とトレースゼロの条件を用いて代数的不等式を簡略化すること。
• ラグランジュ部分多様体が特定の行列形式の形状作用素を持つ場合に、明示的な計算により不等式と等号成立条件を検証すること。

実験結果

リサーチクエスチョン

• RQ1 実空間形式内のすべての部分多様体について、不等式 $ \rho \leq \|H\|^2 - \rho^\perp + c $ が成立するか？
• RQ2 幾何学的曲率不等式は、対称行列を含む解ける代数的問題に還元可能か？
• RQ3 特にラグランジュ部分多様体において、予想された不等式が成立するクラスは何か？ また、等号成立条件は明示的に得られるか？
• RQ4 最小および超最小ラグランジュ部分多様体において、不等式の等号が成立するための形状作用素の正確な行列形式は何か？

主な発見

• H-アンビリカルラグランジュ部分多様体について、予想された不等式 $ \rho \leq \|H\|^2 - \rho^\perp + c $ が $ \mathbb{C}^n $ 内で証明され、等号が成り立つのは形状作用素が特定の対称形式で対角化可能である場合に限る。
• C^3内の最小ラグランジュ部分多様体について、不等式 $ (\rho^\perp)^2 \leq (\rho - c)^2 - 2c(\rho - c) + \frac{c^2}{3} $ が成立し、等号は形状作用素がトレースゼロのブロック対角構造を持つ場合に成立する。
• C^4内の超最小ラグランジュ部分多様体について、不等式 $ \rho \leq -\rho^\perp $ が確立され、等号が成り立つのは形状作用素が式 (17) で与えられる形であり、最初の2つのブロックまたは最後の2つのブロックが消える場合に限る。
• 著者たちは、元の予想の弱化版を、トレースがゼロの対称行列の交換子に関する代数的不等式に還元することで証明した：$ \sum_{\alpha,\beta} \|[B_\alpha, B_\beta]\|^2 \leq \left( \sum_\alpha \|B_\alpha\|^2 \right)^2 $。
• C^3-最小部分多様体における不等式の等号成立ケースは、S_3対称性を持つ3次形式に対応し、先行研究の分類結果と整合的である。
• 結果は、Z. LuによるDDVV予想の一般証明と整合的であるが、著者らの表記および結果は、A. Mihaiらの後続研究とは常に整合しない。