[論文レビュー] Lie Algebroids and Classification Problems in Geometry

Rui Loja Fernandes, Ivan Struchiner|ArXiv.org|Dec 19, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 4

ひとこと要約

本稿では、有限型 $G$-構造の分類のための分類的リー代数群を導入し、幾何的構造の分類を、対称代数を符号化するファイバーと、局所同型型を分類する軌道を持つリー代数群の積分に還元する。主な結果は、コフレームの実現が存在するための必要十分条件が構造関数がリー代数群を定義することであると示し、すべての such 実現がその統合されたリー群系列 $\mathcal{G}$ の源ファイバー上のムーラー＝カルタン形式として得られることを確立する。

ABSTRACT

We show how one can associate to a given class of finite type G-structures a classifying Lie algebroid. The corresponding Lie groupoid gives models for the different geometries that one can find in the class, and encodes also the different types of symmetry groups.

研究の動機と目的

• リー代数群を用いた有限型幾何的構造の分類のための体系的枠組みを提供すること。
• 延長を用いて有限型の $G$-構造をコフレーム分類問題に還元し、有限次元的モデル化を可能にすること。
• 分類的リー代数群を統合してリー群系列を得ることで、幾何的構造の普遍的モデルを確立すること。
• 代数群の軌道と安定化部分代数の構造を通じて、幾何的構造の局所同型型と対称群を特徴づけること。
• リー代数群の可積分性と構造とを関連付けることで、カルタンの実現問題を解くこと。

提案手法

• 有限個の構造不変量によって定義されるコフレームのクラスのための分類的リー代数群 $A \to X$ を構成する。
• 延長法を用いて、有限型の $G$-構造をコフレーム分類問題に還元する。
• コフレームの構造関数を用いてリー代数群構造を定義し、可積分性条件を満たすようにする。
• 統合されたリー群系列 $\mathcal{G}$ の源ファイバー上でのムーラー＝カルタン形式を用いて、明示的な局所モデルを構成する。
• セクション上のアンカー写像と括弧を用いて、無限小的対称性と幾何的不変量を符号化する。
• 構造群 $G$ の代数群上の内部作用を用いて、各点における対称代数をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 与えられた構造関数の集合が実現可能なコフレームに対応するための条件は何か？
• RQ2 与えられた $G$-構造のクラスにおけるすべての局所幾何的構造の普遍的モデルをどのように構成できるか？
• RQ3 リー代数群の軌道が幾何的構造の局所同型型を分類する上で果たす役割は何か？
• RQ4 分類的代数群の安定化部分代数は、個々の幾何的構造の対称群とどのように関係するか？
• RQ5 分類的リー代数群の積分が、幾何的クラスのグローバル実現をどのように得られるか？

主な発見

• コフレームの実現が存在するのは、その構造関数がジャコビ恒等式を満たし、リー代数群を定義するときである。
• すべてのコフレームの局所的実現は、統合されたリー群系列 $\mathcal{G}$ の $\mathbf{s}$-ファイバーの単位元近傍に局所的に同型であり、その上にムーラー＝カルタン形式が備わっている。
• 2つのコフレームの局所的芽が同型であるための必要十分条件は、それらが分類的リー代数群の同じ軌道に属することである。
• $\mathbb{R}^2$ 上の一定曲率計量に対して、分類的リー代数群は、ファイバーが $\mathfrak{sl}_2$、$\mathfrak{se}_2$、または $\mathfrak{so}_3$ に同型となる、$A = \mathbb{R} \times \mathbb{R}^3 \to \mathbb{R}$ の自明なバンドルである。曲率 $k$ に応じて、それぞれの代数が対応する。
• 点 $k \in \mathbb{R}$ における安定化部分代数は、曲率 $k$ の一定曲率計量の対称代数に一致する。
• ボッハナー＝カハラー計量に対して、分類的リー代数群は、$X = i\mathfrak{u}(n) \times \mathbb{C}^n \times \mathbb{R}$ 上の自明なバンドルであり、行列作用と曲率不変量によって定義される特定の括弧とアンカーが備わっている。