カルタン部分環とは何？わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

カルタン部分環

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/19 10:02 UTC 版)

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

単純リー群

古典型
単純リー群一覧表（英語版）
A_n B_n C_n D_n
例外型
G₂（英語版） F₄（英語版） E₆（英語版） E₇（英語版） E₈（英語版）

数学において，カルタン部分環（カルタンぶぶんかん，英: Cartan subalgebra，しばしば CSA と略される）とは，リー環 ${\mathfrak {g}}$

この節の加筆が望まれています。
主に: The action of the Weyl group on the algebra, as in the Harish-Chandra isomorphism（英語版）（2014年2月）

標数 0 の代数閉体上の有限次元半単純リー環のカルタン部分環は可換であり，その随伴表現の以下の性質も持つ： ${\mathfrak {g}}$ のウェイト空間を ${\mathfrak {h}}$ に制限（英語版）したものは表現を対角化し，0 ウェイトベクトルの固有空間は ${\mathfrak {h}}$ である．（なので ${\mathfrak {h}}$ の中心化リー環は ${\mathfrak {h}}$ と一致する．）非零ウェイトはルートと呼ばれ，対応する固有空間はルート空間と呼ばれ，すべて1次元である．

${\mathfrak {g}}$ が代数閉体上の線型リー環（有限次元ベクトル空間 $V$ の自己準同型全体のなすリー環の部分リー環）であるとき， ${\mathfrak {g}}$ の任意のカルタン部分環は ${\mathfrak {g}}$ の極大トーラス部分リー環（英語版）の中心化リー環である，つまり， $V$ の自己準同型として対角化可能な元のみからなる部分環であって，他のそのような部分環に真に含まれないという意味で極大なものである． ${\mathfrak {g}}$ が半単純で体が標数 0 ならば，極大トーラス部分環は self-normalizing であり，したがってカルタン部分環である．さらに ${\mathfrak {g}}$ が半単純であれば，随伴表現（英語版）は ${\mathfrak {g}}$ を線型リー環として表すので， ${\mathfrak {g}}$ の部分環がカルタンであることと極大トーラス部分環であることは同値である．このアプローチの利点はそのような部分環の存在を示すことが明らかであることである．実際， ${\mathfrak {g}}$ が冪零元しかもたなければ，冪零リー環である（エンゲルの定理）が，するとキリング形式が恒等的に 0 になってしまい，半単純性に矛盾する．したがって， ${\mathfrak {g}}$ は 0 でない半単純元をもたなければならない．

例

任意の冪零リー環はそれ自身のカルタン部分環である．
体上の $n \times n$ 行列全体のなすリー環のカルタン部分環はすべての対角行列からなる．
トレースが 0 の2次正方行列全体のなすリー環 ${\mathfrak {sl}}_{2}(\mathbb {R} )$ は2つの共役でないカルタン部分環を持つ．
カルタン部分環の次元は，複素単純リー環に対してさえ，一般には可換部分環の最大の次元ではない．例えば，トレースが 0 の $2 n$ 次正方行列全体のなすリー環 ${\mathfrak {sl}}_{2n}(\mathbb {C} )$ は，階数 $2 n - 1$ のカルタン部分環を持つが， $A$ を任意の $n$ 次正方行列として ${0\ A \choose 0\ 0}$ の形の行列全体からなる $n 2$ 次元の極大可換部分環を持つ．この可換部分環がカルタン部分環でないことを直接確かめることができる．狭義上三角行列全体のなす冪零部分環に含まれるからである．（この部分環もまたカルタン部分環ではない．対角行列によって正規化されるからである．）

分裂型カルタン部分環

詳細は「分裂型カルタン部分環（英語版）」を参照

代数閉でない体上，すべてのカルタン部分環が共役なわけではない．重要なクラスは分裂型カルタン部分環（英語版）である：リー環が分裂カルタン部分環 ${\mathfrak {h}}$ をもつとき，分裂可能 (splittable) と呼ばれ，対 $({\mathfrak {g}},{\mathfrak {h}})$ は分裂型リー環（英語版）と呼ばれる；代数閉体上，すべての半単純リー環は分裂可能である．任意の2つの分裂型カルタン環は共役であり，それらは代数閉体上の半単純リー環におけるカルタン環に類似の機能を果たし，したがって分裂型半単純リー環は（実は分裂型簡約リー環は）代数閉体上の半単純リー環と多くの性質を共有する．

しかしながら，代数閉でない体上，すべての半単純リー環が分裂可能なわけではない．

脚注

参考文献

Borel, Armand (1991), Linear algebraic groups, Graduate Texts in Mathematics, 126 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-97370-8, MR 1102012
Jacobson, Nathan (1979), Lie algebras, New York: Dover Publications, ISBN 978-0-486-63832-4, MR 559927
Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90053-7
Popov, V.L. (2001), "Cartan subalgebra", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。

ウィキペディア小見出し辞書

索引トップ用語の索引ランキング