[論文レビュー] Finalizing the classification of type II or more special Einstein spacetimes in five dimensions

Lode Wylleman|arXiv (Cornell University)|Nov 9, 2015

Black Holes and Theoretical Physics参考文献 2被引用数 5

ひとこと要約

本稿は、5次元のタイプIIまたはそれ以上の特殊性を示すアインシュタイン時空が、測地的で多重Weyl整合型零方向（mWAND）を有し、光線行列のランクが1または3である場合、その時空は必然的にタイプDであることを証明することで、タイプII以上を想定した5次元アインシュタイン時空の分類を完成させた。これにより、分類における長年の穴が解消され、すべてのこのような時空が光学的制約、すなわち $\bm{\rho}\bm{\rho}^t \propto \bm{\rho} + \bm{\rho}^t$ を満たすことが確認された。これは、特殊な代数的構造を有する高次元アインシュタイン時空の分類において重要な空白を埋めたものである。

ABSTRACT

Einstein spacetimes in 5d that are of genuine type II in the null alignment classification are considered. It is shown that the unique geodesic multiple Weyl aligned null direction (mWAND) cannot have an optical matrix of rank 1 or 3. This finalizes the classification of all type II or more special Einstein spacetimes in 5d (i.e., those allowing for an mWAND), and also proves that they all satisfy the so-called optical constraint.

研究の動機と目的

• 5次元のタイプIIまたはそれ以上の特殊性を示すアインシュタイン時空を、零方向整列分類において分類を完了すること。
• 測地的mWANDを有し、光線行列のランクが1または3であるような時空の未解決ケースを解消すること。
• このような時空が必然的にタイプDでなければならないことを証明し、分類における重要な穴を閉じること。
• 5次元のタイプII以上、またはそれ以上の特殊性を示すアインシュタイン時空が、一般化されたゴールドバーグ＝サックス定理における重要な構造的条件である光学的制約を満たすことを確立すること。

提案手法

• 5次元におけるWeylテンソル成分およびスピン係数を解析するため、2+2+1の共変的・スカラー的・半複素GHP形式を採用する。
• 測地的mWANDの存在を用いて、独立なWeyl成分の数を減らし、光線行列 $\bm{\rho}$ に対する代数的制約を課す。
• 5次元における一般化されたゴールドバーグ＝サックス定理を適用し、Weylテンソルのブースト重み成分、特に $\Psi_1$, $\Psi_2$, $\Psi_4$ 及びそれらの双対を制限する。
• スピン係数 $\omega$, $\zeta$, $\rho$, $\mu$, $\psi$, $\lambda$, $\mathfrak{f}$ を含む微分方程式および代数方程式の系を、ランク1およびランク3の仮定の下で導出し、解く。
• ランク1およびランク3のケースについて別々に解析を行い、リッチ恒等式および方向微分を用いて一貫性条件を導出する。
• 唯一の一貫性のある解は $\Psi_{22} = 0$, $\Psi_4 = 0$, および $\Psi_4^* = 0$ を要請することを示し、これにより時空がタイプDであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 5次元の真のタイプIIまたはそれ以上の特殊性を示すアインシュタイン時空が、光線行列のランクが1または3である測地的mWANDを有することは可能か？
• RQ2 このような時空が存在する場合、どのような代数的および微分的制約を満たさなければならないか？
• RQ3 ランク1または3の光線行列の存在が、タイプIIではなくタイプDの時空を強制するのか？
• RQ4 光学的制約 $\bm{\rho}\bm{\rho}^t \propto \bm{\rho} + \bm{\rho}^t$ が、5次元におけるすべてのタイプII以上、またはそれ以上の特殊性を示すアインシュタイン時空に一貫して満たされるか？
• RQ5 座標に基づく手法に依存せずに、このような時空の分類を完成させることは可能か？

主な発見

• 真のタイプIIまたはそれ以上の特殊性を示す5次元アインシュタイン時空が、光線行列のランクが1または3である測地的mWANDを有する場合、その時空は必然的にタイプDでなければならない。
• 5次元における真のタイプII、III、またはNのアインシュタイン時空の唯一のmWANDは、常に光線行列のランクが2または0であることが確認され、これらのタイプにはランク1または3のケースが存在しないことが裏付けられた。
• 5次元におけるタイプII以上、またはそれ以上の特殊性を示すすべてのアインシュタイン時空が、光学的制約 $\bm{\rho}\bm{\rho}^t \propto \bm{\rho} + \bm{\rho}^t$ を満たすことが確認された。これは、一般化されたゴールドバーグ＝サックス定理における重要な構造的条件である。
• 解析により、ランク1およびランク3の両ケースにおいて $\Psi_{22} = 0$, $\Psi_4 = 0$, および $\Psi_4^* = 0$ が成立することが示され、これにより時空がタイプDであることが示された。
• ランク1またはランク3の光線行列を有する非タイプD解の可能性が排除されたことにより、5次元におけるタイプII以上、またはそれ以上の特殊性を示すアインシュタイン時空の分類が完全に完成した。
• 証明は座標に依存せず、GHP形式およびWeylテンソルとスピン係数の代数的・微分的構造にのみ依拠している。