[論文レビュー] The analogs of Riemann and Penrose tensors on supermanifolds

Elena Poletaeva|ArXiv.org|Oct 8, 2005

Algebraic structures and combinatorial models参考文献 20被引用数 18

ひとこと要約

本稿は、特定の ${\mathbb{Z}}$-次数付きリー超代数のスペンサー・コホモロジーを計算し、その結果を超多様体上のリーマンおよびペネローズテンソルの類似物として解釈する。本稿は、リー超代数に対してボレル＝ヴェイル＝ボットの定理の明快な一般化が存在しないことを示し、真の超重力理論が単純な計量超化ではなく、$d > 1$ の ${\mathbb{Z}}$-次数付きリー超代数を必要とすることを示している。

ABSTRACT

The Spencer cohomology of certain graded Lie superalgebras are completely computed. This cohomology is interpreted as analogs of Riemann and Penrose tensors on supermanifolds. The results make it manifest that there is no simple generalization of Borel-Weil-Bott's theorem for Lie superalgebras.

研究の動機と目的

• 特定の ${\mathbb{Z}}$-次数付きリー超代数のスペンサー・コホモロジーを計算し、それらが超多様体上の幾何的障害を符号化することを目的とする。
• これらのコホモロジー群を超幾何学におけるリーマンおよびペネローズテンソルの類似物として解釈することを目的とする。
• 計量の単純な超化が超重力理論においてアインシュタイン＝ヒルベルト型の運動方程式をもたらさない理由を明確にすることを目的とする。
• 一貫性のある超重力理論が $d > 1$ の ${\mathbb{Z}}$-次数付きリー超代数に対応することを示すこと。
• 超多様体幾何における構造関数と統合性障害を理解するためのコホモロジー的枠組みを提供すること。

提案手法

• ${\mathbb{Z}}$-次数付きリー超代数に関連するスペンサー・コホモロジー複体を用いて、超多様体の局所的フラットネスの障害を計算する。
• $H^{1,2}_{{\mathfrak{g}}_0}$ のコホモロジー群とその構造を、${\mathfrak{g}}_0$-加群の非分裂完全系列を介して分析する。
• ${\mathfrak{osp}}(2|4)$ および ${\mathfrak{sl}}(2) \oplus {\mathfrak{o}}(7)$ の表現論を適用し、次数付き成分の分解と既約表現の計算を行う。
• ${\mathfrak{sl}}(n)$-加群のウェイユ指標公式および次元公式を用いて、コホモロジー内に現れる既約表現の次元を計算する。
• 構造関数が非可積分性を測る標準接続の非可積分性を示すコホモロジー類である、超多様体上の $G$-構造の構造を用いる。
• $AB_3$ のようなリー超代数における深さ 1 および 2 の ${\mathbb{Z}}$-次数の分類を用いて、コホモロジー的障害を分析する。

実験結果

リサーチクエスチョン

• RQ1 深さ $d > 1$ の ${\mathbb{Z}}$-次数付きリー超代数のスペンサー・コホモロジーの構造は何か？
• RQ2 これらの超代数のコホモロジー群は、超多様体上でのリーマンおよびペネローズテンソルの類似物とどのように対応するか？
• RQ3 ボレル＝ヴェイル＝ボットの定理がこの文脈においてリー超代数へ一般化できないのはなぜか？
• RQ4 ${\mathbb{Z}}$-次数の深さが一貫性のある超重力理論の構築において果たす役割は何か？
• RQ5 このコホモロジー的枠組みを用いて、超多様体の構造関数を完全に分類できるか？

主な発見

• 深さ 1 の ${\mathbb{Z}}$-次数付きリー超代数 $AB_3$ のスペンサー・コホモロジーが計算され、非自明な構造関数は次数 1 のもののみであることが判明した。
• $H^{1,2}_{{\mathfrak{g}}_0}$ は、モジュール $X$ を含む非分裂完全系列に含まれており、$X$ 自身は $V_{3\varepsilon_1 + 2\delta_1}$ から $\Pi(V_{4\varepsilon_1 + 2\delta_1 + \delta_2})$ への非分裂拡張である。
• コホモロジーの ${\mathfrak{g}}_0$-モジュール構造は、${\mathfrak{osp}}(2|4)$ の既約表現を用いて明示的に記述されており、$V_{\varepsilon_1 + 2\delta_1}$ および $V_{3\varepsilon_1 + 2\delta_1}$ が含まれる。
• 計算により、構造関数が単純なモジュールを形成しないことが確認され、複雑な幾何的障害パターンが示された。
• 結果は、標準的リーマンテンソルが奇数パラメータ依存項を削除した後のみ出現することを確認しており、超重力理論が一貫性を保つためにより深い ${\mathbb{Z}}$-次数（$d > 1$）を必要とすることを裏付けた。
• グロズマンの計算パッケージ SuperLie が独立的にコホモロジー結果を検証したことが確認され、研究結果に対する強い支持が得られた。