[論文レビュー] On generalized Roter type manifolds

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

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

ひとこと要約

本稿では、半リーマン幾何における曲率制約を統一・一般化する枠組みとして一般化リーター型（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.

研究の動機と目的

• 半リーマン多様体において、曲率に基づく幾何的構造（例：局所対称性）とそのリッチテンソルに基づく対応物（例：リッチ対称性）が同値であるかどうかという長年の問いに応えること。
• リーター型条件をより広いクラスの多様体、すなわち一般化リーター型（GRTₙ）と呼ばれる多様体に一般化し、リーマン曲率テンソルを低次のテンソルへの代数的分解を可能にするものであること。
• リーマンテンソルとリッチテンソルに課される2次曲率制約の同値性を保証する十分条件「GRTₙ」を提供すること。
• 一般化されたアインシュタイン多様体（Ein(k)）の新しい一般化を提示し、それが曲率制限付き幾何的構造の階層に適切に含まれることを示すこと。
• 具体的な例を通じて、曲率構造の階層が適切であることを確立すること。これには、非共形的平坦でない、非リーター型の時空も含まれる。

提案手法

• 一般化リーター型（GRTₙ）多様体を、リーマン曲率テンソル $R$ が計量 $g$、リッチテンソル $S$、および高次のリッチテンソル $S^k$（例：$S^2, S^3, S^4$）のウェッジ積の線形結合として表される多様体として定義する。係数は滑らかな関数である。
• 滑らかな半リーマン多様体 $M$（次元 $n \geq 3$）上で、リーマン＝クリフォード接続 $\nabla$、リーマン＝クリフォード曲率テンソル $R$、リッチテンソル $S$、スカラー曲率 $\kappa$ を用いる。
• 「可換な2型制約」という概念を導入する——これは曲率テンソル上の線形作用素であり、縮約と可換であり、$C^\infty(M)$-線形である。この性質は、$R$-および $S$-に基づく構造の同値性を確立する上で鍵となる。
• GRTₙ多様体上で、制約作用素が縮約と可換であり、$C^\infty(M)$-線形である場合、$\nabla R = 0$ が成り立つことと $\nabla S = 0$ が成り立つことが同値であり、同様に半対称性とリッチ半対称性についても同値であることを証明する。
• ワーピング積計量を用いてGRTₙ多様体の具体的な例を構成し、Wolfram Mathematicaを用いて代数的に曲率テンソルの分解を検証する。
• 曲率構造の階層——定曲率 ⊂ 共形的平坦 ⊂ リーター型 ⊂ GRTₙ——が、例を通じて真の包含関係であることを示す。

実験結果

リサーチクエスチョン

• RQ1 半リーマン多様体上で、局所対称性（$\nabla R = 0$）とリッチ対称性（$\nabla S = 0$）が同値となる条件は何か？
• RQ2 ユークリッド空間の超曲面上で、半対称性（$R \cdot R = 0$）とリッチ半対称性（$R \cdot S = 0$）が同値となる条件は何か？また、その同値性を保証する条件は何か？
• RQ3 一様な十分条件を用いて、擬対称性とリッチ擬対称性の同値性を確立できるか？
• RQ4 一般化リーター型（GRTₙ）条件が、曲率テンソルとリッチテンソルに基づく幾何的構造の同値性を保証する役割を果たすのはどのような役割か？
• RQ5 線形従属関係 $g$, $S$, $S^2$, ..., $S^k$ を満たす一般化されたアインシュタイン条件 $Ein(k)$ は、アインシュタイン多様体およびGRTₙ多様体の適切な一般化であるか？

主な発見

• GRTₙ条件は、制約作用素が $C^\infty(M)$-線形であり、縮約と可換である場合、曲率に基づく構造とリッチに基づく構造の同値性を保証する十分条件である。
• 本稿では、GRTₙ多様体上で、制約作用素の条件が満たされる場合、$\nabla R = 0$ が成り立つことと $\nabla S = 0$ が成り立つことが同値であり、同様に $R \cdot R = 0$ と $R \cdot S = 0$ が同値であることを証明している。
• 例1では、非定数の $f$ と $h$ を持つ4次元多様体 $M_1$ が $GRT_4$ であるが $RT_4$ ではないことが示され、$RT_n \subset GRT_n$ の包含関係が真であることが確認された。
• 例2では、6次元の多様体 $M_2$ がアインシュタイン的であり、$Ein(2)$ および $Ein(4)$ 条件を満たすが $GRT_6$ でないことが示され、$GRT_n \subset Ein(4)$ の階層が真であることが証明された。
• 本稿では、一般化の経路 $\text{定曲率} \subset \text{共形的平坦} \subset \text{RT}_n \subset \text{GRT}_n$ が適切であることが確認され、各段階が前段階を真に含むことが示された。
• 具体的な例と代数的検証を通じて、$k=2,3,4$ の一般化されたアインシュタイン条件 $Ein(k)$ が、それぞれ $RT_n$ および $GRT_n$ の適切な一般化であることが示された。