リー環入門～線型リー環・リー群との関係

更新 2025/12/29

定理

（複素）線型空間 $\mathfrak{g}$ がリー環（リー代数）であるとは，次の3条件を満たす $[\; , \; ] : \mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}$ が定義されることをいう。

$[\; , \; ]$ は双線型である。つまり $c \in \mathbb{C}$ ， $x,y,z \in \mathfrak{g}$ に対して $[cx,y] = [x,cy] = c[x,y]$ $[x+y,z] = [x,z]+[y,z]$ $[x,y+z]=[x,y]+[x,z]$ が成り立つ。
任意の $x,y \in \mathfrak{g}$ に対して $[x,y] = - [y,x]$ が成り立つ。（交代律）
任意の $x,y,z \in \mathfrak{g}$ に対して $[x,[y,z]]+[y,[z,x]]+[z,[x,y]] = 0$ が成り立つ。（ヤコビ恒等式）

また，この括弧積をリー括弧積という。

この記事ではリー環の定義や例を紹介します。

リー環は表現論の他に量子力学などでも登場する重要な概念です。

係数体の補足

この記事では線型空間というと複素ベクトル空間を指すことにします。

もちろん実線型空間でもリー環を定めることはできます。そのような場合も多いため，実リー環/複素リー環というように係数体を明記して表現する場合もあります。

線型リー環

リー環の例として線型リー環を紹介します。線型リー環は行列の形で書かれるリー環のことを指します。

非常に基本的なリー環で，リー環論の理論構築の中心にあるといっても過言ではありません。

$\mathfrak{gl}$ ～行列全体の集合

定義

$n \times n$ 行列 $M_n (\mathbb{C})$ は，リー括弧積を $[X,Y] = XY - YX$ と定めることによりリー環になる。

$M_n (\mathbb{C})$ は（リー群との関係から）しばしば $\mathfrak{gl}_n (\mathbb{C})$ と表すこともある。

証明

双線型
$c \in \mathbb{C}$ ， $X,Y \in \mathfrak{gl}_n (\mathbb{C})$ について $\begin{aligned} [cX,Y] &= cXY - Y(cX)\\ &= cXY - c YX \\ &= X (cY) - (cY) X\\ &= [X,cY] \end{aligned}$ である。2行目からこれらは $c[X,Y]$ と一致する。
交代律
$X,Y \in \mathfrak{gl}_n (\mathbb{C})$ とする。 $\begin{aligned} [X,Y] &= XY-YX \\ &= - (YX-XY) \\ &= - [Y,X] \end{aligned}$
ヤコビ恒等式 $X,Y,Z \in \mathfrak{gl}_n (\mathbb{C})$ とする。 $\begin{aligned} &[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]\\ &= [X,YZ-ZY] + [Y,ZX-XZ] + [Z,XY-YX]\\ &= XYZ-XZY+YZX-YXZ+ZXY-ZYX\\ &= 0 \end{aligned}$

※ 係数体が $\mathbb{C}$ ではなくとも同じ計算ができる。

$\mathfrak{sl}$

$\mathfrak{sl}$ はリー理論の中心的存在です。

定義

$\mathfrak{sl}_n (\mathbb{C}) = \{ X \in \mathfrak{gl}_n (\mathbb{C}) \mid \mathrm{trace} \ X = 0 \}$ は $[X,Y] =XY-YX$ によりリー環になる。

証明

括弧積について閉じていれば，残りの定義の確認は $\mathfrak{gl}_n$ と同じである。

トレースの性質より $\mathrm{trace} \ XY = \mathrm{trace} \ {YX}$ であるため， $\begin{aligned} \mathrm{trace}\ [X,Y] &= \mathrm{trace} \ (XY-YX)\\ &= \mathrm{trace} \ XY - \mathrm{trace} \ {YX}\\ &= 0 \end{aligned}$ より $[X,Y] \in \mathfrak{sl}_n (\mathbb{C})$ である。

例えば $\mathfrak{sl}_2 (\mathbb{C})$ は $H = \begin{pmatrix} 1&0\\0&-1 \end{pmatrix}, E = \begin{pmatrix} 0&1\\0&0 \end{pmatrix}, F = \begin{pmatrix} 0&0\\1&0 \end{pmatrix}$ を基底とする3次元線型空間です。括弧積の関係は $\begin{aligned} [E,F] &= H\\ [H,E] &= 2E\\ [H,F] &= 2F \end{aligned}$ となります。

その他行列のリー環

以下に示す例は全て $[X,Y] = XY-YX$ をリー括弧積とするリー環になります。どれも数学・物理の各分野で登場する重要なリー環です。

$\mathfrak{o} (n)$

例

$\mathfrak{o} (n) = \{ X \in \mathfrak{gl}_n (\mathbb{R}) \mid X + X^{\top} = O \}$ は線型リー環である。

このような行列のことを歪対称行列といいます。

証明

括弧積について閉じていることを確認すれば，残りの確認は $\mathfrak{gl}_n$ と同じようにすればよい。 $(XY)^{\top} = Y^{\top} X^{\top}$ であることに注意して， $\begin{aligned} &[X,Y] + [X,Y]^{\top}\\ &= XY-YX + (XY-YX)^{\top}\\ &= XY - YX + Y^{\top} X^{\top} - X^{\top} Y^{\top}\\ &= XY - YX + (-Y)(-X) - (-X)(-Y)\\ &= XY - YX + YX - XY\\ &= 0 \end{aligned}$ と計算される。

$\mathfrak{u} (n)$

例

$\mathfrak{u} (n) = \{ X \in \mathfrak{gl}_n (\mathbb{C}) \mid X + X^{\ast} = O \}$ は線型リー環である。

証明は同様にできます。

ハイゼンベルク代数

例

$x,y,z$ を基底とする3次元ベクトル空間で，リー括弧積が $[x,y]=[y,z]=[z,x] = 0$ となるものをハイゼンベルク代数という。

$x = \begin{pmatrix} 0&1&0\\0&0&0\\0&0&0 \end{pmatrix} , y = \begin{pmatrix} 0&0&0\\0&0&1\\0&0&0 \end{pmatrix} , z = \begin{pmatrix} 0&0&1\\0&0&0\\0&0&0 \end{pmatrix}$ と実現することができる。

線型リー群に付随する線型リー環

リー群とリー環は非常に近い概念です。

定理

線型リー群 $G$ のリー環 $\mathrm{Lie} (G)$ を $\mathrm{Lie} (G) = \{ X \in M_n (k) \mid \forall t \in \mathbb{R} , \exp (tX) \in G \}$ と定める。これは $[X,Y] = XY - YX$ によりリー環になる。

例

これまで紹介してきた線型リー環は，リー群入門～定義と線型リー群の例に現れる種々の線型リー群に対応します。

$\mathrm{GL}_n$

$\mathrm{Lie} (\mathrm{GL}_n (\mathbb{C})) = \mathfrak{gl}_n (\mathbb{C}))$

証明

$\mathfrak{gl}_n (\mathbb{C})$ は $n \times n$ 行列全体の集合であったため， $\mathrm{Lie} (\mathrm{GL}_n (\mathbb{C})) \subset \mathfrak{gl}_n (\mathbb{C})$ である。

逆に $\mathfrak{gl}_n (\mathbb{C})) \subset \mathrm{Lie} (\mathrm{GL}_n (\mathbb{C}))$ を示す。 $X \in \mathfrak{gl}_n (\mathbb{C}))$ とする。

$t$ は任意の実数とする。行列の指数関数とその性質にあるように $\det (e^{tX}) = e^{\mathrm{tr} (tX)}$ である。 $\mathrm{tr} (tX) \in \mathbb{C})$ より $e^{\mathrm{tr} (tX)} \neq 0$ であるため， $e^{tX} \in \mathrm{GL}_n (k)$ である。

以上より $\mathfrak{gl}_n (\mathbb{C}) = \mathrm{Lie} (G) \in M_n (\mathbb{C})$ である。

$\mathrm{SL}_n$

$\mathrm{Lie} (\mathrm{SL}_n (\mathbb{C})) = \mathfrak{sl}_n (\mathbb{C}))$

証明

$\mathrm{Lie} (\mathrm{SL}_n (\mathbb{C})) \subset \mathfrak{sl}_n (\mathbb{C}))$

$X \in \mathrm{Lie} (\mathrm{SL}_n (\mathbb{C}))$ を任意にとる。このとき，任意の $t \in \mathbb{R}$ について $\exp (tX) \in \mathrm{SL}_n (\mathbb{C})$ である。

前述の通り $e^{\mathrm{tr} (tX)} = \det (e^{tX}) = 1$ である。十分小さい $t$ で $\exp$ は全単射を与えることが知られている。（証明略）

よって， $\mathrm{tr} (tX) = 0$ である。一方 $\mathrm{tr} (tX) = t \mathrm{tr} (X)$ より， $X \in \mathfrak{sl}_n (\mathbb{C})$ である。

$\mathrm{Lie} (\mathrm{SL}_n (\mathbb{C})) \supset \mathfrak{sl}_n (\mathbb{C}))$

$X \in \mathfrak{sl}_n (\mathbb{C})$ を任意にとる。このとき，任意の $t$ について $\mathrm{tr} (tX) = t\mathrm{tr} (X) = 0$ である。よって， $\det (e^{tX}) = e^{\mathrm{tr} (tX)} = e^0 = 1$ である。

よって， $X \in \mathrm{Lie} (\mathrm{SL}_n (\mathbb{C}))$ である。

$O(n)$

$\mathrm{Lie} (O(n)) = \mathfrak{o} (n)$

証明

$\mathrm{Lie} (O(n)) \subset \mathfrak{o} (n)$

$X \in \mathrm{Lie} (O(n))$ を任意に取る。このとき，任意の $t \in \mathbb{R}$ について $\exp (tX) \in O(n)$ である。特に $\exp (tX) (\exp (tX))^{\top} = I_n$ が成立する。

指数関数の成立から $(\exp (tX))^{\top} = \exp (t X^{\top})$ となる。よって $\exp (tX) \exp (tX^{\top}) = I_n$ である。辺々を $t$ で微分すると $\dfrac{d}{dt} (\exp (tX)) \exp (tX^{\top}) + \exp (tX) \dfrac{d}{dt} (\exp (tX^{\top})) = O$ つまり， $X \exp (tX^{\top}) + X^{\top} \exp (tX) = O$ である。辺々に $t = 0$ を代入して $X + X^{\top} = O$ を得る。

$\mathrm{Lie} (O(n)) = \mathfrak{o} (n)$

$\mathrm{Lie} (O(n))$ と $\mathfrak{o} (n)$ の次元をそれぞれ計算する。

一般にリー群 $G$ の次元と付随するりー環 $\mathrm{Lie} (G)$ の次元は一致することに注意すると， $\mathrm{dim} \ \mathrm{Lie} (O(n)) = \mathrm{dim} \ \mathfrak{o} (n)$ と計算される。

$\mathrm{Lie} (O(n)) \subsetneq \mathfrak{o} (n)$ を仮定する。

このとき，ある $x \in \mathfrak{o} (n) \backslash \mathrm{Lie} (O(n))$ が取れる。特に $\langle x \rangle \cap \mathrm{Lie} (O(n)) = \{ 0 \}$ であるため， $\mathrm{Lie} (O(n)) \oplus \langle x \rangle \subset \mathfrak{o} (n)$ である。

ゆえに $\mathrm{dim} \ \mathrm{Lie} (O(n)) < \mathrm{dim} \ \mathfrak{o} (n)$ であるが，これは矛盾である。

前段の $\mathrm{Lie} (O(n)) \subset \mathfrak{o} (n)$ と合わせて $\mathrm{Lie} (O(n)) = \mathfrak{o} (n)$ である。

後半，「次元が同じ部分空間は元のベクトル空間と一致する」ということを示しています。これは一般的なベクトル空間でも成り立つ議論です。

$U(n)$

$\mathrm{Lie} (U(n)) = \mathfrak{u} (n)$

証明は $O(n)$ のときと同様にできます。

リー環に関する諸定義

部分リー環

定理

リー環 $\mathfrak{g}$ の部分線型空間 $\mathfrak{h}$ が $[\mathfrak{h} , \mathfrak{h}] \subset \mathfrak{h}$ を満たすとき，部分リー環であるという。

※ $A,B \subset \mathfrak{g}$ について， $[A,B]$ は $[A,B] = \left\{ \sum_{i} [a_i , b_i] \mid a_i \in A , b_i \in B \right\}$ と定めている。

例

$\mathfrak{sl}_n (\mathbb{C})$ は $\mathfrak{gl}_n (\mathbb{C})$ の部分リー環である。

リー環の直和

定理

リー環 $\mathfrak{g}, \mathfrak{h}$ について $\mathfrak{g} \oplus \mathfrak{h}$ はリー環になる。

実際，リー括弧積を $[x_1 \oplus y_1 , x_2 \oplus y_2] = [x_1 , y_1] \oplus [x_2 , y_2]$ と定めるとよい。

リー環のイデアル

リー環は厳密には環ではありませんが，イデアルを似たように定義できます。

定理

リー環 $\mathfrak{g}$ の部分線型空間 $I$ が $[\mathfrak{g} , I] \subset I$ を満たすとき，イデアルであるという。

自明な例

$0$ （ $\mathfrak{g}$ の和の単位元からなる集合）はイデアルになる。

$\mathfrak{g}$ はイデアルになる。

例

リー環 $\mathfrak{g}$ に対して，中心を $Z(\mathfrak{g}) = \{ x \in \mathfrak{g} \mid [z,x] = 0 \ (\forall z \in \mathfrak{g}) \}$ と定める。

$0 \in Z(\mathfrak{g})$ より，これはイデアルになる。

例

リー環 $\mathfrak{g}$ に対して，導来イデアルを $D\mathfrak{g} = [\mathfrak{g},\mathfrak{g}] = \left\{ \sum_{i=1}^n [x_i,y_i] \mid x_i,y_i \in \mathfrak{g} \right\}$ と定める。

これはイデアルになる。

例えば $D\mathfrak{gl}_n (\mathbb{C}) = \mathfrak{sl}_n (\mathbb{C})$ である。

定理

$\mathfrak{g}$ をリー環， $I$ をそのイデアルとしたとき， $\mathfrak{g} / I$ はリー環になる。これを商リー環という。

証明

$x+I,y+I \in \mathfrak{g} / I$ について，括弧積を $[x+I,y+I] = [x,y]+I$ と定めると， $\mathfrak{g}/I$ にはリー環の構造が入る。

リー環の準同型

リー環の間の線型写像で，リー括弧を保つものを準同型といいます。

定理

リー環 $\mathfrak{g} , \mathfrak{h}$ の間の線型写像 $f : \mathfrak{g} \to \mathfrak{h}$ が $[f(x),f(y)] = f([x,y]) \ (x,y \in \mathfrak{g})$ を満たすとき， $f$ をリー環の準同型という。

例

$f : \mathfrak{sl}_2 \to \mathfrak{sl}_3$ を $\begin{aligned} \begin{pmatrix} a&b\\c&-a \end{pmatrix} \mapsto \begin{pmatrix} a&b&0\\c&-a&0\\0&0&0 \end{pmatrix} \end{aligned}$ で定める。

これはリー環の準同型になる。

次回予告

次回はリー環の随伴表現を紹介します。これはリー環論で非常に本質的な道具です。

様々なリー環を計算してみましょう。