大学数学基礎解説

文献あり

リー代数1.3.2　可解リー代数と巾零リー代数

リー代数

巾零性

巾零の定義

（降中心列）

　 $L$ を $Lie$ 代数とする。 $L$ のイデアルの列を次で定める。

　 $L^{0} := L, L^{1} := [L, L], L^{2} := [L, L^{1}], \dots, L^{k + 1} := [L, L^{k}], \dots$

　 $L^{0} \supset L^{1} \supset \dots \supset L^{k} \supset \dots$ を $L$ の降中心列(descending central series)という。

（巾零）

　 $L$ を $Lie$ 代数とする。
　 $L$ が巾零(nilpotent)であるとは、ある $n \in N$ が存在して $L^{n} = {0}$ となることをいう。

巾零の性質

　 $L$ を $Lie$ 代数とする。
　 $L$ が巾零 $Lie$ 代数ならば、 $L$ は可解 $Lie$ 代数である。

　 $L^{0} = L^{(0)} = L, L^{1} = L^{(1)} = [L, L]$ は定義よりすぐにわかる。
　 $L^{(k)} \subset L^{k}$ を仮定して、 $L^{(k + 1)} \subset L^{k + 1}$ を示そう。
　 $L^{(k + 1)} = [L^{(k)}, L^{(k)}] \subset [L, L^{k}] = L^{k + 1}$ より正しい。
　すなわち、すべての自然数 $k$ について、 $L^{(k)} \subset L^{k}$ が成り立つ。
　 $L$ は巾零より、ある $n \in N$ が存在して、 $L^{n} = {0}$
　したがって、 $L^{(n)} = {0}$ がわかり、 $L$ は可解である。 $◻$

　上三角行列の可解性のときに使った記号や補題を使うと次がわかる。
　 $L := t_{n} (F) = g^{(0)}$ とすると、 $L^{1} = n_{n} (F) = g^{(1)}$
　 $L^{2} = [L, L^{1}] = [g^{(0)}, g^{(1)}] = g^{(1)}$ $(0 + 1 = 1)$
　よって、 $k \geq 1$ のとき、 $L^{k} = L^{1} = g^{(1)}$ であり、巾零でない。
　この例は、上の命題の逆は成り立たないことを示している。

　 $M := n_{n} (F) = g^{(1)}$ とすると、 $M^{1} = [g^{(1)}, g^{(1)}] = g^{(2)}$
　 $M^{2} = [M, M^{1}] = [g^{(1)}, g^{(2)}] = g^{(3)}$ $(1 + 1 = 2)$
　よって、 $k \geq 0$ のとき、 $M^{k} = g^{(k + 1)}$ であり、
　 $M^{n - 1} = g^{(n)} = {0}$ となるので、巾零である。

　 $L$ を $Lie$ 代数とする。
　 $(i) L$ が巾零ならば、 $L$ の部分 $Lie$ 代数や、準同型の像は巾零である。
　 $(ii) L / Z (L)$ が巾零ならば、 $L$ は巾零である。
　 $(iii) L$ が巾零で、 $L \neq {0}$ ならば、 $Z (L) \neq {0}$ である。

　 $(i) M$ を $L$ の部分 $Lie$ 代数とすると、 $M^{k} \subset L^{k}$ となるので、 $L$ が巾零より、 $M$ も巾零である。

　 $φ : L \to M$ を全射準同型とする。 $φ (L^{k}) = M^{k}$ を示そう。
　 $k = 0$ のときは、全射性より正しい。
　 $k$ のとき正しいと仮定する。

　 $x \in L, y \in L^{k}$ とすると、仮定より $φ (y) \in M^{k}$
　よって、 $φ ([x, y]) = [φ (x), φ (y)] \in [M, M^{k}] = M^{k + 1}$
　 $∴ φ (L^{k + 1}) \subset M^{k + 1}$

　 $x \in M, y \in M^{k}$ をとると、 $[x, y] \in M^{k + 1}$ を考えると、
　仮定より、ある $x^{'} \in L, y^{'} \in L^{k}$ が存在して、 $x = φ (x^{'}), y = φ (y^{'})$ となる。
　このとき、 $[x, y] = [φ (x^{'}), φ (y^{'})] = φ ([x^{'}, y^{'}]) \in φ (L^{k + 1})$
　 $∴ M^{k + 1} \subset φ (L^{k + 1})$
　したがって、 $φ (L^{k}) = M^{k}$ が成り立つ。
　よって、 $L$ が巾零なら準同型の像 $M$ も巾零である。
　
　 $(ii) L / Z (L)$ が巾零より、ある $k$ が存在して、 $(L / Z (L))^{k} = {0}$
　 $π : L \to L / Z (L)$ を標準的な全射とすると、
　 $(i)$ の結果より、 $π (L^{k}) = {0}$ $∴ L^{k} \subset Ker π = Z (L)$
　 $L^{k + 1} = [L, L^{k}] \subset [L, Z (L)] = {0}$ なので、 $L$ は巾零である。

　 $(iii) L$ が巾零で $L \neq {0}$ より、
　 $L^{k - 1} \neq {0}$ かつ $L^{k} = {0}$ をみたす $k \geq 1$ が存在する。
　 $L^{k} = [L, L^{k - 1}] = {0}$ より、中心の定義から $L^{k - 1} \subset Z (L)$
　 $L^{k - 1} \neq {0}$ より、 $Z (L) \neq {0}$ がわかる。 $◻$

巾零と冪零変換

　 $Lie$ 代数が巾零という性質は、元に注目してみると次のようにかける。

　 $L$ が巾零 $Lie$ 代数ならば、 $L$ にのみ依存する $n \in N$ が存在して、
　任意の $x_{k}, y \in L (1 \leq k \leq n)$ について、 $\prod_{k = 1}^{n} ad x_{k} (y) = 0$ が成り立つ。

　 $L$ にのみ依存する $n$ とは、 $L^{n} = {0}$ となる $n$ のことである。
　 $ad x_{n} (y) = [x_{n}, y] \in L^{1}$
　 $ad x_{n - 1} ad x_{n} (y) = [x_{n - 1}, [x_{n}, y]] \in [L, L^{1}] = L^{2}$
　これを繰り返すと、 $\prod_{k = 1}^{n} ad x_{k} (y) \in L^{n} = {0}$ となる。 $◻$

補題３

　 $L$ が巾零 $Lie$ 代数ならば、 $L$ にのみ依存する $n \in N$ が存在して、
　すべての $x \in L$ に対し、 $(ad x)^{n} = 0$ が成り立つ。
　つまり、 $ad x$ は巾零変換である。

　補題３において、 $x_{k} = x$ とすれば、 $(ad x)^{n} (y) = 0$
　すなわち、 $(ad x)^{n} = 0$ がわかる。　 $◻$

驚くべきことに、この系の逆が成り立つ。

エンゲルの定理　(

{Engel}^{'} s Theorem

)

　 $L$ を $Lie$ 代数とする。
　すべての $x \in L$ に対し $ad x$ が巾零ならば、 $L$ は巾零 $Lie$ 代数である。

この証明は次回にまわす。

　 $x \in gl (V)$ を巾零変換とする。このとき、 $ad x$ も巾零である。

　 $x \in gl (V)$ が巾零変換より、ある $n \in N$ が存在して、 $x^{n} = 0$ となる。
　次に $ad x$ を分解する。
　 $L_{x}, R_{x} \in gl (gl (V))$ を次で定める。 $L_{x} (y) := x y, R_{x} (y) := y x$
　明らかに、 $(L_{x})^{n} = 0, (R_{x})^{n} = 0$ である。
　さらに、 $L_{x}$ と $R_{x}$ は可換で、 $ad x = L_{x} - R_{x}$ とかける。
　さて、可換なので、二項定理が適用できて、
　 $(ad x)^{2 n} = (L_{x} - R_{x})^{2 n} = \sum_{k = 0}^{2 n} (\binom{2 n}{k}) (L_{x})^{k} (- R_{x})^{2 n - k}$
　各 $k$ に対し、 $k$ か $2 n - k$ は $n$ 以上なので、 $(L_{x})^{k} (- R_{x})^{2 n - k} = 0$
　 $∴ (ad x)^{2 n} = 0$ 　すなわち、 $ad x$ は巾零である。 $◻$

　この補題の逆は成り立たないことに注意しよう。

補題の逆の反例

　 $I_{n} \in {gl}_{n} (F)$ は巾零行列でないが、 $ad I_{n} = 0$ より巾零である。

参考文献

[1]

James E. Humphreys, Introduction to Lie Algebras and Representation Theory

投稿日：1月10日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

こばち

193

他の人のコメント

コメントはありません。

読み込み中

こばち

リー代数1.3.2　可解リー代数と巾零リー代数

巾零性
巾零の定義
巾零の性質
巾零と冪零変換
参考文献

リー代数1.3.2 可解リー代数と巾零リー代数

巾零性

巾零の定義

巾零の性質

巾零と冪零変換

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

リー代数1.3.2　可解リー代数と巾零リー代数