ワイル群とは? わかりやすく解説

ワイル群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/06 23:59 UTC 版)

ナビゲーションに移動 検索に移動

数学、特にリー環の理論において、ルート系 Φワイル群: 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つが他を決定し、ワイル群はいずれにも単純推移的に作用する。以下の図はルート系 A2 の6つのワイル chambers、v の選択、(点線で示された)超平面 v、正ルート α, β, γ を示している。この場合の底は {α, γ} である。

コクセター群構造

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

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

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

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

定義

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

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

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

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

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

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

ブリュア分解

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

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

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

代数群との類似

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

コホモロジー

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

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

関連項目

脚注

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

出典

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

参考文献

関連文献

外部リンク


ワイル群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/31 21:26 UTC 版)

コクセター群」の記事における「ワイル群」の解説

詳細は「ワイル群」を参照 有限コクセター群全てではないにしろほとんどがワイル群であり、逆にすべてのワイル群はコクセター群として実現できる。ワイル群となるのは無限族 An, BCn, Dn の各群と例外群 E6, E7, E8, F4 および I2(6)(ワイル群の記法でいうところの G2)であり、ワイル群とならないのは例外群の H3, H4 および無限族 I2(p)(ただし、この中別のワイル群と一致するものがあるが、それを除く。具体的には I 2 ( 3 )A 2 , I 2 ( 4 )B C 2 , I 2 ( 6 )G 2 {\displaystyle I_{2}(3)\cong A_{2},\quad I_{2}(4)\cong BC_{2},\quad I_{2}(6)\cong G_{2}} が除外される)。 このことは、有限群場合限ってコクセター図形と(無向)ディンキン図形とを比較することによって示される。きちんと言えばコクセターディンキン図形ディンキン図形から辺の向き忘れて二重辺は 4 でラベル付けられた辺に、三重辺は 6 でラベル付けられた辺に取り替えることによって得られるもうひとつ留意点として、任意の有限生成コクセター群オートマチック群 (Automatic group) であることである。ディンキン図形には、辺のラベルとして 2, 3, 4, 6 しか付けられないという制限追加されることになる。幾何的にはこれは結晶構造制限定理[訳語疑問点] (crystallographic restriction theorem) に対応しており、事実としては、空間充填(あるいは平面充填)のできない多面体(あるいは多角形)が除かれる(たとえば H3 は正十二面体あるいは双対である二十面体対応するが、これは空間充填することができないまた、H4 は正120胞体またはその双対である正600胞体対応するが、これも4次元空間充填不能である。I2(p) は正 p-角形対応するから、これも p = 3, 4, 6 の場合除いて平面敷き詰めることはできない正三角形正方形正六角形ならば充填可能である)。 更なる留意点だが、(有向)ディンキン図形 Bn および Cn は同じワイル群を(したがってコクセター群も)生じる。これは、これらが「有向」グラフとしては異なるが、「無向」グラフとしては一致するためである。グラフ向きルート系にとっては意味があるがワイル群にとってはそうではない、これは超立方体交叉多胞体正多胞体としては異なるのに同じ対称変換群を持つことに対応している

※この「ワイル群」の解説は、「コクセター群」の解説の一部です。
「ワイル群」を含む「コクセター群」の記事については、「コクセター群」の概要を参照ください。

ウィキペディア小見出し辞書の「ワイル群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ワイル群」の関連用語

ワイル群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ワイル群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのワイル群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのコクセター群 (改訂履歴)、極大トーラス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS