sl2表現

800

今日は $s l_{2}$ の表現について深堀りする。 $s l_{2}$ lie代数の定義は以下の通りである。

s l_{2} K

Lie代数

$s l_{2} K = K H \oplus K E_{+} \oplus K E_{-}$
$[E, F] = H$
$[H, E_{+}] = 2 E_{+}$
$[H, E_{-}] = 2 E_{-}$

これは $M_{2} (K)$ に埋め込める。

s l 2

の自然表現

$\begin{array}{r} ρ (H) = (\begin{array}{cc} 1 & 0 \\ 0 & - 1 \end{array}) \\ ρ (E_{+}) = (\begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array}) \\ ρ (E_{-}) = (\begin{array}{cc} 0 & 0 \\ 1 & 0 \end{array}) \end{array}$
実際にLie代数の準同型写像になっていることが分かる:
$\begin{aligned} [ρ (E_{+}), ρ (E_{-})] & = ρ (H) \\ [ρ (H), ρ (E_{+})] & = 2 ρ (E_{+}) \\ [ρ (E_{-}), ρ (H)] & = 2 ρ (E_{-}) \end{aligned}$

$\exp (s l_{2} C)$ でできる空間を見る。

sl2のexp明示公式

$A = (\begin{array}{cc} a_{0} & a_{+} \\ a_{-} & - a_{0} \end{array}), ϕ = \sqrt{a_{0}^{2} + a_{+} a_{-}}$ とする。このとき
$e^{A} = (\begin{array}{cc} \cosh ϕ + a_{0} ϕ^{- 1} \sinh ϕ & a_{+} ϕ^{- 1} \sinh ϕ \\ a_{-} ϕ^{- 1} \sinh ϕ & \cosh ϕ - a_{0} ϕ^{- 1} \sinh ϕ \end{array})$
証明: $A^{2} = ϕ^{2} I$ より
$\begin{aligned} e^{A} & = \sum_{n = 0}^{\infty} \frac{(A^{2})^{n}}{(2 n)!} + \sum_{n = 0}^{\infty} \frac{(A^{2})^{n}}{(2 n + 1)!} A \\ = I \cosh ϕ + A ϕ^{- 1} \sinh ϕ \end{aligned}$

$S L_{2} (C)$ は単連結ではあるが、 $S = \exp (s l_{2} C)$ の像とはならない。たとえば $b \neq 0$ に対して
$(\begin{array}{cc} - 1 & b \\ 0 & - 1 \end{array}) \in S L_{2} (C)$ である。 $\exp$ の明示式の対角項を見れば $ϕ / i π \in Z$ となるが非対角項を見れば $b = 0$ になって矛盾し、 $S = \exp (s l_{2})$ の像に含まれない。また、 $(\begin{array}{cc} 1 & - b \\ 0 & 1 \end{array}), - I \in S$ だが、 $(- I) (\begin{array}{cc} 1 & - b \\ 0 & 1 \end{array}) = (\begin{array}{cc} - 1 & b \\ 0 & - 1 \end{array}) \notin S$ なので $S$ は群ですらないとわかる。 $S L_{2} (R)$ は単連結ですら無い。しかし $\exp$ で表せるような重要な部分群がいくつか存在するので取り上げておく(あとで追記)

他の例をみよう。2変数多項式には自然に $S L_{2} (C)$ が作用する。

S L_{2} (C)

の多項式への作用

$M = (\begin{array}{cc} a & b \\ c & d \end{array}) \in S L_{2} (C)$ の表現 $Φ (M) \cdot f (x, y) = f (a x + b y, c x + d y)$ が定まり、これの微分表現は次の $s l_{2}$ Lie代数となる:
$\begin{aligned} E_{+} & := t \partial_{x} \\ E_{-} & := x \partial_{t} \\ H & := t \partial_{t} - x \partial_{x} \end{aligned}$
実際にこれがLie代数の準同型であることは以下のように確かめられる:
$[E_{+}, E_{-}] \cdot f (x, t) = t \partial_{x} \cdot (x f_{t}) - x \partial_{t} \cdot (f_{x}) = t f_{t} - x f_{x} = H ･ f (x, t)$
$[H, E_{+}] \cdot f (x, t) = t \partial_{t} \cdot (t f_{x}) - x \partial_{x} (t f_{x}) - t \partial_{x} \cdot (t f_{t} - x f_{x}) = 2 E_{+} \cdot f (x, t)$
$[E_{-}, H] \cdot f (x, t) = x \partial_{t} \cdot (t f_{t} - x f_{x}) - t \partial_{t} \cdot (x f_{t}) + x \partial_{x} \cdot (x f_{t}) = 2 E_{-} \cdot f (x, t)$

多重指数表記の基底 $v_{α, β} = v_{p} := z^{p} := x^{α} y^{β} (z = (x, y), p = (α, β))$ に対するこの表現の作用を見ると $ρ (H) \cdot v_{p} = (β - α) v_{p} ρ (E_{+}) \cdot v_{p} = α v_{α - 1, β + 1} r h o (E_{-}) \cdot v_{p} = β v_{α + 1, β - 1}$
となる。多項式の次数 $d (v_{p}) = α + β$ は $ρ (s l_{2})$ の作用で不変である。つまり表現空間 $C [x, y]$ は既約ではなく、 $k$ 次の斉次多項式全体のベクトル空間 $V_{k}$ が既約な表現空間となっていて、 $s l_{2}$ の作用で閉じている。n次以下の多項式全体は $V_{0} \oplus V_{1} \oplus \dots \oplus V_{N}$ というように直和分解できる。実はこの表現は線型空間として先に紹介した表現と同型である。というのは $u \cdot z = u_{1} x + u_{2} y \in V_{1}$ に対する作用をみれば表現行列が自然表現で定めた行列( $u \in C^{2}$ 上の表現)と一致するということが分かる。

他の表現の例を見る。

C [z]

上の表現

$\begin{aligned} E_{+} & := - z^{2} \partial - λ z \\ E_{-} & := \partial \\ H & := 2 z \partial + λ \end{aligned}$
(面倒なので $ρ ()$ は省略した。)
実際にこれがLie代数として準同型であることは次のようにも確かめられる:
$[E_{+}, E_{-}] \cdot f (z) = \partial \cdot (z^{2} f^{'} (z) + λ z f (z)) - (z^{2} \partial + λ z) \cdot f^{'} (z) = 2 z f^{'} (z) + λ f (z) = E_{0} ･ f (z)$
$[E_{0}, E_{+}] \cdot f (z) = 2 z \partial \cdot (- z^{2} f^{'} (z) - λ z f (z)) + (z^{2} \partial + λ z) \cdot (2 z f^{'} (z)) = 2 E_{+} \cdot f (z)$
$[E_{-}, E_{0}] \cdot f (z) = \partial \cdot (2 z f^{'} (z) - λ f (z)) - (2 z \partial - λ) \cdot f^{'} (z) = 2 E_{-} \cdot f (z)$
これは1変数複素関数に対する $S L_{2} (C)$ 1次分数変換作用 $A_{λ}$
$\begin{array}{r} A_{λ} (M) ・ f (x) = (c x + d)^{- λ} f (\frac{a x + b}{c x + d}) \end{array}$
の微分表現に対応している。実際に $A_{λ}$ がLie群の準同型であることは計算すれば分かるが少し非自明である。 $\exp (s l_{2}) \subset S L_{2} (C)$ の作用の仕方は、 $\exp$ の明示公式より
$\begin{aligned} \exp [- a_{+} (x^{2} \partial + λ x) + a_{-} \partial + a_{0} (2 x \partial + λ)] ･ f (x) \\ = & (x a_{-} ϕ^{- 1} \sinh ϕ + \cosh ϕ - a_{0} ϕ^{- 1} \sinh ϕ)^{- λ} f (\frac{x ϕ \cosh ϕ + x a_{0} \sinh ϕ + a_{+} \sinh ϕ}{x a_{-} \sinh ϕ + ϕ \cosh ϕ - a_{0} \sinh ϕ}) \end{aligned}$

次の例を見る。Schwartz空間、あるいは $R^{n}$ 上の急減少関数の空間とは、次の関数空間のことを言う。
$S (R^{n}) = {f \in C^{\infty} (R^{n}) ∣ ∥ f ∥_{α, β} < \infty \forall α, β} .$
ここで $α, β$ は多重指数であり、 $C^{\infty} (R^{n})$ は $R^{n}$ から $C^{\infty}$ への無限回微分可能関数の集合である。またノルムは
$∥ f ∥_{α, β} = sup_{x \in R^{n}} | x^{α} \nabla^{β} f (x) |$

( $\nabla = (\frac{\partial}{\partial x_{1}}, \frac{\partial}{\partial x_{2}}, \dots, \frac{\partial}{\partial x_{n}})$ )である。ここで $sup$ は上限を表し、再び多重指数の記号が用いられている。
この定義を理解する上で、急減少函数は本質的には、 $R$ 上の至る所で $f (x), f^{'} (x), f^{″} (x), . . .$ のすべてが存在する函数 $f (x)$ であり、かつ $x \to \pm \infty$ としたとき $x$ の任意の負べきよりも早くゼロに収束するものであることに注意されたい。特に $S (R^{n})$ は無限回微分可能な函数の空間 $C^{\infty} (R^{n})$ の部分空間である。

s l_{2} R

のSchwart空間上の表現

生成元の対応は次のようになる( $ρ$ は略)
$E_{+} = \frac{i}{2} x^{2} E_{-} = \frac{i}{2} \partial^{2} H = x \partial + \frac{1}{2}$
$H = \frac{1}{2} (x \partial + \partial x)$ と書けば生成元はすべてWeyl代数の2次式、Heisenberg代数のFock表現の普遍包絡環の元である。準同型は以下のように確認できる。
$[E_{+}, E_{-}] = \frac{1}{4} [\partial^{2}, x^{2}] = \frac{1}{4} ([\partial [\partial, x^{2}] + [\partial, x^{2}] \partial) = \frac{1}{4} (\partial x [\partial, x] + \partial [\partial, x] x + x [\partial, x] \partial + [\partial, x] x \partial) = \frac{1}{2} (x \partial + \partial x) = H$
$[H, E_{+}] = \frac{i}{2} [x \partial + \frac{1}{2}, x^{2}] = \frac{i}{2} (x [\partial, x^{2}] + [x, x^{2}] \partial) = 2 E_{+}$
$[E_{-}, H] = \frac{i}{2} [\partial^{2}, x \partial] = \frac{i}{2} (x [\partial^{2}, \partial] + [\partial^{2}, x] \partial) = 2 E_{-}$
この例についての詳細な考察は次の記事に書く。

投稿日：2021年12月16日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

赤げふ

15513

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

他の人のコメント

コメントはありません。

読み込み中

赤げふ

sl2表現