半単純リー代数のソースを表示

数学において[[リー代数]]が'''半単純'''であるとは[[単純リー代数]]（自分自身と0以外に[[リー代数#.E6.BA.96.E5.90.8C.E5.9E.8B.E3.80.81.E9.83.A8.E5.88.86.E4.BB.A3.E6.95.B0.E3.80.81.E3.82.A4.E3.83.87.E3.82.A2.E3.83.AB|イデアル]]を持たないような非可換リー代数）の直和となる事をいう。

この記事内では特に注意しない限り <math>\mathfrak g</math> を標数0の体上の有限次元リー代数とする。以下の条件は全て同値である。
*<math>\mathfrak g</math> は半単純
*[[キリング形式]] κ(x,y) = tr(ad(''x'')ad(''y'')) が[[非退化]]
*<math>\mathfrak g</math> は0でない可換イデアルを持たない
*<math>\mathfrak g</math> は0でない可解イデアルを持たない
* <math>\mathfrak g</math> の [[リー代数の根基|根基]] (最大可解イデアル) は0

== 例 ==
以下の半単純リー代数の例は、[[ディンキン図形]]の分類に由来する記法を用いて表されている。
* <math>A_n:</math> <math>\mathfrak {sl}_{n+1}</math>、[[特殊線形リー代数]]
* <math>B_n:</math> <math>\mathfrak{so}_{2n+1}</math>、奇数次元[[特殊直交リー代数]]
* <math>C_n:</math> <math>\mathfrak {sp}_{2n}</math>、[[斜交リー代数]]
* <math>D_n:</math> <math>\mathfrak{so}_{2n}</math>、偶数次元[[特殊直交リー代数]]
これらのリー代数は ''n'' がランクとなるように番号付けられている。低次元での例外を除き、これらの大部分は単純リー代数である。これら４つの族と５つの例外型 (E<sub>6</sub>、E<sub>7</sub>、E<sub>8</sub>、F<sub>4</sub>、G<sub>2</sub>)で複素数体上の単純リー代数は尽くされている。

== 分類==
[[File:Connected Dynkin Diagrams.svg|thumb|単純リー代数は連結[[ディンキン図形]]によって分類される。]]
代数閉体上の半単純リー代数は定義より単純リー代数の[[直和]]であり、また単純リー代数は４つの族（A<sub>n</sub>、B<sub>n</sub>、C<sub>n</sub>、D<sub>n</sub>）と５つの例外（ E<sub>6</sub>、E<sub>7</sub>、E<sub>8</sub>、F<sub>4</sub>、G<sub>2</sub>）で尽くされる。単純リー代数は右に示した連結[[ディンキン図形]]によって分類され、半単純リー代数は必ずしも連結とは限らないディンキン図形に対応している。

分類は[[カルタン部分代数]](最大可換リー代数)とそれに対する[[リー代数の随伴表現|随伴表現]]を調べることにより進められる。その作用の[[ルート系]]は元のリー代数を決定し、また強い制約を満たすことからディンキン図形により分類される。

単純リー代数の分類は数学における最もエレガントな結果の一つであると広く考えられており、簡潔ないくつかの公理が比較的短い証明により完全かつ非自明で驚くべき構造を備えた分類を生み出している。これはより複雑な[[有限単純群の分類]]とも比較されるべきである。

重複のない単純リー代数の列挙が、 A<sub>n</sub> に対し <math>n \geq 1</math>、 B<sub>n</sub> に対し <math>n \geq 2</math>、C<sub>n</sub> に対し <math>n \geq 3</math>、D<sub>n</sub> に対し <math>n \geq 4</math> とすることにより得られる。より低次の部分はディンキン図形の同型により重複が発生する。また E<sub>n</sub>の添字を6よりも小さくすることも可能であるが、その場合は例外的ではない他のディンキン図形と同型になる。

代数閉体でない場合には分類はより複雑である。その場合には、代数閉体上の単純リー代数を分類し、その各々に対して（代数閉包の上で）同じキリング形式を持つようなリー代数を分類する。例えば単純実リー代数を分類するには与えられた複素化を持つような実リー代数（複素リー代数の実形と呼ばれる）を分類する必要がある。これは[[佐武図形]]と呼ばれる付加構造付きのディンキン図形を用いることによる可能となる。

== 歴史 ==
複素数体上の半単純リー代数は[[ヴィルヘルム・キリング]] (1888–90)により初めて分類されたが、彼の証明は厳密性を欠いていた。 [[エリ・カルタン]] (1894) はその学位論文の中でキリングの証明を厳密化し、更に半単純実リー代数の分類も与えた。これはさらに洗練され、現在のディンキン図形による分類は22歳の [[ユージン・ディンキン]] により1947年に与えられた。

== 性質 ==
===完全可約性===
半単純性の帰結の一つは、全ての有限次元表現が完全可約になるという[[ヘルマン・ワイル|ワイル]]の完全可約性定理である。半単純リー代数の無限次元表現は一般に必ずしも完全可約とならない。

=== 中心がゼロとなること ===
リー代数 <math>\mathfrak g</math> の中心は可換イデアルとなるため、もし <math>\mathfrak g</math> が半単純であれば、その中心はゼロである。例えば <math>\mathfrak{gl}_n</math> は非自明な中心を持つので半単純ではない。別の言い方をすれば [[リー代数の随伴表現|随伴表現]] <math>\operatorname{ad}</math> は単射である。さらに <math> \mathfrak g</math> 上の微分からなるリー代数 <math>\operatorname{Der}(\mathfrak g)</math> は <math> \mathfrak g</math> と同型になる。これは[[ホワイトヘッドの補題]]の特別な場合である。また半単純リー代数のイデアル、商、積は全て半単純となる。

===ジョルダン分解===
代数閉体上の有限次元ベクトル空間の任意の自己準同型 ''x'' に対し、対角化可能部分 ''s'' と冪零部分 ''n'' が唯一つ存在し ''s'' と ''n'' は可換かつ
:<math> x=s+n\ </math>
となる。 より強く ''s'' と ''n'' は ''x'' の多項式となる。これは[[ジョルダン標準形#線形変換|ジョルダン分解]]から従う。

<math>x\in\mathfrak g</math> に対し  ''x'' の随伴写像での像のジョルダン分解は
:<math>\operatorname{ad}(x) = \operatorname{ad}(s) + \operatorname{ad}(n)</math>
で与えられる。 ''s'' と ''n'' は、 ''n'' が冪零、 ''s'' が半単純、''n'' と ''s'' が可換、 <math> x=s+n </math> となる唯一の <math>\mathfrak g</math> の元である。この抽象的なジョルダン分解は <math>\mathfrak g</math> の任意の表現 ρ に対してもジョルダン分解を与える。つまり
:<math>\rho(x) = \rho(s) + \rho(n)\,</math>
は表現の自己同型環における ρ(''x'') のジョルダン分解を与えている。

=== ランク ===
複素半単純リー代数のランクはその[[カルタン部分代数]]の次元に一致する。

== 重要性 ==
半単純性の第一の重要性は、任意の有限次元リー代数が可解イデアルと半単純リー代数の半直積となることを述べた[[レヴィ分解]]から来ている。

可解イデアルの場合とは対照的に、半単純リー代数は非常にエレガントな分類を持っている。代数閉体上の半単純リー代数はルート系によって、またルート系はディンキン図形によって完全に分類されてしまう。

また半単純リー代数の有限次元表現の分類は一般のリー代数の分類と比べ簡単である。例えば半単純リー代数のジョルダン分解はその表現におけるジョルダン分解と一致する。これは一般のリー代数では成立しないことである。

<math>\mathfrak g</math> が半単純であれば <math>\mathfrak g = [\mathfrak g, \mathfrak g]</math> となる。特に線形半単純リー代数は全て[[特殊線形リー代数]] <math>\mathfrak{sl}</math> の部分代数となる。<math>\mathfrak{sl}</math> の構造の研究は半単純リー代数の[[表現論]]の重要な一部分である。

== 一般化 ==
半単純リー代数にはいくつかの一般化がある。まず半単純リー代数に対して成立する多くの命題が、より一般に[[簡約リー代数]]に対しても成立する。抽象的には簡約リー代数とはその随伴表現が完全可約となるものであり、具体的には簡約リー代数とは半単純リー代数と可換リー代数の直和である。例えば <math>\mathfrak{sl}_n</math> は半単純リー代数であり <math>\mathfrak{gl}_n</math> は簡約リー代数である。

（半単純/簡約）複素リー代数の性質の多くが、代数閉体とは限らない体上の分裂（半単純/簡約）リー代数に対して成立する。代数閉体上の（半単純/簡約）リー代数は必ず分裂するが他の体では必ずしもそうではない。分裂半単純リー代数は代数閉体上の半単純リー代数と本質的に同じ表現論を持っている。例えば分裂カルタン部分代数は代数閉体上の[[カルタン部分代数]]と同じ役割を果たす。これは例えば {{Harv|Bourbaki|2005}} でとられたアプローチである。

== 脚注 ==
<references/>

==参考文献==
{{参照方法|date=2014年7月|section=1}}
{{reflist}}
{{refbegin}}
* {{Citation | title=Elements of Mathematics: Lie Groups and Lie Algebras: Chapters 7–9 | authorlink=Nicolas Bourbaki | first=Nicolas | last=Bourbaki | chapter = VIII: Split Semi-simple Lie Algebras | year = 2005 | chapterurl = https://books.google.co.jp/books?id=Yh1RHnYCDNsC&pg=PA69&redir_esc=y&hl=ja }}
* {{citation|authorlink1=Karin Erdmann|last1=Erdmann|first1=Karin|last2=Wildon|first2=Mark|title=Introduction to Lie Algebras|edition=1st|publisher= [[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer]]|year=2006|isbn=1-84628-040-0}}.
* {{Citation | last1=Humphreys | first1=James E. | title=Introduction to Lie Algebras and Representation Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90053-7 | year=1972}}.
* {{citation|last=Varadarajan|first=V. S.|title=Lie Groups, Lie Algebras, and Their Representations|edition=1st|publisher=Springer|year=2004|isbn=0-387-90969-9}}.
{{refend}}

{{Normdaten}}
{{DEFAULTSORT:はんたんしゆんりいたいすう}}
[[Category:リー環論]]
[[Category:リー環の性質]]
[[Category:抽象代数学]]
[[Category:数学に関する記事]]