コンパクト
リー群において、極大
トーラスは重要な役割を果たします。これらの
トーラスは、コンパクトかつ連結な可換部分
リー群であり、標準的な
トーラスに同型です。特に、極大
トーラスは全ての
トーラスの中で最大のものであり、次元を理解するための重要な概念です。
トーラスは、コンパクト
リー群G の中で、可換な部分
リー群の一例であり、その中でも極大のものを特に極大
トーラスと呼びます。極大
トーラスの定義によれば、
トーラス T が他の
トーラス T′ に含まれている場合、T は極大
トーラスと考えられます。
トーラスが存在する限り、必ず極大
トーラスが存在することが示されています。
階数と次元
コンパクト
リー群G の極大
トーラスの次元は、その群の階数と呼ばれ、これは群が持つ
トーラスの共役関係によって一意に定義されます。特に、半単純群においては、その階数は対応する
ディンキン図形のノードの数に等しいため、幾何学的な観点からも理解できます。
例えば、
ユニタリ群U(n)の極大
トーラスは、全ての対角行列から構成され、その次元はnに等しいことが分かります。一方、特殊
ユニタリ群SU(n)の極大
トーラスは、U(n)の中でも特定の
トーラスであり、次元はn - 1です。これは、対角要素の一部が制約されるためです。
特殊直交群SO(2n)も同様に、極大
トーラスは互いに直交する2次元平面に関わる
回転から構成され、同様の性質を保ちつつ、階数はnです。
極大可換部分群としての役割
コンパクト
リー群Gの極大
トーラスは、極大可換部分群としての性質も持ちます。しかし、逆に極大可換部分群が必ずしも極大
トーラスになるとは限りません。すべての元g ∈ Gは極大
トーラスTの元と共役関係にあり、これによって群内の他の全ての元も極大
トーラスの性質を持つことが分かります。
さらに、与えられた
トーラスTに関して、
ワイル群を定義することができます。この
ワイル群は、
トーラスの中心化群を法とした
トーラスの正規化群であり、群Gの性質を決定します。具体的には、G の極大
トーラスTを固定すると、対応する
ワイル群はGにおける
表現論において非常に重要な役割を果たします。
このように、
トーラスはコンパクト
リー群の構造を捉えるための基本的な道具であり、様々な重要な
数学的性質を展開させる基盤となっています。極大
トーラスを理解することは、群論や代数の様々な分野においても重要なのです。