[论文解读] Four-dimensional Riemannian manifolds with commuting higher order Jacobi operators

M. S. Ivanova, V. Videv+1 more|ArXiv.org|Jan 3, 2007

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

一句话总结

本文通过证明：当且仅当流形为爱因斯坦流形时，与正交向量或2-平面相关的高阶雅可比算子彼此交换。作者确立了：对所有单位向量 $X$，有 $Σ(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ 成立，或对所有2-平面 $\alpha$，有 $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ 成立，当且仅当里奇曲率与度量成比例，即流形为爱因斯坦流形。

ABSTRACT

We consider four-dimensional Riemannian manifolds with commuting higher order Jacobi operators defined on two-dimensional orthogonal subspaces (polygons) and on their orthogonal subspaces. More precisely, we discuss higher order Jacobi operator $\mathcal{J}(X)$ and its commuting associated operator $\mathcal{J}(X^{\perp})$ induced by the orthogonal complement $X^{\perp}$ of the vector $X$, i. e. $\mathcal{J}(X)\circ\mathcal{J}(X^{\perp})=\mathcal{J}(X^{\perp})\circ \mathcal{J}(X)$. At the end some new central theorems have been cited. The latter are due to P. Gilkey, E. Puffini and V. Videv, and have been recently obtained.

研究动机与目标

• 刻画四维不可约黎曼流形中，高阶雅可比算子在正交子空间上交换的条件。
• 研究四维流形中单位向量 $X$ 满足 $\mathcal{J}(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ 的几何意义。
• 分析四维流形中2-平面 $\alpha$ 满足 $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ 的条件。
• 建立四维黎曼几何中这些交换性条件与爱因斯坦性质之间的等价性。
• 将近期关于 Puffini–Videv 0-模型的结果推广至黎曼几何设定，表明 Puffini–Videv 0-模型可分解为爱因斯坦分量。

提出的方法

• 定义 $k$-平面 $\pi$ 的高阶雅可比算子 $\mathcal{J}(\pi)$ 为 $\sum_{i=1}^k R(Y, Y_i)Y_i$，其中 $\{Y_i\}$ 是 $\pi$ 的标准正交基。
• 利用曲率张量 $R$ 及其分量 $K_{ij} = g(R(e_i,e_j)e_j,e_i)$ 和 $\rho_{ij} = \sum_k g(R(e_k,e_i)e_j,e_k)$，将 $\mathcal{J}(X)$ 和 $\mathcal{J}(X^\perp)$ 表示为矩阵形式。
• 推导矩阵交换性条件 $\mathcal{J}(\{e_1,e_2,e_3\}) \circ \mathcal{J}(\{e_4\}) = \mathcal{J}(\{e_4\}) \circ \mathcal{J}(\{e_1,e_2,e_3\})$，并令对应项相等，得到方程组。
• 求解所得方程组 (2.14) 和 (2.15)，推导出 $K_{14} = K_{23}, K_{13} = K_{24}, K_{12} = K_{34}$，表明里奇曲率为常数。
• 利用关系式在任意标准正交基下不变的性质，得出流形为爱因斯坦流形。
• 应用 Puffini–Videv 0-模型的广义理论，表明在黎曼设定下，一个 0-模型 是 Puffini–Videv 当且仅当其为爱因斯坦 0-模型 的直和。

实验结果

研究问题

• RQ1 在四维黎曼流形中，高阶雅可比算子 $\mathcal{J}(X)$ 与 $\mathcal{J}(X^\perp)$ 对所有单位向量 $X$ 交换的条件是什么？
• RQ2 在四维流形中，对所有2-平面 $\alpha$，何时有 $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ 成立？
• RQ3 在四维流形中，高阶雅可比算子在正交子空间上交换所蕴含的几何结构为何？
• RQ4 Puffini–Videv 0-模型与黎曼几何中的爱因斯坦几何有何关联？
• RQ5 在黎曼情形下，Puffini–Videv 0-模型能否分解为爱因斯坦分量？

主要发现

• 对所有单位向量 $X$，条件 $\mathcal{J}(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ 成立，当且仅当流形为爱因斯坦流形。
• 对所有2-平面 $\alpha$，条件 $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ 成立，当且仅当流形为爱因斯坦流形。
• 矩阵交换性方程的解导出关系式 $K_{14} = K_{23}, K_{13} = K_{24}, K_{12} = K_{34}$，这表明里奇曲率与度量成比例。
• 通过曲率关系在任意标准正交基下不变的性质，建立了两种交换性条件与爱因斯坦性质之间的等价性。
• 在黎曼设定下，一个 0-模型 是 Puffini–Videv 当且仅当其可分解为爱因斯坦 0-模型 的直和。
• Puffini–Videv 0-模型框架推广了爱因斯坦条件，表明此类模型恰好是那些其曲率结构支持在正交子空间上交换高阶雅可比算子的模型。