[Paper Review] 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 Flows10 references4 citations

TL;DR

This paper characterizes four-dimensional Einstein Riemannian manifolds by proving that the higher-order Jacobi operators associated with orthogonal vectors or 2-planes commute if and only if the manifold is Einstein. The authors establish that commutativity of $Σ(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ for all unit vectors $X$, or $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ for all 2-planes $\alpha$, implies the Ricci curvature is proportional to the metric, i.e., the manifold is Einstein.

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.

Motivation & Objective

• To characterize four-dimensional indecomposable Riemannian manifolds where higher-order Jacobi operators commute on orthogonal subspaces.
• To investigate the geometric implications of the commutativity condition $\mathcal{J}(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ for unit vectors $X$.
• To analyze the condition $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ for 2-planes $\alpha$ in four-dimensional manifolds.
• To establish the equivalence between these commutativity conditions and the Einstein property in four-dimensional Riemannian geometry.
• To extend recent results on Puffini–Videv 0-models to the Riemannian setting, showing that Puffini–Videv 0-models decompose into Einstein components.

Proposed method

• Define the higher-order Jacobi operator $\mathcal{J}(\pi)$ for a $k$-plane $\pi$ as $\sum_{i=1}^k R(Y, Y_i)Y_i$, where $\{Y_i\}$ is an orthonormal basis of $\pi$.
• Use the curvature tensor $R$ and its components $K_{ij} = g(R(e_i,e_j)e_j,e_i)$ and $\rho_{ij} = \sum_k g(R(e_k,e_i)e_j,e_k)$ to express $\mathcal{J}(X)$ and $\mathcal{J}(X^\perp)$ in matrix form.
• Derive the matrix commutativity condition $\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\})$ and equate entries to obtain a system of equations.
• Solve the resulting system of equations (2.14) and (2.15) to deduce that $K_{14} = K_{23}, K_{13} = K_{24}, K_{12} = K_{34}$, implying constant Ricci curvature.
• Use the invariance of the relations under arbitrary orthonormal bases to conclude the manifold is Einstein.
• Apply the generalized theory of Puffini–Videv 0-models to show that in the Riemannian setting, a 0-model is Puffini–Videv if and only if it is a direct sum of Einstein 0-models.

Experimental results

Research questions

• RQ1 Under what conditions do higher-order Jacobi operators $\mathcal{J}(X)$ and $\mathcal{J}(X^\perp)$ commute for all unit vectors $X$ in a four-dimensional Riemannian manifold?
• RQ2 When does the commutativity $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ hold for all 2-planes $\alpha$?
• RQ3 What geometric structure is implied by the commutativity of higher-order Jacobi operators on orthogonal subspaces in four-dimensional manifolds?
• RQ4 How are the Puffini–Videv 0-models related to Einstein geometry in the Riemannian setting?
• RQ5 Can a Puffini–Videv 0-model in the Riemannian case be decomposed into Einstein components?

Key findings

• The commutativity condition $\mathcal{J}(X)\circ\mathcal{J}(X^\perp) = \mathcal{J}(X^\perp)\circ\mathcal{J}(X)$ for all unit vectors $X$ holds if and only if the manifold is Einstein.
• The commutativity condition $\mathcal{J}(\alpha)\circ\mathcal{J}(\alpha^\perp) = \mathcal{J}(\alpha^\perp)\circ\mathcal{J}(\alpha)$ for all 2-planes $\alpha$ holds if and only if the manifold is Einstein.
• The solution of the matrix commutativity equations leads to the relations $K_{14} = K_{23}, K_{13} = K_{24}, K_{12} = K_{34}$, which imply that the Ricci curvature is proportional to the metric.
• The equivalence between the two commutativity conditions and the Einstein property is established via the invariance of the curvature relations under arbitrary orthonormal bases.
• In the Riemannian setting, a 0-model is Puffini–Videv if and only if it decomposes into a direct sum of Einstein 0-models.
• The Puffini–Videv 0-model framework generalizes the Einstein condition, showing that such models are precisely those whose curvature structure supports commuting higher-order Jacobi operators on orthogonal subspaces.