[論文レビュー] Representations of compact Lie groups and the osculating spaces of their orbits

Cláudio Gorodski, Gudlaugur Thorbergsson|ArXiv.org|Mar 19, 2002

Advanced Algebra and Geometry参考文献 31被引用数 19

ひとこと要約

本稿は、第二オーヰィング空間が全表現空間と一致する（クラス$\mathcal{O}^2$と呼ばれる）コンパクトなリー群の表現を調査する。幾何的・代数的制約を分析することで、変分的完全かつタウトな表現を分類し、それらの表現が対称空間の分類表現と軌道同値であることを証明する。主な結果として、非極的で例外的な3例のコホモジティ3のタウトな既約表現を含む、タウトな既約表現の完全分類が得られる。

ABSTRACT

Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the representation space. We say that representations with this property are of class O^2. Our approach in the present paper will be to find restrictions on the class O^2 and then apply them to classify variationally complete and taut representations. The known classifications of cohomogeneity one and two orthogonal representations and more generally of polar representations will also follow easily.

研究の動機と目的

• コンパクトリー群の直交表現のうち、非自明な軌道の第二オーダリング空間が全表現空間に一致するもの（クラス$\mathcal{O}^2$）を特徴付けること。
• クラス$\mathcal{O}^2$の条件を、変分的完全およびタウトな表現の分類のための道具として用いること。
• 極的・変分的完全・タウトな表現の同値性を示すことで、極的表現の分類の新しい証明を与えること。
• 非極的例を含むすべてのタウトな既約表現を特定・分類すること。
• ボットとサマエルソンの変分的完全作用に関する定理の逆を示し、それらの作用が対称空間の分類表現と軌道同値であることを示すこと。

提案手法

• 軌道の第二オーダリング空間の幾何的概念を導入・分析し、クラス$\mathcal{O}^2$表現を定義すること。
• タイプ（実、複素、クaternion的）および群構造に基づいて、$\mathcal{O}^2$表現の候補を制限する表現論的技法を適用すること。
• 単純群および積群の観点から表現を分析するための還元原理を用いる。特に、2つ、3つ、または4つの単純因子を持つ場合に注目する。
• ボットとサマエルソンの$K$-サイクルに関する結果およびフライトの定理を活用し、$K$-サイクルを明示的に構成せずに非極的表現のタウト性を証明すること。
• ディンキン図とルート系のデータ（例えば、強く直交する根）を用いて、表現を体系的に分析・分類すること。
• 既知のコホモジティ1および2の表現および極的作用の分類と照合し、整合性および完全性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクトリー群のどの既約直交表現が、すべての非自明な軌道の第二オーダリング空間が全表現空間に一致するか？
• RQ2 コンパクトリー群作用の文脈において、変分的完全、タウト、極的表現の間の正確な関係は何か？
• RQ3 ボットとサマエルソンの変分的完全作用に関する定理の逆を証明できるか、すなわち、このような作用は対称空間の分類表現と軌道同値か？
• RQ4 すべてのタウトな既約表現の完全なリストは何か？ そして、コホモジティおよび正規バンドル幾何とどのように関係しているか？
• RQ5 本稿で特定された3つの例外的な非極的タウト表現は、ボットとサマエルソンの$K$-サイクルの一般化を有するか？ もし持つならば、それらのタウト性はどのように独立に確立できるか？

主な発見

• コンパクト連結リー群の変分的完全表現は、対称空間の分類表現と軌道同値である。これはボットとサマエルソンの定理の逆を示す。
• コンパクト単純群の極的・変分的完全・タウトな既約表現のクラスは一致する。
• すべてのタウトな既約表現は、対称空間の分類表現と軌道同値であるか、または以下の3つの例外例のいずれかである：$\mathbf{SO}(2)\times\mathbf{Spin}(9)$、$\mathbf{U}(2)\times\mathbf{Sp}(n)$、$\mathbf{SU}(2)\times\mathbf{Sp}(n)$（特定のテンソル積作用を伴う）。
• 3つの非極的タウト表現は、極的でないコホモジティ3の既約表現にちょうど一致し、それらの軌道は平坦な正規バンドルを持たない。
• 3つの例外的表現のタウト性は、$K$-サイクルではなくフライトの定理によって確立され、元の$K$-サイクル手法よりも短いが幾何的でない証明が得られる。
• ダドクによる極的表現の分類は、極的表現が変分的完全であること、および対称空間の分類表現が極的であることから、系として得られる。