[論文レビュー] Determination of the structure of algebraic curvature tensors by means of Young symmetrizers

Bernd Fiedler|ArXiv.org|Dec 19, 2002

Tensor decomposition and applications参考文献 28被引用数 11

ひとこと要約

本稿では、ヤング対称化子と表現論を用いて、すべての代数的曲率テンソルが、クリフォード可換関係を満たす計量および歪対称行列から構成される、オッズァーマ曲率テンソルに類似した構造に分解可能であることを示している。主な結果は、このようなテンソルが、対称および歪対称双一次形式から自然に導かれる演算子 γ(S) および α(A) を通じて生じることであり、リトルウッド＝リチャードソン則およびプレティズムを用いた明示的分類がなされている。

ABSTRACT

For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic curvature tensor has a structure which is very similar to that of the above Osserman curvature tensors. We verify our results by means of the Littlewood-Richardson rule and plethysms. For certain symbolic calculations we used the Mathematica packages MathTensor, Ricci and PERMS.

研究の動機と目的

• 代数的曲率テンソルの普遍的構造を表現論的道具を用いて特徴づけること。
• クリフォード代数および歪対称行列に基づく既知のオッズァーマテンソル構成を、オッズァーマ設定を超えて一般化すること。
• ヤング対称化子を用いて、任意の代数的曲率テンソルを γ(S) および α(A) に類似した成分に一様に分解すること。
• リトルウッド＝リチャードソン則およびプレティズムを用いて分解を検証し、表現論的整合性を保証すること。
• 特に α(A) 成分に関して、符号（例えばローレンツ型）が可能なオッズァーマ構造を制限する役割を明確にすること。

提案手法

• 対称群の既約表現にテンソル空間を射影するためにヤング対称化子を適用し、曲率テンソルの対称性を特定する。
• フルーリング、キング、ワイブーン、カミンズの定理を用いて、代数的曲率テンソル空間を既約成分に分解する。
• 曲率テンソルを、S が対称で A が歪対称である γ(S) および α(A) の線形結合として表現する。
• リトルウッド＝リチャードソン則を用いて、対称および歪対称形式のテンソル積の分解を計算する。
• プレティズムを用いて、曲率対称性の文脈における対称および歪対称テンソル積の構造を分析する。
• MathTensor、Ricci、PERMS の Mathematica パッケージを用いた記号計算により結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての代数的曲率テンソルは、クリフォード代数から構成される既知のオッズァーマ曲率テンソルに類似した形に表現可能か？
• RQ2 直交群の作用下における代数的曲率テンソル空間の正確な表現論的構造は何か？
• RQ3 ヤング対称化子を介して γ(S) および α(A) の演算子が曲率テンソルの分解においてどのように自然に生じるか？
• RQ4 どのような条件下で α(A)-型成分が消えるか、特にローレンツ型においては？
• RQ5 リトルウッド＝リチャードソン則およびプレティズムが、曲率テンソル成分の分解をどの程度支配するか？

主な発見

• すべての代数的曲率テンソルは、S が対称で A が歪対称である γ(S) および α(A) の成分に分解可能である。
• 演算子 γ(S) および α(A) はヤング対称化子を介して構成され、曲率テンソルのテンソル分解における既約表現に対応する。
• ローレンツ型符号 (1,q) において、(A·F)²=0 であるため A=0 となるランク条件により、非ゼロ A に対して α(A) 成分は恒等的に消える。
• ローレンツ型符号における γ(S) 成分に関して、C=S·F のランク1構造により、ヤコビ作用素 Jγ(S)(x) は恒等的に消える。
• リトルウッド＝リチャードソン則およびプレティズムを用いた検証により、構成の表現論的整合性が確認された。
• MathTensor、Ricci、PERMS を用いた記号計算により、曲率テンソル成分の代数的恒等式および対称性制約が確認された。