ワイルの部屋とは? わかりやすく解説

ワイル群

(ワイルの部屋 から転送)

出典: フリー百科事典『ウィキペディア(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)』 (2020/07/06 23:59 UTC 版)

ワイル群」の記事における「ワイルの部屋」の解説

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

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

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


英和和英テキスト翻訳>> 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