Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

本論文は、面積関数が調和的でなくなることにより、標準的なワイル座標の選択が非ゼロの宇宙定数と両立しないことを示しており、それによって、ワイル計量に対する制限が、静的な軸対称アインシュタイン空間全般に対してではなく、特定の座標系に対して適用されるものであることを明確にしている。

要約

宇宙を、巨大で伸縮自在な布地だと想像してみてください。物理学者は、数学を用いて、重い物体（恒星など）がこの布地をどのように曲げるかを記述します。長い間、彼らが特定の「曲がり」——つまり、完全に静止しており（静的）、かつどの方向に回転させても同じように見えるもの（軸対称）——を研究する際、**カノニカル・ワイル座標（Canonical Weyl Coordinates）**という、非常に特殊で便利な地図を使用してきました。

これらの座標は、グラフ用紙に描かれた完璧に真っ直ぐな正方形の格子のようなものです。線が真っ直ぐで等間隔であるため、この格子の上で計算を行うことは非常に容易です。

旧来のルール

長い間、科学者たちは、もし静止して回転している物体の周りの重力をマッピングしたいのであれば、宇宙には「宇宙定数（これを「宇宙の押し（Cosmic Push）」と呼びましょう）」と呼ばれる、ある種の神秘的なエネルギーが存在してはならないと考えてきました。

この論文は、この信念が宇宙のルールではなく、地図に対する誤解であったと主張しています。

新しい発見

著者であるシェレフ・ナセレルディン（Sheref Nasereldin）は次のように述べています。「問題は、宇宙に『宇宙の押し』が存在できないことではありません。問題は、『宇宙の押し』がオンになると、その『完璧な正方形の格子』が機能しなくなることなのです。」

以下に、簡単な比喩を用いて解説します：

1. 「面積関数」（定規）
これらの重力マップには、「面積関数」と呼ばれる特別な数値があります。これは、物体の周りの回転の円がいかに大きいかを測る定規のようなものです。

• 空っぽの宇宙（宇宙の押しがない場合）： この定規は完璧に振る舞います。それは平らで穏やかな湖のルールに従います。この定るが非常に素直に振る舞うため、定規自体を格子の線の一つとして使うことができます。これが「カノニカル・ワイル」マップを作成します。
• 宇宙の押しがある宇宙： 定規が歪みます。それは、凸凹とした振動する表面の上でゴム製の定規を使おうとしているようなものです。もはや単純で真っ直ぐなルールには従いません。それは「ソース項（源泉項）」を持っており、これは単に「外部からの力によって押されている」ことを意味する専門用語です。

2. 「正方形の格子」対「凸凹のある地図」
著者は、あなたが「カノニカル・ワイル」の正方形の格子（定規が完璧に真っ直ぐである格子）を使用できるのは、宇宙の押しがゼロの場合のみであることを証明しています。

• 押しがゼロの場合： 定規は真っ直ぐです。したがって、その格子を使用できます。
• 押しがゼロではない場合： 定規は曲がります。もし無理に定規を真っ直ぐに保とうとすれば（カノニカル・ワイル座標を固執して使用しようとすれば）、数学が破綻します。それは、正方形の杭を丸い穴に無理やり押し込もうとするようなもので、宇宙はそれを許しません。

証明：コトラー・メトリック

これを証明するために、著者は**コトラー・メトリック（Kottler metric）**に注目します。これは、宇宙の押しが存在する宇宙における、静止して回転している物体の「ゴールドスタンダード（標準的な例）」だと考えてください（基本的には有名なシュヴァルツシルト・ブラックホールに、宇宙の押しを加えたものです）。

• 著者がこの物体の「定規」（面積関数）を計算すると、それが真っ直ぐではないことが分かります。それは宇宙の押しによって曲げられています。
• これにより、「カノニカル・ワイル」の格子（定規が完璧に真っ直ぐであることを要求する格子）が、この物体に対しては存在し得ないことが裏付けられました。
• しかし、その物体自体は存在しています！ただ、別の種類の地図（より一般的な地図）を必要としているだけなのです。

結論

この論文は、一般的な誤解を正しています。

• 古い考え： 「ワイル・メトリック（正方形の格子による地図）は、宇宙に宇宙定数が存在する場合、機能しない。」
• 新しい真実： 「ワイル・メトリックは機能するが、それは『定規が完璧に真っ直ぐである地図』として厳密に定義した場合に限られる。宇宙に宇宙定数がある場合、定規は必ず曲がらなければならない。したがって、その『完璧に真っ直ぐな定規』という定義の使用をやめ、より柔軟な地図を使用しなければならない。」

要約すると： 宇宙定数を持つ宇宙は実在します。ただ、物理学者が愛用してきた特定の、硬直した「正方形の格子」の箱には収まりたくないだけなのです。あなたは、より柔軟で、曲がった地図を使う必要があります。

技術概要

技術的要約：静的な軸対称アインシュタイン空間と標準的なワイル座標の限界

問題提起
古典的なワイル計量は、4次元における静的な軸対称重力源の外側真空場の一般的な局所形式を与えるものである。その標準的な形式において、ワイル計量は、2つのキリング軌道の面積関数（$W = \sqrt{-\det(g_{AB})}$）を、2次元軌道空間上の調和座標（$\rho$）と同一視することによって構成される。この構成は、リッチ平坦な真空時空（$R_{ab}=0$）に対しては確立されているが、コトラー（シュヴァルツシルト・ド・ジッター）族のような、非ゼロの宇宙定数（$\Lambda \neq 0$）を持つアインシュタイン空間に対しても、この標準的な形式が有効であるかどうかは不明である。中心となる問いは、標準的なワイル座標への限定が、$\Lambda \neq 0$ の場合の静的な軸対称アインシュタイン空間の存在に対する根本的な障害なのか、それとも単にその特定の座標選択による制限なのか、ということである。

手法
著者らは、直交可分な領域内における静的な軸対称時空を局所的に扱う。座標の特殊化を物理的な時空の存在から切り離すために、面積関数 $W(\rho, z)$ を直ちに $\rho$ に固定するのではなく、任意の計量関数として保持する一般化されたラインエレメントを用いる：
$$ds^2 = -e^{2U}dt^2 + e^{-2U} \left[ e^{2\nu}(d\rho^2 + dz^2) + W(\rho, z)^2 d\phi^2 \right].$$
アインシュタイン-$\Lambda$ 場の方程式（$R_{ab} = \Lambda g_{ab}$）を用いて、著者らは次元削減を行う。時間的キリングベクトルに直交する空間超曲面の共形共鳴技法を利用することで、2次元軌道空間上のポテンシャル $U, \nu$ および面積関数 $W$ を支配する簡約化された場の方程式を導出する。

主要な貢献と結果

1. 簡約化された方程式の導出： 本論文は、一般化された静的軸対称計量に対する完全な簡約化されたアインシュタイン-$\Lambda$ 系を導出している。軌道空間上の面積関数 $W$ とポテンシャル $U$ を支配する主要な方程式は以下の通りである：

   • $\Delta_q W = -2\Lambda e^{-2U} W$
   • $\Delta_q U + W^{-1}\nabla W \cdot \nabla U = -\Lambda e^{-2U}$
     ここで、$\Delta_q$ は軌道空間の計量 $q$ に随伴するラプラシアンである。

2. 標準的な座標における不適合性の証明： 著者らは、対称軸から離れた領域（$\rho > 0$）において、面積関数を $W = \rho$ と設定する標準的なワイルの選択が、$\Lambda = 0$ である場合においてのみ局所的に許容されることを示す。

   • $W = \rho$ が課される場合、 $W$ に関する簡約化された方程式は $0 = -2\Lambda e^{2\nu - 2U} \rho$ となる。
   • 指数因子および $\rho$ が非ゼロであるため、この方程式は $\Lambda = 0$ を強制する。
   • 逆に、$\Lambda = 0$ であれば、 $W$ に関する方程式は平坦空間のラプラス方程式（$\Delta W = 0$）に帰着し、$W$ を調和座標として用いることが可能になる。

3. 「ワイル計量」の限界に関する明確化： 本論文は、「ワイル計量は $\Lambda \neq 0$ を許容しない」という記述は、「ワイル計量」が面積関数が径方向座標と同一視される標準的な座標における計量を厳密に指す場合にのみ正確であることを確立している。この限界は、時空自体の静止性や軸対称性に起因するのではなく、$\Lambda \neq 0$ の場合、面積関数 $W$ が調和的ではなく、ソースを持つ微分方程式を満たすという事実に起因している。

4. コトラー計量による明示的な検証： コトラー計量（シュヴァルツシルト・ド・ジッター）を最も単純な明示的な例として提示している。著者らは、$\Lambda \neq 0$ のコトラー解において、面積関数 $W = r \sin\theta \sqrt{f(r)}$ がソースを持つ方程式 $\Delta_q W = -2\Lambda e^{-2U} W$ を満たすことを示し、これが標準的なワイル形式（$W=\rho$）に変換できないことを確認している。$\Lambda \to 0$ の極限において、解はシュヴァルツシルト解に帰着し、$W$ は調和的となり、標準的な標準的ワイル座標を回復する。

意義と主張
本論文は、標準的なワイル座標の範囲を明確にする精密な局所的記述を提供することを目的としている。著者らは、$\Lambda \neq 0$ の場合の標準的なワイル形式の失敗は、面積関数によって制御される微分方程式によって直接的に制御されていると主張している。著者らは、この結果が $\Lambda \neq 0$ の場合の静的な軸対称アインシュタイン空間の存在に対するグローバルな障害と見なされるべきではないことを強調している。すなわち、そのような空間は存在するが、面積関数が座標 $\rho$ と同一視されない、より一般的なラインエレメント（式4）によって記述されなければならない。本研究は、時空の幾何学的性質と、それを表現するために用いられる特定の座標選択とを区別する役割を果たしている。