リー代数

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動先: 案内、 検索

数学では、リー代数 (テンプレート:En)、もしくはリー環 (テンプレート:En) は[注 1]、テンプレート:仮リンク (テンプレート:En) の概念を研究するために導入された代数的構造である。 「リー代数（リー環）」という言葉は、1930年に、ソフス・リーに因んで、ヘルマン・ワイルにより導入された。

関連する数学の概念に、リー群や可微分多様体がある。

定義

リー代数は、ある体 テンプレート:Mvar 上のベクトル空間 <math>\,\mathfrak{g}</math> であって、リーブラケット (テンプレート:En)、あるいは括弧積と呼ばれる、次の公理を満たす二項演算 <math>[\cdot,\cdot] \colon \mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}</math> が与えられている場合を言う。

双線型性
テンプレート:Mvar の全てのスカラー テンプレート:Mvar と <math>\mathfrak{g}</math> の全て元の テンプレート:Mvar に対して、
<math> [a x + b y, z] = a [x, z] + b [y, z], \quad [z, a x + b y] = a[z, x] + b [z, y]\ .</math>
交代性
<math>\mathfrak{g}</math> の全ての テンプレート:Mvar に対し、
<math> [x,x]=0\ .</math>
ヤコビ恒等式
<math>\mathfrak{g}</math> の全ての テンプレート:Mvar に対し、
<math> [x,[y,z]] + [z,[x,y]] + [y,[z,x]] = 0\ .</math>


双線型性と交代性により、反交換関係 — <math>\mathfrak{g}</math> の全ての元 テンプレート:Mvar に対し、テンプレート:Math — が成り立つ。逆に、反交換関係は、体の標数が テンプレート:Math ではないとき、交代性があることを意味するテンプレート:Sfn。

<math>\mathfrak{g}</math> のように、普通、リー代数はフラクトゥールの小文字で表される。 リー代数がリー群に付随していると、リー代数のスペルはリー群と同じにする（書体は異なる）。 例えば、特殊ユニタリ群の テンプレート:Math のリー代数は <math>\mathfrak{su}(n)</math> と書かれる。

生成子と次元

リー代数 <math>\mathfrak{g}</math> の元からなる集合がテンプレート:仮リンクであるとは、 その集合を含む <math>\mathfrak{g}</math> の最小のリー部分代数が全体 <math>\mathfrak{g}</math> と一致することである。 リー代数の 次元は、テンプレート:Mvar 上のベクトル空間としての次元で定める。 リー代数の最小の生成子の数は、常に次元以下である。

準同型、部分代数、イデアル

必ずしも <math>[[x,y],z]</math> と <math>[x,[y,z]]</math> とが等しいとは限らないので、 一般にはリーブラケットは結合法則を満たさない。 しかし、結合的な環や結合多元環の理論での用語の多くは、リー代数でも共通して使われる。 リーブラケットで閉じている部分空間 <math>\mathfrak{h} \subseteq \mathfrak{g}</math> をリー部分代数 (テンプレート:En) と呼ぶ。 部分空間 <math>I\subseteq\mathfrak{g}</math> がより強い条件

<math>[\mathfrak{g},I]\subseteq I</math>

を満たすとき、テンプレート:Mvar をリー代数 <math>\mathfrak{g}</math> のイデアルと言う[注 2] 。 （同じ基礎となる係数体の上の）リー代数の間の準同型とは、<math>\mathfrak{g}</math> の全ての元 テンプレート:Mvar に対し、交換関係が

<math> f \colon \mathfrak{g}\to\mathfrak{g'}, \quad f([x,y])=[f(x),f(y)] </math>

と整合している線型写像を言う。 リー代数 <math>\mathfrak{g}</math> とイデアル テンプレート:Mvar が与えられると、環の理論のように、イデアルはちょうど準同型の核であり、商代数 (テンプレート:En) <math>\mathfrak{g}/I</math> を構成することができ、リー代数に対してもテンプレート:仮リンクが成り立つ。

テンプレート:Mvar を <math>\mathfrak{g}</math> の部分集合とする。 テンプレート:Mvar の全ての元 テンプレート:Mvar に対し <math>[x, s] = 0</math> となるような元 テンプレート:Mvar の集合は、テンプレート:Mvar のテンプレート:仮リンク (テンプレート:En) を構成する。<math>\mathfrak{g}</math> 自身の中心化代数は、<math>\mathfrak{g}</math> のテンプレート:仮リンクと呼ばれる。 中心化と同様に、テンプレート:Mvar の全ての元 テンプレート:Mvar に対し <math>[x, s]</math> が テンプレート:Mvar の元となるような テンプレート:Mvar の集合は、テンプレート:Mvar の部分代数を構成する。この部分代数は テンプレート:Mvar の正規化部分代数 (normalizer of テンプレート:Mvar) と呼ばれるテンプレート:Sfn。

直和

2 つのリー代数 <math>\mathfrak{g}</math> と <math>\mathfrak{g'}</math> が与えられると、それらの直和は、ベクトル空間 <math>\mathfrak{g}\oplus\mathfrak{g'}</math> とペア <math>(x,x'), \,x\in\mathfrak{g}</math> であり、リーブラケットは

<math> [(x,x'),(y,y')]=([x,y],[x',y']), \quad x,y\in\mathfrak{g},\, x',y'\in\mathfrak{g'}</math>

で定めるテンプレート:Sfn。

性質

包絡代数を持つ

テンプレート:See also 積 テンプレート:Math を持つ任意の結合代数 テンプレート:Mvar に対し、リー代数 テンプレート:Math を構成できる。 ベクトル空間としては、テンプレート:Math は テンプレート:Mvar と同じである。テンプレート:Math の 2 つのリーブラケットは、次のように テンプレート:Mvar での交換子として定義される。

<math> [a,b]=a * b-b * a</math>

テンプレート:Mvar での積 テンプレート:Math の結合性は、テンプレート:Math の交換子のヤコビ恒等式を意味する。 例えば、体 テンプレート:Mvar 上の テンプレート:Math 行列の結合代数は、一般線型リー代数 (テンプレート:En) <math>\mathfrak{gl}_n(F)</math> を生成する。 結合代数 テンプレート:Mvar をリー代数 テンプレート:Math の包絡代数 (テンプレート:En) と呼ぶ。 全てのリー代数はこの形の結合代数から作られたリー代数へ埋め込まれる。 普遍包絡代数を参照。

表現

ベクトル空間 テンプレート:Mvar が与えられたとして、<math>\mathfrak{gl}(V)</math> で V の全ての線型テンプレート:仮リンク (テンプレート:En) の集合を表すとする。 これは結合的な代数であるので、前のセクションで述べた方法でリー代数である。 テンプレート:Mvar 上のリー代数 <math>\mathfrak{g}</math> のテンプレート:仮リンク (テンプレート:En) は、リー代数の準同型

<math>\pi \colon \mathfrak g \to \mathfrak{gl}(V)</math>

である。 表現は、核が自明のときに、忠実 (テンプレート:En) であるという。 全ての有限次元リー代数は有限次元のベクトル空間上で忠実な表現を持っている （アド＝岩澤の定理 (テンプレート:En)テンプレート:Sfn）。

例えば、<math>\operatorname{ad}(x)(y) = [x, y]</math> により与えられる <math>\operatorname{ad}</math> は、随伴表現と呼ばれるベクトル空間 <math>\mathfrak{g}</math> 上の <math>\mathfrak{g}</math> の表現である。 リー代数 <math>\mathfrak{g}</math> [注 3]の上のテンプレート:仮リンク(derivation)とは、ライプニッツの法則、すなわち、すべての <math>\mathfrak{g}</math> の元 テンプレート:Mvar に対して

<math>\delta ([x,y]) = [\delta(x),y] + [x, \delta(y)]</math>

が成り立つ線型写像 <math>\delta:\mathfrak{g}\rightarrow \mathfrak{g}</math> のことである。 ヤコビ恒等式より任意の テンプレート:Mvar に対し、<math>\operatorname{ad}(x)</math> は微分である。 従って、<math>\operatorname{ad}</math> の像は、微分からなる <math>\mathfrak{gl}(\mathfrak{g})</math> の部分代数 <math>\operatorname{Der}(\mathfrak{g})</math> の中にある。 <math>\operatorname{ad}</math> の像の中にある微分は、内部微分と呼ばれる。 <math>\mathfrak{g}</math> が半単純あれば、全て微分は内部微分である。

例

ベクトル空間

部分空間

実行列群

  • 任意のリー群 G は、付随する実リー代数 <math>\mathfrak{g}</math>=Lie(G) を持つ。一般の定義はいくらかテクニカルであるが、実行列群の場合は、テンプレート:仮リンク(exponential map)、もしくは行列のベキを通じて定式化することができる。リー代数 <math>\mathfrak{g}</math> は、全ての実数 t に対して exp(tX) ∈ G となる行列 X から構成される。
<math>\mathfrak{g}</math> のリーブラケットは、行列の交換子により与えられる。具体的な例として、要素が全て実数で行列式が 1 である n × n 行列の特殊線型群 SL(n,R) を考える。これは行列のリー群であり、リー代数は、n × n 行列の要素が実数でトレースが 0 でとなるものと、関係式
<math> L_{[X,Y]}f=L_X(L_Y f)-L_Y(L_X f)~.</math>
から構成される。このリー代数は、M のテンプレート:仮リンク(diffeomorphism)のテンプレート:仮リンク(pseudogroup)に関連している。

3次元

  • テンプレート:仮リンク(Heisenberg algebra) H3(R) は、3次元リー代数で、次の関係式を満たすリーブラケットを持つ要素 x, y, z で生成される。
<math>[x,y]=z,\quad [x,z]=0, \quad [y,z]=0</math> .
この代数は、以下の行列交換子により与えられるリーブラケットを持つ 3×3 上半三角行列の空間として、明示的に構成される。
<math>

x = \left( \begin{array}{ccc} 0&1&0\\ 0&0&0\\ 0&0&0 \end{array}\right),\quad y = \left( \begin{array}{ccc} 0&0&0\\ 0&0&1\\ 0&0&0 \end{array}\right),\quad z = \left( \begin{array}{ccc} 0&0&1\\ 0&0&0\\ 0&0&0 \end{array}\right)~.\quad </math>

このように、テンプレート:仮リンク(Heisenberg group)の全ての元は、群の生成子の正規として表現可能である。つまり、これらのリー代数の生成子、
<math>\left( \begin{array}{ccc}

1&a&c\\ 0&1&b\\ 0&0&1 \end{array}\right)= e^{by} e^{cz} e^{ax}~. </math> の行列指数関数として表現される。

<math>[L_x, L_y] = i \hbar L_z</math>
<math>[L_y, L_z] = i \hbar L_x</math>
<math>[L_z, L_x] = i \hbar L_y</math> .
のリー代数 so(3) のテンプレート:仮リンク(complexification)である。

無限次元

  • 無限次元の実リー代数は、微分トポロジーで重要である。微分可能多様体 M 上の滑らかなベクトル場の空間はリー代数を構成し、そこではリーブラケットはベクトル場の交換子であると定義される。リーブラケットを表現する方法は、リー微分の定式化を通して、 LX(f) を X 方向の函数 f の方向微分であるとすることにより滑らかな函数の上へ作用する第一階の偏微分作用素を持つベクトル場 X と X を同一視することでなされる。2つのベクトル場のリーブラケット [X,Y] は、次の公式により函数上への作用を通して定義されるベクトル場である。
<math> L_{[X,Y]}f=L_X(L_Y f)-L_Y(L_X f).\,</math>

構造論と分類

リー代数は、ある程度、分類することが可能である。特に、このことはリー群の分類に応用される。

可換性、べき零性、可解性

部分群の言葉として定義されている、可換群（アーベル群）、べき零群、可解群と似ており、テンプレート:Anchor、テンプレート:Anchor、テンプレート:Anchorを定義することができる。

リー代数 <math>\mathfrak{g}</math> は、<math>[\mathfrak{g}, \mathfrak{g}] = 0</math>のとき、つまり、<math>\mathfrak{g}</math> の全ての x と y に対し [x,y] = 0 が成り立つとき、可換であるという。 可換リー代数は、ベクトル空間 <math>K^n</math> やトーラスのような <math>T^n</math> のような結合的な（あるいは可換な）連結リー代数に対応していて、自明なリーブラケットをもつ n 次元ベクトル空間を意味する <math>\mathfrak{k}^n</math> の全体である。

リー代数のより一般的なクラスは、与えられた長さの交換子がゼロとすることで定義する。 リー代数 <math>\mathfrak{g}</math> が、テンプレート:仮リンク(nilpotent)とは、下降列

<math> \mathfrak{g} > [\mathfrak{g},\mathfrak{g}] > [[\mathfrak{g},\mathfrak{g}],\mathfrak{g}] > [[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}],\mathfrak{g}] > \cdots</math>

が有限回でゼロに達することを言う。 テンプレート:仮リンク(Engel's theorem)の定理により、リー代数がべき零であることと、<math>\mathfrak{g}</math> の全ての元 u に対し、随伴準同型

<math>\operatorname{ad}(u):\mathfrak{g} \to \mathfrak{g}, \quad \operatorname{ad}(u)v=[u,v]</math>

がべき零であることとは同値である。

さらにより一般的な場合として、リー代数 <math>\mathfrak{g}</math> がテンプレート:仮リンク(solvable)とは、テンプレート:仮リンク(derived series)

<math> \mathfrak{g} > [\mathfrak{g},\mathfrak{g}] > [[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]] > [[[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]],[[\mathfrak{g},\mathfrak{g}],[\mathfrak{g},\mathfrak{g}]]] > \cdots</math>

が有限回でゼロに達することを言う。

全ての有限次元のリー代数は、一意的に最大可解イデアルを持っていて、テンプレート:仮リンク(radical)と呼ぶ。リー対応の下、連結なべき零リー群、連結な可解リー群はそれぞれ、べき零、可解リー代数に対応する。

単純性と半単純性

テンプレート:Main リー代数がテンプレート:仮リンク(simple)とは、非自明なイデアルを持たず、可換でないときを言う。 リー代数 <math>\mathfrak{g}</math> が半単純とは、根基(radical)がゼロであるときを言う。 同じことであるが、<math>\mathfrak{g}</math> が半単純とは、ゼロでない可換イデアルを持たないときを言う。 特に、単純リー代数は半単純である。逆に、任意の半単純リー代数は最小イデアルの直和であることが証明でき、標準的に単純リー代数により半単純リー代数が決定される。

リー代数の半単純性の概念は、密接に表現の完全既約性(semisimplicity)と関連している。 基礎体 F の標数が 0 のとき、半単純リー代数の任意の有限次元表現は半単純（つまり、既約表現の直和）である。 一般に、リー代数がテンプレート:仮リンク(reductive)とは、随伴表現が半単純であるときを言う。 このように、半単純リー代数は既約である。

カルタンの判定条件

テンプレート:仮リンク(Cartan's criterion)は、リー代数がべき零、可解、半単純であるための判定条件を与える。 この判定条件は、テンプレート:仮リンク(Killing form)の考え方を基礎としている。キリング形式とは、

<math>K(u,v)=\operatorname{tr}(\operatorname{ad}(u)\operatorname{ad}(v))</math>

で定義された <math>\mathfrak{g}</math> 上の対称双線型形式である。 ここで tr は線型作用素のトレースを表す。 リー代数 <math>\mathfrak{g}</math> が半単純であることと、キリング形式がテンプレート:仮リンク(nondegenerate)であることとは同値であるテンプレート:Sfn。 リー代数 <math>\mathfrak{g}</math> が可解であることと、<math>K(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0</math> であることとは同値である。


分類

テンプレート:仮リンク(Levi decomposition)は、任意のリー代数を可解な根基と半単純リー代数のテンプレート:仮リンク(semidirect sum)としてほぼ標準的に表すことができる。 さらに、代数的閉体上の半単純リー代数は、テンプレート:仮リンク(root system)を通して完全に分類されている。 しかし、可解リー群の分類には「ワイルド」な問題があり、一般には完成していないテンプレート:Clarify。


リー群との関係

リー代数は多くの場合それ自体で研究されているが、歴史的にはリー群の研究のための方法として生まれた。

リーの基本定理は、リー群とリー代数の関係を記述している。 特に、任意のリー群はリー代数を標準的に決めるために生まれ（具体的には、「接空間と同一視する」）、逆に任意のリー代数に対し、対応する連結リー群が存在する（テンプレート:仮リンク(Lie's third theorem)、テンプレート:仮リンク(Baker–Campbell–Hausdorff formula)を参照）。 このリー代数は一意には決まらないが、同じリー代数をもつ任意の 2つの連結リー群は局所同型であり、特に同じ普遍被覆を持つ。例えば、特殊直交群 SO(3) や特殊ユニタリ群 SU(2) は、クロス積をもつ R3 である同じリー代数から生まれる。 SU(2) は SO(3) の単連結な二重被覆である。


リー群が与えられると、随伴写像 のテンプレート:仮リンクされた微分形式と接ベクトル空間 とを同一視するか、もしくは、例の中で述べてように、左不変ベクトル場を考えることにより、リー代数をリー群と結びつけることにより、関連づけられる。実テンプレート:仮リンク(matrix group)の場合、リー代数 <math>\mathfrak{g}</math> は、全ての実数 t に対し exp(tX) ∈ G となるような行列 X から構成される。ここに exp は行列指数関数である。

リー代数の例を挙げる。

  • 群 <math>\operatorname{GL}_n(\mathbb{C})</math> のリー代数 <math>\mathfrak{gl}_n(\mathbb{C})</math> は、複素　n×n 行列の代数である。
  • 群 <math>\operatorname{SL}_n(\mathbb{C})</math> のリー代数 <math>\mathfrak{sl}_n(\mathbb{C})</math> は、トレースが 0 である複素　n×n 行列の代数である。
  • 群 <math>\operatorname{O}(n)</math> と <math>\operatorname{SO}(n)</math> の両方のリー代数 <math>\mathfrak{o}(n)</math> は、実反対称　n×n 行列の代数である。（交代群の無限小回転を参照）
  • 群 <math>\operatorname{U}(n)</math> のリー代数 <math>\mathfrak{u}(n)</math> は、複素交代エルミート n×n 行列であるが、他方、<math>\operatorname{SU}(n)</math> のリー代数 <math>\mathfrak{su}(n)</math> はトレースが 0 の複素交代エルミート n×n 行列である。

上記の例では、リーブラケット <math>[X,Y]</math>（リー代数の行列 X と Y に対して）は <math>[X,Y] = XY - YX</math> として定義する。

生成子 Ta の集合が与えられると、構造定数 f abc は、生成子のペアのリーブラケットを集合からの生成子の線型結合 [Ta, Tb] = f abc Tc で表す。 構造定数はリー代数の元のリーブラケットを決定するので、結果としてリー群の群構造をほぼ完全に決定する。 単位元の近くのリー群の構造は、テンプレート:仮リンク(Baker–Campbell–Hausdorff formula)により明確に表される。 ベイカー・キャンベル・ハウスドルフ公式は、リー代数の元 X, Y の拡大とそれらのリーブラケットであらわされ、互いにネストした元でも単一の成分 exp(tX) exp(tY) = exp(tX + tY + ½ t2 [X,Y] + O(t3)) となる。

リー群からリー代数への写像は関手的であり、リー群の準同型がリー代数の準同型にリフトすることを意味し、多くの性質がリフティングを満たす。 合成とは可換であり、リー群のリー部分群、核、商、余核をそれぞれリー代数の部分代数、核、商、余核へ写像する。

リー群をリー代数に写し、準同型をリー代数の微分へ写す関手 L は、完全関手である。しかし、テンプレート:仮リンク(equivalence of categories)ではない。異なるリー群でも同型のリー代数となる場合があるからである。（例えば、SO(3)やSU(2)の例がある。）また、いかなるリー群も伴わない（無限次元の）リー代数が存在する。[1]

しかしながら、リー代数 <math>\mathfrak{g}</math> が有限次元のときは、<math>\mathfrak{g}</math> をリー代数としてもつ単連結なリー群を、そのリー代数へ付随させることができる。さらに詳しくは、リー代数の函手 L は、有限次元（実）リー代数からリー群への左随伴関手 Γ を持っていて、単純な連結リー群の部分カテゴリ全体を分解する[2] 。言い換えると、双函手である自然な同型が存在する。

<math> \mathrm{Hom}(\Gamma(\mathfrak{g}), H) \cong \mathrm{Hom}(\mathfrak{g},\mathrm{L}(H)).</math>

随伴写像(adjunction) <math>\mathfrak{g} \rightarrow \mathrm{L}(\Gamma(\mathfrak{g}))</math>（<math>\Gamma(\mathfrak{g})</math> 上の恒等写像に対応する）は同型であり、他の随伴写像 <math>\Gamma(\mathrm{L}(H)) \rightarrow H</math> は、H の恒等元の成分の普遍被覆群から H への射影準同型である。このことから、直ちに、G が単連結であれば、リー代数の函手は、リー群の準同型 G → H とリー代数の準同型 L(G) → L(H) の間の全単射である。

上記の普遍被覆群はテンプレート:仮リンク(exponential map)によりリー代数の像として構成することができる。さらに、一般的には、リー代数は恒等元の近傍に同相である。しかし、大域的には、リー群がコンパクトであれば指数写像は単射ではなく、リー群が連結でなく、単連結でない、もしくはコンパクトであれば、指数写像は全射でないかもしれない。

リー代数が無限次元であれば、結果はより微妙なものとなる。多くの例では、指数写像は局所同相ですらない（例えば、テンプレート:Math では、テンプレート:Math の像の中にないような恒等元に、どのようにでも近くなる微分同相写像を見つけることができる）。さらに、無限次元リー代数には、どの群のリー代数でもないリー代数が存在する。

リー代数とリー群の間の対応はいくつかの方法が使われる。方法には、テンプレート:仮リンク(テンプレート:En) や、リー群の表現論の方法がある。リー代数の全ての表現は、一意に対応する連結で単連結なリー群の表現にリフトされ、逆に、全てのリー群の表現は、そのリー群のリー代数の表現を誘導する。表現は 1 対 1 対応ではない。従って、リー代数の表現を理解することは、群の表現の問題に帰着される。

分類のためには、与えられたリー代数をもつ任意の連結リー群が離散部分群である中心を mod として、普遍被覆に同型であることを示すことができる。従って、リー群を分類することは、一度リー代数の分類ができると、単純にテンプレート:仮リンク (テンプレート:En) である離散部分群を数える問題となる（半単純 (テンプレート:En) な場合は、エリ・カルタンにより解かれている）。

カテゴリ論的な定義

カテゴリ論のことばを使うと、リー代数のカテゴリは、標数が 2 ではない体 k 上のテンプレート:仮リンク(category of vector spaces)である Veck の中の対象 A と射 [., .]: A ⊗ A → A として定義される。ここに ⊗ は Veck の次のように定義されるモノイド積を表す。

  • <math>[\cdot, \cdot] \circ (\mathrm{id} + \tau_{A,A}) = 0</math>
  • <math>[\cdot, \cdot] \circ ([\cdot, \cdot] \otimes \mathrm{id}) \circ (\mathrm{id} + \sigma + \sigma^2) = 0</math>

ここに、τ (a ⊗ b) := b ⊗ a であり、σ はテンプレート:仮リンク(cyclic permutation)プレイディング (id ⊗ τA,A) ° (τA,A ⊗ id) である。テンプレート:仮リンク(Diagrammatic Notation)にすると以下のようになる。

ファイル:Liealgebra.png

関連項目

テンプレート:Col-begin テンプレート:Col-1-of-2

テンプレート:Col-2-of-2

テンプレート:Col-end

脚注

テンプレート:Reflist テンプレート:Reflist

参考文献

テンプレート:参照方法


引用エラー: 「注」という名前のグループの <ref> タグがありますが、対応する <references group="注"/> タグが見つからない、または閉じる </ref> タグがありません
  1. ↑ テンプレート:Harvnb
  2. ↑ 随伴写像の性質は、テンプレート:Harvnbでより一般的な立場から議論されるが、直接的な結果は例えば テンプレート:Harvnb p. 305 の Theorem 1 や p. 310 の Theorem 3。
「http://wikippe.e-do-match.com/index.php?title=リー代数&oldid=157533」から取得