小赤沢の登山口は都内からだとアクセスが大変！前日の昼に出発、暗くなってから知らない山道行くのが怖かったので夕暮れ前に登山口の駐車場到着して車中泊。といっても、座席を寝かして横になるだけですが。夜間ずっと雨だったので不安でしたが、明け方には止んでくれました。4時前に目が覚めたのでヘッドライトを点けて荷物確認してから4時半に出発。以前、武尊山や地蔵岳に登ったときのことを思い出しました。
2024-08-21
2024-08-06
11. 共形対称性 vol.5
前回に引き続いてビラソロ代数
\[ \left[ L_m , L_n \right] \, = \, ( m - n ) L_{m+n} + \frac{c}{12} ( m^3 - m ) \del_{m+n, 0} \tag{11.76} \]
について議論する。
ビラソロ代数のユニタリー既約表現
11.3節で言及したように、2次元の臨界指数 $\al$ は
\[ \bra \phi (z ) \phi (w ) \ket \, = \, \frac{1}{(z - w )^\al} \tag{11.77} \]
と表せる。ただし、$z , w \in {\bf C}$ である。これは演算子 $L_0 = - z \frac{\d}{\d z} $ の固有値が臨界指数 $\al$ を与えることを意味する。実際、
\[ L_0 \frac{1}{z^\al} = \al z \frac{1}{z^{\al + 1 }} = \al \frac{1}{z^\al} \tag{11.78} \]
と計算できる。$L_0$ の固有値は共形ウェイト（あるいは共形次元）と呼ばれる。前節で紹介したように2次元の臨界現象はビラソロ代数の表現で分類できる。よって、2次元上で可能な全ての臨界指数は共形ウェイトで与えられることが分かる。以下では、ビラソロ代数のユニタリー既約表現を考えることでそのような共形ウェイトが決定されることを見ていく。
まず、$SL( 2 , {\bf C} )$部分代数あるいは2次元の広域共形代数を考える。ビラソロ代数(11.76)において、$m = 0 , \pm 1$ とすると
\[ \left[ L_{1} , L_{-1} \right] = 2 L_0 \, , ~~~ \left[ L_{0} , L_{1} \right] = - L_{1} \, , ~~~ \left[ L_{0} , L_{-1} \right] = L_{-1} \tag{11.79} \]
を得る。これは閉じた代数であるが、$|m|$ が大きい場合、代数は閉じない。例えば、$m = 0, \pm 1, \pm 2$ のとき、次のような交換関係が現れる。
\[ \left[ L_{2} , L_{-2} \right] = 4 L_0 + \frac{c}{2} \, , ~~ \left[ L_{0} , L_{2} \right] = -2 L_{2} \, , ~~ \left[ L_{1} , L_{2} \right] = - L_{3} \, , ~ \cdots \tag{11.80} \]
よって、$|m|$ が大きい場合、閉じた部分代数は存在せず、ビラソロ代数(11.76)全体を含める必要がある。(11.76)に $m = 0$ を代入すると
\[ \left[ L_0 , L_n \right] \, = \, - n L_n \tag{11.81} \]
を得る。ここで、ある状態 $| \psi \ket$ が共形ウェイト $h_0$ を持つとすると、上の交換関係から関係式 $L_0 ( L_n | \psi \ket ) = ( h_0 - n ) L_n | \psi \ket $ が求まる。これは、演算子 $L_n$ $(n \ge 0 )$ の作用によって $L_0$ の固有値が $n$ だけ減少することを意味する。言い換えると、$L_n$ は下降演算子として振る舞う。よって、角運動量代数との類推から、ビラソロ代数の表現を最高ウェイト状態 $|h \ket$ によって構成することができる。ただし、$|h \ket$ は条件式
\[ L_0 | h \ket = h | h \ket \, , ~~~~ L_n | h \ket = 0 ~~ ( n \ge 1 ) \tag{11.82} \]
をみたす。規格化条件は $\bra h | h \ket = 1$ とする。$|h \ket$ 以外の全ての状態は $L_{-m}$ $( m \ge 1)$ を $| h \ket$ に施すことによって求まる。具体的に書き出すと次のようになる。
\[ \begin{array}{l|l|l} N & p(N) & \mbox{共形ウェイト}(h+N)\mbox{のディセンダント状態} \\ \hline 1 & 1 & L_{-1}|h \ket \, , \\ 2 & 2 & L_{-2}|h \ket \, , ~ L^{2}_{-1}|h \ket \\ 3 & 3 & L_{-3}|h \ket \, , ~ L_{-1} L_{-2}|h \ket \, , ~ L^{3}_{-1}|h \ket \\ 4 & 5 & L_{-4}|h \ket \, , ~ L_{-1} L_{-3} |h \ket \, , ~ L_{-2}^{2} |h \ket \, , ~ L_{-1}^{2} L_{-2} |h \ket \, , ~ L^{4}_{-1}|h \ket \\ 5 & 7 & L_{-5}|h \ket \, , ~ L_{-1} L_{-4} |h \ket \, , ~ L_{-2} L_{-3} |h \ket \, , ~ L_{-1}^{2} L_{-3} |h \ket \, , \\ && L_{-1} L_{-2}^{2} |h \ket \, , ~ L_{-1}^{3} L_{-2}|h \ket \, , ~ L^{5}_{-1}|h \ket \\ 6 & 11 & L_{-6}|h \ket \, , ~ L_{-1} L_{-5} |h \ket \, , ~ L_{-2} L_{-4}|h \ket \, , ~ L_{-1}^{2} L_{-4}|h \ket \, , \\ && L_{-3}^{2} |h \ket \, , ~ L_{-2} L_{-1} L_{-3} |h \ket \, , ~ L_{-1}^{3} L_{-3} |h \ket \, , \\ && L^{3}_{-2}|h \ket \, ~ L_{-1}^{2} L_{-2}^{2} |h \ket \, , ~ L_{-1}^{4} L_{-2}|h \ket \, , ~ L^{6}_{-1}|h \ket \\ 7 & 15 & \cdots \\ \vdots & \vdots & \ddots \\ \end{array} \tag{11.83} \]
これらの状態はディセンダント状態と呼ばれる。一般にディセンダント状態は
\[ L_{-n_1} L_{-n_2} \cdots L_{-n_r} | h \ket \, , ~~~ (1 \le n_1 \le n_2 \le \cdots \le n_r) \tag{11.84} \]
と表せる。ただし、
\[ \sum_{i=1}^{r} n_i = N \tag{11.85} \]
である。最高ウェイト状態 $| h \ket $ を含むディセンダント状態(11.83)で張られる無限次元のベクトル空間はビラソロ代数の無限次元の表現を与える。表現論の用語でより正確に表すとこれらの状態はバーマ加群と呼ばれる加群（モジュール）を成す。自然数 $N$ はバーマ加群をなすディセンダント状態のレベル数と呼ばれる。
構成によりレベル $N$ ディセンダント状態の縮退度は分割数 $p (N)$ で与えられる。これは $N$ を自然数の和として表せる場合の数である。ただし、$N = 0$ の場合は $p (0 ) = 1$ と定義される。分割数 $p (N)$ の母関数は
\[ \sum_{N = 0}^{ \infty} p (N ) x^N = \prod_{r = 1}^{\infty} \frac{1}{ 1 - x^r} \tag{11.86} \]
で与えられる。
ユニタリー性、既約性、特異ベクトル
ビラソロ代数のユニタリー性は任意の物理状態の内積が正であることで保証される。状態 $L_{-m} | h \ket$ と $L_{-n} | h \ket$ $( m,n > 0 )$ の内積は
\[\begin{eqnarray} \bra h | L_{m} L_{-n} | h \ket &=& \bra h |\left( [ L_{m} , L_{-n} ] + L_{-n} L_{m} \right) | h \ket \nonumber \\ &=& \bra h | \left( (m+ n) L_{m-n} + \frac{c}{12}m(m^2 - 1 ) \del_{m,n} \right) | h \ket \nonumber \\ &=& \left( (m+n) h + \frac{c}{12} m (m^2 - 1 ) \right) \del_{m,n} \tag{11.87} \end{eqnarray}\]
と計算できる。ただし、随伴関係 $L^{\dagger}_{-n} = L_n$ と規格化 $\bra h | h \ket = 1$ を用いた。非自明となる最もシンプルな場合は $m = n = 1$ で与えられ、このとき上式は
\[ \bra h | L_{1} L_{-1} | h \ket = 2 h \tag{11.88} \]
となる。よって、ユニタリー条件から $h > 0$ が分かる。また、(11.87)からレベル $n$ ディセンダント状態 $L_{-n} | h \ket$ $(n > 1 )$ の内積は
\[ \bra h | L_{n} L_{-n} | h \ket = 2 n h + \frac{c}{12} n (n^2 - 1 ) \tag{11.89} \]
で与えられる。レベル数 $n$ が充分に大きいとき、この内積が正となるには $c \ge 0$ が必要である。これらの簡単な場合から、ビラソロ代数のユニタリー性を課すと $h$ と $c$ が非負となることが分かる。つまり、
\[ h > 0 \, , ~~ c \ge 0 \tag{11.90} \]
であることが要請される。
関係式(11.87)はレベル $m$ 状態 $L_{-m} | h \ket$ とレベル $n$ 状態 $L_{-n} | h \ket$ が $m=n$ でない限り互いに直交することを意味する。この関係はレベル $m, n$ の他のディセンダント状態にも当てはまる。よって、ビラソロ代数のユニタリー性はレベル $N$ の部分ベクトル空間を用いて考えることができる。ただし、この部分ベクトル空間の次元は $p(N)$ となる。(11.83)のリストよりレベル $N$ 部分空間の基底は
\[ L^{N}_{-1}|h \ket\, , ~ L_{-1}^{N-2} L_{-2} |h \ket \, , \cdots \, , ~ L_{-1} L_{-N+1} |h \ket \, , ~ L_{-N}|h \ket \tag{11.91} \]
で与えられることが分かる。レベル $N$ 部分空間において内積が正であるかどうかは以下のグラム行列 $M^{(N)}$ を用いて判定できる。
\[ \left( \begin{array}{cccc} \bra h | L_{1}^{N} L_{-1}^{N} | h \ket & \bra h | L_{1}^{N} L_{-1}^{N-2} L_{-2} |h \ket & \cdots & \bra h | L_{1}^{N} L_{-N}|h \ket \\ \bra h | L_{2} L_{1}^{N-2} L_{-1}^{N} | h \ket & \bra h | L_{2} L_{1}^{N-2} L_{-1}^{N-2} L_{-2} |h \ket & \cdots & \bra h | L_{2} L_{1}^{N-2} L_{-N} |h \ket \\ \vdots & \vdots & \ddots & \vdots \\ \bra h | L_{N} L_{-1}^{N} | h \ket & \bra h | L_{N} L_{-1}^{N-2} L_{-2}|h \ket & \cdots & \bra h | L_{N} L_{-N} |h \ket \\ \end{array} \right) \tag{11.92} \]
グラム行列 $M^{(N)}$ はエルミート行列なのでユニタリー行列を用いて実数の固有値をもつ成分で対角化できる。よって、バーマ加群のユニタリー性を得るには任意の $N > 0$ について全ての固有値が正であることを要請すればよい。言い換えると、グラム行列が正定値であればビラソロ代数の表現はユニタリーである。
グラム行列 $M^{(N)}$ の固有値の1つがゼロのとき、$\det M^{(N)} = 0$ となる。これは、レベル $N$ の部分ベクトル空間が線形従属であることを意味し、レベル $N$ ディセンダント状態の線形結合として次の関係式を満たすある特定のベクトル $| \chi \ket$ を構成できることを示す。
\[ L_0 | \chi \ket = (h + N ) | \chi \ket \, , ~~~~ L_{n} | \chi \ket = 0 ~~~ ( n > 0 ) \tag{11.93} \]
このベクトルはレベル $N$ の特異ベクトルあるいはヌル・ベクトルと呼ばれる。このとき、つまり特異ベクトルが含まれる場合、ビラソロ代数の表現は可約となる。特異ベクトルと任意のディセンダント状態(11.84)の内積はゼロとなる。
\[ \bra \chi | L_{-n_1} L_{-n_2} \cdots L_{-n_r} | h \ket = \bra h | L_{n_r} L_{n_{r-1}} \cdots L_{n_1} | \chi \ket = 0 \tag{11.94} \]
また、その構成から特異ベクトルのノルムはゼロとなる。
\[ \bra \chi | \chi \ket = 0 \tag{11.95} \]
よって、元々のバーマ加群で
\[ | \chi \ket = 0 \tag{11.96} \]
とおくことにより、特異ベクトルと特異ベクトルから生成されるディセンダント状態を取り除くことができる。これにより、可約なバーマ加群は既約表現を持つことになる。このような既約表現はビラソロ代数の縮退表現と呼ばれる。
2024-08-05
11. 共形対称性 vol.4
11.4 2次元共形変換とビラソロ代数
2次元平面では計量テンソルを $g_{\mu\nu} = \del_{\mu\nu}$ $(\mu, \nu = 1,2)$ とおける。この時、共形キリング方程式
\[ \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu \, = \, \la g_{\mu\nu} \tag{11.2} \]
は次式で与えられる。
\[ \d_\mu \xi_\nu + \d_\nu \xi_\mu \, = \, \la \del_{\mu\nu} \tag{11.55} \]
計量 $g_{\mu\nu} = \del_{\mu\nu}$ で縮約を取ると $ 2 \d_\mu \xi_\nu = 2 \la$ を得る。よって、共形キリング方程式は
\[ \d_\mu \xi_\nu + \d_\nu \xi_\mu - (\d \cdot \xi ) \del_{\mu\nu} \, = \, 0 \tag{11.56} \]
と書ける。添え字を明示するとこれは３つの式で表せる。
\[\begin{eqnarray} 2 \d_1 \xi_1 - ( \d_1 \xi_1 + \d_2 \xi_2 ) &=& 0 \nonumber \\ 2 \d_2 \xi_2 - ( \d_1 \xi_1 + \d_2 \xi_2 ) &=& 0 \nonumber \\ \d_1 \xi_2 + \d_2 \xi_1 &=& 0 \nonumber \end{eqnarray}\]
つまり、
\[\begin{eqnarray} \d_1 \xi_1 - \d_2 \xi_2 &=& 0 \nonumber \\ \d_1 \xi_2 + \d_2 \xi_1 &=& 0 \nonumber \end{eqnarray} \tag{11.57}\]
と求まる。これらは正則関数のコーシー・リーマン方程式に他ならない。そこで、4.2節にならって、次のような複素変数表示を導入する。
\[\begin{eqnarray} && \xi_1 + i \xi_2 = f \, , ~~~ \xi_1 - i \xi_2 = \bar{f} \, , \nonumber \\ && x_1 + i x_2 = z \, , ~~~ x_1 - i x_2 = \bar{z} \nonumber \\ && \d_\bz = \frac{\d_1 + i \d_2}{2} \, , ~~~ \d_z = \frac{\d_1 - i \d_2}{2} \tag{11.58} \end{eqnarray}\]
計量は $ds^2 = \del_{\mu\nu} d x^\mu d x^\nu = d z d \bz$ とおけるので、複素座標においてゼロにならない計量テンソルとその逆テンソルは
\[ g_{z \bz} = g_{ \bz z} = \frac{1}{2} \, , ~~~ g^{z \bz} = g^{ \bz z} = 2 \tag{11.59} \]
で与えられる。よって、(11.57)は
\[ \d_\bz f \, = \, \frac{1}{2}( \d_1 + i \d_2 ) ( \xi_1 + i \xi_2 ) \, = \, 0 \tag{11.60} \]
と表せる。この一般解は $f = f (z)$ となることが確かに分かる。つまり、$f$ は $z$ の解析関数である。従って、2次元共形変換は、3次元以上の共形キリング方程式の一般解(11.6)が拡張され、任意の正則関数で定義される。演算子代数の視点から見ると2次元の共形代数 $SO(1,3)$ は無限次元のリー代数に拡張される。この代数はビラソロ代数と呼ばれる。以下では、ビラソロ代数を導入しそのユニタリー表現を考えるので議論は専ら代数的になる。なお、次章では一般のリー代数について幾何学的な考察を行う。
特異点を $z=0, \infty$ にとり、$f(z)$ のローラン展開を書き出すと
\[ f (z) \, = \, - \sum_{n = - \infty}^{\infty} \ep_n \, z^{n+1} \tag{11.61} \]
となる。ただし、$\ep_n$ は展開係数である。もし $f(z)$ が特異点を持たなければ解は $f = \mbox{(定数)}$ で与えられることに注意しよう。複素パラメータ表示(11.58)から共形変換 $x_i \rightarrow x_i + \xi_i$ は
\[ z \, \rightarrow \, z + f (z) \tag{11.62} \]
で実現されることが分かる。パラメータ $\ep_n$ に対応する共形変換の生成子は
\[ l_n \, = \, - z^{n+1} \d_z \tag{11.63} \]
で与えられる。この生成子は交換関係
\[ \left[ l_m , l_n \right] \, = \, ( m - n ) l_{m+n} \tag{11.64} \]
を満たす。これはヴィット代数と呼ばれる。部分代数 $l_n$ $(n = -1 , 0, 1)$ とその反正則部分 $\bar{l}_n$ は $SL(2, {\bf C} )$ 代数を成す。これは2次元の広域共形代数に対応している。定義(11.62)より2次元共形変換は次の演算子で生成されることが分かる。
\[\begin{eqnarray} \O &=& \ep_{-1} \left( - \frac{\d}{\d z} \right) + \ep_{0} \, z \left( - \frac{\d}{\d z} \right) + \ep_{1} \, z^2 \left( - \frac{\d}{\d z} \right) \nonumber \\ &=& \bar{\ep}_{-1} \left( - \frac{\d}{\d \bz} \right) + \bar{\ep}_{0} \, \bz \left( - \frac{\d}{\d \bz} \right) + \bar{\ep}_{1} \, \bz^2 \left( - \frac{\d}{\d \bz} \right) \nonumber \\ &=& a P_z + \bar{a} P_\bz + c M + d D + b K_z + \bar{b} K_\bz \tag{11.65} \end{eqnarray}\]
ただし、共形変換の生成子は
\[ \begin{array}{ll} P_z = - \d_z = l_{-1} \, , ~ P_\bz = - \d_\bz = \bar{l}_{-1} & \mbox{: 並進変換} \\ M = - z \d_z + \bz \d_\bz = ( l_0 - \bar{l}_{0} ) & \mbox{: 回転変換} \\ D = - z \d_z - \bz \d_\bz = ( l_0 + \bar{l}_{0} ) & \mbox{: スケール変換} \\ K_z = - z^2 \d_z = l_1 \, , ~ K_\bz = - \bz^2 \d_\bz = \bar{l}_1 & \mbox{: 特殊共形変換} \end{array} \tag{11.66} \]
と定義される。(11.65)のパラメータは $\ep_n$ $(n = -1 , 0, 1)$ を用いて
\[ a = \ep_{-1} \, , ~~ \bar{a} = \bar{\ep}_{-1} \, , ~~ b = \ep_1 \, , ~~ \bar{b}= \bar{\ep}_{1} \, , ~~ c = \frac{1}{2}( \ep_0 - \bar{\ep}_{0} ) \, , ~~ d = \frac{1}{2} ( \ep_0 + \bar{\ep}_{0} ) \tag{11.67}\]
と同定される。(11.65),(11.66)は前節で求めた一般次元の結果
\[\begin{eqnarray} \O &=& a^\mu \left( - i \frac{\d}{\d x^\mu} \right) + \om^{\mu\nu} x_\nu \left( - i \frac{\d}{\d x^\mu} \right) \nonumber \\ && + \,\ep \, x^\mu \left( - i \frac{\d}{\d x^\mu} \right) + \, b_\al \left( x^2 \eta^{\mu \al} - 2 x^\mu x^\al \right) \left( - i \frac{\d}{\d x^\mu} \right) \nonumber \\ & \equiv & a^\mu P_\mu - \frac{\om^{\mu\nu}}{2} M_{\mu\nu} + \ep \, D - b^\mu K_\mu \tag{11.42} \end{eqnarray}\]
\[ \begin{array}{ll} P_\mu = - i \d_\mu & \mbox{: 並進変換} \\ M_{\mu \nu} = x_\mu P_\nu - x_\nu P_\mu & \mbox{: 回転変換} \\ D = - i x^\mu \d_\mu & \mbox{: スケール変換} \\ K_\mu = - i ( 2 x_\mu x^\nu \d_\nu - x^2 \d_\mu ) & \mbox{: 特殊共形変換} \end{array} \tag{11.43} \]
の2次元版である。
登録:
投稿 (Atom)