Lie環・群抄録/Heisenberg代数

1470

今日はLie代数・Lie群とその表現の定義と簡単な例について紹介しようと思う。
位相,解析からの厳密な導入は本を見てもらいたいので、ここではLie代数とLie環を混用して同じ概念として書いている。

微分演算子introduction https://mathlog.info/articles/2840 の記事の続きとなっているので先にそっちを読んでおく方がいい。

記号の整理

$K = C, R$
$V : K$ 線形空間
$M_{n} (K) : K 成分の n \times n 行列の環$
$g l_{n} K = {M \in M_{n} (K)}$
$s l_{n} K = {M \in M_{n} (K) | tr (M) = 0}$
$g l (V) : V$ 上の線形変換全体に関数の合成で括弧積構造を入れたもの(後方の具体例参照)
$G L (V) : V$ 上の $K$ 線形自己同型写像全体
$G L_{n} (K) = G L (K^{n}) = {M \in M_{n} (K) | \det M \neq 0}$
$S L_{n} (K) = {M \in G L_{n} K | \det M = 1}$
Kroneckerのδ: $δ_{i, j} = 1 (i = j), 0 (i \neq j)$

Lie代数

Lie代数 $a$ とは $K$ 線形空間で、次のようなLie括弧積 $[\cdot, \cdot] : a \times a \to a : (X, Y) \mapsto [X, Y]$ が入った構造である。
( $X, Y, Z \in a, a, b \in K$ )
(1)[反交換性] $[X, Y] = - [Y, X]$
(2)[(双)線形性] $[a X + b Y, Z] = a [X, Z] + b [Y, Z]$
(3)[Jacobi恒等式] $[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]]] = 0$

Jacobi恒等式はLeibniz則と捉えられる: Jacobi identity

線形変換のLie代数

$g l (V)$ ( $V$ 上の線形変換全体)に対して次のような交換子を定めるとLie代数の定義を満たすことがわかる:
$[f, g] : V \to V : v \mapsto [f, g] \cdot v = f \circ g (v) - g \circ f (v) (f, g \in g l (V))$
特に数ベクトル空間の変換としてみなした場合 $g l (K^{n}) = g l_{n} K, [X, Y] = X Y - Y X$ となる。

部分Lie代数

Lie代数 $g$ の部分Lie代数 $h$ とは $g$ の線型部分空間でLie括弧積で閉じている、すなわち $X, Y \in h \Rightarrow [X, Y] \in h$ を満たすものである。

積で閉じた部分空間である。

特殊線形群

$s l_{n} K$ は $g l_{n} K$ の部分Lie代数である。なぜなら有限次元行列に対して $tr (X Y) = tr (Y X)$ だから $tr X = tr Y = 0 \Rightarrow tr [X, Y] = tr (X Y) - tr (Y X) = 0$
を満たしているからである。

Lie代数の準同型

$K$ 線形写像 $f : g \to h$ で次の性質を満たすものをLie代数の準同型写像と言う:
$\forall X, Y \in g, f ([X, Y]) = [f (X), f (Y)]$
特に $f$ が $K$ 線形同型写像であるときLie代数の同型写像と呼ぶ。

つまり準同型はLie括弧積の構造を保つ写像である。

Lie代数の表現

$V$ を $K$ 線形空間としてLie代数の準同型 $ρ : g \to g l (V)$ をLie代数 $g$ の $V$ 上の表現と言う。
特に $a d : g \to g l (g) : X \mapsto a d (X), a d (X) \cdot Y = [X, Y]$ を $g$ 上の随伴表現と呼ぶ。

随伴表現

$ad (X) \cdot Y = [X, Y]$ となる $g$ の $g$ 上の表現 $ad : g \to g l (g)$ を随伴表現と言う:

実際にJacobi恒等式と反交換性を用いて式変形をするとLie代数の準同型であるから表現になっていることがわかる：
$ad ([X, Y]) \cdot Z = [[X, Y], Z] = [X, [Y, Z]] - [Y, [X, Z]] = (ad (X) ad (Y) - ad (Y) ad (X)) \cdot Z = [ad (X), ad (Y)] \cdot Z$

Lie環の次はLie群との対応である。

Lie群

群構造を持つ可微分多様体をLie群という。とくに $G L (K^{n})$ の部分群であるものをものを線形Lie群と言う。

線形Lie群のLie環

線形Lie群 $G \subset G L_{n} K$ に対して $g = {X \in M_{n} K | \forall s \in K, \exp (s X) \in G}$ を $G$ のLie環と言う。

連続なLie群の表現

群準同型 $ϕ : G \to G L (V)$ で以下の連続性の条件を満たすものをLie群 $G$ の $V$ 上の連続な表現と言う:
$\forall g \in G, 連続写像 ϕ : V \to V$
$\forall v \in V, 連続写像 g \mapsto ϕ (g) v$
特に $X \in G$ に対して $ϕ (X) \cdot Y = X Y X^{- 1}$ を満たす表現 $ϕ$ をLie群 $G$ の随伴表現と呼ぶ。

微分表現

$t \in K,$ Lie群 $G$ の表現 $ϕ : g$ に対して微分表現と呼ばれる、 $G$ のLie環 $g$ 上の表現 $ρ : g \to g l (g)$ が存在して次を満たす:
$ϕ (\exp (t X)) = \exp (t ρ (X))$

随伴表現の微分表現

$A d$ の随伴表現は $ad$ である。
${\frac{d}{d t} ϕ (\exp (t X)) \cdot Y |}_{t = 0} = {\frac{d}{d t} \exp (t ρ (X)) \cdot Y |}_{t = 0}$
${\frac{d}{d t} \exp (t X) Y \exp (- t X) |}_{t = 0} = {\frac{d}{d t} (Y + t ρ (X) \cdot Y + O (t^{2})) |}_{t = 0}$
${\exp (t X) X Y \exp (- t X) - \exp (t X) Y X \exp (- t X) |}_{t = 0} = {ρ (X) \cdot Y + O (t) |}_{t = 0}$
$ρ (X) \cdot Y = X Y - Y X = ad (X) \cdot Y$
ゆえに $ρ = ad$

detの微分表現はtr

$\det : G \to K$ は群準同型写像であるが、これの微分表現はtrである。Jordan細胞 $J_{n} (λ)$ は上半三角行列で $\det (\exp J_{n} (λ)) = e^{n λ}$ だからJordan標準形にしてdetを計算すると
$\det (\exp X) = \det (\exp diag (J_{n_{1}} (λ_{1}), \dots, J_{n_{m}} (λ_{m}))) = \prod_{i} \det (\exp (J_{n_{i}} (λ_{i}))) = \exp \sum_{i} n_{i} λ_{i} = \exp tr X$
より $\det$ の微分表現は $tr$ である。

微分表現によって群の表現の構造を環の表現にうつす事ができる。(群としての)随伴表現が(環としての)随伴表現に移されるのは特に重要な例である(随伴表現は任意のLie環に対して定まるので。)

Lie環からLie群

「良い」Lie群G(単連結かつ(コンパクトor可解))の場合、そのLie代数 $g$ の指数写像として書ける:
全射 $\exp : g \to G$
Lie群が行列群でなくとも、 $g$ の1パラメータ部分空間(加法群)を任意にとってLie群Gに群準同型写像としてはたらくように指数写像を拡張すると、Lie環の零元近傍からLie群の単位元近傍への可微分同相写像となる。

Lie代数の普遍包絡環

Lie代数 $g$ に対して「普遍的な」単位的結合代数 $U (g)$ が定まり、これを普遍包絡環と呼ぶ。 $g$ のベクトル空間としてのテンソル代数を $T (g) = K \oplus ⨁_{k = 1}^{\infty} g^{\otimes k}$ として、 $X \otimes Y - Y \otimes X - [X, Y] (X, Y \in g)$ で生成される $T (g)$ の両側イデアルを $I$ としたとき、 $U (g) = T (g) / I$ というように構成される。

難しめの言い方だが、Lie代数の元に普遍的な( $X Y - Y X = [X, Y]$ という変形以外の簡約化の操作がない)形で単位的かつ結合的な積を定めたものを $U (g)$ としている。普遍包絡環の良い例は後述のHeisenberg群の項目を見てほしい。行列 $M_{n} K$ には結合的な積が入っていて $g l_{n} K$ では $[X, Y] = X Y - Y X$ にも書かれているように $X Y$ が意味を持つが、これはLie代数を行列環の中に埋め込んだから行列環の積構造を借用しただけであって、Lie代数そのものには元々結合的な積は定まっていない。例えば $X, Y \in s l_{n} K \Rightarrow X Y \in s l_{n} K$ は偽である。

PBWの定理

Lie代数代数 $g$ の普遍包絡環 $U (g)$ は、 $g$ の基底 $[B_{1}, \dots, B_{N}]$ の順序を保った単項式 $B_{1}^{n_{1}} \dots B_{N}^{n_{N}}$ を基底とした $K$ 線形空間である。

Heisenberg Lie代数

次の関係式が与えられた無限次元 $C$ 線形空間 ${p_{n}, q_{n}, c}_{n \in Z}$ をh
Heisenberg Lie代数 $h e i$ と呼ぶ。
$[p_{n}, q_{m}] = c δ_{n, m}, [p_{n}, c] = [q_{n}, c] = [p_{n}, p_{m}] = [q_{n}, q_{m}] = 0 (\forall n, m \in Z)$

関係式 $[X, Z] = [Y, Z] = 0, [X, Y] = Z$ を満たす線形空間 ${hei}_{3} = C X \oplus C Y \oplus C Z$ は $h e i$ の部分Lie代数であり、これもHeisenberg Lie代数と呼ぶ。

このLie代数は $M_{3} (C)$ に埋め込んで考えることができる:
$p_{0} = X = \begin{array}{r} (\begin{array}{cc} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}), q_{0} = Y = (\begin{array}{cc} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array}), c = Z = (\begin{array}{cc} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}) \end{array},$ 実際に上のLie括弧積を満たしていることがわかるだろう。
指数写像(行列群なので行列の指数関数)でLie群を構成する。

$\begin{aligned} \exp (s X + t Y + u Z) & = (\begin{array}{ccc} 1 & s & u + \frac{1}{2} s t \\ 0 & 1 & t \\ 0 & 0 & 1 \end{array}) \\ = (\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & t \\ 0 & 0 & 1 \end{array}) (\begin{array}{ccc} 1 & s & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array}) (\begin{array}{ccc} 1 & 0 & u + \frac{1}{2} s t \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array}) \\ = \exp (t Y) \exp (s X) \exp (u + \frac{1}{2} s t) Z \end{aligned}$

次のHeisenberg Lie代数の表現はFock表現と呼ばれる。
$ρ : hei \to g l (C [x_{i} | i \in Z]) : p_{i} \mapsto - i ℏ \partial_{i} = \frac{ℏ}{i} \frac{\partial}{\partial x_{i}}, q_{i} \mapsto x_{i}, c \mapsto i ℏ$

添字が違う変数は独立であることを使えば、微分演算子introductionの記事に示されている式よりこれがHeisenberg Lie代数の表現になっているということがわかる。部分Lie代数 $h e i_{3}$ に制限したら
$ρ : {hei}_{3} \to g l (C [x]) : X \mapsto q_{0} = x, Y \mapsto p_{0} = \frac{ℏ}{i} \frac{\partial}{\partial x}, Z \mapsto i ℏ$
となる。 $h e i_{3}$ の普遍包絡環を求める。テンソル代数 $T (h e i_{3})$ の生成元はFock表現では
$ℏ^{n} p_{0}^{n_{1}} q_{0}^{m_{1}} \dots p_{0}^{n_{k}} q_{0}^{m_{k}}$
という感じになるのでこれをイデアル $I$ で割る、つまり $[p_{0}, q_{0}] = i ℏ$ で「片側に寄せるイメージ」で変形すると $ℏ^{N_{1}} q_{0}^{N_{2}} p_{0}^{N_{3}}$ という形の元の生成元で表すことができる。これが $g = h e i_{3}$ の場合のPBWの定理の適用例である。
Weyl代数の生成元の微分演算子 $\partial$ と乗算演算子 $x$ の間には $[\partial, x] = 1$ という関係以外無かったのでイデアル $I$ で割る操作は、微分演算子の多項式への作用に関する(外延的に定まる)同値類で割るという自然な操作で実現できるのである。
さらにこの普遍包絡環を $c - i = i (ℏ - 1)$ の両側イデアルで割る、つまり $ℏ = 1$ と定めることによって、 $x^{N_{1}} \partial^{N_{2}}$ を基底とした線形空間、つまり1変数のWeyl代数となる。これをHeisenberg代数と呼ぶこともあるらしい(大変紛らわしい)。

有限次元の部分Lie代数 $h e i_{2 n + 1} = C c \oplus C p_{1} \oplus \dots \oplus C p_{n} \oplus C q_{1} \oplus \dots C q_{n}$ でも同様の議論ができ、普遍包絡環で $c$ を定数と同一視する操作をすると $x_{1}^{N_{1}} \dots x_{n}^{N_{n}} \partial_{1}^{M_{1}} \dots \partial_{n}^{M_{n}}$ という基底で生成されるWeyl代数となる。

Lie代数とLie群との対応を見る。以下 $ℏ = i$ と置いて計算する。

$\exp (s X + t Y + u Z) = \exp (t Y) \exp (s X) \exp (u + \frac{1}{2} s t) Z$
はLie群としての等式なのでこれをFock表現に移すと
$\exp (s x + t \partial - u) = \exp (t \partial) \exp (s x) \exp (- u - \frac{1}{2} s t)$
という演算子としての等式が得られる。 $M_{3} (C)$ に埋め込んでそれを経由して等式を得たが、Weyl代数の等式として次のようにも計算できる:

exp(∂+g(x))の公式

一般にg(x)を微分可能な関数として
$\begin{aligned} \exp (t g^{'} (x) + t \partial - u) \cdot f (x) \\ = & \exp (t \partial + \exp (- g (x)) [t \partial, \exp g (x)]) \cdot e^{- u} f (x) \\ = & \exp (A d (e^{- g (x)}) \cdot t \partial) \cdot e^{- u} f (x) \\ = & (A d (e^{- g (x)}) \cdot \exp (t \partial)) \cdot e^{- u} f (x) \\ = & \exp (- g (x)) \exp (t \partial) \exp (g (x)) \cdot e^{- u} f (x) \\ = & \exp (t \partial) \exp (- g (x - t) + g (x)) \cdot e^{- u} f (x) \end{aligned}$
が成立する。 $g (x) = \frac{s}{2 t} x^{2}$ とすれば示したい等式を得る。
$\exp (s x + t \partial - u) = \exp (t \partial) \exp (s x) \exp (- u - \frac{1}{2} s t)$

途中 $A d$ が群準同型写像として作用すること、 $[\partial, g (x)] = g^{'} (x)$ 、 $\exp (t \partial)$ が並進移動をする演算子であることなどを使った。 $X, Y$ が可換ならば指数法則 $e^{X + Y} = e^{X} e^{Y}$ が成立するが、非可換ならば成り立たないので安直な変形することはできないことに注意である。
次の等式も行列表示から得られるし、先程得た等式において並進移動演算子を式の右方向にずらすことでも得られる:
$\exp (s x + t \partial - u) = \exp (t \partial) \exp (s x) \exp (- u - \frac{1}{2} s t) = \exp (s (x + t)) \exp (t \partial) \exp (- u - \frac{1}{2} s t) = \exp (s x) \exp (t \partial) \exp (- u + \frac{1}{2} s t)$

heisenberg代数で行列の $ad$ 作用を表せることを見る。
$x_{i} \partial_{j} \cdot x_{k} = x_{i} δ_{j k}$
は単位ベクトルと行列単位の掛け算
$E_{i j} e_{k} = e_{i} δ_{j k}$
と全く同じなので、 $E_{i j} \leftrightarrow x_{i} \partial_{j}$ と同一視できる。

投稿日：2021年12月11日

更新日：2023年11月15日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

赤げふ

15635

東工大情報B4 数学,理論物理,Minecraft計算機/微分演算子の記事を書きます/主に表現論,量子群,物理の数理に興味があります

他の人のコメント

コメントはありません。

読み込み中

赤げふ

Lie環・群抄録/Heisenberg代数