カルタン部分代数

ウィキペディア

カルタン部分環

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

群論 → リー群 リー群
古典群 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) シンプレクティック Sp(n)
単純リー群 単純リー群一覧表 古典型 An Bn Cn Dn 例外型 G2 F4 E6 E7 E8
他のリー群 円周 ローレンツ ポワンカレ 共形 微分同相写像 ループ
リー環 指数写像 随伴表現 (群 環) キリング形式 指数 Lie point symmetry 単純リー環
半単純リー環 ディンキン図形 カルタン部分環 ルート系 ワイル群 実形 複素化 分裂型リー環 コンパクトリー環
等質空間 閉部分群 放物型部分群 対称空間 エルミート対称空間 制限ルート系
表現論 リー群表現 リー環表現
物理学におけるリー群 素粒子物理学と表現論 ローレンツ群表現 ポワンカレ群表現 ガリレイ群表現
科学者 ソフス・リー アンリ・ポワンカレ ヴィルヘルム・キリング エリ・カルタン ヘルマン・ワイル クロード・シュヴァレー ハリッシュ＝チャンドラ アルマン・ボレル
リー群一覧表
表 話 編 歴

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

分裂型カルタン部分環

代数閉でない体上，すべてのカルタン部分環が共役なわけではない．重要なクラスは分裂型カルタン部分環である：リー環が分裂カルタン部分環 ${\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, MR1102012 
• Jacobson, Nathan (1979), Lie algebras, New York: Dover Publications, ISBN 978-0-486-63832-4, MR559927 
• 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。