ワイル群

古典群（英語版）

古典型
単純リー群一覧表（英語版）
A_n B_n C_n D_n
例外型
G₂（英語版） F₄（英語版） E₆（英語版） E₇（英語版） E₈（英語版）

他のリー群（英語版）

円周（英語版）
ローレンツ
ポワンカレ
共形（英語版）
微分同相写像
ループ（英語版）

リー環

指数写像
随伴表現
- (群
- 環)
- キリング形式
- 指数（英語版）
Lie point symmetry（英語版）
単純リー環

半単純リー環

ディンキン図形
カルタン部分環
- ルート系
- ワイル群
- 実形（英語版）
- 複素化（英語版）
分裂型リー環（英語版）
コンパクトリー環（英語版）

等質空間

閉部分群（英語版）
放物型部分群（英語版）
対称空間（英語版）
エルミート対称空間（英語版）
制限ルート系（英語版）

表現論

物理学におけるリー群

素粒子物理学と表現論（英語版）
ローレンツ群表現（英語版）
ポワンカレ群表現（英語版）
ガリレイ群表現（英語版）

科学者

ソフス・リー
アンリ・ポアンカレ
ヴィルヘルム・キリング（英語版）
エリ・カルタン
ヘルマン・ワイル
クロード・シュヴァレー
ハリッシュ＝チャンドラ（英語版）
アルマン・ボレル

リー群一覧表（英語版）

数学、特にリー環の理論において、ルート系 Φ のワイル群（英: Weyl group）は、ルート系の等長変換群（英語版）の部分群である。具体的には、ルートに直交する超平面に関する鏡映によって生成される部分群のことで、そのようなものとして有限鏡映群（英語版）である。抽象的には、ワイル群は有限コクセター群（英語版）であり、その重要な例である。

半単純リー群、半単純リー環、線型代数群、などのワイル群はその群あるいは環のルート系のワイル群である。

名前はヘルマン・ワイル (Hermann Weyl) にちなむ。

ワイルの部屋

Φ のルートによって定義される超平面を除くことによって、ユークリッド空間は有限個の開集合に分かれ、それらはワイルの部屋 (Weyl chamber) と呼ばれる。これらはワイル群の作用によって置換され、この作用が単純推移的であることは定理である^[1]。とくに、ワイル chamber の個数はワイル群の位数に等しい。任意の非零ベクトル v はユークリッド空間を v に直交する超平面 v^∧ を境界とする2つの半空間 v⁺ と v⁻ に分ける。v があるワイル chamber に属するときには、どのルートも v^∧ に入らないので、すべてのルートは v⁺ あるいは v⁻ に入り、α が一方に入っていれば −α は他方に入る。したがって Φ⁺ := Φ∩v⁺ は Φ のルートたちのちょうど半分からなる。もちろん Φ⁺ は v に依るが、v が同じワイル chamber にいるときには変わらない。選択 Φ⁺ に関するルート系の底 (base) は Φ⁺ の単純ルート (simple root)、すなわち Φ⁺ の2つのルートの和として書けないようなルート、の全体の集合である。したがって、ワイル chamber、集合 Φ⁺、底は各1つが他を決定し、ワイル群はいずれにも単純推移的に作用する。以下の図はルート系 A₂ の6つのワイル chambers、v の選択、（点線で示された）超平面 v^∧、正ルート α, β, γ を示している。この場合の底は {α, γ} である。

コクセター群構造

ワイル群は鏡映によって生成されるから有限鏡映群の例である；抽象的な群としてはしたがって有限コクセター群（英語版）であり、コクセター・ディンキン図形（英語版）によって分類することができる。

具体的には、コクセター群であることはワイル群が次のような特別な種類の表示を持つことを意味する。各生成元 x_i が位数2で、x_i² 以外の関係式は (x_ix_j)^m_ij の形である。生成元は単純ルートで与えられる鏡映であり、m_ij はルート i と j のなす角度が 90°, 120°, 135°, 150° であるのに応じて、すなわちディンキン図形においてそれらがつながっていない、一本線でつながっている、二重線でつながっている、三重線でつながっている、に応じて、2, 3, 4, 6 である。

ワイル群はこの表示によるブリュア順序（英語版）と長さ関数（英語版）をもつ。ワイル群の元の長さ（英語版）はこれらの標準的な生成元でその元を表す最短の word の長さである。コクセター群の最長元（英語版）が一意的に存在し、ブリュア順序で単位元の反対である。

例

リー環 ${\mathfrak {sl}}_{n}$ のワイル群は n 元上の対称群 S_n である。作用は以下のように実現できる。 ${\mathfrak {h}}$ をトレース 0 の対角行列全体からなるカルタン部分環とすると、S_n は ${\mathfrak {h}}$ に置換行列による共役によって作用する。この作用は双対空間 ${\mathfrak {h}}^{\ast }$ への作用を誘導し、これが求めるワイル群の作用である。

定義

「ティッツ系」も参照

ワイル群は、文脈（リー環、リー群、対称空間、など）に応じて、様々な方法で定義でき、特定の実現は選択――リー環ではカルタン部分環の、リー群では極大トーラスの選択――に依存する^[2]。リー群のワイル群と、対応するリー環のワイル群は、同型であり、実際極大トーラスの選択がカルタン部分環の選択を与える。

リー環に対して、ワイル群はルートの鏡映によって生成される鏡映群である。ルート系の特定の実現はカルタン部分環（極大可換）の選択に依っている。

ある条件^{[note 1]}を満たすリー群 G に対して、トーラス T < G（極大とは限らない）が与えられると、そのトーラスに関するワイル群は、トーラスの正規化群 N = N(T) = N_G(T) の、トーラスの中心化群 Z = Z(T) = Z_G(T) による商として定義される。

W(T,G):=N(T)/Z(T).\

群 W は有限である――Z は N において指数有限である。T = T₀ が極大トーラスである（したがってそれがそれ自身の中心化に等しい： $Z(T_{0})=T_{0}$ ）とき、得られる商 N/Z = N/T は G のワイル群 (the Weyl group of G) と呼ばれ、W(G) と書かれる。商集合は極大トーラスの取り方に依るが、極大トーラスは共役だから得られる群は全て（G の内部自己同型により）同型であることに注意。

G がコンパクトかつ連結ならば、G のワイル群はそのリー環のワイル群に同型である^[3]。

例えば、一般線型群 GL に対し、極大トーラスの1つは可逆対角行列全体のなす部分群 D であり、その正規化群は一般置換行列（置換行列の形をした行列だが '1' の代わりに任意の 0 でない数でよい）たちであり、ワイル群は対称群である。この場合商写像 N → N/T は（置換行列たちを経由して）分裂するので、正規化群 N はトーラスとワイル群の半直積であり、ワイル群は G の部分群として表せる。一般にはこのようになるわけではない、つまり、商は必ずしも分裂せず、正規化群 N は W と Z の半直積とは限らず、ワイル群は G の部分群として実現できるわけではない^[2]。

ブリュア分解

詳細は「ブリュア分解」を参照

B は G のボレル部分群、すなわち極大連結可解部分群とし、極大分裂トーラス T = T₀ を B に入るようにとるとき、ブリュア分解

G=\bigcup _{w\in W}BwB

が得られる。これにより旗多様体 G/B のシューベルト胞体への分解が生じる（グラスマン多様体（英語版）参照）。

この群のハッセ図の構造は、幾何学的には、この多様体（というかこの群の実型および複素型の）コホモロジー（それはポワンカレ双対性に制約される）に関係する。したがって、ワイル群の代数的性質は多様体の位相空間論的な性質に対応する。例えば。ポワンカレ双対により次元 k の胞体と次元 n − k の胞体の間に対応がつく（ここに n は多様体の次元）。最小（つまり零）次元胞体はワイル群の単位元に対応し、双対的に最大次元胞体は最長元（英語版）に対応する。

代数群との類似

詳細は「q-類似」を参照

「一元体」も参照

代数群とワイル群の間には数々の類似対応が存在する。例えば対称群の元の個数は階乗 n! であり、有限体上の一般線型群の元の個数は q-階乗 [n]_q! になる。ゆえに対称群は、あたかもそれが「一元体」上の線型群であるかのように振る舞う。これが一元体の方法論であり、その文脈でワイル群は一元体上の単純代数群と考えることができる。

コホモロジー

非可換連結コンパクトリー群 G に対して、それを定義するワイル群 W の極大トーラス T に係数を持つ一次の群コホモロジー ^{[note 2]}は正規化群 N = N_G(T) の外部自己同型群（英語版）に

\operatorname {Out} (N)\cong H^{1}(W;T)\rtimes \operatorname {Out} (G)

なる関係を持つ^[4]。この G の外部自己同型群 Out(G) は本質的にディンキン図形の図式自己同型であり、その一方でこの群コホモロジーは Hämmerli, Matthey & Suter (2004) で計算されていて、有限基本 2-群 (Z/2Z)^k になる（単純リー群に対しては、それは位数 1 または 2 または 4 である）。零次と二次の群コホモロジーもやはりこの正規化群と近しい関係を持つ^[4]。

脚注

注

^ 異なる条件が十分である――最も単純には、G が連結あるいはコンパクト、あるいはアファイン代数群であればよい。定義は代数閉体上の半単純（あるいはより一般に簡約）リー群に対してはより単純であるが、相対ワイル群は分裂型リー群（英語版）に対して定義できる。
^ W は作り方から T に作用するから、コホモロジー群 H¹(W; T) は「この作用に関する」意味でとれる

出典

^ Hall 2015, Propositions 8.23 and 8.27.
^ ^a ^b Popov & Fedenko 2001.
^ Hall 2015, Theorem 11.36.
^ ^a ^b Hämmerli, Matthey & Suter 2004

参考文献

Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3-319-13466-6, http://www.springer.com/jp/book/9783319134666
Popov, V.L.; Fedenko, A.S. (2001), “Weyl group”, Encyclopaedia of Mathematics, SpringerLink, http://eom.springer.de/W/w097710.htm
Hämmerli, J.-F.; Matthey, M.; Suter, U. (2004), “Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups”, Journal of Lie Theory (Heldermann Verlag) 14: 583–617, Zbl 1092.22004, http://www.heldermann-verlag.de/jlt/jlt14/mattla2e.pdf

外部リンク

Hazewinkel, Michiel, ed. (2001), “Coxeter group”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Coxeter_group
Weisstein, Eric W. "Coxeter group". mathworld.wolfram.com (英語).
Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators, http://www.jenn3d.org/index.html