File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/extensions/TeX/mathtools.js

2024-10-30

12. リー群の幾何学的側面 vol.1

リー群には2つの側面がある。1つは当然ながら代数的側面、もう1つは幾何学的側面である。この章ではリー群の基本について簡単に紹介した後、主に後者の側面について考察する。また、リー群の既約表現とその物理問題への応用についてもレビューする。

12.1 リー群入門


群の定義

 まず一般の群について考える。群 G の要素の集合を \{ a_i \} (i = 1,2, \cdots , {\rm dim} G) で表すと、群 G は次の公理で定義される。
1. 合成則のもとで集合は閉じている: a_i \cdot a_j \in G
2. 単位元 {\bf 1} の存在: a_i \cdot {\bf 1} = {\bf 1} \cdot a_i = a_i
3. 結合則が成り立つ: a_i \cdot ( a_j \cdot a_k ) = ( a_i \cdot a_j ) \cdot a_k
4. 逆元の存在: a_i \cdot (a_{i}^{-1}) = {\bf 1} = (a_{i}^{-1}) \cdot a_i
要素の数 {\rm dim} G が有限の場合、G は有限群と呼ばれる。また、要素が無限にある場合、群は無限群と呼ばれる。

 一般に、群は離散群と連続群(あるいは位相群)の2つに分類される。離散群の典型例は加法のもとでの整数の集合である。一方、連続群は群の要素をラベルするパラメターの連続的な集合で特徴付けられる。(例えば、加法のもとでの実数全体は連続群を成す。)そのようなパラメターがさらに微分可能である場合、連続群はリー群となる。

リー群の定義

 リー群 G の要素を g (\th ) \in G とする。g (\th ) はパラメータ \th の関数であり、そのようなパラメータの数はリー群の要素の数 {\rm dim}G に対応する。このとき合成則は
    g (\th ) \cdot g (\th^\prime ) \, = \, g \left( \bt( \th , \th^\prime ) \right)   \tag{12.1}
と表せる。この合成則のもとでリー群は次のように定義される。
1. \bt ( \th , \th^\prime )\th\th^\prime の解析関数である。
2. g (\th ) \cdot g (\al ) = {\bf 1} となるパラメータ \al が存在する。このとき、パラメータ \al\th の解析関数 \al = \al (\th ) で与えられる。

微分演算子

 ここで、群の要素の解析性を議論するために微分の概念を導入する。群の要素 g = g(\th) の関数を f(g) とおく。パラメータ \th による f の微分は \frac{\d f}{ \d \th } = \frac{\d f}{\d g } \frac{\d g }{\d \th} と書ける。よって、解析性の要請から g( \th + d \th) を考える必要がある。ただし、d \th はパラメータ \th の無限小変位を表す。群の合成則のもとで、これは無限小の合成則 
g (\th ) \cdot g ( d \th ) = g \left( \bt (\th , d \th ) \right) \tag{12.2}
を用いて考察できる。ただし、g( 0) = {\bf 1} とする。\bt ( \th , d \th )d \th で展開すると
    \bt ( \th , d \th ) \, \simeq \,    \bt ( \th , 0 ) + \frac{\d \bt (\th , 0 )}{ \d \th} d \th    \, = \, \th + \frac{\d \bt}{\d \th} d \th    \tag{12.3}
を得る。パラメータの数を N と仮定しすると、パラメータは \th^i (i = 1,2,\cdots , N) とラベルできる。このとき、(12.3)は
    \bt^i \, \simeq \, \th^i + \frac{\d \bt^i}{\d \th^k} d \th^k     \tag{12.4}
と表せる。よって、無限小の合成則(12.2)のもとでパラメータ \th^i の変位は(単に \th^i \rightarrow \th^i + d \th^i ではなく)\bt^i ( \th , 0) = \th^i \rightarrow \bt^i ( \th , d \th ) \simeq \th^i + E^{i}_{k} d \th^k で与えられる。ただし、
    E^i_k \, \equiv \, \frac{\d \bt^i}{\d \th^k}     \tag{12.5}
である。以上の考察から、微分演算子
    X_{i} \, = \, (E^{-1})^k_i \frac{\d}{\d \th^k}    \tag{12.6}
は群の要素の任意の関数上で無限小の合成則を生成することが分かる。これはリー群においてカギとなる概念である。微分演算子 X_i の交換関係は次のように計算できる。
\begin{eqnarray}    \left[ X_i , X_j \right] &=&    \left[ (E^{-1})^k_i \frac{\d}{\d \th^k} , \, (E^{-1})^l_j \frac{\d}{\d \th^l}    \right]    \nonumber \\    &=&    \left[    (E^{-1})^k_i \frac{\d (E^{-1})^l_j }{\d \th^k}    - (E^{-1})^j_k \frac{\d (E^{-1})^l_i }{\d \th^k}    \right] \frac{\d}{\d \th^l}    \nonumber \\    &=&    \left[    (E^{-1})^k_i \frac{\d (E^{-1})^l_j }{\d \th^k}    - (E^{-1})^j_k \frac{\d (E^{-1})^l_i }{\d \th^k}    \right] E^m_l    \underbrace{(E^{-1})^n_m \frac{\d}{\d \th^n}}_{= \, X_m}    \nonumber \\    & \equiv &    C_{ij}^{m} \, X_m    \tag{12.7} \end{eqnarray}
ただし、C_{ij}^{m}
    C_{ij}^{m} \, = \, E^m_l \left(    (E^{-1})^k_i \frac{\d (E^{-1})^l_j}{\d \th^k} -    (E^{-1})^k_j \frac{\d (E^{-1})^l_i}{\d \th^k}    \right)    \tag{12.8}
と定義される。一般に、C_{ij}^{m} はパラメータ \th^i の関数である。

リーの第1定理

 リーの第1定理の主張は以下の通り。
リー群において C_{ij}^{m} は定数であり、パラメータ \th^i に依らない。
これは C_{ij}^{m} の値を評価するに当たり、\th = 0 の近傍を考えるだけでよいことを意味する。言い換えると、リー群の広域的な構造を局所的な解析から求めることができる。この意味で、リーの第1定理は複素解析のコーシーの積分定理と類似している。定数 C_{ij}^{m} は構造定数と呼ばれる。

 リー群の解析の多くは原点 \th = 0 近傍の展開式を用いて実行できる。例えば、単位元近傍の群の要素は g (d \th) \simeq 1 + i T_k d \th^k とパラメータ表示できる。ただし、T_k = T_k (\th) は一般に \th^i の関数である。このとき、無限小の合成則(12.2)は
     g (\th ) \cdot g ( d \th ) \, \simeq \, g ( \th ) \left( 1 + i T_k d \th^k \right)     \tag{12.9}
と表せる。これを関係式
     g (\th ) \cdot g ( d \th ) \, = \, g \left( \bt (\th , d \th ) \right) \, \simeq \, g ( \th^i + E_k^i d \th^k ) \, = \, g + d g     \tag{12.10}
と比較すると、
     g^{-1} d g \, = \, i T_k d \, \th^k      \tag{12.11}
を得る。これより T_k = - i E_k^i \frac{\d}{\d \bt^i} = - i \frac{\d}{\d \th^k} が分かるので微分演算子は X_k = i (E^{-1} )_k^l T_l と表せる。次節では SU(2) 群における T_k (\th) の形を具体的に導出する。

リー代数

 一般に、代数はベクトル空間 V を成す要素の集合 \{ t_a \} で定義される。すなわち、\{ t_a \} \in V (a = 1,2, \cdots, \dim V ), \al t_a + \bt t_b \in V とおける。(\al, \bt は体の係数。)  そのような要素に対してブラケット演算子  \{ t_a , t_b \} を考える。その典型例として、ポアソン括弧 \{ t_a , t_b \} = C_{ab}^{c} t_c がある。ただし、C_{ab}^{c} は定数。ブラケット演算子は一般に写像 V \times V \rightarrow V を与える。リー代数はこの演算子に対して 
  (i) 反対称性 \{ t_a , t_b \} = - \{ t_b , t_a \} と 
  (ii) ヤコビ律 \{ t_a , \{ t_b , t_c \} \} + \{ t_b , \{ t_c , t_a \} \} + \{ t_c , \{ t_a , t_b \} \} = 0 
を課すことによって定義される。ポアソン括弧の定数 C_{ab}^{c} を用いて言い換えると、リー代数は条件式
\begin{eqnarray}    C_{ab}^{c} + C_{ba}^{c} &=& 0     \tag{12.12} \\    C_{ab}^{d} C_{cd}^{e} + C_{bc}^{d} C_{ad}^{e} +C_{ca}^{d} C_{bd}^{e}    &=& 0     \tag{12.13} \end{eqnarray}
で定義される。ヤコビ律(12.13)は添え字 (a, b, c) についての巡回和で表せることに注意しよう。

リーの第2定理

 リーの第2定理の主張は以下の通り。
微分演算子 X_i = (E^{-1})^k_i \frac{\d}{\d \th^k} はリー代数の(基底)要素を成す。任意のリー群 G に対して、対応するリー代数 G が存在する。
言い換えると、微分演算子 X_i と要素 t_a の間に対応関係がある。この主張の逆は次のようになる。
任意のリー代数 G に対して、対応するリー群 \widetilde{G} を構成できる。(群の要素を \widetilde{g} = \exp ( i t_a \th^a ) とすればよい。)ただし、この \widetilde{G} はユニークには決まらない。より正確には、\widetilde{G} は単連結型の GG は上記のリー群)であり、単連結普遍被覆群と呼ばれる。


2024-10-24

11. 共形対称性 vol.6

11.5 カッツ行列式とユニタリー・ミニマル模型


前回はビラソロ代数のユニタリー性の議論から特異ベクトルが存在する条件について解説した。これらの結果で重要なのは特異ベクトルが存在する場合、共形ウェイト h が中心電荷 c の関数として表される点にある。グラム行列 M^{(N)} を用いるとレベル N の特異ベクトルは固有値ゼロの固有ベクトルに相当する。よって、この hc の関係は \det M^{(N)} = 0 を課すことでより簡単に導ける。行列式 \det M^{(N)} はカッツ行列式と呼ばれる。

 N = 1 の場合、関係式
    \bra h | L_{1} L_{-1} | h \ket = 2 h     \tag{11.88}
から \det M^{(1)} = 2h  となる。N= 2 の場合、グラム行列は
    M^{(2)} =    \left(      \begin{array}{cc}        \bra h| L^{2}_{1}  L^{2}_{-1} | h \ket & \bra h| L^{2}_{1} L_{-2}| h  \ket \\        \bra h| L_{2}  L^{2}_{-1}  | h \ket  & \bra h| L_{2} L_{-2} | h \ket  \\      \end{array}    \right)    =    \left(      \begin{array}{cc}        4h ( 1 + 2h ) & 6h \\        6h  & 4h + \frac{c}{2} \\      \end{array}    \right)     \tag{11.110}
と書ける。ただし、ビラソロ代数
    \left[ L_m , L_n \right] \, = \, ( m - n ) L_{m+n} +    \frac{c}{12} ( m^3 - m ) \del_{m+n, 0}    \tag{11.76}
と最高ウェイト状態の条件式
    L_0 | h \ket = h | h \ket \, , ~~~~    L_n | h \ket = 0  ~~ ( n \ge 1 )    \tag{11.82}
を用いて、行列の各成分を導いた。
\begin{eqnarray}    \bra h | L_1^2 L_{-1}^{2} | h \ket &=& 2 \bra h | L_1 ( L_{-1} + 2 L_{-1} L_0 ) | h \ket = 4h (2 h+ 1)   \nonumber \\    \bra h| L^{2}_{1} L_{-2}| h  \ket &=& \bra h | L_1 [ L_1 , L_{-2} ] | h \ket = 6 h    \tag{11.111} \\    \bra h| L_{2} L_{-2} | h \ket &=& \bra h| [ L_{2} ,  L_{-2} ] | h \ket = 4h + \frac{c}{2}   \nonumber \end{eqnarray}
以上より、
    \det M^{(2)} = 4h \left[ 8h^2 + (c-5 ) h + \frac{c}{2} \right]     \tag{11.112}
が分かる。よって、\det M^{(2)} = 0 (\det M^{(1)} \ne 0) はレベル2特異ベクトルが存在する条件式
    h = \frac{- (c-5) \pm \sqrt{(c-1)(c-25)}}{16}     \tag{11.101}
に帰着できる。

2024-10-20

柴又散策

今日は次女と一緒に初めて柴又に行きました。京成金町線で柴又駅から参道を通り帝釈天へ。以前、「土曜は寅さん」で男はつらいよ!シリーズをいくつか観ていたので子供も楽しめたようです。


2024-10-18

レベル3カッツ行列式の計算

2次元共形場理論で出てくるカッツ行列式の計算。2次元までは自明でどの教科書にも載っているのですが、3次元(正確にはレベル3)の場合は急に計算量が増えてややこしくなってしまいます。調べたけど出てこないので自分で計算することにしました。一般の場合の公式は既に証明されているのでレベル3の場合だけやって自分を納得させたいだけの話です。

 まず、レベル3カッツ行列式は
|M^{(3)} | = \left|      \begin{array}{ccc}        \bra h| L^{3}_{1}  L^{3}_{-1} | h \ket & \bra h| L^{3}_{1} L_{-1} L_{-2}| h  \ket & \bra h| L^{3}_{1} L_{-3}| h  \ket  \\       \bra h| L_{2} L_{1} L^{3}_{-1}  | h \ket  & \bra h| L_{2}L_{1} L_{-1}L_{-2} | h \ket  & \bra h| L_{2}L_{1} L_{-3} | h \ket  \\     \bra h| L_{3} L^{3}_{-1}  | h \ket  & \bra h| L_{3} L_{-1}L_{-2} | h \ket  & \bra h| L_{3} L_{-3} | h \ket  \\      \end{array}  \right|  \tag{1}
で与えられる。ここで、演算子 L_{n} (n \in \mathbb{Z} ) はビラソロ代数
    \left[ L_m , L_n \right] \, = \, ( m - n ) L_{m+n} +    \frac{c}{12} ( m^3 - m ) \del_{m+n, 0}    \tag{2}
に従う。c は中心電荷と呼ばれる定数である。状態 | h \ket は最高ウェイト状態を表し条件式
   L_0 | h \ket = h | h \ket \, , ~~~~    L_n | h \ket = 0  ~~ ( n \ge 1 )   \tag{3}
を満たす。以上から行列の各成分を計算すると以下の結果を得る。

2024-10-12

ノーベル平和賞に日本被団協

これはビッグニュース。ノーベル平和賞はこれまでも核廃絶の運動に対して贈られてきました。2009年のオバマ大統領(当時)、2017年のICAN(核兵器廃絶国際キャンペーン)。オバマ大統領の時は核廃絶を口約束しただけの印象でしたが、2017年ではヒバクシャという言葉が国際的に浸透する良い契機になりました。今回、長年に渡り反核平和活動を展開してきた日本の団体(日本原水爆被害者団体協議会)が受賞したのは当然の流れとは言え、驚きました。これまで日本からの核廃絶イニシアチブは国際的に影響力がなかった印象なので今後はこれを契機にもっと自信と勇気をもって反核平和のメッセージを発信し続けることが日本外交に期待されているということでしょうか。現実的には難しそうですが。


2024-10-06

東京都美術館 田中一村 展

以前こちらで紹介した田中一村の大回顧展が東京都美術館で開催中。先日訪問しました。上野駅の公園口前の横断歩道がなくなったので公園施設へのアクセスが断然良くなりました。


東京で個展を開いて絵の決着をつけたいという一村の悲願成就。決着をつけるまでもないことは本人も分かっていたでしょうけど。でも、こうして多くの人々に素晴らしい作品が披露されることはありがたい。実物を観てただただ感動しました。途中で休憩を挟みながらマイペースで観覧。絵画作品だけでなく手紙や写真など貴重な資料、新出の作品も展示されていました。奄美大島まで行かないと再び観ることは叶わないだろうからと思い切ってカタログ購入。


解説文も丁寧で理解が深まりました。久しぶりに手元にある伝記と作品集を読み直しました。