[論文レビュー] Geometry of curves in parabolic homogeneous spaces

Boris Doubrov, Igor Zelenko|arXiv (Cornell University)|Oct 2, 2011

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

ひとこと要約

本稿では、一般化フラッグ多様体内の定型の積分曲線に対して、その対称代数の代数的不変量を用いて標準枠を構成し、射影的パrameterが存在するかどうかを特定する、普遍的な移動枠法を開発する。主な貢献は、このような曲線がカルタン接続を許容するための基準および、対称代数に補うべき階数付き部分空間を用いた一様正規化の確立である。

ABSTRACT

The current paper is devoted to the study of integral curves of constant type in parabolic homogeneous spaces. We construct a canonical moving frame bundle for such curves and give the criterium when it turns out to be a Cartan connection. Generalizations to parametrized curves, to higher-dimensional submanifolds and to general parabolic geometries are discussed.

研究の動機と目的

• 非退化性の仮定なしに、一般化フラッグ多様体内の定型の積分曲線に対して一様な移動枠の構成法を開発すること。
• 任意の特定の型の曲線に対して、標準的な射影的パrameterが存在する条件を特定し、古典的射影幾何学の結果を一般化すること。
• 階数付き代数の可換部分代数を用いて、曲線の理論を高次元部分多様体へ拡張すること。
• 線形化手順を介して、放物幾何、微分方程式、制御理論に適用可能な枠組みを提供すること。
• 対称代数の代数的性質を通じて、移動枠バンドル上でのカルタン接続の存在を特徴づけること。

提案手法

• 関連された特徴的な曲線の対称代数を用いて、定型の曲線のための標準移動枠バンドルを構築する。
• 曲線の接方向とその対称代数およびその共役の和に対する階数付き補完空間 W を用いて、リー代数の部分空間の W-正規性を定義する。
• 任意の型 x の曲線に沿って、ω(T_pE) が各点で W-正規であるような移動枠バンドル E が存在し、一意に定まることを証明する。
• 部分多様体が平坦モデルと局所的に同値であるかどうかを決定するための、コホモロジー条件 H^1_+(s_{-1}, g/s) = 0 を用いる。
• 接ベクトルを可換部分代数 x ⊂ g_{-1} に置き換えることで、高次元部分多様体への移動枠構成を一般化する。
• W が S^{(0)}-不変である場合、制限 ω|_E が平坦カルタン接続（射影的パrameter化のため）と垂直形式に分解されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 特徴的な曲線の対称代数にどのような代数的条件が満たされると、同じ型のすべての曲線に対して標準的な射影的パrameterが存在するか？
• RQ2 一般化フラッグ多様体内の定型の曲線に対して、移動枠バンドルがカルタン接続となるのはいつか？
• RQ3 放物幾何における曲線および高次元部分多様体へ、移動枠理論を一様に拡張する方法は何か？
• RQ4 コホモロジー群 H^1_+(s_{-1}, g/s) は、平坦モデルへの局所同値性を決定する上で果たす役割は何か？
• RQ5 不変正規化条件が存在しない場合、どのような状況で一様な射影的パrameterの構成が不可能になるか？

主な発見

• 任意の一般化フラッグ多様体内の定型の積分曲線に対して、標準移動枠バンドルが存在し、そのバンドルの次元は関連する特徴的な曲線の対称代数の次元に等しい。
• すべての同型の曲線に射影的パrameterが存在することは、対称代数が再帰的であるか、特定のコホモロジー的条件を満たすことに同値である。
• 対称代数が再帰的である場合、移動枠バンドルは標準的なカルタン接続を備え、一様な射影的パrameter化が可能になる。
• フラッグ多様体 F_{2,4}(R^5) において、不変正規化条件が存在しない一般な曲線型が存在し、一様な射影的パrameterは構成できない。
• 型 x の高次元部分多様体に対して、移動枠は W-正規部分空間によって一意に定まる。ここで W は B^1_+(s_{-1}, g/s) における Z^1_+(s_{-1}, g/s) の補完空間である。
• H^1_+(s_{-1}, g/s) = 0 ならば、すべての型 s_{-1} の部分多様体は平坦モデルと局所的に同値である。すなわち、原点を通る exp(x) の軌道である。