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

2024-12-23

13. ウィグナーの \D 関数とその応用 vol.3

13.2 ウィグナー-エッカルトの定理


リー群 G で対称性が記述される物理系において、あるテンソル演算子 Q^A に注目しよう。前節で解説したように状態は G の表現 R とその表現に属す特定のベクトル、例えば \al で指定できる。対称性のもとで状態 | R ,\al \ket の変換は群の要素 U(\th ) \in G を作用させることにより実行できる。ただし、\th は群のパラメータを表す。今節では、任意の階数をもつテンソル演算子 Q^A の行列要素を考える。一般にそのような行列要素は
    \bra R^\prime , \al | Q^A | R , m \ket    \, = \,    \bra R^\prime , \al | U  U^{-1}   Q^{A} U U^{-1}| R , m \ket     \tag{13.58}
と表せる。対称性のもとで Q^A の変換は Q^{\prime A } = U^{-1} Q^{A} U で与えられる。状態 U^{-1}| R , m \ket は同じ表現に属する状態の線形結合で表せることに注意する。定義より、これはウィグナー \D 関数を用いて
    U^{-1} | R , m \ket    \, = \,    \sum_n  \D^{(R)}_{mn} ( g ) | R, n \ket     \tag{13.59}
と展開できる。

 簡単な例として、回転のもとでの位置演算子 x^a (a = 1,2,3) を考えよう。対応する群は G = SO(3) であり、群の要素は U (\th ) = \exp ( i L^a \th^a ) で与えられる。ただし、L^a = \ep^{abc} x^b p^c は角運動量演算子である。2.1節で解説したように、L^ax^b は交換関係
    \left[ L^{a} , x^{b} \right] \, = \, i \ep^{abc} x^c     \tag{13.60}
を満たす。これは、位置演算子 x^a が回転のもとでベクトルとして変換することを示す。実際、微小な \th^a において x^a は
\begin{eqnarray}    U^{-1} (\th ) x^{a} U (\th ) & \approx &    ( 1- i L^b \th^b ) x^a ( 1 + i L^c \th^c )    \nonumber \\    & \approx &    x^a - i [ L^b , x^a ] \th^b    \nonumber \\    &=&    x^a + \ep^{bac} x^c \th^b    \nonumber \\    &=&    \left( \del^{ab}  + i (-i \ep^{abc} )\th^c  \right) x^b    \nonumber \\    &=&     \left( {\bf 1} + i T^c \th^c  \right)^{ab} x^b    \tag{13.61} \end{eqnarray}
と変換する。ただし、( T^c )^{ab} = - i \ep^{abc} である。よって、x^{\prime a } = U^{-1}  x^{a} U  は
    x^{\prime a }   \, = \, \D^{ab} ( g ) \, x^b     \tag{13.62}
と表せる。ここで、\D^{ab} ( g) は随伴表現に属す SO(3) 群の要素である。
    \D^{ab} ( g) \, = \, \exp \left[ i ( T^c )^{ab} \th^{c} \right]     \tag{13.63}
これは 3 \times 3 行列で表せる SO(3) 群のスピン1表現でもある。

 極座標を用いると座標 x^a は
    (x^1, x^2 ,x^3 ) \, = \,     ( r \sin \vartheta \cos \varphi , \, r \sin \vartheta \sin \varphi , \, r \cos \varphi )     \tag{13.64}
と書ける。位置演算子の球面基底 (spherical basis)
    x^{\pm } = \frac{1}{\sqrt{2}} ( \mp x^1 - i x^2 ) \, , ~~ x^3     \tag{13.65}
で与えられる。これらは球面調和関数 Y_l^m ( \vartheta , \varphi) l = 1 を固定し m = 0, \pm 1 としたものに比例する。回転のもとで動径距離 r は不変なので、変換(13.62)は
    x^m \, = \, r \, Y_1^m ( \vartheta , \varphi) \, \longrightarrow \,     x^{m^\prime  } \,= \, r \, \D^{m^\prime m} ( g ) \,  Y_1^m ( \vartheta , \varphi )     \tag{13.66}
と表せる。ただし、\D^{m^\prime m} ( g )SO(3) 随伴表現の行列要素である。これは SO(3) スピン1表現のウィグナー \D 関数
    \D^{m^\prime m} ( g ) \, = \,  \D_{m^\prime m}^{(l = 1)} ( g )      \tag{13.67}
と同じである。

 同様に、階数2の対称テンソル
    T^{ab} = x^a x^b - \frac{1}{3} \del^{ab} x^2     \tag{13.68}
も球面調和関数 Y_l^m ( \vartheta , \varphi) l = 2 と固定し、m = 0, \pm 1 , \pm 2 とおいたものに比例する。回転のもとで T^m = r^2 Y_2^m ( \vartheta , \varphi) の変換は
    T^m \, = \, r^2 \, Y_2^m ( \vartheta , \varphi) \, \longrightarrow \,    T^{m^\prime  } \,= \, r^2 \, \D_{m^\prime m}^{(l = 2)} ( g ) \,  Y_2^m ( \vartheta , \varphi )    \tag{13.69}
と表せる。ただし、\D_{m^\prime m}^{(l = 2)} ( g ) SO(3) スピン2表現のウィグナー \D 関数である。

 これらの例から、対称性のもとでテンソル QA は群 G の表現 R として変換することが分かる。具体的には、リー群 G のユニタリー既約表現を R とすると、R に属すテンソル演算子 Q^A の変換は
    U^{-1} (\th ) \, Q^{A} \, U  (\th )    \, = \,    \D^{(R)}_{AB} ( g ) \, Q^B    \tag{13.70}
と表せる。ただし、\D^{(R)}_{AB} ( g ) は群 G の表現 R に属すウィグナー \D 関数である。

 ここで、冒頭(13.58)の行列要素 \bra R^\prime , \al | Q^A | R , m \ket  に戻り、これをウィグナー \D 関数で表すことを考えよう。すでに(13.59)で状態 U^{-1}| R , m \ket はウィグナー \D 関数で展開できることを見た。この複素共役は
    \bra R^\prime , \al | U (\th )    \, = \,    \sum_{\bt} \bra R^\prime , \bt |  \D^{(R^\prime )*}_{\al \bt} ( g )     \tag{13.71}
と表せる。 式(13.59), (13.70), (13.71)から行列要素(13.58)は
    \bra R^\prime , \al | Q^A | R , m \ket \, = \,    \sum_{\bt ,n }     \D^{(R^\prime )*}_{\al \bt} (g ) \,  \D^{(R^{\prime\prime})}_{AB} ( g ) \, \D^{(R)}_{mn} (g )    \, \bra R^\prime , \bt | Q^B | R , n \ket     \tag{13.72}
と書ける。ただし、テンソル演算子 Q^A は表現 R^{\prime \prime} に属し、これは必ずしも R あるいは R^\prime に一致しないことに注意する。関係式(13.72)は全ての \th つまり任意の群の要素について成り立つので、
\begin{eqnarray}    && \bra R^\prime , \al | Q^A | R , m \ket \nonumber \\    &=&  \int   d V (g) \sum_{\bt , n}    \frac{\D^{(R^\prime )*}_{\al \bt}(g) \, \D^{(R^{\prime\prime})}_{AB} (g) \, \D^{(R)}_{mn} (g) }{(\mbox{$G$ の体積} )}    \bra R^\prime , \bt | Q^B | R , n \ket    \tag{13.73} \end{eqnarray}
と書き換えることができる。ここで、 \D^{(R^{\prime\prime})}_{AB} (g) \, \D^{(R)}_{mn} (g) の因子は
\begin{eqnarray}    \D_{AB}^{(R^{\prime\prime})} (g) \, \D_{mn}^{(R)} (g)    & = &  \bra R^{\prime\prime} , A | \hat{g} | R^{\prime\prime} , B \ket     \bra R , m | \hat{g} | R , n \ket     \nonumber \\    &=&      \sum_{\widetilde{R}, \la, \si}    {C^{R^{\prime\prime} R \widetilde{R}}_{A m \si}}^*    C^{R^{\prime\prime}R \widetilde{R}}_{Bn \la} \,    \bra \widetilde{R} , \si |    \hat{g}    | \widetilde{R} , \la \ket    \nonumber \\    &=&    \sum_{\widetilde{R}, \la, \si}    {C^{R^{\prime\prime} R \widetilde{R}}_{A m \si}}^*    C^{R^{\prime\prime}R \widetilde{R}}_{Bn \la} \,    \D_{\si\la}^{(\widetilde{R})} (g)    \tag{13.74} \end{eqnarray}
と計算できる。ただし、C^{R^{\prime\prime}R \widetilde{R}}_{Bn \la}C^{R^{\prime\prime} R \widetilde{R}}_{A m \si} はクレブシュ-ゴルダン係数であり、2状態の合成に関するクレブシュ-ゴルダンの定理(13.5)から次のように定義される。
\begin{eqnarray}    | R^{\prime\prime} , B \ket \otimes | R ,n \ket    &=&    \sum_{\widetilde{R} , \la}    C^{R^{\prime\prime}R \widetilde{R}}_{Bn \la}    | \widetilde{R} , \la \ket    \tag{13.75}\\    \bra R^{\prime \prime} , A | \otimes \bra R , m |    &=&    \sum_{\widetilde{R} , \si}    {C^{R^{\prime\prime} R \widetilde{R}}_{A m \si}}^*    \bra \widetilde{R} , \si |     \tag{13.76} \end{eqnarray}
{C^{R^{\prime\prime} R \widetilde{R}}_{A m \si}}^* = \left( C^{R^{\prime\prime} R \widetilde{R}}_{A m \si} \right)^* = C^{R^{\prime\prime *} R^* \widetilde{R}^* }_{A m \si} は係数 C^{R^{\prime\prime} R \widetilde{R}}_{A m \si} の共役表現である。また、式(13.74)内の群の要素 \hat{g} は同じ表現 \widetilde{R} に属し、これらの合成も定義から同じ表現に属す。

2024-12-16

13. ウィグナーの \D 関数とその応用 vol.2

ピーター-ワイルの定理

 前回のエントリーではリー群 G 上で定義されるウィグナーの \D 関数
\begin{eqnarray}    \D_{\al\bt}^{(R)} (g )    &=&    \left[ e^{i (T^a ) \th^a} \right]_{\al \bt}    \nonumber \\    &=&    \bra R , \al | e^{i \hat{T}^a \th^a } | R , \bt \ket    \tag{13.36} \end{eqnarray}
を導入した。リー群上の関数について、ピーター-ワイルの定理と呼ばれる重要な定理が存在する。その主張は以下の通り。
コンパクトなリー群 G 上で定義される任意の関数 f(g) はウィグナー \D 関数 \D_{\al\bt}^{(R)} (g) を用いて展開できる。ただし、RG のユニタリー既約表現を表す。展開式は具体的に    f(g) \, = \, \sum_{R} \sum_{\al , \bt} b_{\al\bt}^{(R)} \,    \D_{\al\bt}^{(R)} (g)    \tag{13.38} と表せる。ただし、b^{(R)}_{\al\bt} は展開係数である。
最も簡単な例は U(1) 群で与えられる。群の要素は g = e^{i \th} ( 0 \le \th \le 2 \pi ) で与えられる。任意の表現に対して、この要素は g_n = e^{in \th} ( n \in \mathbb{Z} ) とパラメータ表示できる。これは g_n ( \th = 0 ) = g_n ( \th = 2 \pi ) が満たされることから分かる。ピーター-ワイルの定理を適用すると、\th についての任意の周期関数は
    f (\th ) \, = \, \sum_{n = -\infty}^{\infty} b_n e^{in \th}     \tag{13.39}
と展開できることが分かる。これは f (\th ) のフーリエ展開に他ならない。よって、ピーター-ワイル展開(13.38)はフーリエ展開(13.39)の群論的な一般化と見做せる。フーリエ逆変換の存在から、(13.38)の逆変換を定義するには群の要素 g に関する積分が必要であることが分かる。

リー群要素の積分

 12.2節で解説したように、フレーム場1形式は
    g^{-1} d g \, = \, i t^a E^a_\al d \th^\al      \tag{13.40}
で定義される。フレーム場 E^a_\al を用いると、カルタン-キリング計量は
    g_{\al \bt} \, = \, E^a_\al E^a_\bt     \tag{13.41}
と表せる。これらについて詳細は12.2節の(12.25)-(12.28)を参照されたい。正の行列式 \det E > 0 を仮定すると、(13.41)から \sqrt{| \det g |} = \det E が分かる。よって、リー群 G の体積要素は
    d V (g) \, = \,  \det E \, d \th^1 d \th^2 \cdots d \th^{{\rm dim}G}     \tag{13.42}
で与えられる。

 ここで、ある固定された群の要素 h \in G を用いて g の代わりに gh を変数として扱う。つまり、
\begin{eqnarray}    ( gh )^{-1} d (gh) &=& i t^a E^{\prime a}_{\al} d \th^\al     \tag{13.43}\\    d V (gh ) &=& \det E^\prime \, d \th^1 d \th^2 \cdots d \th^{{\rm dim}G}     \tag{13.44} \end{eqnarray}
とする。(13.43)の左辺は
    h^{-1} ( g^{-1} d g  ) h \, = \, h^{-1} ( i t^a E^a_\al d \th^\al ) h    \, = \, \D^{ab} (h) ( i t^b E^a_\al d \th^\al )    \tag{13.45}
と計算できる。ただし、随伴表現
    h^{-1} t^a h \, = \, \D^{ab} (h ) t^b     \tag{13.46}
を導入した。(13.43)と(13.45)から
    E^{\prime b}_{\al} \, = \, \D^{ab} (h ) E^a_\al     \tag{13.47}
が分かる。これを行列方程式 E^{\prime}_{\al b} = E_{\al a} \D_{ab}(h) と解釈して、行列式を取ると
    \det E^\prime \, = \, \det E \, \det \D (h)    \tag{13.48}
を得る。ただし、\D (h) = \exp ( i T^c \th^c ) である。前回冒頭で解説したように、随伴表現の生成子は (T^c )_{ab} = - i f^{c}_{ab} と構造定数で与えられる。これは添え字について反対称なので、\Tr T^c = 0 となる。つまり、任意のコンパクトなリー群の随伴表現に対して \det \D (h ) = 1 が常に成り立つ。したがって、\det E^\prime = \det E であり、体積要素の不変性
    d V ( gh ) \, = \, d V (g )     \tag{13.49}
が導かれる。これは、実変数の積分測度が、例えば d (x+ h) = dx と書けるように、並進不変であることの群論的な類推であると解釈できる。

 別のフレーム場を \widetilde{E}^a_\al で表し、
    dg \, g^{-1} \, = \,  i t^b \widetilde{E}^b_\al \th^\al     \tag{13.50}
と定義する。このとき、フレーム場1形式
    g^{-1} d g \, = \, i t^a E^a_\al d \th^\al      \tag{13.40}
は次のように変形できる。
\begin{eqnarray}    g^{-1} d g  \, = \,  g^{-1} ( dg \, g^{-1} ) g    &=& i (g^{-1} t^b  g ) \, \widetilde{E}^b_\al \th^\al    \nonumber \\    &=& i \D^{ba} (g) t^a \, \widetilde{E}^b_\al \th^\al     \tag{13.51} \end{eqnarray}
これより関係式
    E_\al^a \, = \, \D^{ba} (g) \, \widetilde{E}^b_\al   \tag{13.52}
を得る。よって、上と同様に \det E = \det \widetilde{E} が求まる。これは、g^{-1} d g で定義された(13.42)の体積要素 d V (g) が dg \, g^{-1} で定義された体積要素と同じであることを意味する。言い換えると、体積要素は右作用、左作用に関わらず同じである。

大直交性定理

 体積要素 d V (g) を用いると、群の要素 g についての積分を定義できる。この積分が定義されれば、群の要素の様々な関数についての積分を考えられる。例えば、ウィグナー \D 関数の直交関係は
    \int d V (g) ~ \D^{(R)*}_{\al \bt } (g )    \D^{(R^\prime )}_{mn} ( g)    \, = \,    \frac{1}{ ({\rm dim} R) } \del_{\al m} \del_{\bt n} \del^{R R^\prime}     \tag{13.53}
と表せる。ただし、{\rm dim} R は表現 R の次元である。この関係式はコンパクトなリー群の行列表現一般に成り立ち、大直交性定理として知られている。この直交関係は次のように示される。
\begin{eqnarray}    && \int dV (gh)~ \D_{\al \bt}^{(R)*} (gh ) \D_{mn}^{( R^\prime ) } ( gh ) \nonumber \\    &=& \int d V (g) ~\D_{\al \ga}^{(R)*} (g) \D_{\ga \bt}^{(R)*} (h) \D_{mk}^{( R^\prime )}(g) \D_{kn}^{(R^\prime )}(h)    \nonumber \\    &=& \left[ \int d V(g)~\D_{\al \ga}^{(R)*} (g)  \D_{mk}^{( R^\prime ) } ( g ) \right] \, \D_{\ga \bt}^{(R)*} (h) \D_{kn}^{(R^\prime )}(h)  \nonumber \\    &=& \left[ \int d V(g) ~ \D_{\al \ga}^{(R)*} (g)  \D_{mk}^{( R^\prime ) } ( g ) \right] \, \D_{ \bt \ga}^{(R)} (h^\dag ) \D_{kn}^{(R^\prime )}(h)  \tag{13.54} \end{eqnarray}
この方程式は h と独立に成り立つことに注意する。表現 R, R^\prime がユニタリーで既約なので、(13.54)から h 因子を除くには、角括弧の中の積分に \del_{\ga k}\del^{R R^\prime} が含まれることが要請される。同様に、ghhg に置き換えると
\begin{eqnarray}    && \int dV (hg )~ \D_{\al \bt}^{(R)*} (hg ) \D_{mn}^{( R^\prime ) } ( hg ) \nonumber \\    &=& \int d V (g) ~ \D_{\al \ga}^{(R)*}(h) \D_{\ga \bt}^{(R)*} (g) \D_{mk}^{( R^\prime )}(h) \D_{kn}^{(R^\prime )}(g)    \nonumber \\    &=& \left[ \int d V(g) ~ \D_{\ga \bt}^{(R)*} (g)  \D_{kn}^{(R^\prime )}(g) \right] \, \D_{\ga \al }^{(R)}(h^\dag) \D_{mk}^{( R^\prime )}(h)   \tag{13.55} \end{eqnarray}
となるので、上式の角括弧の中の積分は \del_{\ga k} に比例することが分かる。以上から、規格化を考慮するとウィグナー \D 関数の大直交性定理(13.53)が得られる。

2024-12-12

13. ウィグナーの \D 関数とその応用 vol.1

 13.1 ウィグナーの \D 関数


随伴表現

 まず最初に SU(N) 群の随伴表現を考える。12.2節と同様に群の要素は g = \exp ( i t^a \th^a ) (a = 1,2, \cdots , N^2 -1 ) と表せる。ただし、t^aSU(N) 代数の生成子であり、N \times N トレース・ゼロのエルミート行列で与えられる。規格化は(慣例として) \Tr ( t^a t^b ) = \hf \del^{ab} と取る。生成子 t^a を用いると SU(N) 代数は
    [ t^a , t^b ] \, =  \, i f^{abc} t^c \tag{13.1}
と定義される。ここで、f^{abc} は代数の構造定数 である。任意の N \times N 行列 \Phi は生成子 t^aN \times N 恒等行列 {\bf 1} で \Phi = \phi^a t^a + \phi^0 {\bf 1} と展開できる。\phi^a\phi^0 は N^2 個の係数を表す。

 つぎに、随伴表現を導入するに当たり、行列 g^{-1} t^a g を考えよう。関係式 \Tr (g^{-1} t^a g ) = \Tr ( t^a ) = 0 から、この行列は
    g^{-1} t^a g \, = \, \D^{ab} (g ) \, t^b    \tag{13.2}
とパラメータ表示できる。ただし、\D^{ab} (g) は展開係数を表す。この表示形式を用いると群の要素の合成 g_1 g_2 = g_3 に対して、
    \D^{ab} ( g_1 ) \, \D^{bc} ( g_2 ) \, = \, \D^{ac} (g_3 )    \tag{13.3}
が成り立つ。よって、\D^{ab} (g ) をある行列の行列成分 (a, b) と解釈すると \D^{ab} (g ) はSU(N) 群の表現を成す。この表現を随伴表現を呼ぶ。

 群の要素 g の無限小展開は微小の \th^a に対して g = \exp ( i t^a \th^a ) \approx 1 + i t^a \th^a と表せる。同様に、\D^{ab} (g ) \approx \del^{ab} + i (T^c )^{ab} \th^c と書ける。ただし、(T^c )^{ab} はリー代数の要素の随伴表現である。式(13.2)の無限小展開は
\begin{eqnarray}    ( 1 - i t^b \th^b ) t^a ( 1 + i t^c \th^c )    & = &    t^a + i [ t^a , t^c ] \th^c + \cdots    \nonumber \\    & \approx &    \del^{ab} t^b + i \left( -i f^{cab} \right) \th^c t^b    \tag{13.4} \end{eqnarray}
と計算できるので、(T^c )^{ab} = - i f^{cab} が分かる。従って、リー代数の随伴表現は構造定数で与えられる。なお、構造定数のヤコビ律
f^{abd} f^{cde} + f^{bcd} f^{ade} +f^{cad} f^{bde} \, = \, 0 \tag{12.13}
から (T^c )^{ab}SU(N) 代数に従うことが確認できる。

クレブシュ-ゴルダンの定理

 行列演算子が作用する状態はヒルベルト空間上で定義され、これは内積の定義される一種のベクトル空間である。それぞれの状態は | R, \al \ket と表示される。ただし、R は群の既約表現であり、\al は表現 R に属すベクトルを指定する。これらの状態の直積は
    | R , \al \ket \otimes | R^{\prime} , \bt \ket \, = \, \sum_{R^{\prime\prime} , \ga}   C^{RR^{\prime} R^{\prime\prime}}_{\al \bt \ga}    | R^{\prime \prime} , \ga \ket    \tag{13.5}
と表せる。ここで、C^{RR^{\prime} R^{\prime \prime}}_{\al \bt \ga} は展開係数であり、クレブシュ-ゴルダン係数と呼ばれる。クレブシュ-ゴルダンの定理によるとクレブシュ-ゴルダン係数は群の性質から完全に決定される。

SU(3) 群のクレブシュ-ゴルダン係数

 簡単な例として、SU(3) 群の {\bf 3} 表現の直積を考えると12.3節で議論したように
    {\bf 3} \otimes {\bf 3} \, = \, {\bf 6} \oplus {\bf 3}^*      \tag{13.6}
であった。{\bf 3} 表現のテンソルをそれぞれ \phi_i\chi_j (i,j = 1,2,3) とすると、これらの積は階数2のテンソル V_{ij} = \phi_i \chi_j で表せる。以前同様、この合成テンソルは対称成分と反対称成分に分離できる。
\begin{eqnarray}    V_{ij} & = & V_{(ij)} +  V_{[ij]}    \nonumber \\    &=& \frac{1}{2} \left( \del_i^k \del_j^l + \del_i^l \del_j^k  \right)  V_{kl}      + \frac{1}{2} \left( \del_i^k \del_j^l  - \del_i^l \del_j^k  \right)  V_{kl}      \nonumber \\    &=&  \frac{1}{2} \left( \del_k^i \del_l^j + \del_l^i \del_k^j \right)  \Psi_{kl}     + \frac{1}{2} \ep_{ijm}  \Psi^m    \tag{13.7}\end{eqnarray}
ただし、関係式 \del_i^k \del_j^l  - \del_i^l \del_j^k = \ep_{ijm} \ep^{klm} と定義式 \Psi^m \equiv \ep^{klm} V_{kl} を用いた。\Psi_{ij} は表現 {\bf 6} に属す階数 (2,0) のテンソル、\Psi^m は表現 {\bf 3}^* に属す階数 (0,1) のテンソルをそれぞれ表す。SU(3) 群の既約表現とそのテンソル表示の一例は以下の通り。(12.3節から再掲)
\begin{array}{cclcccl} \hline (p, q) & {\rm 次元}& &~~& (p, q) &{\rm 次元} & \\ \hline  (1, 0) & {\bf 3}&  \Psi_i &~~& (3, 0) & {\bf 10}& \Psi_{ijk} \\ (0, 1) & \,\,{\bf 3}^* & \Psi^i &~~& (0, 3) & \,\,{\bf 10}^*  & \Psi^{ijk} \\ (2, 0) & {\bf 6} & \Psi_{ij} &~~& (2, 1) & {\bf 15} & \Psi_{ij}^{k} \\ (0, 2) & \,\,{\bf 6}^*  & \Psi^{ij} &~~& (1, 2) & \,\,{\bf 15}^*  & \Psi_{i}^{jk} \\ (1, 1) & {\bf 8} & \Psi_{i}^{j}  &~~& (2, 2) & {\bf 27} & \Psi_{ij}^{kl} \\ \hline \end{array}
今の場合、還元公式(13.5)は具体的に
\begin{eqnarray}    | {\bf 3}, i \ket \otimes | {\bf 3} , j \ket &=&    C_{ij(kl)}^{\bf 336} | {\bf 6} , kl \ket \oplus C_{ijm}^{{\bf 33}{\bf 3}^*} | {\bf 3}^* , m \ket     \tag{13.8} \\    C_{ij(kl)}^{\bf 336} &=& \frac{1}{2} \left( \del_k^i \del_l^j + \del_l^i \del_k^j \right)     \tag{13.9} \\    C_{ijm}^{{\bf 33}{\bf 3}^*} &=& \frac{1}{2} \ep_{ijm}     \tag{13.10} \end{eqnarray}
と書ける。これらの共役表現は
\begin{eqnarray}    {\bf 3}^* \otimes {\bf 3}^* &=& {\bf 6}^* \oplus {\bf 3}      \tag{13.11} \\    | {\bf 3}^*, i \ket \otimes | {\bf 3}^* , j \ket &=&    C_{ij(kl)}^{{\bf 3}^* {\bf 3}^* {\bf 6}^*} | {\bf 6}^* , kl \ket \oplus     C_{ijm}^{{\bf 3}^* {\bf 3}^* {\bf 3} } | {\bf 3} , m \ket     \tag{13.12} \\    C_{ij(kl)}^{{\bf 3}^* {\bf 3}^* {\bf 6}^*} &=& \frac{1}{2} \left( \del^k_i \del^l_j + \del^l_i \del^k_j \right)     \tag{13.13} \\    C_{ijm}^{{\bf 3}^* {\bf 3}^* {\bf 3}} &=& \frac{1}{2} \ep^{ijm}     \tag{13.14} \end{eqnarray}
と表せる。

 同様に、表現 {\bf 3} のテンソルと表現 {\bf 3}^* のテンソルの直積は
\begin{eqnarray}    V_i^j & = & \Psi_i^j  \, + \, \frac{1}{3} \del_i^j \Tr (V)    \nonumber \\    &=& \del_i^k \del_l^j \, \Psi_k^l \, + \, \frac{1}{3} \del_i^j \, V_k^k    \tag{13.15} \end{eqnarray}
で与えられる。ただし、\Psi_i^jV_i^j のトレース・ゼロ成分 (\Psi_i^i = 0) であり、上の表の随伴表現 {\bf 8} に対応する。因子 \frac{1}{3} は \del_i^i = 3 のため必要となる。この式は5.3節の関係式
T^{i}_{j} = (T_{{\rm traceless}})^{i}_{j} + \frac{1}{3} \, \del^{i}_{j} \, T^{k}_{k} \tag{5.29}
と同じである。SU(3) 群の既約表現を用いるとこれは
   {\bf 3} \otimes {\bf 3}^* \, = \, {\bf 8} \oplus {\bf 1}      \tag{13.16}
と表せる。このとき、還元公式(13.5)は
\begin{eqnarray}    | {\bf 3}, i \ket \otimes | {\bf 3}^* , j \ket &=&    C_{ij(kl)}^{{\bf 3} {\bf 3}^* {\bf 8}} | {\bf 8} , kl \ket \oplus    C_{ij(kk)}^{{\bf 3} {\bf 3}^* {\bf 1} } | {\bf 1} , kk \ket   \tag{13.17} \\   C_{ij(kl)}^{{\bf 3} {\bf 3}^* {\bf 8}} &=& \del_i^k  \del_l^j     \tag{13.18} \\    C_{ij(kk)}^{{\bf 3} {\bf 3}^* {\bf 1} } &=& \frac{1}{3} \del_i^j     \tag{13.19} \end{eqnarray}
と書き下せる。

 つぎに、{\bf 3} テンソルと {\bf 6} テンソルの直積も対称成分・反対称成分に分離して、
\begin{eqnarray}    V_{i(jk)} &=& V_{(i (jk))} \, +\, V_{[i(jk)]}    \nonumber \\    &=& \frac{1}{4} \left( V_{ijk} + V_{ikj} + V_{jki}+ V_{kji} \right) +     \frac{1}{4} \left( \ep_{ijm} \Psi_k^m + ( j \leftrightarrow k ) \right)    \nonumber \\    &=& \frac{1}{4} \left( \del_i^m \del_j^n \del_k^p + \del_i^m \del_k^n \del_j^p +    \del_j^m \del_k^n \del_i^p + \del_k^m \del_j^n \del_i^p  \right) \Psi_{mnp}    \nonumber \\    && + \frac{1}{4} \left( \ep_{ijm} \del_k^l + \ep_{ikm} \del_j^l  \right) \Psi_l^m     \tag{13.20} \end{eqnarray}
と表せる。ただし、\Psi_{mnp}\Psi_l^m はそれぞれ {\bf 10} 表現と{\bf 8} 表現のテンソル表示である。対応する還元公式(13.5)とクレブシュ-ゴルダン係数は次のように表せる。
\begin{eqnarray}    {\bf 3} \otimes {\bf 6} &=& {\bf 10} \oplus {\bf 8}    \tag{13.21} \\    | {\bf 3}, i \ket \otimes | {\bf 6} , jk \ket &=&    C_{i(jk)(mnp)}^{{\bf 3 6} \, {\bf 10}} | {\bf 10} , mnp \ket \oplus    C_{i(jk)(lm)}^{{\bf 3 6 8} } | {\bf 8} , lm \ket     \tag{13.22} \\    C_{i(jk)(mnp)}^{{\bf 3 6} \, {\bf 10}} &=& \frac{1}{4} \left( \del_i^m \del_j^n \del_k^p + \del_i^m \del_k^n \del_j^p +    \del_j^m \del_k^n \del_i^p + \del_k^m \del_j^n \del_i^p  \right)      \tag{13.23} \\    C_{i(jk)(lm)}^{{\bf 3 6 8} }  &=& \frac{1}{4} \left( \ep_{ijm} \del_k^l + \ep_{ikm} \del_j^l  \right)      \tag{13.24} \end{eqnarray}

 最後に、随伴表現 {\bf 8} のテンソル、例えば \Psi_i^j\Phi_k^l の直積を考える。定義からこれらはトレース・ゼロなので、その直積 V_{ik}^{jl} = \Psi_i^j  \Phi_k^l
    V_{ik}^{jl} \, = \, T_{ik}^{jl} + \frac{1}{3} \del_i^l T_{ak}^{ja} +  \frac{1}{3} \del_k^j T_{ib}^{bl}     +  \frac{1}{9} \del_i^l \del_k^j T_{ab}^{ba}     \tag{13.25}
と分解できる。ただし、T_{ik}^{jl} はテンソル V_{ik}^{jl} のトレース・ゼロ成分である。SU(3) 既約表現のテンソル表示 \Psi_{i_1 i_2 \cdots i_p}^{j_1 j_2 \cdots j_q} はトレース・ゼロであり、上下の添え字について完全対称なので、テンソル V_{ik}^{jl} は次のように変形できる。
\begin{eqnarray}    V_{ik}^{jl} &=& V_{(ik)}^{(jl)} + V_{(ik)}^{[jl]} + V_{[ik]}^{(jl)} + V_{[ik]}^{[jl]}    \nonumber \\    &=& \Psi_{ik}^{jl} + \frac{1}{2} \ep^{jlm} \Psi_{ikm} + \frac{1}{2} \ep_{ikm} \Psi^{jlm}    + \frac{1}{4} \ep^{jlm} \ep_{ikn} \Psi_m^n    \nonumber \\    &&    + \frac{1}{3} \del_i^l \frac{1}{4} \ep^{jam} \ep_{akn} \Psi_m^n    + \frac{1}{3} \del_k^j \frac{1}{4} \ep^{blm} \ep_{ibn} \Psi_m^n     + \frac{1}{9} \del_i^l \del_k^j \frac{1}{4} \ep^{bam} \ep_{abn} \Psi_m^n    \nonumber \\    &=& \Psi_{ik}^{jl} + \frac{1}{2} \ep^{jlm} \Psi_{ikm} + \frac{1}{2} \ep_{ikm} \Psi^{jlm}    + \frac{1}{4} \ep^{jlm} \ep_{ikn} \Psi_m^n     \nonumber \\    &&     + \frac{1}{12} \del_i^l \Psi_k^j + \frac{1}{12} \del_k^j  \Psi_i^l - \frac{2}{9} \del_i^l \del_k^j \Psi_m^m    \tag{13.26} \end{eqnarray}
ただし、関係式 \ep^{jam} \ep_{akn} = - ( \del_k^j \del_n^m - \del_n^j \del_k^m ) と \ep^{bam} \ep_{abn} = - 2 \del_n^m を用いた。随伴テンソル成分は
\begin{eqnarray}    && \frac{1}{4} \ep^{jlm} \ep_{ikn} \Psi_m^n    + \frac{1}{12} \del_i^l \Psi_k^j + \frac{1}{12} \del_k^j  \Psi_i^l     \nonumber \\    &=& \frac{1}{4} \left( \frac{1}{2} \ep^{jlm} \ep_{ikn} + \frac{1}{3} \del_i^l \del_k^m \del_n^j \right)    \Psi_m^n + \frac{1}{4} \left(  \left( \begin{array}{c}\! j \! \\ \! k \! \\  \end{array} \right)      \! \leftrightarrow \! \left( \begin{array}{c} \! l \! \\ \! i \! \\  \end{array} \right)        \right) \Psi_m^n     \tag{13.27} \end{eqnarray}
と書けることに注意しよう。以上より、対応する還元公式(13.5)とクレブシュ-ゴルダン係数は次のように表せる。
\begin{eqnarray}    {\bf 8} \otimes {\bf 8} &=& {\bf 27} \oplus {\bf 10} \oplus {\bf 10}^* \oplus {\bf 8} \oplus {\bf 8} \oplus {\bf 1}      \tag{13.28} \\    | {\bf 8}, ij \ket \otimes | {\bf 8} , kl \ket &=&    C_{(ij)(kl)(mnrs)}^{{\bf 88} \, {\bf 27}} | {\bf 27} , mnrs \ket \oplus    C_{(ij)(kl)(mrs)}^{{\bf 88} \, {\bf 10}} | {\bf 10} , mrs \ket     \nonumber \\    && \oplus \,    C_{(ij)(kl)(mrs)}^{{\bf 88} \, {\bf 10}^* } | {\bf 10}^* , mrs \ket  \oplus    C_{(ij)(kl)(mn)}^{{\bf 888} } | {\bf 8} , mn \ket     \nonumber \\    && \oplus \,    C_{(kl)(ij)(mn)}^{{\bf 888} } | {\bf 8} , mn \ket  \oplus    C_{(kl)(ij)(mm)}^{{\bf 881} } | {\bf 1} , mm \ket     \tag{13.29} \\    C_{(ij)(kl)(mnrs)}^{{\bf 88} \, {\bf 27}} &=& \frac{1}{4} \left( \del_i^m \del_k^n \del_r^j \del_s^l +     \del_k^m \del_i^n \del_r^j \del_s^l  \right.     \nonumber \\    && ~~~~~~~~~~~~~~~~~~~~~~~~~~ \left.  + \, \del_i^m \del_k^n \del_r^l \del_s^j +    \del_k^m \del_i^n \del_r^l \del_s^j  \right)      \tag{13.30} \\    C_{(ij)(kl)(mrs)}^{{\bf 88} \, {\bf 10}} &=& \frac{1}{2} \, \ep^{jlm} \del_i^r \del_k^s       \tag{13.31} \\    C_{(ij)(kl)(mrs)}^{{\bf 88} \, {\bf 10}^*} &=& \frac{1}{2} \, \ep_{ikm} \del_r^j \del_s^l       \tag{13.32} \\    C_{(ij)(kl)(mn)}^{{\bf 888}} &=& \frac{1}{4} \left( \frac{1}{2} \ep^{jlm} \ep_{ikn} +     \frac{1}{3} \del_i^l \del_k^m \del_n^j  \right)     \tag{13.33} \\    C_{(kl)(ij)(mn)}^{{\bf 888} } &=& \frac{1}{4} \left( \frac{1}{2} \ep^{ljm} \ep_{kin} +    \frac{1}{3} \del_k^j \del_i^m \del_n^l  \right)     \tag{13.34} \\    C_{(kl)(ij)(mm)}^{{\bf 881} } &=& - \frac{9}{2} \,  \del_i^l \del_k^j      \tag{13.35} \end{eqnarray}

2024-12-04

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

コンパクト群

 前回のエントリーでは SU(N) 群の既約表現を求めるテンソル解析について解説した。既約表現を構成するこのテンソル解析はコンパクト群一般にも適用される。実際、ワイル (Weyl) による次の定理が存在する。
  1. コンパクト群の全てのユニタリー既約表現は有限次元である。これらの既約表現は定義表現のテンソル積を適切に還元して得られる。
  2. 非コンパクト群の全ての有限次元の表現は非ユニタリーである。また、非コンパクト群の全てのユニタリー表現は無限次元である。
ここで、コンパクト群は有限体積をもつリー群 G で定義される。12.2節で定義したカルタン-キリング計量は
\begin{eqnarray}     ds^2 & = & - 2 \Tr ( g^{-1} d g \, g^{-1} dg ) \nonumber \\    & = &  E^a_\mu E^a_\nu \, d \th^\mu d \th^\nu \, = \, g_{\mu \nu} \, d \th^\mu d \th^\nu    \tag{12.58} \end{eqnarray}
であった。ただし、g^{-1} d g = i t^a E_\mu^a \, d \th^\mu G のフレーム場1形式である。t^a (a = 1,2, \cdots, \dim G) はリー代数 G の基底(生成子)を成す行列で代数  [ t^a , t^b ]  =  i C^{abc} t^c を満たす。C^{abc} は G の構造定数であり、規格化は \Tr (t^a t^b ) = \hf \del^{ab} で与えられる。ことのき、リー群 G の体積要素は
    dV \, = \, \sqrt{|\det g |} \, d \th^1 d \th^2 \cdots d \th^{\dim G}    \tag{12.59}
で与えられる。ただし、\det g は計量テンソル g_{\mu \nu} = E^a_\mu E^a_\nu  を行列表示した際の行列式を表す。以上より、コンパクト群は有限体積の条件式
    \int_{G} d V \, < \, \infty     \tag{12.60}
で定義される。12.1節の最後に紹介したように、カルタン-キリングによる半単純リー代数の分類で現れたリー群は、パラメータが実数のとき全てコンパクト群となる。一方、非コンパクト群の典型的な例はローレンツ群 SO(1,3) で与えられる。一般のローレンツ代数、すなわち SO(1, d+1) 代数の定義については11.3節を参照されたい。

リー代数のランクに関するワイルの定理

 リー代数 G のランク(階数)はその基底行列 t^a のなかで同時対角化可能な行列の最大数で定義される。例えば、パウリ行列は唯一つの対角行列を持つので SU(2) 代数のランクは1である。同様に、1.5節で紹介したゲルマン行列(1.49)は2つの同時対角行列を持つので SU(3) 代数のランクは2である。

 リー代数 G の基底行列 t^a で構成されるより大きな集合 \{ t^a , t^a t^b , t^a t^b t^c , \cdots \} を考える。これには t^2 = \del^{ab} t^a t^b など添え字が縮約された要素も含まれる。行列 t^a についての特性方程式(あるいはケイリー・ハミルトンの定理)を用いるとこれらの次数を下げることができる。しかし、一般にこれらの集合要素は元々の代数 G とは異なる代数を成す。というのも、t^2 などの縮約された要素は必ずしも元の代数の要素に属さないためである。このように構成された(大きな)代数は G の包絡代数 (enveloping algebra) と呼ばれる。包絡代数には元となるリー代数の全ての要素と交換する要素が含まれる。例えば、角運動量代数において2次の演算子 J^2[ J^2 , J^a ] = 0 を満たすので角運動量代数の全ての要素 J^a (a = 1,2,3) と交換する。このように元となるリー代数 G の全ての要素と交換する演算子をカシミール演算子と呼ぶ。この演算子は包絡代数の中心 (center) を成す。リー代数のランクに関してもワイルによる次の定理が存在する。
  1. リー代数 G において独立なカシミール演算子の数はそのリー代数のランクに等しい。
  2. リー群 G において独立な不変テンソルの数は対応するリー代数 G のランクに等しい。
SU(2) 代数のランクは1なので、カシミール演算子は J^2 の1つだけであり、不変テンソルは唯一 \ep^{ij} で与えられる。前回で見たように、これらの事実から SU(2) 群の既約表現が求まる。

カシミール演算子: SU(3) とそれ以外

 以上より、コンパクト・リー群の既約表現を求めるにあたりカシミール演算子と不変テンソルが重要であることが分かった。以下では、SU(3) 代数のカシミール演算子を考えることでこの点の理解をさらに深める。SU(3) 代数のランクは2であるので、2つの不変テンソルと2つのカシミール演算子が存在する。不変テンソルは生成子 t^a (a = 1,2, \cdots , 8) の多重項のトレースから得られる。というのも、そのようなトレースは変換 t^a \rightarrow h^{-1} t^a h のもとで不変なためである。ただし、h \in G=SU(3) である。ここで、SU(3) 群の要素 g = \exp ( i t^a \th^a )g \rightarrow h^{-1} g h = \exp ( i h^{-1} t^a h \th^a ) と変換することに注意しよう。トレース \Tr (t^a t^b ) の不変性は次のように直接確認できる。
    \Tr (t^a t^b ) \longrightarrow \Tr (h^{-1} t^a h h^{-1} t^b h )    \, = \, \Tr (t^a t^b ) \, = \, \frac{1}{2} \, \del^{ab}    \tag{12.61}
不変テンソル \del^{ab} に対応するカシミール演算子は \del^{ab} t^a t^b  =  t^a t^a = t^2 で与えられる。

 もう一方のカシミール演算子は3次のオーダーのトレース \Tr (t^a t^b t^c) から計算できる。このトレースは次にように対称成分と反対称成分に分離できる。
\begin{eqnarray}    \Tr ( t^a t^b t^c ) &=& \Tr \left[ t^a \left( \frac{1}{2} [ t^b , t^c ] + \frac{1}{2}    \{ t^b , t^c \} \right) \right]    \nonumber \\    &=& \frac{1}{2} \Tr \left[ t^a \left( i C^{bck} t^k \right) \right]     + \frac{1}{2} \Tr \left[ t^a \{ t^b , t^c \}  \right]    \nonumber \\    &=& \frac{i}{4} C^{abc} + \frac{1}{4} d^{abc}    \tag{12.62} \end{eqnarray}
ただし、添え字について対称な記号
    d^{abc} \, \equiv \, 2 \Tr \left[ t^a (t^b t^c + t^c t^b ) \right]      \tag{12.63}
を導入した。リー代数 [ t^a , t^b ] = i C^{abk} t^k を用いると、(12.62)の反対称成分は2次のトレース \Tr ( t^a t^k ) に還元される。よって、(12.62)から新しいカシミール演算子を求めるにはこの反対称部分は必要ない。言い換えると、2次のトレースと独立な3次のトレースは対称化されたトレース(12.63)で与えられる。この不変な対称テンソルに対応するカシミール演算子は d^{abc} t^a t^b t^c と表せる。SU(2) の場合は、t^a = \frac{\si^a}{2} となり (t^b t^c + t^c t^b) = \hf \del^{bc} {\bf 1} が成り立つので、対称記号 d^{abc} はゼロとなることに注意しよう。

 同様に、SU(N) ( N \ge 4) のカシミール演算子も高次の対称化されたトレースから計算できる。上記の \frac{1}{4} d^{abc} = \frac{1}{2} \Tr (t^a t^b t^c + t^a  t^c t^b ) に対応する N 次の対称記号を \ka^{a_1  a_2 \cdots a_N} とすると、これは対称化されたトレースを用いて
    \ka^{a_1  a_2 \cdots a_N} \, = \, \frac{1}{(N-1)!} \sum_{\si \in \S_{N-1}}     \Tr ( t^{a_1} t^{a_{\si_2}} t^{a_{\si_3}} \cdots t^{a_{\si_N}} )    \tag{12.64}
と定義できる。ただし、\si \in \S_{N-1} についての和は添え字 \{ 2, 3, \cdots , N \} の置換 \si について取る。ここで、\si\si =\left( \begin{array}{c} 2 ~ 3 ~ \cdots ~ N  \\ \si_2 \si_3 \cdots \si_N \\ \end{array} \right) とラベルされる。不変な対称テンソル \ka^{a_1  a_2 \cdots a_N} に対応するカシミール演算子は \ka^{a_1  a_2 \cdots a_N} t^{a_1} t^{a_2} \cdots t^{a_N} で与えられる。

2024-12-03

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

12.3 既約表現



この節ではリー群要素 g \in G の既約表現について考える。12.1節の初めに紹介した群の公理(合成則、結合則、単位元・逆元の存在)は群の要素を(可逆な)正則行列と見做しても成立する。実際、群の要素と行列の集合は準同型 (homomorphic) であることが知られている。12.2節の(12.16)で SU(2) 群の 2 \times 2 行列表現 g (\th ) = \exp \left( i \frac{\si^a}{2} \th^a \right) を導入した。これは SU(2) の定義表現と呼ばれる。この表現からさらに高次元の行列表現を構成できる。例えば、行列のブロック対角化
    \left(      \begin{array}{cc}        g_1 (\th ) & 0 \\        0 & g_1 (\th ) \\      \end{array}    \right)    \left(      \begin{array}{cc}        g_2 (\th ) & 0 \\        0 & g_2 (\th ) \\      \end{array}    \right)    =    \left(      \begin{array}{cc}        g_1 g_2 & 0 \\        0 & g_1 g_2 \\      \end{array}    \right) .    \tag{12.51}
を用いると、4 \times 4 行列による可約表現を得る。一方、既約表現は行列の相似変換 (similarity transformation) によってブロック対角化されない表現で定義される。ここで、相似変換は一般に正則行列を変換行列として定義される。例えば、(12.51)の相似変換は 4 \times 4 特殊ユニタリー行列 U を用いて
    U^\dagger    \left(      \begin{array}{cc}        g_1 (\th ) & 0 \\        0 & g_1 (\th ) \\      \end{array}    \right)    U \,    U^\dagger    \left(      \begin{array}{cc}        g_2 (\th ) & 0 \\        0 & g_2 (\th ) \\      \end{array}    \right)    U    \, = \,    U^\dagger    \left(      \begin{array}{cc}        g_1 g_2 & 0 \\        0 & g_1 g_2 \\      \end{array}    \right)    U \, .    \tag{12.52} 
と表せる。

復習:テンソル解析

 5.3節で解説したように SU(3) 群の既約表現はテンソル解析によって構成できる。以下では一般のリー群についてテンソル解析を用いてどのように既約表現が構成できるかを見る。まず、N \times N 行列はベクトル空間 V の線形変換を定義することに注意する。V の基底を \phi_i (i = 1,2, \cdots N) とおく。このとき \phi_i の変換は
    \phi^\prime_i  \, = \, g_{ij} \, \phi_i    \tag{12.53}
と表せる。ただし、g_{ij} は対象となる群 G の要素 g (\th ) = \exp \left( i t^a \th^a \right) の行列成分である。ここで、gN \times N 行列表現であり、t^a (a = 1, 2, \cdots , N = \dim G ) はリー代数 G の生成子を表す。

 つぎに、2つの基底の直積 \Psi_{ij} \equiv \phi_i \chi_j \in V \otimes V を考える。\chi_j は2つ目のベクトル空間 V の基底を表す。\Psi_{ij} の変換は上と同様に
   \Psi^{\prime}_{ij} \, = \, g_{ik} \, g_{jl} \, \Psi_{kl}    \, \equiv \, G_{ij,kl} \,  \Psi_{kl}     \tag{12.54}
と書ける。このとき、G_{ij,kl} は群の合成則 g^{(1)} \cdot g^{(2)} = g^{(3)} を保存する。
    G^{(1)}_{ij,kl} G^{(2)}_{kl,mn}    \, = \,    g^{(1)}_{ik} g^{(2)}_{km} \, g^{(1)}_{jl} g^{(2)}_{ln}    \, = \,    g^{(3)}_{im} g^{(3)}_{jn}    \, = \,    G^{(3)}_{ij,mn}   \tag{12.55}
この関係式は G_{ij,kl} が2つの表現の合成表現であることを示している。一般に、このような合成表現は既約であり、対称成分と反対称成分を含む。任意の階数の合成表現から既約表現を得るには、次の還元則を適用する必要がある。
  1.  対称成分と反対称成分を分離する。5.3節の(5.21), (5.22)で見たように対称成分と反対称成分はそれぞれ独立に変換する。     \frac{1}{2} ( \Psi^{\prime}_{ij}  \pm \Psi^{\prime}_{ji} ) \,=\,   \frac{1}{2} ( g_{ik} \, g_{jl} \Psi_{kl} \pm g_{jk}\, g_{il} \Psi_{kl} )   \,  = \, g_{ik} \, g_{jl} \frac{1}{2}( \Psi_{kl} \pm \Psi_{lk} ) \tag{12.56} この関係は群の構造に依らない。
  2. それぞれの群に応じて不変なテンソルが存在する。これらの不変テンソルを用いてテンソルの添え字を縮約できる。
定義表現 g (\th ) = \exp \left( i t^a \th^a \right) の複素共役は g^* (\th ) = \exp \left( i t^a \th^a \right)^* で与えられる。よって、変換(12.53)の複素共役は
   \chi^i \, = \, g^{* ij} \chi^j    \tag{12.57}
と表せる。この共役表現は明らかに(12.53)と同じ合成則に従う。慣例として、共役表現の添え字は上付き添え字で表示される。つまり、テンソルの一般形は
    \Psi^{j_1 j_2 \cdots j_q}_{i_1 i_2 \cdots i_p}     \tag{12.58}
と表せる。ただし、p, q は自然数である。注意として、SU(2) 群の場合、
\begin{eqnarray}    g^* &=& \exp \left( i \frac{\si^a}{2} \th^a \right)     = e^{- i \frac{\si^1}{2} \th^1 + i \frac{\si^2}{2} \th^2 - i \frac{\si^3}{2} \th^3}    \tag{12.59} \\    \si^2 g^* \si^2 &=& \si^2 \exp \left( i \frac{\si^a}{2} \th^a \right)  \si^2    =  e^{ i \frac{\si^1}{2} \th^1 + i \frac{\si^2}{2} \th^2 + i \frac{\si^3}{2} \th^3} \, = \, g    \tag{12.60} \end{eqnarray}
が成り立つ。ただし、パウリ行列の関係式 ( \si^1 )^2 \, = \,  ( \si^2 )^2 = ( \si^3 )^2 = {\bf 1}\si^i \si^j = - \si^j \si^i ( i \ne j ) を用いた。SU(2) 群の要素の1つとして \tilde{g} = \exp \left( i \frac{\si^2}{2} \pi \right) = i \si^2 と表せるので、関係式(12.60)は \tilde{g} g^* \tilde{g}^\dag = g と書ける。すなわち、SU(2) 群では共役表現を考える必要がない。この意味で関係式(12.60)は SU(2) 群の擬実数性と言及されることがある。

 ユニタリー表現の場合、g^{* ij} = ( g^\dag )^{ji } = ( g^{-1} )^{ji } となるので、5.3節の(5.27)で解説したようにユニタリー性から \del^{i}_{j} が不変であることが導ける。
{\del^{i}_{j}}^\prime \, = \, g^{*ik} g_{jl} \, \del^{k}_{l} \, = \, g^{* ik} g_{jk} \, = \, g_{jk} ( g^\dag )^{ki} \, = \, ( g \, g^\dag )^{i}_{j} \, = \, \del^{i}_{j} \tag{12.61}
また、特殊群の場合、群の要素を行列と見做すとその行列式は1となる。
    \det g \, = \, \sum_{\si \in S_N} {\rm sgn} ( \si ) g_{1 \si_1 } g_{2 \si_2 } \cdots g_{N \si_N}    \, = \, 1    \tag{12.62}
ただし、\si は添え字\{ 1, 2, \cdots, N \} あるいは対称群 S_N の要素の置換を表す。置換の符号記号は階数 N のレビ-チビタ記号に他ならない。
     {\rm sgn} ( \si ) \, = \, \ep_{\si_1 \si_2 \cdots \si_N} \tag{12.63}
つぎに、群の要素の行列表現において行のシャッフル g =( g_{i j }) \rightarrow g_\tau = ( g_{\tau_i j } ) を考える。ただし、\tau は要素 \{ 1,2, \cdots, N \} の別の置換を表す。このとき、g_\tau の行列式は
\begin{eqnarray}    \det g_\tau &=& \sum_{\si \in S_N} {\rm sgn} (\si )     g_{ \tau_1 \si_1} g_{\tau_2 \si_2 } \cdots g_{\tau_N \si_N}    \nonumber \\   &=& \sum_{\si \in S_N} {\rm sgn} ( \si )     g_{ 1 (\tau^{-1} \si)_1} g_{2 (\tau^{-1} \si)_2} \cdots g_{N (\tau^{-1} \si)_N}   \nonumber \\   &=& {\rm sgn} ( \tau ) \sum_{\rho \in S_N}  {\rm sgn} ( \rho )   g_{ 1 \rho_1} g_{2 \rho_2} \cdots g_{N \rho_N}   \nonumber \\   &=& {\rm sgn} ( \tau ) \, \det g = {\rm sgn} ( \tau )   \tag{12.64} \end{eqnarray}
と表せる。ただし、\rho = \tau^{-1} \si であり、関係式 {\rm sgn} ( \si ) = {\rm sgn} (\tau) \, {\rm sgn} (\tau^{-1} \si ) を用いた。ここで、\si \in S_N についての総和は \rho \in S_N についての総和と等しくなることに注意しよう。式(12.63)と(12.64)からレビ-チビタ記号の不変性が直ちに導かれる。
    \ep_{i_1 i_2 \cdots i_N }^\prime \,= \, g_{i_1 \si_1} g_{i_2 \si_2} \cdots g_{i_N \si_N} \,   \ep_{\si_1 \si_2 \cdots \si_N}     \,= \, \ep_{i_1 i_2 \cdots i_N } \, \det g \, = \,  \ep_{i_1 i_2 \cdots i_N }     \tag{12.65}
これは5.3節で示した SU(3) の場合
\ep_{ijk}^{\prime} = U_{ia} U_{jb} U_{kc} \ep_{abc} = \ep_{ijk} \det U = \ep_{ijk} \tag{5.30}
の一般形である。反対称テンソル \ep_{i_1 i_2 \cdots i_N } あるいは \ep^{i_1 i_2 \cdots i_N } との縮約をとると、テンソル(12.58)の上付き添え字 (jj2 ... jqと下付き添え字 (i1 i... ipはそれぞれ完全対称であることが保証される。さらに、クロネッカーのデルタ \del^i_j との縮約からトレース・ゼロのテンソルのみが有効であることが分かる。

 SU(2) 群の場合、上述の通り、下付き添え字だけのテンソル \Psi_{i_1 i_2 \cdots i_p} から既約表現を分類できる。ただし、添え字は1か2の値をとる。反対称テンソル \ep^{ij} との縮約を考えると、添え字は完全対称に取れる。よって、既約表現の次元は p+1 で与えられる。通常、既約表現は j = p/2 で特徴付けられるが、この値は SU(2) 代数の生成子 J^3 の最大の固有値(スピン)に対応する。