[論文レビュー] Geometry of PR-warped products in para-Kaehler manifolds

Bang‐Yen Chen, Marian Ioan Munteanu|arXiv (Cornell University)|Jun 18, 2011

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

ひとこと要約

本稿は、パラケーラー多様体における𝒫𝑅歪み積を導入し、歪み関数と第二基本形式を含む鋭い最適不等式を確立する。平坦なパラケーラー空間においてこの不等式の等号を達成するような部分多様体を完全に分類し、その幾何的構造が、特定の曲率および歪み行動を示す不変および反不変部分多様体の積であることが明らかになる。

ABSTRACT

In this paper, we initiate the study of $\p R$-warped products in para-Kähler manifolds and prove some fundamental results on such submanifolds. In particular, we establish a general optimal inequality for $\p R$-warped products in para-Kähler manifolds involving only the warping function and the second fundamental form. Moreover, we completely classify $\p R$-warped products in the flat para-Kähler manifold with least codimension which satisfy the equality case of the inequality.

研究の動機と目的

• 不変および反不変成分を組み合わせた新しい部分多様体クラスとして、パラケーラー多様体における𝒫𝑅歪み積の研究を開始すること。
• 歪み関数と第二基本形式のみに依存する、𝒫𝑅歪み積の一般最適不等式を導出すること。
• 平坦なパラケーラー多様体において、最小余次元を有する𝒫𝑅歪み積で、導出された不等式の等号を達成するものについて分類すること。
• これらの歪み積の幾何を記述するPDE系を解き、明示的な解の構成を可能にすること。

提案手法

• 歪み積計量構造 $ g = g_B + f^2 g_F $ を用い、$ f $ を歪み関数とし、$ B \times_f F $ 上のリーマン接続の公式を適用する。
• ガウスおよびヴァインガルテンの公式を適用し、部分多様体の第二基本形式を、周囲のパラケーラー接続に関連付ける。
• パラ複素構造 $ \mathcal{P} $ を用いて接束を不変分布 $ \mathcal{D} $ および反不変分布 $ \mathcal{D}^\perp $ に分解する。
• 第二基本形式のノルムと歪み関数の対数の勾配のノルムを用いて、一般不等式を導出する。
• 不等式の等号ケースから生じるPDE系を、明示的なパrametrizationと曲率解析を用いて解く。
• 平坦なパラケーラー空間 $ \mathbb{E}^{2h}_h $ において明示的な幾何的構成を実行し、部分多様体が、ユークリッド、双曲的、または球面的空間の積であり、特定の歪み関数を持つことを特定する。

実験結果

リサーチクエスチョン

• RQ1 パラケーラー多様体における𝒫𝑅歪み積において、第二基本形式と歪み関数を支配する最適幾何的不等式は何か？
• RQ2 平坦なパラケーラー多様体におけるどの𝒫𝑅歪み積が導出された不等式の等号を達成するのか？その正確な幾何的構造は何か？
• RQ3 等号ケースに関連するPDE系をどのように解き、このような部分多様体の明示的例を構成できるか？
• RQ4 不等式の等号が成立する際、歪み積 $ N_\top \times_f N_\perp $ の反不変因子 $ N_\perp $ の取り得る可能性のあるタイプは何か？

主な発見

• パラケーラー多様体における𝒫𝑅歪み積に対して、歪み関数と第二基本形式にのみ依存する最適不等式が確立された。
• 平坦なパラケーラー空間 $ \mathbb{E}^{2h}_h $ において、不等式の等号は、反不変因子 $ N_\perp $ が $ \mathbb{S}^p $、$ \mathbb{H}^p $、または $ \mathbb{E}^p $ に等長である場合に限り成立し、特定の歪み関数を持つ。
• $ N_\perp \cong \mathbb{S}^p $ の場合、歪み関数は $ f = \sqrt{AB} $ であり、$ A $ および $ B $ は $ \mathbb{E}^{2h}_h $ 内の座標の線形関数で、$ \sum a_k b_k = -1 $ を満たす。
• $ N_\perp \cong \mathbb{H}^p $ の場合、歪み関数は $ f = \sqrt{AB} $ で、$ a_1 = 0 $、$ b_1 = 1 $、$ a_2 \neq 0 $、かつ $ \sum a_k b_k = -1 $ を満たす。
• 等号ケースは、$ \mathbb{E}^{2h}_h $ への明示的な等長埋め込みを導き、座標が $ A $、$ B $、および $ \mathbb{S}^p $ 内の単位ベクトル $ (w_0, \dots, w_p) $ で表される。
• 分類には三つの異なる幾何的タイプが含まれる：$ \mathbb{E}^{2h}_h \times_f \mathbb{S}^p $、$ \mathbb{E}^{2h}_h \times_f \mathbb{H}^p $、$ \mathbb{E}^{2h}_h \times_f \mathbb{E}^p $、それぞれが異なる曲率および歪み行動を示す。