コクセター群

提供: miniwiki
移動先:案内検索

テンプレート:翻訳直後 数学においてコクセター群(コクセターぐん、: Coxeter group)とは鏡映変換で表示できる抽象群のことである。ハロルド・スコット・マクドナルド・コクセターに因んで名づけられた。有限コクセター群は何らかのユークリッド鏡映群(たとえば一般次元正多胞体対称変換群など)になっている。もちろん、すべてのコクセター群が有限群とは限らないし、すべてのコクセター群をユークリッド的な鏡映や対称変換として記述できるわけでもない。コクセター群は鏡映群の抽象化として導入され{{#invoke:Footnotes | harvard_citation }}、有限コクセター群の分類は完了している{{#invoke:Footnotes | harvard_citation }} 。

コクセター群は数学のいくつもの分野に現れる。一般次元正多胞体対称変換群単純リー代数ワイル群は有限コクセター群の例であり、ユークリッド平面双曲平面正則三角形分割 (regular tessellation) に対応する三角群や無限次元カッツ-ムーディ代数のワイル群は無限コクセター群の例である。

コクセター群に関する標準的な文献としては {{#invoke:Footnotes | harvard_citation }} や {{#invoke:Footnotes | harvard_citation }} などがある。

定義

生成系 S をもつ群 Wコクセター群である、または組 (W, S) がコクセター系 (Coxeter system) であるとは、以下の3条件がすべて満たされるときにいう。

  1. S は対合からなる: sS ならば、必ず s2 = 1 が成り立つ。
  2. 組み紐関係式 (braid relation): s, tSst であるならば、2 以上のある整数(または ∞)ms,t で (st)ms,t = 1 となるものが取れる。
  3. それ以外に生成元の間には関係がない。

ただし、ms,t = ∞ は st の間に関係がないことを表す。これは次のように書く事もできる。

  1. sS ならば s-1 = s が成り立つ。
  2. s, tSst が相異なるとき、st には関係が無いか、関係がある場合には次が成り立つ; st を交互に ms,t 個並べる方法が 2 通りあるが、そのいずれも同じ元を定めるような 2 以上の整数 ms,t が存在する。
    stststst… = tstststs… (両辺とも因数の数は ms,t 個)
  3. 生成元はそれ以外に関係式を持たない。

また、S = {x1, x2, ..., xn} とすれば以下のように表示できる:

[math]W = \langle x_1,x_2,\ldots,x_n \mid x_i^2,\, (x_j x_k)^{m_{j,k}} \rangle[/math]

ただし、i, j, k = 1, 2, ..., n かつ mi,j (ij) は 2 以上の整数か ∞ である。

(W, S) がコクセター系であるとき、生成系 S に属する元の個数 |S| をコクセター群 W階数 (rank) といい、rank W と表す。また生成元の部分集合 JS で生成されるコクセター群 W の部分群 WJ もコクセター群になる。このような部分群 WJ放物型部分群という。

GS を生成系とするコクセター群であるとき、(st)ms,t = 1 となるms,t (s, tS) を成分とする |S| 次の対称行列

[math]M = (m_{s,t})_{s,t \in S}[/math]

コクセター行列 (Coxeter matrix) (あるいは行列要素 ms,t を 2 変数の関数と見て、コクセターデータ)という。ただし、sS に対して ms,s = 1 である。コクセター行列が与えられたとき、コクセター図形 (Coxeter graph, Coxeter diagram) と呼ばれる図形が

  1. 各生成元 sS に対応して、|S| 個の頂点を打つ。
  2. ms,t = 2 ならば何もしない。
  3. ms,t ≥ 3 ならば s, t に対応する頂点を辺で結び、辺に ms,t の値を記す。

という手順で定まる。逆に、コクセター図形が 1 つ与えられれば、コクセター行列を復元することができ、したがってコクセター群が一つ定められる。すなわち、コクセター群を与えること、コクセター行列を与えること、コクセター図形を与えることの三者は等価である。

コクセター図形が 2 つ以上の連結成分に分かれるとき、対応するコクセター群は各連結成分に対応するコクセター群たちの直積に分解される。連結なコクセター図形あるいはそれに対応するコクセター群は既約であるという。

Sn+1n + 1 次対称群とする。n 個の互換 si = (i, i + 1) (i = 1, 2, 3, ..., n) をとると Sn+1 は {s1, s2, ..., sn} を生成系とするコクセター群となる。

また二面体群もコクセター群である。

鏡映群との関係

コクセター群は鏡映群の概念と深く結びついている。単純に見ると、コクセター群が(生成元と基本関係によって与えられる)抽象群である一方、鏡映群は(線型代数群の部分群またはその適当な一般化として与えられる)具体群である。実際、コクセター群は鏡映群の研究の過程でその抽象化として生まれたものである。鏡映群は鏡映(つまり位数 2 の合同変換)で生成される線型代数群の部分群であり、他方のコクセター群は対合(つまり位数 2 の変換、鏡映の抽象化)で生成されるが、これらの間の対応はある決まった仕方で与えられる(基本関係 (rirj)k は π/k の角度で交わる超平面に対応しており、rirj の位数が k であるということが 2π/k の回転の抽象化になっている)。

鏡映群からこのようにして得られる抽象群はコクセター群であり、逆に鏡映群をコクセター群の線型表現とみなすことができる。有限コクセター群に対しては、この対応は(函手として)完全である。つまり、任意の有限コクセター群はある次元のユークリッド空間における有限鏡映群としての忠実な表現を持つ。一方、無限コクセター群は必ずしも鏡映群として表現されるとは限らない。

歴史的には {{#invoke:Footnotes | harvard_citation }} で任意の鏡映群がコクセター群であること(すなわち任意の鏡映群に対して、基本関係が ri2 または (rirj)k で尽くされるような表示ができること)が示されており、実際この論文でコクセター群の概念が導入されている。逆に {{#invoke:Footnotes | harvard_citation }} で有限コクセター群が必ず何らかの鏡映群として表現できることが示されており、したがってこれで有限コクセター群の分類は終了している。

有限コクセター群

ファイル:Finite coxeter.png
有限コクセター群のコクセター図形

分類

有限コクセター群のコクセター-ディンキン図形を用いた分類が {{#invoke:Footnotes | harvard_citation }} に述べられている。有限コクセター群は有限次元ユークリッド空間の鏡映群として表現される。

具体的には、有限コクセター群は階数をひとつのパラメータとする三つの無限族 An, BCn, Dn と二次元で一つのパラメータを持つ族 I2(p) がひとつ、さらに六つの例外群 E6, E7, E8, F4 H3, H4 のいずれかとなる。

ワイル群

有限コクセター群は全てではないにしろほとんどがワイル群であり、逆にすべてのワイル群はコクセター群として実現できる。ワイル群となるのは無限族 An, BCn, Dn の各群と例外群 E6, E7, E8, F4 および I2(6)(ワイル群の記法でいうところの G2)であり、ワイル群とならないのは例外群の H3, H4 および無限族 I2(p)(ただし、この中に別のワイル群と一致するものがあるが、それを除く。具体的には

[math]I_2(3) \cong A_2,\quad I_2(4) \cong BC_2,\quad I_2(6) \cong G_2[/math]

が除外される)。

このことは、有限群の場合に限ってコクセター図形と(無向)ディンキン図形とを比較することによって示される。きちんと言えば、コクセター=ディンキン図形はディンキン図形から辺の向きを忘れて、二重辺は 4 でラベル付けられた辺に、三重辺は 6 でラベル付けられた辺に取り替えることによって得られる。もうひとつ留意点として、任意の有限生成コクセター群がオートマチック群 (Automatic group) であること[1]である。ディンキン図形には、辺のラベルとして 2, 3, 4, 6 しか付けられないという制限が追加されることになる。幾何的にはこれは結晶構造制限定理テンプレート:訳語疑問点 (crystallographic restriction theorem) に対応しており、事実としては、空間充填(あるいは平面充填)のできない多面体(あるいは多角形)が除かれる(たとえば H3 は正十二面体あるいは双対である二十面体に対応するが、これは空間を充填することができない。また、H4 は正120胞体またはその双対である正600胞体が対応するが、これも4次元空間充填不能である。I2(p) は正 p-角形が対応するから、これも p = 3, 4, 6 の場合を除いて平面を敷き詰めることはできない(正三角形、正方形、正六角形ならば充填可能である)。

更なる留意点だが、(有向)ディンキン図形 Bn および Cn は同じワイル群を(したがってコクセター群も)生じる。これは、これらが「有向」グラフとしては異なるが、「無向」グラフとしては一致するためである。グラフの向きはルート系にとっては意味があるがワイル群にとってはそうではない、これは超立方体と交叉多胞体が正多胞体としては異なるのに同じ対称変換群を持つことに対応している。

性質

有限コクセター群のいくつかの性質について、表にして一覧する。

記号 別表記 括弧記法 階数 位数 対応する多胞体 コクセター=ディンキン図形
An An [3n] n (n + 1)! n-次元単体 テンプレート:CDD..テンプレート:CDD
BCn Cn [4,3n-1] n 2n n! n-次元超立方体 / n-次元交叉正多胞体 テンプレート:CDD...テンプレート:CDD
Dn Bn [3n-3,1,1] n 2n−1 n! n-次元半超立方体 テンプレート:CDD...テンプレート:CDD
E6 E6 [32,2,1] 6 72x6! = 51840 221, 122 テンプレート:CDD
E7 E7 [33,2,1] 7 72x8! = 2903040 321, 231, 132 テンプレート:CDD
E8 E8 [34,2,1] 8 192x10! = 696729600 421, 241, 142 テンプレート:CDD
F4 F4 [3,4,3] 4 1152 正24胞体 テンプレート:CDD
G2 - [6] 2 12 正六角形 テンプレート:CDD
H2 G2 [5] 2 10 正五角形 テンプレート:CDD
H3 G3 [3,5] 3 120 正二十面体/正十二面体 テンプレート:CDD
H4 G4 [3,3,5] 4 14400 正120胞体/正600胞体 テンプレート:CDD
I2(p) D2p [p] 2 2p p-角形 テンプレート:CDD

多胞体の対称変換群

一般次元正多胞体対称変換群 (symmetry group) は必ず有限コクセター群になり、互いに双対な多胞体は同じ対称変換群を持つ。

任意の次元において、三種類の正多面体の系列を考えることができる。正 n-次元単体の対称変換群は対称群 Sn+1 であり、これを An 型のコクセター群という。n-次元超立方体およびその双対である n-次元交叉多胞体の対称変換群は BCn 型のコクセター群であり、超八面体群とも呼ばれる。

二次元、三次元、四次元の例外的正多面体が上記以外のコクセター群に対応する。二次元の場合は、正多角形の対称変換群である二面体群が系列 I2(p) を成す。三次元であれば、正十二面体およびその双対である正二十面体の対称変換群 H3全二十面体群 (full icosahedral group) として知られる。四次元のときは、正24胞体正120胞体正600胞体という三種の特別な正多胞体が存在する。はじめの一つは F4 を対称変換群としてもち、残りの二つは互いに双対で対称変換群 H4 を共有する。

Dn, E6, E7, E8 型のコクセター群は、ある種の半正多胞体の対称変換群になる。

アフィンコクセター群

ファイル:Affine coxeter.PNG
アフィンコクセター群のコクセター図形


アフィン・コクセター群 (affine Coxeter groups) もコクセター群の重要なクラスである。アフィン・コクセター群はもはや有限群ではないが、しかしどれもそれを割ったが有限群となるような可換な正規部分群を含む。そしてどの場合でも、得られる剰余群はそれ自身コクセター群となる。アフィン・コクセター群のコクセター図形は対応する剰余群のコクセター図形に余分な頂点をひとつと辺をふたつ加えることによって得られる。例えば n ≥ 2 のとき、 n+1 個の頂点を円形に並べた形の図形が An からこの方法で得られ、対応するコクセター群として An 型のアフィン・ワイル群が得られる。特に n = 2 のとき、これは二等辺三角形による標準的な平面充填の対称変換群として図示することができる。

アフィン・コクセター群の一覧を以下に挙げる。

記号 ヴィットの記号 括弧記法 対応する一様空間充填 コクセター=ディンキン図形
[math]{\tilde{A}}_n[/math] Pn+1 [3[n+1]] 斜交ハニカム格子
n = 2: 平面正三角形分割
n = 3: 四面体八面体ハニカム格子
テンプレート:CDD...テンプレート:CDD
[math]{\tilde{B}}_n[/math] Sn+1 [4,3n-2,31,1] 半超立方体ハニカム格子 テンプレート:CDD...テンプレート:CDD
[math]{\tilde{C}}_n[/math] Rn+1 [4,3n-1,4] 超立方体ハニカム格子 テンプレート:CDD...テンプレート:CDD
[math]{\tilde{D}}_n[/math] Qn+1 [ 31,1,3n-3,31,1] 半超立方体ハニカム格子 テンプレート:CDD...テンプレート:CDD
[math]{\tilde{E}}_6[/math] T7 [32,2,2] 222 テンプレート:CDD
[math]{\tilde{E}}_7[/math] T8 [33,3,1] 331, 133 テンプレート:CDD
[math]{\tilde{E}}_8[/math] T9 [35,2,1] 521, 251, 152 テンプレート:CDD
[math]{\tilde{F}}_4[/math] U5 [3,4,3,3] 正16胞体ハニカム格子
正24胞体ハニカム格子
テンプレート:CDD
[math]{\tilde{G}}_2[/math] V3 [6,3] 平面正六角形分割
平面正三角形分割
テンプレート:CDD
[math]{\tilde{I}}_1[/math] W2 [∞] 正無限大角形 (apeirogon) テンプレート:CDD

下付の添字はどの場合も頂点数より 1 だけ少なくなっているが、それはこれらが有限の場合のコクセター図形から頂点をひとつ加えて得られることに由来する。

双曲コクセター群

双曲空間における鏡映群(特に双曲三角群が含まれる)を記述する双曲コクセター群が無限に存在する。

元の長さとブリュア順序

対合からなる生成系を一つ選べば、コクセター群上に長さ函数 l を考えることができるようになる。つまり、群の元を生成元をアルファベットとする語として表示するために必要な生成元の数の最小値(ケイリーグラフにおける語の距離にちょうど一致する)を、その元の長さとするのである。各元 v の表示のうち、l(v) 個の生成元の積となっているものを v簡約表示(最短表示)という。例えば、S3 における互換 (1 3) は二つの簡約表示 (1 2)(2 3)(1 2) および (2 3)(1 2)(2 3) を持つ。また、写像

[math]G \to \{\pm 1\};\; v \mapsto (-1)^{l(v)}[/math]

は、対称群上の符号函数を生成する。また有限コクセター群には最長の長さを持つ元が唯ひとつ存在する。これを最長元という。

簡約表示を使えば、コクセター群上に(左/右)弱順序絶対順序ブリュア順序English版フランソワ・ブリュアEnglish版に因む)という三種類の半順序を定義することができる。元 v がブリュア順序に関して元 u 以上であるというのを、v のある簡約表示が u のある簡約表示を部分文字列として含むときにいう(v のある簡約表示というのを v の任意の簡約表示としても同値である)。ただしこの場合は、使わない文字が(どの位置にでも)あってよい。右(左)弱順序の場合は、vu という関係を v の簡約表示が u の簡約表示を最初(最後)の部分に含むことと定める。語の長さを考えることによって、コクセター群は次数付き半順序集合English版となる。これらの順序に対応するハッセ図も研究の対象となり、また生成元から決定されるケイリーグラフとも関係する。絶対順序は弱順序と同様に定義されるが、テンプレート:訳語疑問点範囲

例えば S3 の置換 (1 2 3) は、ただ一つの簡約表示 (1 2)(2 3) を持つから、ブリュア順序では (1 2) と (2 3) の上にあるけれども、弱順序に関しては (1 2) の上にあるだけということになる。

ホモロジー

コクセター群 W は有限個の位数 2 の元で生成されるから、そのアーベル化基本アーベル 2-群(つまり巡回群 Z/2Z のいくつかのコピーの直和に同型)である。これは W の一次のホモロジー群の言葉に読み替えられる。

二次のホモロジー群に関係するシューア乗因子 M(W) は、有限鏡映群については {{#invoke:Footnotes | harvard_citation }} で、アフィン鏡映群については {{#invoke:Footnotes | harvard_citation }} で計算されている。{{#invoke:Footnotes | harvard_citation }} も参照。いずれの場合においても、そのシューア乗因子は基本アーベル 2-群である。有限またはアフィンのワイル群からなるいかなる無限族 {Wn} も M(W) の階数は n を無限大に飛ばした極限で安定である。

関連項目

脚注

  1. Brink and Howlett (1993), “A finiteness property and an automatic structure for Coxeter groups”, Mathematische Annalen (Springer Berlin / Heidelberg), ISSN 0025-5831. 

参考文献

書籍

論文

外部リンク