[論文レビュー] A note on Concircular Structure space-times

Carlo Alberto Mantica, Luca Guido Molinari|arXiv (Cornell University)|Apr 2, 2018

Advanced Differential Geometry Research被引用数 7

ひとこと要約

本稿は、3次元を超える次元における一般化ロバートソン・ウォーカー（GRW）時空とローレンツ型同心構造多様体 ($(LCS)_n$) の等価性を確立している。Fialkowの意味における単位時間的同心ベクトル場の存在がGRW構造を意味することと、逆にその逆も成り立つことを示すことにより、著者たちはローレンツ幾何学における二つの幾何的枠組みを統一し、与えられた条件下で$(LCS)_n$多様体が正確にGRW時空であることを確認した。

ABSTRACT

In this note we show that Lorentzian Concircular Structure manifolds (LCS)_n coincide with Generalized Robertson-Walker space-times.

研究の動機と目的

• ローレンツ幾何学における$(LCS)_n$多様体とGRW時空の幾何的関係を明確化すること。
• FialkowとYanoの定式化を一致させることで、同心ベクトル場の定義における曖昧さを解消すること。
• Fialkowの意味における単位時間的同心ベクトル場の存在がGRW時空を特徴づけることの証明。
• GRW時空におけるリッチテンソルの固有ベクトル条件が$(LCS)_n$構造を意味することの証明。
• $(LCS)_n$とGRWの二つの異なる幾何的枠組みを、同一の特徴づけに基づいて統合すること。

提案手法

• Fialkowが定義する同心ベクトル場を用いる：$\nabla_k X_j = \rho g_{kj}$ で、$X_j$ は単位時間的であり、$\rho$ はスカラー関数。
• Yanoのtorse-形成ベクトル場の定義を適用する：$\nabla_k X_j = \omega_k X_j + \varphi g_{kj}$ で、$\omega_k$ は勾配であり、これにより$(LCS)_n$条件が導かれる。
• 曲率恒等式 $R_{jkl}{}^m u_m = (h_{kl} \nabla_j - h_{jl} \nabla_k)\varphi - \varphi^2 (u_j g_{kl} - u_k g_{jl})$ を用いる。ここで $h_{kl} = u_k u_l + g_{kl}$ である。
• $g^{jl}$ による縮約を実行し、リッチテンソルの作用を導出する：$R_k{}^m u_m = u_k [u^m \nabla_m \varphi + (n-1)\varphi^2] - (n-2)\nabla_k \varphi$。
• Chenの定理（2003年）を用いる：$n>3$のローレンツ多様体がGRW時空であるための必要十分条件は、時間的同心ベクトル場（Fialkowの意味）をもつことである。
• 双方向の等価性を確立する：$(LCS)_n$ からリッチ固有ベクトル条件を経てGRWへ、逆にGRWから$\nabla_k \varphi = \mu u_k$ を経て$(LCS)_n$へと導出可能である。

実験結果

リサーチクエスチョン

• RQ1 $(LCS)_n$多様体とGRW時空は、$n>3$次元において同一のローレンツ多様体のクラスを表しているか？
• RQ2 Fialkowの意味における単位時間的同心ベクトル場の存在が、GRW時空を完全に特徴づけられるか？
• RQ3 単位時間的ベクトル場に対するリッチテンソルの固有ベクトル条件は、$(LCS)_n$構造と同値か？
• RQ4 ローレンツ幾何学の文脈において、同心ベクトル場とtorse-形成ベクトル場の定義はどのように関係しているか？
• RQ5 曲率恒等式は、同心ベクトル場とGRW計量構造をどのように結びつけるか？

主な発見

• $n>3$次元のローレンツ多様体がGRW時空であるための必要十分条件は、Fialkowの意味における単位時間的同心ベクトル場をもつことである。
• $(LCS)_n$条件、すなわち $\nabla_k u_j = \varphi (u_k u_j + g_{kj})$ と $\nabla_j \varphi = \mu u_j$ が成り立つ場合、$u_k$ はリッチテンソルの固有ベクトルである。
• 曲率の縮約 $R_k{}^m u_m = u_k [u^m \nabla_m \varphi + (n-1)\varphi^2] - (n-2)\nabla_k \varphi$ は、$\nabla_k \varphi = \mu u_k$ のとき、リッチ固有ベクトル条件に帰着する。
• もし $R_{km} u^m = \xi u_k$ ならば、$\nabla_k \varphi = \alpha u_k$ となるスカラー $\alpha$ が存在し、これにより$(LCS)_n$条件が導かれる。
• 以上により、与えられた条件下で、$n>3$次元においてGRW時空と$(LCS)_n$多様体は等価である。
• この等価性は、同心ベクトル場が単位時間的であり、スカラー関数 $\varphi$ が勾配条件 $\nabla_j \varphi = \mu u_j$ を満たすという仮定のもとで成立する。