[論文レビュー] Spherical conjugacy classes and Bruhat decomposition

Giovanna Carnovale|ArXiv.org|Aug 13, 2008

Advanced Algebra and Geometry参考文献 15被引用数 3

ひとこと要約

この論文は、特性が0または良い奇数特性の代数閉体上の連結な再帰的代数群における球面的共役類を完全に特徴づける。幾何学的および群論的技法を用いて、共役類が球面的であることと、その共役類がワイル群の対合に相当するブルハット細分にしか交差しないことの同値性を証明している。

ABSTRACT

Let G be a connected, reductive algebraic group over an algebraically closed field of characteristic zero or good and odd. We characterize the spherical conjugacy classes of G as those intersecting only Bruhat cells corresponding to involutions in the Weyl group of G.

研究の動機と目的

• 再帰的代数群における球面的共役類の完全な特徴づけをブルハット分解を用いて行う。
• どの共役類が有限個のボレル部分群の軌道しか持たないかという問題を解き、その性質をワイル群の対合と結びつける。
• 球面的類に関する先行の結果を一般化・統一し、対合に付随するブルハット細分との交差が球面的であることの完全な決定要因であることを示す。
• 球面的であることと、ワイル群の対合によって添え字づけられる二重cosetへの共役類の交差制限との同値性を確立する。

提案手法

• ワイル群 $W$ の対合 $w$ に対してのみ $BwB$ の二重cosetに交差する共役類の構造を分析する。
• $B$-軌道が $BwB$ に非空でない最大の $w \in W$ を取り上げ、特に $BwB$ 内の最大 $B$-軌道に注目する。
• [6] の技法を応用して、最大 $B$-軌道内の代表元 $x$ の中心化群 $B_x$ を記述する。特に、$w$ が幾何的表現上で $-1$ に作用する場合に注目する。
• 根系が二重長さを持つ場合（例：$G_2$）に対しては、$w_0 = -1$ であることから、根長の区別がないため特別な取り扱いを要するため、個別ケース解析を実施する。
• さまざまな根 $eta$ に対して、$G_x \times X_\beta s_\beta B$ に属する元の族を構成し、構造定数および根列の挙動を用いる。
• ワイル群元 $ au$ の長さに関する帰納法を用いて、$G_x$ の $G/B$ への射影の像が稠密であることを示し、その結果として $ ext{dim}(G_x) = ext{dim}({\rm O})$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 再帰的代数群におけるどの共役類が有限個の $B$-軌道しか持たないか。
• RQ2 球面的共役類はブルハット分解およびワイル群の構造とどのように関係しているか。
• RQ3 共役類のブルハット細分との交差パターンによって、その球面的性が完全に特徴づけられるか。
• RQ4 最大 $B$-軌道の代表元 $x$ に対して、中心化群 $G_x$ が共役類の次元と等しくなるための条件は何か。
• RQ5 異なる根長比を持つ根系の挙動は、球面的共役類の構造にどのように影響を与えるか。

主な発見

• 連結な再帰的代数群 $G$ の共役類 ${\rm O}$ が球面的であることと、その共役類がワイル群 $W$ の対合 $w$ に対応するブルハット細分 $BwB$ のみと交差することとは同値である。
• 共役類 ${\rm O}$ における最大 $B$-軌道は、${ m O}$ が球面的であるときかつそのときに限り有限個である。これは、${ m O} \not\to BwB$ が対合 $w$ のみに対して成り立つという条件と同値である。
• 最大 $B$-軌道の代表元 $x$ に対して、中心化群 $G_x$ の次元が $ ext{dim}({\rm O})$ に等しいことと、$G_x$ の $G/B$ への射影の像が稠密であることは同値である。
• $\rho: G_x \to G/B$ の射影の像は稠密であり、これは $\rho(G_x) \times \text{アフィン空間}$ が各 $B\tau B$-細分において有限個の超平面の補集合を含むことの証明によって示される。
• 証明は、$\beta$ が $\bigtriangleup$, $\bigtriangleup \bigcap \bigPhi_1$, または $\bigtriangleup \bigcap \bigPhi_2$ に属するかに応じて異なる戦略を用いて、$G_x \times X_\beta s_\beta B$ に属する元を構成することに依存している。
• $w_0 = -1$ の場合の注意深い個別ケース解析を経て、$G_2$ のような二重長さ根系を含むすべての根系において、結果は一様に成り立つ。