[論文レビュー] Highly structured tensor identities for (2,2)-forms in four dimensions

Ola Wingbrant|ArXiv.org|Oct 29, 2003

Black Holes and Theoretical Physics参考文献 9被引用数 3

ひとこと要約

この論文は、空間の次元よりも多くのインデックスについて反対称化に基づく次元に依存する恒等式を用いて、4次元時空における(2,2)-形式の非常に構造的なテンソル恒等式を導出する。Bel-Robinsonテンソルの2次恒等式を確立し、任意のローレンツ的またはリーマン的符号について、$Τ_{abcy}Τ^{abcx} = \frac{1}{4}\delta^x_y \u03a4_{abcd}\u03a4^{abcd}$ が成り立つことを示す。アブストラクト・インデックス表記と体系的な反対称化を用い、トレースフリーで対称なテンソルの性質を活用することで、4次元で成立する。

ABSTRACT

In an n dimensional vector space, any tensor which is antisymmetric in k>n arguments must vanish; this is a trivial consequence of the limited number of dimensions. However, when other possible properties of tensors, for example trace-freeness, are taken into account, such identities may be heavily disguised. Tensor identities of this kind were first considered by Lovelock, and later by Edgar and Hoeglund. In this paper we continue their work. We obtain dimensionally dependent identities for highly structured expressions of products of (2,2)-forms. For tensors possessing more symmetries, such as block symmetry W_{abcd} = W_{cdab}, or the first Bianchi identity W_{a[bcd]} = 0, we derive identities for less structured expressions. These identities are important tools when studying super-energy tensors, and, in turn, deriving identities for them. As an application we are able to show that the Bel-Robinson tensor, the super-energy tensor for the Weyl tensor, satisfies the equation T_{abcy}T^{abcx} = 1/4g^{x}_{y}T_{abcd}T^{abcd} in four dimensions, irrespective of the signature of the space.

研究の動機と目的

• 次元に依存する恒等式を用いて、4次元時空における(2,2)-形式の新しいテンソル恒等式を導出すること。
• 非常に対称的なテンソル式における反対称化とトレースフリー性を活用することで、Lovelock や Edgar-Höglund の結果を一般化・拡張すること。
• スピン形式で既に知られていたが、純粋にテンソリアルな導出によってBel-Robinsonテンソルの2次恒等式を再構築すること。
• トレースフリーでブロック対称な(2,2)-形式における鎖状の恒等式構造とその破損形の構造を調査すること。
• このような恒等式を高次元および高ランクテンソルに拡張するための基盤を築くこと。

提案手法

• テンソルの対称性とトレースフリー性を明確かつ体系的に表現するために、アブストラクト・インデックス表記を用いる。
• 次元数（n=4）よりも多くのインデックスについて反対称化することで、次元に依存する恒等式を適用し、自明に消える恒等式を導出する。
• EdgarとHöglundの定理2.1を用いて、トレースフリーな(2,2)-形式、ブロック対称形式、およびウェイリ・ケンデート（Weyl candidates）の恒等式を導出する。
• 体系的な反対称化とデルタ・コンパクト化を用いて、複雑なテンソル式をより単純なトレース関連の恒等式に簡約する。
• 最初のビアンキ恒等式とブロック対称性を適用してテンソル成分を制約し、積の簡略化を図る。
• 明示的なコンパクト化計算を通じて結果を検証し、トレースフリー性と対称性により高次の項が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元に依存する恒等式を用いて、Bel-Robinsonテンソルのようなスーパ-energyテンソルの4次元における2次関係を導出可能か？
• RQ2 ブロック対称性や最初のビアンキ恒等式などの追加対称性を持つトレースフリーな(2,2)-形式が満たす構造的恒等式は何か？
• RQ3 リーマン的およびローレンツ的符号の両方において、これらの恒等式はどのように振る舞うか？
• RQ4 (2,2)-形式の鎖状のコンパクト化構造は、高ランクまたは高次元テンソルに一般化可能か？
• RQ5 これらの恒等式は、ウェイリ・テンソルのスカラー不変量およびその代数的関係にどのような意味を持つのか？

主な発見

• Bel-Robinsonテンソルは、任意の符号について、4次元で $\mathcal{T}_{abcy}\mathcal{T}^{abcx} = \frac{1}{4}\delta^x_y \mathcal{T}_{abcd}\mathcal{T}^{abcd}$ を満たす。
• トレースフリーな(2,2)-形式 $U$ に対して、恒等式 $\underset{0}{U}[m]^{xb}{}_{yb} = \frac{1}{4}\delta^x_y \underset{0}{U}[m]^{ab}{}_{ab}$ が成り立つ。
• ブロック対称でトレースフリーな(2,2)-形式 $V$ に対して、恒等式 $\underset{t1}{V}[m]^{xb}{}_{by} = \frac{1}{4}\delta^x_y \underset{t1}{V}[m]^{ab}{}_{ba}$ が導出される。
• Weyl候補 $W$ に対して、恒等式 $\underset{nt0}{W}[m]^{wx}{}_{yz} = \frac{1}{2^n}\underset{0}{W}[m]^{wx}{}_{yz}$ が確立され、次元に依存するスケーリング係数の依存性が示される。
• 反対称化とトレースフリー性による消滅項を活用することで、複雑なテンソルコンパクト化をトレースに基づく恒等式に成功して簡約した。
• これらの結果は、$n=2m$ のとき、特にLovelock型恒等式を一般化する形で、高次元における(m,m)-形式に対しても同様の恒等式が存在する可能性を示唆している。