[論文レビュー] The curvature of almost Robinson manifolds

Arman Taghavi‐Chabert|arXiv (Cornell University)|Apr 23, 2014

Geometric Analysis and Curvature Flows参考文献 51被引用数 5

ひとこと要約

本稿は、4次元を超える高次元のローレンツ多様体にほぼロビンソン構造を備えた場合の曲率テンソル——特にウェイリーやリッチ、コタン＝ヨークテンソル——のスピンル的分類を提示する。これはピートロフ分類を4次元を超える次元へ一般化するものである。本稿では、$σ(m-1,\mathbb{C})$-不変なテンソル分解を確立し、代数的退化性とシアー自由な光線ジオデシック束などの幾何的構造を結びつける。さらに、スピンル場と微分形式を用いたウェイリーテンソル型の明示的特徴付けも提供する。

ABSTRACT

An almost Robinson structure on an $n$-dimensional Lorentzian manifold $(\mcM,g)$, where $n=2m+ε$, $ε\in \{ 0 ,1 \}$, is a complex $m$-plane distribution $\mcN$ that is totally null with respect to the complexified metric, and intersects its complex conjugate in a real null line distribution $\mcK$, say. When $\mcN$ and its orthogonal complement $\mcN^\perp$ are in involution, the line distribution $\mcK$ is tangent to a congruence of null geodesics, and the quotient of $\mcM$ by this flow acquires the structure of a CR manifold. In four dimensions, such a congruence is shearfree. We give classifications of the tracefree Ricci tensor, the Cotton-York tensor and the Weyl tensor, invariant under i) the stabiliser of a null line, and ii) the stabiliser of an almost Robinson structure. For the Weyl tensor, these are generalisations of the Petrov classification to higher dimensions. Since an almost Robinson structure is equivalent to a projective pure spinor field of real index $1$, the present work can also be viewed as spinorial classifications of curvature tensors. We illustrate these algebraic classifications by a number of examples of higher-dimensional general relativity that admit integrable almost Robinson structures, emphasising the degeneracy type of the Weyl tensor in each case.

研究の動機と目的

• スピンル的および幾何的構造を用いて、ウェイリーテンソルのピートロフ分類を高次元に拡張すること。
• 光線の安定化群（$\mathrm{Sim}(n-2)$）およびほぼロビンソン構造の安定化群（$\mathrm{Sim}(m-1,\mathbb{C})$）の作用の下で、トレースフリーリッチ、コタン＝ヨーク、ウェイリーテンソルを分類すること。
• 代数的退化性のスピンル的定式化を提供し、シアー自由な光線ジオデシック束などの可積分幾何的構造と結びつけること。
• 得られた分類を、高次元一般相対論における既知の解に適用し、ウェイリーテンソルの退化性型に注目すること。

提案手法

• 本稿では、ほぼロビンソン構造の安定化群のリー代数$\mathfrak{sim}(m-1,\mathbb{C})$の表現論を用いて、曲率テンソルをその安定化群の下での不変部分空間へ分解し、可約モジュールに分類する。
• 実インデックス1の純粋スピンル場を用いてほぼロビンソン構造を特徴付け、幾何的データとのスピンル的対応関係を確立する。
• ウェイリーテンソルの分類は、$\mathfrak{sim}(m-1,\mathbb{C})$-不変成分への分解から導出され、対称および反対称スピンル場を用いた明示的特徴付けがなされる。
• 曲率テンソルをスピンル場$\Psi$の二重線形形式として表現する。例えば$C_{abcd} = u_{[a} \Psi_{b]cd} + u_{[c} \Psi_{d]ab}$であり、$\Psi$は特定の表現空間に属する。
• 低次元（4次元から6次元）への応用では、特別な対称性（例：6次元における自己双対／反自己双対分解）を用いてモジュールを再グループ化する。
• この枠組みを高次元一般相対論の既知の解に適用し、導出された分類によりウェイリーテンソルの退化性型を明示的に特定する。

実験結果

リサーチクエスチョン

• RQ1 ほぼロビンソン構造の安定化群を用いた高次元時空におけるウェイリーテンソルの分類法は何か？
• RQ2 曲率テンソルの代数的退化性と、可積分な光線ジオデシック束の存在との関係は何か？
• RQ3 トレースフリーリッチおよびコタン＝ヨークテンソルは、高次元において$\mathrm{Sim}(m-1,\mathbb{C})$-不変性の下でどのように分解されるか？
• RQ4 ほぼロビンソン構造のスピンル的定式化は、4次元におけるピートロフ分類をどのように一般化するか？
• RQ5 低次元（4次元から6次元）における曲率分類は、自己双対および反自己双対分解の観点からどのように異なるか？

主な発見

• ウェイリーテンソルは、$\mathfrak{sim}(m-1,\mathbb{C})$-不変モジュール$\breve{\mathfrak{C}}_0^{3,8}$, $\breve{\mathfrak{C}}_0^{3,9}$, $\breve{\mathfrak{C}}_0^{3,10}$, $\breve{\mathfrak{C}}_0^{3,11}$, および$\breve{\mathfrak{C}}_0^{3,12}$に分類され、それぞれ特定のスピンル場配置に対応する。
• ウェイリーテンソルが$\breve{\mathfrak{C}}_0^{3,8}$または$\breve{\mathfrak{C}}_0^{3,9}$に属するのは、$C_{abcd} = u_{[a} \Psi_{b]cd} + \frac{1}{2m-4} H_{[a|c|} \Psi_{d]|b]}$を満たす場合に限り、ここで$\Psi_{cd}$は$\breve{\mathfrak{F}}_0^{1,0}$または$\breve{\mathfrak{F}}_0^{1,1}$に属する対称スピンル場である。
• ウェイリーテンソルが$\breve{\mathfrak{C}}_0^{3,10}$, $\breve{\mathfrak{C}}_0^{3,11}$, または$\breve{\mathfrak{C}}_0^{3,12}$に属するのは、$C_{abcd} = u_{[a} \Psi_{b]cd} + u_{[c} \Psi_{d]ab}$を満たす場合に限り、ここで$\Psi_{abc}$は$\breve{\mathfrak{A}}_0^{2,1}$, $\breve{\mathfrak{A}}_0^{2,2}$, または$\breve{\mathfrak{A}}_0^{2,3}$に属する反対称スピンル場である。
• 4次元では、$\mathfrak{sim}(m-1,\mathbb{C})$-不変分類は標準的なピートロフ分類に還元され、ペンローズのフローダイアグラムとは異なる図式を示す。
• 6次元では、ホッジ双対作用素を用いて$\mathfrak{sim}(2,\mathbb{C})$-モジュールが自己双対および反自己双対$\mathfrak{sim}(4)$-モジュールに再グループ化され、$\mathfrak{A}_{\pm1}^{1,+} \cong \mathfrak{A}_{\pm1}^{1,0} \oplus \mathfrak{A}_{\pm1}^{1,2}$のような同型が成り立つ。
• この分類は、アインシュタイン方程式の既知の高次元解に適用可能であり、導出された代数的型によりウェイリーテンソルの退化性型が明示的に特定される。