[論文レビュー] Lie algebroids and Cartan's method of equivalence

Anthony D. Blaom|arXiv (Cornell University)|Sep 3, 2005

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

ひとこと要約

この論文は、リー代数準束を用いてエリ・カルタンの等価法を再定式化し、座標およびモデルに依存しない枠組みを提供する。この枠組みにより、縮約と延長を用いて等価法を幾何学的に解釈する。有限型の幾何構造の標準形として「カルタン代数準束」を導入し、曲率によって変形された無限小対称性を記述する。応用例として、部分リーマン接触構造と共形幾何が含まれる。

ABSTRACT

Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and prolongation. We show how to construct certain normal forms (Cartan algebroids) for objects of finite-type, and are able to interpret these directly as infinitesimal symmetries deformed by curvature.' Details are developed for transitive structures but rudiments of the theory include intransitive structures (intransitive symmetry deformations). Detailed illustrations include subriemannian contact structures and conformal geometry.

研究の動機と目的

• リー代数準束を用いて、座標に依存しない幾何的再定式化を、カルタンの等価法に適用する。
• 有限型の幾何構造を、カルタンの直観に一致するように、曲率によって変形された無限小対称性として解釈する。
• 縮約と延長を用いて、このような構造の内在的標準形（カルタン代数準束）を構成する。
• トランスティーブでない構造へと形式主義を拡張し、部分リーマン幾何および共形幾何に応用する。
• 等価問題の2次的データが、適合接続を持つリー代数準束として幾何的に実現可能であることを示す。

提案手法

• 座標依存の構成を置き換えるために、基本的な幾何的対象としてリー代数準束を用いて等価問題を再定式化する。
• 曲率による対称性の変形を捉えるために、線形接続を備えたリー代数準束として「カルタン代数準束」を定義する。
• ジェットバンドル形式 $J^1(TM)$ と同相部分代数準束を用いて、幾何構造のキリング場および無限小対称性を符号化する。
• ねじれおよび可積分性条件を解析するために、リー代数準束の枠組みに縮約と延長の技法を適用する。
• 接触構造における曲率およびねじれ成分を分解するために、写像 $\phi_1, \phi_2, \phi_3, \phi_4$ を用いる。
• リーマン接続 $\nabla^{\mathrm{L\text{-}C}}$ と補正項 $\epsilon$ を含む項を介して関係する、カルタン代数準束上の標準接続 $\nabla$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 カルタンの等価法は、座標およびモデルに依存しない言語として、リー代数準束を用いてどのように再定式化できるか？
• RQ2 適合接続を持つリー代数準束として解釈されたカルタンの2次的データの幾何的意味は何か？
• RQ3 カルタン代数準束は、対称性と曲率の観点から、有限型の幾何構造の標準形としてどのように機能するか？
• RQ4 リー代数準束の枠組みにおける延長および縮約手続きは、ねじれおよび可積分性の構造をどのように明確にするか？
• RQ5 この形式主義は、部分リーマン接触多様体や共形構造などの非トランスティーブ幾何構造へとどのように拡張可能か？

主な発見

• リーマン計量の1次対称性はリー代数準束 $\mathfrak{g} \subset J^1(TM)$ をなす。これは随伴表現における同相部分代数準束である。
• リーマン計量 $\sigma$ は定数倍を除き $\mathfrak{g}$ から再構成可能であり、$\mathfrak{g}$ が本質的な幾何的データを捉えていることを示す。
• 部分リーマン接触3次元多様体において、カルタン代数準束の構造は接触分布 $\mathcal{H}$ とリーブベクトル場 $\mathbf{n}$ によって完全に決定され、曲率は写像 $\phi_1$ に符号化される。
• カルタン代数準束接続の生成子 $\nabla$ は、$\nabla_U V = \nabla^{\mathrm{L\text{-}C}}_U V - \epsilon(V)U$ によりリーマン接続 $\nabla^{\mathrm{L\text{-}C}}$ と明示的に関係づけられる。ここで $\epsilon$ は $\mathbf{n}$ の接続から導かれるテンソル場である。
• 2次ジェットバンドル $J^2\mathfrak{t}$ は、写像 $\omega_2$ の核として $J^1(J^1\mathfrak{t})$ に自然に埋め込まれ、この埋め込みはホロノミー条件 $\mathcal{D}X = 0$ の成立に特徴づけられる。
• 形式主義により、カルタンの等価法がリー代数準束の枠組み内での一連の縮約と延長として完全に幾何的に解釈可能となり、カルタン代数準束が最終的な標準形として現れる。