[論文レビュー] On the Riemann Extension of the Gödel Space-Time metric

Valerii Dryuma|ArXiv.org|Nov 30, 2005

Cosmology and Gravitation Theories参考文献 6被引用数 7

ひとこと要約

本稿は、閉じた時的曲線を有する非リッチ平坦なアインシュタイン方程式の解であるゴーデル時空計量のリーマン拡張を調査する。元の時空の測地線方程式から2n次元の拡張計量を構成することで、測地線方程式が元の座標を記述する系と補助座標の線形2階常微分方程式系に分解されることを示した。主な結果として、拡張時空が元の時空の曲率性質を継承することを示し、線形化された力学系を用いて可積分性や不変量を解析可能となる。特に、平坦性を決定する行列式 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ が重要である。

ABSTRACT

Some properties of the Gödel space-time metric and its Riemann extension are studied

研究の動機と目的

• ゴーデル時空計量の幾何的・力学的性質をそのリーマン拡張を通じて分析すること。
• 物理的に有意義な非リッチ平坦な時空（閉じた時的曲線を有する）に対してリーマン拡張理論を適用すること。
• 拡張時空が曲率不変量を保存するかどうかを調査し、得られる線形系を用いて測地線方程式の可積分性を解明すること。
• 拡張時空における測地線方程式の明示的解を導出し、パラメータが解のスペクトルに与える影響を検討すること。

提案手法

• 元の時空の測地線方程式から得られる接続係数 $ \tilde{\nabla}^k_{ij} $ を用いて、2n次元のリーマン拡張計量を構成する。
• 拡張計量を $ {}^{2n}ds^2 = -2\tilde{\nabla}^k_{ij}\tilde{\theta}_k dx^i dx^j + 2d\tilde{\theta}_k dx^k $ と定義する。ここで $ \tilde{\theta}_k $ は補助座標である。
• 拡張時空の測地線方程式を、元の座標 $ x^k $ を記述する部分と補助座標 $ \tilde{\theta}_k $ を記述する部分に分解し、線形系 $ \frac{d^2\tilde{\boldsymbol{\theta}}}{ds^2} + A(s)\frac{d\tilde{\boldsymbol{\theta}}}{ds} + B(s)\tilde{\boldsymbol{\theta}} = 0 $ を得る。
• 特に $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ を含む行列不変量を分析し、平坦性および可積分性を決定する。
• 座標変換を用いて計量を別の形（例：$ ds^2 = -(dt + \frac{a\tilde{}}{y}dx)^2 + \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $）に表現し、測地線方程式の簡略化を図る。
• 得られたODEの解 $ F_1(y) $ と $ F_2(t) $ を解き、パラメータの範囲に応じてベッセル関数、三角関数、対数関数、べき乗関数の形で表される解を得る。

実験結果

リサーチクエスチョン

• RQ1 ゴーデル計量のリーマン拡張は、元の時空の曲率性質をどのように保存または変換するか？
• RQ2 拡張された8次元時空における測地線方程式の構造は何か？ そして、どのように部分系に分解されるか？
• RQ3 行列不変量 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ を用いて、拡張時空における測地線系の可積分性を特定できるか？
• RQ4 拡張系の解の種類は何か？ また、ODEにおけるパラメータ $ c_1, \nu, \tau $ に依存する解の依存関係は？
• RQ5 空間的3次元計量 $ {}^3dl^2 = \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $ は、既知の幾何構造とどのように関係するか？ また、この計量に埋め込める表面族（例：平行移動面）は何か？

主な発見

• ゴーデル計量のリーマン拡張は、2n次元時空を生成し、その測地線方程式は元の座標を記述する系と補助座標の線形2階常微分方程式系に分解される。
• 行列不変量 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ が拡張時空の平坦性を決定する：$ E = 0 $ ならば、系は $ \frac{d^2\boldsymbol{\tilde{\theta}}}{ds^2} = 0 $ と等価であり、平坦性を示す。
• 拡張系のODEの解は、$ c_1 + \frac{1}{4} $ の符号に応じて三角関数、対数関数、べき乗関数の形で表される。特に、$ b^2 = -c_1 - \frac{1}{4} > 0 $ の場合、$ \frac{F_1}{\tilde{y}} = C_1 \tan(b \tilde{y}) + C_2 \text{cot}(b \tilde{y}) $ のような明示的形で表される。
• 空間的3次元計量 $ {}^3dl^2 = \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $ は、サーラスの8種の幾何の一つに属し、$ \frac{\tilde{\theta}^2}{\tilde{y}^2} = \text{const} $ で定義される平行移動面を含む。パラメータ $ u, v $ を用いた明示的パラメトリック解が得られる。
• 平行移動面のための方程式系は、計量制約から導かれる1つの2階偏微分方程式 $ y(u,v) $ に簡約され、任意関数 $ A(u), B(v) $ に依存する非自明な解をもつ。
• 拡張時空は、リーマン拡張理論に従い、リーマンテンソルおよびその共変微分から構成されるすべてのスカラー曲率不変量が消えることを保証する。