[論文レビュー] On orbit dimensions under a simultaneous Lie group action on n copies of a manifold

Mireille Boutin|ArXiv.org|Sep 14, 2000

Ophthalmology and Eye Disorders被引用数 15

ひとこと要約

本稿は、多様体のn個のコピーに対する同時Lie群作用の軌道次元を調査し、nの増加に伴い最大軌道次元が擬似的に安定化しないことを証明する。さらに、Lie群が多様体の部分集合上で局所的有効に作用する場合、その直積作用が十分に多くのコピーの開部分集合上で局所自由になることを示し、Ovsiannikovのjet空間定理を拡張し、移動枠法および共同不変量の計算における前進を可能にする。

ABSTRACT

We show that the maximal orbit dimension of a simultaneous Lie group action on n copies of a manifold does not pseudo-stabilize when n increases. We also show that if a Lie group action is (locally) effective on subsets of a manifold, then the induced Cartesian action is locally free on an open subset of a sufficiently big (but finite) number of copies of the manifold. The latter is the analogue for the Cartesian action to Ovsiannikov's theorem on jet spaces and is an important fact relative to the moving frame method and the computation of joint invariants. Some interesting corollaries are presented.

研究の動機と目的

• 複数の多様体コピーにおける同時Lie群作用下の軌道次元の挙動を分析すること。
• コピー数nの増加に伴い、最大軌道次元が安定化または擬的安定化するかどうかを特定すること。
• 直積作用がn個のコピーの開部分集合上で局所自由になる条件を確立すること。
• Ovsiannikovのjet空間に関する定理を直積作用の設定に拡張すること。
• 軌道次元に関する構造的結果を基に、移動枠法による共同不変量の計算を支援すること。

提案手法

• Lie群が多様体のn個のコピーの直積に作用するのを微分幾何的技法を用いて研究する。
• 積多様体の接バンドル上の関連するLie代数表現を介して、無限小作用を分析する。
• 局所的有効性の概念を用いて、直積作用の局所自由性の条件を導出する。
• 横断性および開性の議論を用いて、作用が局所自由になる開部分集合の存在を示す。
• jet空間の構造と不変量との関係に着目し、Ovsiannikovの定理に類似する類推を用いる。
• 積空間における対称性低減の尺度としての軌道次元の概念を用いる。

実験結果

リサーチクエスチョン

• RQ1 多様体のn個のコピーに対する同時Lie群作用の最大軌道次元は、nの増加に伴い安定化するか？
• RQ2 Lie群の直積作用がn個のコピーの開部分集合上で局所自由になる条件は何か？
• RQ3 1つの多様体上で群作用が局所的有効である場合、そのn個のコピーにおける積作用の自由性とはどのように関係するか？
• RQ4 Ovsiannikovのjet空間に関する定理は、直積群作用の設定に一般化可能か？
• RQ5 これらの軌道次元に関する結果は、移動枠法および共同不変量の計算にどのような意味を持つのか？

主な発見

• 多様体のn個のコピーに対する同時Lie群作用下の最大軌道次元は、nの増加に伴い擬的安定化しない。
• Lie群が多様体の部分集合上で局所的有効に作用する場合、nが十分に大きくても有限な場合、その直積作用は積多様体の開部分集合上で局所自由になる。
• この結果は、Ovsiannikovのjet空間定理に対する群論的類似を提供し、その適用範囲を積多様体に拡張する。
• 局所自由作用を有する開部分集合の存在は、移動枠法による共同不変量の体系的構成を可能にする。
• 繰り返しの積作用下での軌道次元の増大は有界でないことが示され、対称性低減における安定化仮定に反する。
• 接空間作用および積多様体設定における横断性に依拠する微分幾何的議論によって、この結果は裏付けられる。