$\def\bm#1{{\boldsymbol{#1}}} \def\coloneqq{{:=}} \newcommand{\rmd}{\mathrm{d}} \def\Bra#1{{\left\langle{#1}\right|}} \def\Ket#1{{\left|{#1}\right\rangle}} \def\Braket#1{{\left\langle{#1}\right\rangle}} \def\mathbbm#1{{\mbox{#1}\hspace{-0.20em}\mbox{l}}}$

テンソル表現

最も簡単な表現は、トリビアルで、一重項またはスカラーの表現である。対応するベクトル空間は1次元であり、その要素は$\phi$で表される。そして、$\mathcal{J}$は$\mathcal{J}^{\rho\sigma}_{\mathbf{1}}=0$によって与えられる。この代入によってLorentz 代数(4)は自明に満たされる。これは、場の理論におけるスカラー場に対応する表現である。

次に$d$次元のベクトル表現を考えよう。これは通常$\mathbf{d}$と書かれる。このとき、場は$d$個の成分を持っていて$\phi^\rho,\rho=0,\cdots,d-1$と書ける。また、$d\times d$行列$\mathcal{J}^{\rho\sigma}_{\mathbf{d}}$の成分は(3)で与えられるから

となる。我々は既にこのベクトル表現の下で変換する場の例を知っている。これは場の理論におけるベクトル場$A_\mu$に他ならない。

今までスカラー場とベクトル場に対応するLorentz 代数の既約表現を見出した。では$n$個の添字を持つ場$\phi_{\mu_1\cdots\mu_n}$の表現はどのようになるのだろうか。そのような表現を構成するためには、ベクトル表現の階数$n$のテンソル積を考慮する必要がある。得られる表現は、部分的に対称または反対称のテンソルに分解することができるので、一般に可約である。場は対称化された部分$\phi_{(\mu\nu)}$と反対称化された部分$\phi_{[\mu\nu]}$に分解できることが分かっている。表現論の言葉では、2階のテンソル積表現$\mathbf{d}\otimes\mathbf{d}$は次元$d(d+1)/2$で2階の対称なテンソル積表現$\mathbf{d}\otimes_{\mathrm{S}}\mathbf{d}$と次元$d(d-1)/2$で階数2の反対称なテンソル積表現$\mathbf{d}\otimes_{\mathrm{A}}\mathbf{d}$の直和に分解できる。すなわち

となる。具体例として、スピン状態の組み合わせを考えよう。2つの同一のスピン$1/2$表現のテンソル積は2つの既約表現に分解され、スピン$1$表現は対称状態として、スピン$0$状態は反対称状態としてあらわせる。考えているスピン$1/2$状態が

注意すべきことは、$\mathbf{d}\otimes_{\mathrm{S}}\mathbf{d}$も$\mathbf{d}\otimes_{\mathrm{A}}\mathbf{d}$も一般には既約ではないという事である。まず初めに、2階の対称な表現$\mathbf{d}\otimes_{\mathrm{S}}\mathbf{d}$について考えてみよう。表現を既約表現の和にさらに分解するために、不変テンソルを利用する。可約な表現があれば、不変テンソルを用いて表現のテンソルを縮約させることでより小さい表現を得ることができる。このことをLorentz 代数を例に説明しよう。

任意の特殊直交群$SO(p,q)$、特にLorentz 群$SO(d-1,1)$において、計量$\eta_{\mu\nu}$（そしてその逆行列$\eta^{\mu\nu}$）と完全反対称テンソルの2つだけが不変テンソルである。対称テンソル$\phi_{(\mu\nu)}$と縮約すると完全反対称テンソルの部分は0になるので、$\eta^{\mu\nu}\phi_{(\mu\nu)}$だけ考えれば良い。これは2階のテンソルのトレースである。このことは2階の対称テンソルはトレースレスな2階の対称テンソルに分解できるということを示している。トレースレス部分を$\mathbf{S}$と書くと、

とあらわすことが出来る。必ずしも$\rho$と$\sigma$について対称ではないような一般の2階のテンソル$\phi_{\rho\sigma}$について、対称なトレースレス部分$\mathbf{S}$を抜き出すために次のような射影演算子を利用することが出来る。

問題

成分が$\phi_{\mu\nu}$と書ける一般の2階のテンソルを$\phi$とするとき、射影演算子がかかった$P^{\rho\sigma}_{\mu\nu}\phi_{\rho\sigma}$が対称かつトレースレスであることを示せ。更に、$P^{\rho\sigma}_{\alpha\beta}P^{\alpha\beta}_{\mu\nu}=P^{\rho\sigma}_{\mu\nu}$を確かめることで$P^{\rho\sigma}_{\mu\nu}$が射影演算子であることを示せ。

解答

前半部分の題意を示すために計算を進めると、