[論文レビュー] A note on the Bruhat decomposition of semisimple Lie groups

Lucas Seco|ArXiv.org|Jul 28, 2008

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

ひとこと要約

本稿では、単純なリー群のフラッグ多様体における分離要素の作用の連結固定点集合が、再帰的部分群のフラッグ多様体そのものであることを確立する。この動的特徴付けを用いて、ティーツ系のような従来の代数的道具を避けて、単純リー群の一般化されたブルハット分解を純粋に動的論拠によって導出する。

ABSTRACT

Let a split element of a connected semisimple Lie group act on one of its flag manifolds. We prove that each connected set of fixed points of this action is itself a flag manifold. With this we can obtain the generalized Bruhat decomposition of a semisimple Lie group by entirely dynamical arguments.

研究の動機と目的

• フラッグ多様体上の分離要素の作用における各連結固定点集合が、再帰的部分群のフラッグ多様体そのものであることを示すこと。
• ティーツ系のような代数的構造に依存しない、単純リー群の一般化されたブルハット分解の動的証明を提供すること。
• 正則なブルハット分解に用いられる動的アプローチを、不規則な分離要素を含むより一般の状況に拡張すること。
• 固定点集合とより小さなリー群のフラッグ多様体との微分同相写像を確立することで、幾何的構造を介した非交差性の議論を可能にすること。

提案手法

• リー群のイワサワ分解およびそのパラボリック部分群を用いて、フラッグ多様体内の固定点の安定化部分群を分析する。
• 分離要素 $ h $ が $ \mathbb{F}_\Theta $ に作用する固定点集合を $ \text{fix}(X,w)_\Theta = G(\Delta) \cdot \mathfrak{p}_{wH_\Theta} $ と定義する。ここで $ \Delta = \Theta(X) $ である。
• $ G(\Delta) $-同変微分同相写像 $ \psi: \text{fix}(X,w)_\Theta \to \mathbb{F}_{\pi_\Delta(wH_\Theta)}(\mathfrak{g}(\Delta)) $ を構成し、固定点集合がフラッグ多様体であることを示す。
• $ \mathfrak{p}_{wH_\Theta} $ の $ G(\Delta) $ における安定化部分群が、$ \mathfrak{p}_{\pi_\Delta(wH_\Theta)} $ のそれと一致することを証明し、写像が適切に定義されかつ全単射であることを保証する。
• より小さなフラッグ多様体 $ \mathbb{F}_{\pi_\Delta(wH_\Theta)}(\mathfrak{g}(\Delta)) $ における正則ブルハット分解を用いて、$ A(\Delta) $ 内の正則元の作用における漸近的挙動を分析する。
• $ h^k $ による軌道の収束を応用し、固定点集合が交わるならば $ w' \in W_X w W_\Theta $ であることを示し、一般化されたブルハットセルの非交差性を証明する。

実験結果

リサーチクエスチョン

• RQ1 分離要素の作用下でのフラッグ多様体の固定点集合が、フラッグ多様体そのものである条件は何か？
• RQ2 ティーツ系や代数的組合せ論に依存せずに、単純リー群の一般化されたブルハット分解を導出できるか？
• RQ3 不規則な分離要素の固定点多様体は、元のフラッグ多様体および群の構造とどのように関係するか？
• RQ4 このような作用における固定点の連結成分の正確な幾何的および群論的構造は何か？
• RQ5 フラッグ多様体上での一様パラメータ部分群の力学的挙動は、リー理論における古典的代数的分解をどの程度置き換えることができるか？

主な発見

• 分離要素がフラッグ多様体 $ \mathbb{F}_\Theta $ に作用するときの連結固定点集合は、$ \Delta = \Theta(X) $ とおくと、再帰的部分群 $ G(\Delta) $ のフラッグ多様体と微分同相である。
• 固定点集合 $ \text{fix}(X,w)_\Theta $ は $ \mathbb{F}_{\pi_\Delta(wH_\Theta)}(\mathfrak{g}(\Delta)) $ に $ G(\Delta) $-同変微分同相であり、固定点集合に幾何的構造が与えられることを示す。
• 固定点集合の非交差性から、一般化されたブルハット分解 $ G = \coprod_{w \in W_\Delta \backslash W / W_\Theta} P_\Delta w P_\Theta $ が導かれる。
• 一般化されたブルハット分解における不安定多様体の非交差性は、二つの固定点集合が交わるならば $ w' \in W_X w W_\Theta $ であることを示すことによって確立される。これはセルが互いに異なることを意味する。
• 一般化されたブルハット分解の証明は完全に動的である：正則ブルハット分解と固定点集合の幾何的構造に依存しており、ボレル＝ティーツの定理やティーツ系の必要がない。
• $ \mathfrak{p}_{wH_\Theta} $ の $ G(\Delta) $ における安定化部分群と $ \mathfrak{p}_{\pi_\Delta(wH_\Theta)} $ のそれとが一致するため、微分同相写像 $ \psi $ が適切に定義されかつ可逆であることが保証される。