[論文レビュー] Special Riemannian geometries and the Magic Square of Lie algebras

Jan Gutt|ArXiv.org|Oct 12, 2008

Advanced Differential Geometry Research参考文献 25被引用数 4

ひとこと要約

この論文は、ランク3のジョルダン代数とフロイデンタール＝ティッツの魔法の正方形を用いて、8つの新しい非可積分な $G$-構造を構成することで、ヌロウスキーの特別なリーマン幾何学の研究を拡張する。対称空間と $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学の間の統一的な枠組みを確立し、特徴的な接続の存在が定義テンソルにおけるキリング条件と同値であることを証明し、このような接続を許容するすべての幾何学を分類する。

ABSTRACT

We investigate nonintegrable Riemannian geometries modelled after certain symmetric spaces related to the Freudenthal-Tits Magic Square. The collection of four such structures found by Nurowski is extended by further eight. A focus is given to those admitting a compatible connection with completely skew torsion.

研究の動機と目的

• フロイデンタール＝ティッツの魔法の正方形からの対称空間に基づいて、8つの新しい非可積分な $G$-構造を構成することで、ヌロウスキーの4つの特別なリーマン幾何学を一般化すること。
• ランク3のジョルダン代数とそれらに関連する対称不変量を用いて、これらの幾何学の統一的な代数的記述を提供すること。
• $G$-構造が歪みのある接続を持つ特徴的な接続を許容するための条件を特定すること。
• 特徴的な接続を許容するすべての $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学を分類すること。
• 代数的手法を用いて、これらの幾何学の局所的再帰的例を構成すること。

提案手法

• 除法代数 $\mathbb{K}, \mathbb{K}'$ の対から対称対を構成するティーツの構成法を用い、Lie代数 $\mathfrak{g}(\mathbb{K},\mathbb{K}')$ を得る。
• ランク3のジョルダン代数を用いて、直交群を安定化させ、$G$-構造の構造群 $G$ にまで縮小する対称テンソルを定義する。
• $G$-構造の内部ねじれを $\Lambda^3 TM$ のセクションとして定義し、歪みのあるねじれを持つ接続に注目する。
• 定義テンソル $\mathcal{Y}_M$ におけるキリング条件、すなわち $\nabla^{LC}_X \mathcal{Y}_M$ の対称部が消えることによって、ほぼ可積分性の概念を導入する。
• 表現論を用いて、固定部分空間表現を同定し、接空間上の $G$-不変な対称双一次形式を構成する。
• 代数的恒等式を用いて、$\mathfrak{g}(\mathbb{K},\mathbb{K}')$ 内で、特徴的な接続の存在が定義テンソル $\mathcal{Y}_M$ がキリングテンソルであることと同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体上のどの $G$-構造が歪みのある接続を持つ特徴的な接続を許容するか？
• RQ2 定義テンソル $\mathcal{Y}_M$ にどのような代数的条件が、そのような接続の存在を保証するか？
• RQ3 フロイデンタール＝ティッツの魔法の正方形を用いて、どのようにして新しい特別なリーマン幾何学を体系的に構成できるか？
• RQ4 $\mathcal{Y}_M$ におけるキリング条件と特徴的な接続の存在との間の関係は何か？
• RQ5 どの $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学が特徴的な接続を許容し、それらはどのように分類できるか？

主な発見

• 特徴的な接続が $G$-構造に存在することは、定義テンソル $\mathcal{Y}_M$ がキリングテンソルであることと同値であり、ヌロウスキーの結果が8つの新しい幾何学へと一般化される。
• 新規の $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学のうち4つは特徴的な接続を許容し、本論文で完全に分類されている。
• 本論文は、ランク3のジョルダン代数と対称不変量を用いて、すべての $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学の統一的記述を提供する。
• 自然な複素構造またはクaternion的ケーラー構造の存在条件が、$G$-構造の代数的構造から導出される。
• 代数的手法を用いて、対称空間を超えた $\mathfrak{g}(\mathbb{K},\mathbb{K}')$-幾何学の局所的再帰的例が構成され、それらの構造の存在が確認される。
• Lie代数 $\mathfrak{k}$ のヤコビ恒等式が、$B^\alpha_{ij}$ と $\rho^\alpha_{ij}$ を含むテンソル恒等式を用いて代数的に確認され、幾何学的構造の可積分性が裏付けられる。