SU(2)群とsu(2)代数の表現論（その３）〜ボソン演算子の導入〜

以前の記事
adhara.hatenadiary.jp
ではSU(2)群の既約ユニタリ表現を紹介した。
そこでは複素係数二変数斉次多項式空間がSU(2)の表現により既約分解されること、各次数の部分空間が既約部分空間なっていること、がわかった。

本記事は各部分空間を結びつける演算子＝ボソン演算子を導入することを目的としている。
このようなボソン演算子を導入することは、Jordan-Schwingerのbosonaization（ボソン化）と呼ばれる。
ボソン演算子の成す代数は一般にHeisenberg代数と呼ばれる。

記事の構成は以下のようになっている。

SU(2)群の既約ユニタリ表現に関するおさらい
ボソン演算子の構成

本記事を書くにあたり、B. G. Wybourne, "Continuous Symmeties in Physics"を主に参考にした。

SU(2) 群とsu(2) 代数の表現論(その3).pdf - Google ドライブ

まとめ

本記事では、二つのボソン生成演算子を用いることでSU(2)のユニタリ表現を表わせること、を紹介した。
ボソン生成演算子の実態は、(例えば)多項式中の変数であるz1とz2のことである。
すべてのユニタリ表現が生成演算子により表示できるのは、定数関数に変数z1やz2を掛け算して線形結合をとって行くと各次数の斉次多項式を生成できる、という多項式環的には当たり前の事実に対応している。

二次元調和振動子との関係性についても触れておこう。
二次元の調和振動子の問題も同様にボソン演算子二つを用いて考えることができる。
(むしろボソン演算子が出てくる例で思いつきやすいのはこちらかもしれない。)
二次元調和振動子とSU(2)のユニタリ表現には似た代数構造が仕込まれているということである。

今後の展望

今回導入したようなボソン生成演算子を用いたSU(2)のユニタリ表現の応用例として、水素原子の全束縛状態の表現がある。
これについて取り扱う記事を準備している。

一方、水素の束縛状態を生成演算子により構成する過程で、リー群SO(4,2)が登場することが「発見」できる。
この群は力学的群（dynamical group）と呼ばれ、力学的対称性（dynamical symmetry）を記述する群SO(4)では記述できなかった、各エネルギー状態間の状態遷移を記述する演算子を対応するリー代数の元として自然に含むリー群である。
こちらについても記事を準備している。

もう一つ興味深い数理物理的構造として、水素原子と四次元調和振動子の対応関係がある。
水素原子も四次元の調和振動子もその束縛状態を四種類のボソン生成演算子を用いて表示できる。
この関係性に着目して水素原子の問題を四次元の調和振動子の問題に置き換えることができる。
この置き換えの数学的手続きをKustaanheimo-Stiefel変換と呼ぶが、この変換は水素原子の問題を経路積分で解く際に用いられたり、一般コヒーレント状態という量子状態を構成するのに用いられたりする。
このあたりの話題も多くの数学的準備の記事と合わせて、書いていきたいと考えている。