[论文解读] On generalized Roter type manifolds

Absos Ali Shaikh, Haradhan Kundu|arXiv (Cornell University)|Nov 4, 2014

Advanced Differential Geometry Research参考文献 20被引用 20

一句话总结

本文引入广义Roter型（GRTₙ）流形作为半黎曼几何中曲率限制的统一与推广框架，表明在这些流形上，当限制算子与收缩可交换且为$C^\infty(M)$-线性时，基于曲率的几何结构（例如局部对称性、半对称性）与基于里奇张量的对应结构等价。关键贡献在于提出了一个充分条件——GRTₙ——以实现这些结构的等价性，从而简化了在弯曲时空和广义相对论背景下的验证过程。

ABSTRACT

The main object of the present paper is to study the geometric properties of a generalized Roter type semi-Riemannian manifold, which arose in the way of generalization to find the form of the Riemann-Christoffel curvature tensor $R$. Again for a particular curvature restriction on $R$ and the Ricci tensor $S$ there arise two structures, e. g., local symmetry ($ abla R = 0$) and Ricci symmetry ($ abla S = 0$); semisymmetry($R\cdot R =0$) and Ricci semisymmetry ($R\cdot S =0$) etc. In differential geometry there is a very natural question about the equivalency of these two structures. In this context it is shown that generalized Roter type condition is a sufficient condition for various important second order restrictions. Some generalizations of Einstein manifolds are also presented here. Finally the proper existence of both type of manifolds are ensured by some suitable examples.

研究动机与目标

• 解决半黎曼流形中长期存在的问题：基于曲率的几何结构（例如局部对称性）是否与基于里奇张量的对应结构（例如里奇对称性）等价。
• 将Roter型条件推广至更广泛的流形类，称为广义Roter型（GRTₙ），允许黎曼曲率张量代数分解为低阶张量的组合。
• 提供一个充分条件——GRTₙ——以实现对黎曼张量和里奇张量施加的二阶曲率限制之间的等价性。
• 提出爱因斯坦流形（Ein(k)）的新推广形式，并证明其在曲率受限几何结构层级中的恰当包含关系。
• 通过显式例子建立曲率结构层级的恰当性，包括非共形平坦和非Roter型时空。

提出的方法

• 将广义Roter型（GRTₙ）流形定义为：黎曼曲率张量$R$可表示为度量$g$、里奇张量$S$及高阶里奇张量$S^k$（如$S^2, S^3, S^4$）的楔积的线性组合，且系数为光滑函数。
• 在维度$n \geq 3$的光滑半黎曼流形$M$上，使用Levi-Civita联络$\nabla$、黎曼-克里斯托费尔曲率张量$R$、里奇张量$S$和数量曲率$\kappa$。
• 引入“可交换二阶类型限制”的概念——一种作用于曲率张量的线性算子，其与收缩可交换且为$C^\infty(M)$-线性——这是建立$R$-基与$S$-基结构等价性的关键。
• 证明在GRTₙ流形上，若限制算子与收缩可交换且为$C^\infty(M)$-线性，则$\nabla R = 0$当且仅当$\nabla S = 0$，且对半对称性与里奇半对称性亦成立。
• 通过扭曲积度量构造GRTₙ流形的显式例子，并利用Wolfram Mathematica代数验证曲率张量的分解。
• 通过例子证明曲率结构层级——常曲率 ⊂ 共形平坦 ⊂ Roter型 ⊂ GRTₙ——是恰当的，即各步均为严格包含。

实验结果

研究问题

• RQ1 在何种条件下，半黎曼流形上的局部对称性（$\nabla R = 0$）与里奇对称性（$\nabla S = 0$）等价？
• RQ2 在欧氏空间中的超曲面上，半对称性（$R \cdot R = 0$）是否与里奇半对称性（$R \cdot S = 0$）等价？何种条件可确保这种等价性？
• RQ3 能否通过一个统一的充分条件建立伪对称性与里奇伪对称性之间的等价性？
• RQ4 广义Roter型（GRTₙ）条件在确保基于曲率与基于里奇张量的几何结构等价性方面起何作用？
• RQ5 广义爱因斯坦条件$Ein(k)$（由$g$, $S$, $S^2$, ..., $S^k$的线性相关性定义）是否为爱因斯坦流形与GRTₙ流形的恰当推广？

主要发现

• 当限制算子为$C^\infty(M)$-线性且与收缩可交换时，GRTₙ条件是基于曲率与基于里奇张量的几何结构等价性的充分条件。
• 本文证明，在GRTₙ流形上，若满足指定算子条件，则$\nabla R = 0$当且仅当$\nabla S = 0$，且$R \cdot R = 0$当且仅当$R \cdot S = 0$。
• 例1展示了一个4维流形$M_1$，其$f$与$h$非常数，为GRT₄但非RT₄，确认了包含关系$RT_n \subset GRT_n$的恰当性。
• 例2给出一个6维流形$M_2$，其为爱因斯坦流形，满足$Ein(2)$与$Ein(4)$条件，但非GRT₆，证明了层级$GRT_n \subset Ein(4)$的恰当性。
• 本文确认，推广路径$\text{常曲率} \subset \text{共形平坦} \subset \text{RT}_n \subset \text{GRT}_n$是恰当的，每一步均为严格包含。
• 通过显式例子与代数验证，表明$Ein(k)$（$k=2,3,4$）分别为RTₙ与GRTₙ的恰当推广。