ティッツ系
定義
編集
以下の公理を満たす4つ組 (G, B, N, S) をティッツ系という。ただし Gは群、B と Nはその部分群であり、S は N/(B ∩ N) の部分集合である。
(一)集合 B∪ Nは Gを生成し、T = B∩ Nは Nの正規部分群である。
(二)集合 Sは群 W= N/T を生成し、S の元の位数は2である。
(三)s ∈ S, w∈ Wならば sBw ⊂ BwB ∪ BswB が成り立つ。
(四)s ∈ Sならば
が成り立つ。
B を Gの︵狭義の︶ボレル部分群、T を Gのカルタン部分群、W を Gのワイル群と呼び、W の生成系 Sは Wの優生成系あるいはルート系と呼ばれる。また、S の元はルートあるいは鏡映という。(W, S) はコクセター系を成し、特に生成系 Sの位数をティッツ系の階数と呼ぶ。
(G, B, N, S) がティッツ系ならば、W のルート系 Sは (G, B, N)によって一意に決定される。そのため群 GはBN対あるいは (B, N)-対を持つともいう。
定義における Bは一般線型群 GLn(K) の上半三角行列全体の成す群の類似であり、同じく Tは正則対角行列の、N は Tの正規化群のそれぞれ類似対応物である。
例
編集
●群 Gを二元以上を持つ集合 X上の二重推移的置換群とする。B を xを固定するような元の全体の成す Gの部分群で、N を二点 x, yを固定または入れ替えるような元全体のなす Gの部分群とするとき、カルタン部分群 Hは x, yをともに固定する元の成す集合で、ワイル群 Wは位数2を持ち、その非自明な元は xと yとを入れ替える任意の元で表される。
●逆に、群 Gが階数1のBN対を持つならば、群 Gのボレル部分群 Bによる両側剰余類集合への作用は二重推移的である。故に、階数1のBN対の存在は二つ以上の元を持つ集合への二重推移的作用の存在と同値である。
●G が体 K上の一般線型群 GLn(K) であるとき、上半三角行列の全体 Bと対角行列全体 Hおよび単項行列︵つまり、各行各列に非零成分が一つずつしかないような行列︶全体 Nを取ると、n − 1 個の生成元 wiは対角行列の隣接する二つの行を入れ替えることによって得られる行列で表される。
●より一般に、任意のリー型の群はティッツ系の構造を備える。
●局所体上の簡約代数群は、B として岩堀部分群がとれるような、BN対を持つ。
性質
編集
群 GがBN対を持つとき、ブリュア分解と呼ばれる分解
が成り立つ。
ティッツ系 (G, B, N, S) に対し、W のルート系 Sの部分集合 Xで生成される Wの部分群を WXとし、PX = BWXBとおくと、PX は Gの Bを含む部分群である。G の部分群 Pが Bのある G-共役を含むとき、P を放物型部分群という。放物型部分群 Pは一意的に存在する X⊂ Sにより PSと共役である。すなわち、放物型部分群とは、PX (X ⊂ S) を Gの内部自己同型で写したものの総称である。特に Bの共役となっている部分群を、︵広義の︶ボレル部分群あるいは極小放物型部分群と呼ぶ。
応用
編集参考文献
編集- Bourbaki, Nicolas, Lie Groups and Lie Algebras: Chapters 4–6 (Elements of Mathematics), ISBN 3-540-42650-7