[论文解读] 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.

研究动机与目标

• 启动对伪凯勒流形中𝒫𝑅-扭曲积的研究，这是一种结合不变与共轭不变分量的新一类子流形。
• 推导一个关于𝒫𝑅-扭曲积的一般最优不等式，仅涉及扭曲函数与第二基本形式。
• 在平坦伪凯勒空间中，对达到所推导不等式等号的𝒫𝑅-扭曲积（最小余维数）进行分类。
• 求解控制这些扭曲积几何结构的偏微分方程组，从而实现对解的显式构造。

提出的方法

• 利用扭曲积度量结构 $ g = g_B + f^2 g_F $，其中 $ f $ 为扭曲函数，并在 $ B \times_f F $ 上应用Levi-Civita联络公式。
• 应用高斯与温加滕公式，将子流形的第二基本形式与周围伪凯勒联络相关联。
• 利用伪复结构 $ \mathcal{P} $ 将切丛分解为不变分布 $ \mathcal{D} $ 与共轭不变分布 $ \mathcal{D}^\perp $。
• 通过第二基本形式的范数与扭曲函数对数的梯度，推导出一个一般不等式。
• 通过显式参数化与曲率分析，求解不等式等号情形下出现的偏微分方程组。
• 在平坦伪凯勒空间 $ \mathbb{E}^{2h}_h $ 中进行显式几何构造，将子流形识别为欧几里得、双曲或球面空间与特定扭曲函数的乘积。

实验结果

研究问题

• RQ1 在伪凯勒流形中的𝒫𝑅-扭曲积中，控制第二基本形式与扭曲函数的最优几何不等式是什么？
• RQ2 在平坦伪凯勒空间中，哪些𝒫𝑅-扭曲积在所推导不等式中取等号？其精确的几何结构如何？
• RQ3 如何求解与不等式等号情形相关的偏微分方程组，以显式构造此类子流形的实例？
• 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 $ 与单位向量 $ (w_0, \dots, w_p) \in \mathbb{S}^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 $，每种类型具有不同的曲率与扭曲行为。