[論文レビュー] Extension d'un feuilletage de Lie minimal d'une variété compacte

Cyrille Dadi, Hassimiou Diallo|arXiv (Cornell University)|Feb 8, 2006

Geometric Analysis and Curvature Flows参考文献 3被引用数 3

ひとこと要約

本稿では、コンパクトかつ連結な多様体上の最小限のリー葉層の任意の拡張が、自明な正規バンドルを備えた横断的にリーマン的である $rac{\mathcal{G}}{\mathcal{H}}$-葉層であることを確立し、構造リー群 $G$ のリー部分群を用いてその拡張を完全に分類する。主な結果は、$G$ の連結リー部分群と拡張との間の全単射対応であり、正規部分群は正確にリー拡張に対応し、閉部分群は横断的に一様な拡張に対応する。

ABSTRACT

The purpose of this paper is to show that any extension of a minimal Lie foliation on a compact manifold is a transversaly Riemannian g\h- foliation with trivial normal bundle. This result permits to classify the extensions of a minimal Lie foliation on a compact manifold from the Lie subgroups of its Lie group.

研究の動機と目的

• コンパクトかつ連結な $C^\infty$ 多様体上の最小リー葉層のすべての可能な拡張を分類すること。
• 元の最小リー葉層の横断的幾何的性質を保つか一般化する拡張構造を特定すること。
• 構造リー群 $G$ の連結リー部分群と得られる拡張との間の正確な対応を確立すること。
• 部分群の性質に基づいて、拡張が横断的にリーマン的または横断的に一様である条件を特徴づけること。
• ムーラー＝カルタン構造方程式と曲率形式を用いた幾何的・代数的分類を通じて、拡張を分類すること。

提案手法

• リー代数 $\mathcal{G}$ 値の1次微分形式 $\omega$ を用いて、$\frac{\mathcal{G}}{\mathcal{H}}$-葉層を定義するためのムーラー＝カルタン方程式 $d\omega + \frac{1}{2}[\omega, \omega] = 0$ を用いる。
• 普遍被覆 $\widetilde{\mathcal{M}}$ を介して構造を上げ、引き戻し接続を分析することで、最小リー葉層 $\mathcal{F}$ の拡張 $\mathcal{F}'$ を構成する。
• 拡張の幾何的性質を特徴づけるために、曲率2形式 $\Omega_H = d\omega_H + \frac{1}{2}[\omega_H, \omega_H]$ を導入する。
• 横断的に一様な葉層の理論とハイフレィガーの定理を適用し、閉部分群が横断的に一様な拡張をもたらすことを導出する。
• $\omega_H$ が $\mathcal{F}_H$ に対して基本的であるという条件を用いて、リー拡張を特徴づける。
• $\pi_1(\mathcal{M})$ がバニシング的可解またはアーベル的であるならば、すべての拡張が横断的に一様またはリー的であることが示される。

実験結果

リサーチクエスチョン

• RQ1 コンパクト多様体上の最小リー葉層の拡張が、自明な正規バンドルを伴う横断的にリーマン的であるための条件は何か？
• RQ2 ホロノミー群のリー群構造を用いて、最小リー葉層のすべての拡張をどのように分類できるか？
• RQ3 最小リー葉層の拡張が自身でリー葉層または横断的に一様であるための条件は何か？
• RQ4 基本群 $\pi_1(\mathcal{M})$ は、拡張の幾何的タイプを決定づける役割を果たすか？
• RQ5 拡張の曲率形式 $\Omega_H$ は、拡張された葉層の積分可能性および幾何的構造とどのように関係するか？

主な発見

• コンパクト多様体上の最小リー葉層の任意の拡張は、自明な正規バンドルを備えた横断的にリーマン的である $\frac{\mathcal{G}}{\mathcal{H}}$-葉層である。
• $G$ の連結リー部分群 $H \subset G$ と最小リー葉層 $\mathcal{F}$ の拡張との間には全単射対応が存在する。
• 拡張 $\mathcal{F}_H$ がリー葉層であるための必要十分条件は、$H$ が $G$ の正規部分群であることである。
• 拡張 $\mathcal{F}_H$ が横断的に一様であるための必要十分条件は、$H$ が $G$ の閉部分群であることである。
• $\pi_1(\mathcal{M})$ がバニシング的可解であれば、$\mathcal{F}$ のすべての拡張は横断的に一様である。
• $\pi_1(\mathcal{M})$ がアーベルであれば、$\mathcal{F}$ のすべての拡張はリー葉層であり、特にトーラス上の最小線形葉層は、別の線形葉層に拡張可能である。