[論文レビュー] Matsuki's double coset decomposition via gradient maps

Christian Miebach|ArXiv.org|Dec 20, 2007

Advanced Algebra and Geometry参考文献 23被引用数 4

ひとこと要約

本稿は、リーマン幾何的構造と勾配写像、スライス表現を用いて、実再帰的リー群におけるMatsukiの二重coset分解の幾何的証明を提供する。$G$ 上に $(G_1 \times G_2)$-等長勾配写像を構成することで、閉じた二重cosetが最大次元の軌道における幾何的スライスに対応することを示し、非閉軌道は横断的スライスにおける安定化部分群の作用によって特徴づけられる。これにより、代数的手法に代わる微分幾何的代替手法が得られる。

ABSTRACT

Let $G$ be a real-reductive Lie group and let $G_1$ and $G_2$ be two subgroups given by involutions. We show how the technique of gradient maps can be used in order to obtain a new proof of Matsuki's parametrization of the closed double cosets $G_1\backslash G/G_2$ by Cartan subsets. We also describe the elements sitting in non-closed double cosets.

研究の動機と目的

• 実再帰的リー群におけるMatsukiの元々の代数的証明に代わる幾何的代替証明を提供すること。
• 勾配写像技術と安定化型の層化を用いて、$G$ 内の閉および非閉 $(G_1 \times G_2)$-軌道を特徴づけること。
• Matsukiのカルタン部分集合が、最大次元の閉軌道における幾何的スライスとして現れることを示すこと。
• 対称再帰的リー群に対して、${\mathfrak{h}}^{-\sigma}$ 上の随伴表現に同型なスライス表現を用いて非閉軌道の構造を記述すること。
• 代数的変換群論的手法に代わって、勾配写像理論から良好な商 $G//(G_1 \times G_2)$ と安定化型の層化を確立すること。

提案手法

• $G$ 上にリーマン構造とカルタン対合を用いて $(G_1 \times G_2)$-等長勾配写像を構成すること。
• 指数写像を介してリー代数からの微小情報の群レベルへの持ち上げにスライス定理を適用すること。
• スライス表現を再帰的対称空間の安定化部分群作用、特に ${\mathfrak{h}}^{-\sigma}$ 上の $H^\sigma$-作用に同定すること。
• [HSS08] および [Stö08] の安定化型の層化を用いて軌道型を解析し、閉軌道を同定すること。
• [LM76], [ŌM80], [vD83], および [ŌS84] の対称空間表現に関する結果を群作用設定に持ち込むこと。
• Weylチャネルの境界点の明示的計算と、特定のリー代数要素の指数写像による標準的カルタン部分集合の同定。

実験結果

リサーチクエスチョン

• RQ1 Matsukiの閉じた二重coset $G_1\backslash G/G_2$ のパrametrization を、代数的分解に代わる幾何的手法を用いて再証明することは可能か？
• RQ2 勾配写像は、$G$ 上の $(G_1 \times G_2)$-作用における閉軌道およびそのスライスを特徴づける上で果たす役割は何か？
• RQ3 非閉軌道はどのように生じるのか？また、安定化およびスライス表現の観点から、それらの構造はいかなるものか？
• RQ4 Matsukiのカルタン部分集合は、最大次元の閉軌道における幾何的スライスとして、どのように関係するか？
• RQ5 安定化型の層化と良好な商 $G//(G_1 \times G_2)$ は、直接的に勾配写像理論から導出可能か？

主な発見

• 閉じた $(G_1 \times G_2)$-軌道は、Matsukiのカルタン部分集合によってパラメトライズされ、これらが最大次元の軌道における幾何的スライスであることが示された。
• $G_{\text{sr}}$（正則点の集合）は、最大次元の閉軌道から成り、$G$ の稠密な開部分集合をなす。
• 局所的には、$G_{\text{sr}}$ はMatsukiの十字断面の領域上の自明なファイバー束であり、ファイバーは領域内の点を通る閉軌道である。
• 非閉軌道は、スライス表現におけるノルムコーンの滑らかな部分によって特徴づけられ、具体的には ${\mathfrak{p}}^\mathbb{C} \cap i\operatorname{Ad}(u^{-1}){\mathfrak{g}}$ 上の安定化部分群の作用による軌道として現れる。
• 点 $u$ におけるスライス表現は、${\mathfrak{h}}^{-\sigma}$ 上の随伴 $H^\sigma$-作用に同型であり、群作用と対称空間理論を結びつける。
• $G = \mathrm{SU}(2,2)$, $H = \mathrm{SO}(2,2)$ の場合、一般の $(G \times H^\mathbb{C})$-軌道は3次元余次元であり、自明な安定化部分群を持つ。これにより、コンパクトな安定化部分群を持つ非閉軌道の存在が確認された。