ここまでの話を俯瞰する
SU(3) が作り出す景色が何となく見えてきた.それで,今回はもう少し足場を固めておくことにしよう.SU(3) ではなく,SU(n) という一般的な状況でも通じるような形で理論を考えてゆく.
普通の教科書は風景が見え始める前にこれをやろうとするから,本当に暗中模索,五里霧中という感じになってしまうわけだ.すっきりとはまとまるけれども,読者にとってのハードルは高くなる.
最初のほうでユニタリ行列の自由度について数えたことがある.SU(n) では個分の自由度があるのだった.SU(3) の場合には 8 個分であり,それ故に 8 つの生成子が作られるのだった.
また,少し前の話で「群のランク」について話したことがある.ランクがだというのは,個の生成子のうちのある個についてはどれを選んでも可換な行列になっているということである.それらをと表し,「カルタン部分代数」と呼ぶのであった.これらの行列の固有値がそれぞれ種類のウェイトを意味するのである.
証明はしなかったが,SU(n) では種類のウェイトが存在するという話はすでにした.SU(3) ではランクが 2 だから,2 種類のウェイトをとで表すことになり,ウェイト図も 2 次元平面で表されたのであった.
個の生成子のうちの個がカルタン部分代数だというので,残りの個の行列については互いに可換だとは言い切れないことになる.それらの行列の線形結合によって, という関係が成り立つような個の行列を何とか作り出してやる.これをやるにはある種の技巧が必要というか,腕の見せ所だ.前回はこののことを「昇降演算子」と呼んでいたのだった.なぜこの関係が必要なのかは後で話そう.
このような関係が必ず作れるという保証があるのかと気になるかも知れないが,今の目的から考えると話は逆であって,心配は要らない.まず (1) 式のような条件を仮定した上での具体的な行列の形を探してやり,それを後から生成子を組み合わせた線形和として表してやればいいのである.
保証があるかについては話が少し長くなるので省略しよう.『群と表現 (理工系の基礎数学 9)』という教科書の p.146 に載っている.
(1) 式のエルミート共役を取ってみよう.生成子はエルミート行列であったので,当然も生成子の一つであり,エルミート行列である.このことを使うと次のようになる. この結果を (1) 式と見比べての意味を考えてみてほしい.どうやらはとしての性質を持つようだ. なるほど,確かに SU(2) では上昇演算子のエルミート共役が下降演算子になっていたし,SU(3) に関する前回までの話でも,ある昇降演算子のエルミート共役は,ウェイトを逆方向へ動かす演算子になっていた.
これまで昇降演算子の定義が天下り的に与えられていたが,その根拠が体系的にまとめられて,必然性が見えてきた気がする.
前回の式の証明
では (1) 式を使って,前回活躍した二つの式を証明してみよう.次のような関係式である. (3) 式はの場合に成り立つ関係だということだった.本当はこれらの式の証明は前回の話の中でやるつもりだったのだが,話が長くなりすぎて後回しになっていたのだった.
前から度々出て来ているが,「ヤコビの恒等式」という常に成り立っている関係式がある. この,,の代わりに,それぞれ,,を当てはめることにする. ここで (1) 式を使って変形をしてみる. こうして導かれた (4) 式を (1) 式と比較してみよう.似た形式になっているだろう.(4) 式の中に出てくるというひとかたまり,それ自体が,昇降演算子と同じ働きを持っていることが読み取れる.しかしを定数倍しても (4) 式は成り立つから,これはそのものだとは言い切れない.というものがもし存在しているとすれば,(1) 式を考えながら作った個の演算子のどれかとして既に存在しているものであろう.だから,何らかの定数倍だけ異なる次のような関係になっているはずだ. この定数は幾つであるかは分からないが,との組み合わせによって違うだろうからではなくてとでも書いておくのがいいだろう.こうして (3) 式が導かれたことになる.
もし (1) 式を考えながら作った個の演算子の中にに該当するものがない場合には,としておかないと話が矛盾してしまう. つまり,がルートベクトルでない場合にはである.
さて,(2) 式はどうやって導いたらいいだろうか?(4) 式でだったらどうなるかを考えてみるといい.(4) 式の右辺は 0 になり, という式が成り立っているだろう.つまり,はと可換な行列であり,それは最初の方で話した個のカルタン部分代数のうちのどれかであることを意味する.いや,それらを組み合わせたものである可能性もある.だから次のように表せるだろう. は何らかの定数である.しかしこの式は (2) 式とはまだ少し違っている.どうしたら (2) 式が証明できるだろうか.
ここで少し前のゲルマン行列を紹介した記事で「行列の規格直交化」という奇妙な概念を使ったのを思い出して欲しい.それは構造定数を完全反対称にするために技巧的に用いたもので,生成子どうしの間に次のような関係があるという条件を追加したのだった. この右辺の 2 はゲルマン行列に合わせてそうしただけであるから,何か定数であればいい.このような条件をここでも採用しているということにしておこう.というのは生成子の一つであるから, という関係が成り立っていると考えられるわけだ.さらにこれとは別に,昇降演算子どうしの間に次のような関係があるという条件を人為的に追加することにする. このような条件を勝手に入れてしまってもいいのだろうかと心配になるが,実は前回の話もこの条件の下で成り立つ (2) 式を前提にしてルート図を描いていたのだった.昇降演算子というのは今のところはルート図を描くための道具に過ぎなくて,それが使いやすくなるように条件を付けただけである.その条件のあるなしによってルート図上に配置されている状態の構造が影響を受けるわけではない.今の目的は何とかして色んな次数の生成子についての具体的な行列表現を探し尽くすことであり,その途中経過として導くことになるがこの条件を満たすような形で得られるというだけの話である.
実は少し前の記事でゲルマン行列を使って初めて昇降演算子を天下り的に定義した時には,係数の調整などは些細な問題だとしてこの条件をキッチリ守っていなかったことを告白しておこう.こういういい加減なことをしていると後で係数が合わなくて苦しむことになるのだろうが,そこまで具体的にやるつもりはないので大雑把に話を進めても大丈夫だろう.今の自分は,例えば「表現の具体的な行列」なんてものを求めてみたいわけではないのだ.それって,15×15 の成分を持つ 8 個の行列だよ?!そういういかにも面倒くさそうな記事を書く気力はない.
ではこれらの条件を採用して (2) 式の証明を終わらせよう.(6) 式の両辺にを掛けて,トレースを取ってみる. こうして (6) 式は と書けることになるが,SU(3) の場合はなので (2) 式のように書いてもいいというわけだ.こうして前回からの宿題が一つ解決した.
係数を求める
ところで,(3) 式で使っている係数の求め方が気にならないだろうか?これについては前回の記事中で「ちゃんと求めるための方法があるが」などと言いつつも説明を避けていたのだった.
これは前回の記事でやったのと似た手法で計算できるし,これを考える過程でルートベクトルについての性質が見えてくるので,そろそろ取り組んでみてもいい頃だと思うのである.
ただその前に,の基本的な性質を導くための面倒な話に耐えなければならない.まず,(3) 式の両辺のエルミート共役をとってみよう. この結果を (3) 式と見比べてみると,の添字の符号の反転に関して次のような関係が成り立っていることが導ける. また,(3) 式のとの入れ替えを行うと, となるので,これを (3) 式と見比べれてみれば,の添字の入れ替えに関する次の関係も言える. 面倒な準備作業はもう少し続く.先ほども出て来た「ヤコビの恒等式」に,,を代入してみよう. このカッコの中身が 0 にならないといけないので,次の二つの関係式が得られる. とは言うものの,この (9) 式と (10) 式は (8) 式を使って一方から他方が導けるのでどちらか片方があればいい.これで準備が終わりだ.そろそろ本題に入ろう.
もう一度「ヤコビの恒等式」を使うことにする.今度は,,を代入してみよう. そしてここからは,先ほど求めた性質を使って変形してゆく.大して工夫の要るようなことはしていない. この最終結果は面白いことになっている.これは漸化式であり,が分かればが分かるようになっているのである.
もともとこの係数というのは (3) 式の中で使われるものであり,あるルートベクトルと別のルートベクトルの和が,それら以外のルートベクトルになっている可能性を意味するものであった.この係数が 0 ならば,そのようなルートベクトルは存在していない.例えばもまたルートベクトルであるとするならそれととを使って作られるも,さらに同様にして作られるもルートベクトルになっている可能性がある.
もちろんルートベクトルは有限個であろうから,係数を調べていくとどこかで 0 になる瞬間が訪れるだろう.例えばまでは存在していたが,は存在しなかったとすると,という形で表される.これを (11) 式の左辺第 2 項だと見立てて式を使えば, という形でが求まる.これを繰り返して,次のような式を次々と使ってゆくことになるだろう. これはからまでは存在しているという仮定をした上での計算である.前回の話ととても似ているだろう.同じことをこれから考えてみる.これら全ての式を足し合わせてみるのだ.左辺は全部打ち消し合って消えてしまうだろう. もも 0 以上の整数という設定なので,の部分は決して 0 になることはなくて, という関係式が得られる.
これから面白い話に突入するわけだが,元々の問題ははどう表わされるのかというものだった.とりあえずこれを先に解決させておこう.
先ほどの多数の漸化式を上から順に解きながら代入を繰り返していくことで一般的な形がどうなるかを導くことができる.具体的には次のような感じになるだろう. これでは左辺の添字がごちゃごちゃしているので扱いにくい.せめてという形にしてまとめたい.そこでと書き直してやることにしよう.つまり,を代入してやればいい. これに (12) 式を代入すれば,もっとすっきりした形にできる. 係数の絶対値の形で表されているが,この係数が実数になるように昇降演算子を軽く調整し直してやればいいだけなのでこれで問題はない.本当はじっくり考えた方がいいのかもしれないが,今は軽く流そう.
再びワイル鏡映
前回話したワイル鏡映と同じ話がここでもできる.からまではルートベクトルとして存在しているという仮定だったから, と表されるベクトルはその中に含まれており,確実に存在している.これに (12) 式を代入してやると と書くことが出来て・・・.前回の説明をもう一度見てもらった方が早いだろう.全く同じ理屈がルートベクトル自体にも成り立っているのである.すなわち,あるルートベクトルに垂直な面を鏡面だと考えて,別のルートベクトルを反転させたようなものが,ルートベクトルとして確実に存在しているのである.これもまた「ワイル鏡映」と呼ばれている.
自分自身も鏡映されるので,必ず正反対の向きのルートベクトルが存在していることになる.ルートベクトルが 1 次元しかない SU(2) の場合でさえそうであった.
ルートベクトルの数は有限個なので,このように互いに位置を制約する条件があれば,その配置は極めて限定されたものになるだろう.SU(3) のウェイト図が三角形を基本とした対称的な配置になっているのはそのような事情であることが分かる.
数学というのはとても奇妙だ.このように苦労して導き出した条件を守るような配置が,最初からごく当たり前のことのように成立しているだなんて.特殊な条件を人間に見出されてしまったから仕方なく従っておくことにしようか,というわけではないのだ.
ルートベクトルの成す角
ルートベクトルの配置に関してはさらに面白い条件が成り立っている.二つのルートベクトルの成す角度について考えてみよう.内積というのは,次のように表せるのだった. これを変形して次のように書ける. ここに (12) 式を当てはめてみたい.しかしその前に,(12) 式のの部分は整数だから,それをと置いてやり,次のように表しておこう. さらにこの関係はとを入れ替えても成り立つものなので,別の整数を使って次のようにも表せる. これらを (13) 式に使ってやると となる.というのはであるはずだから,二つの整数の積として許される値の可能性は 0,1,2,3,4 のいずれかでしかない.自ずとルートベクトルどうしの成す角は限定されてくるだろう.
0 | 1 | 2 | 3 | 4 | |
90° | 60°, 120° | 45°, 135° | 30°, 150° | 0°, 180° |
ここで前回の「単純ルート」の概念を思い出してみよう.単純ルートというのは,正ルートのうち,他の正ルートに正の係数をかけて作った線形和で表せないようなもののことだった.ここでとの両方が単純ルートの場合を考えてみると,それらどうしの成す角についてはさらに制約がかかっていて面白い.
まず,で表されるベクトルは決してルートベクトルではないことが分かる.なぜならと変形できるから,もしが正ルートならは仮定に反して単純ルートではないことになってしまうし,もしが負ルートなら今度はと変形してみれば,は正ルートだから,は仮定に反して単純ルートではないことになってしまう.
(12) 式を作った時の仮定は,からまでは存在しているというものだったが,今回はですら存在していないのだから,であろう.そこで (12) 式は となる.つまり,との内積は 0 以下であり,それらの成す角は 90°以上であろう.先ほどの表から 90°未満のものを消し去ることができるし,180°というのも独立なベクトルの位置関係ではないので単純ルートとは言えず,除外して構わない.
0 | 1 | 2 | 3 | |
90° | 120° | 135° | 150° |
SU(n) のがどれだけ大きくなろうとも,つまりウェイト図が高次元の空間で表されることになろうとも,単純ベクトルどうしの角度についてはこのような限定された条件に縛られてしまうあたりが不思議で面白い.
ディンキン図
SU(3) の理解にはあまり必要ではないのだが,ここまで話したのだから,豆知識的にもう少しだけ話しておこう.
(14) 式と (15) 式を組み合わせると次のような式が出来る. これは二つのベクトルの長さの比を意味しており,それがとで決まってしまうというのだ.とはベクトルの成す角も決めていたのだから,ベクトルの成す角とベクトルの長さの比は関係しているのではないだろうか.実際,次のようになっている.
0 | 1 | 2 | 3 | |
90° | 120° | 135° | 150° | |
比 | 決まらず | 1 |
とのどちらが長いかは状況次第だが,比はこのように決まる.
それで,単純ベクトルの数と,それらの間の角度や大小関係を図形的に表すことで群の種類を分類する工夫が行われることになった.単純ベクトルの数だけ小さな○を描き,その一つ一つが単純ベクトルを表す.それらの関係が 120°の時はその○と○を一本線で結び,135°の時は二本線で結び,150°の時は三本線で結ぶ.90°の時は線を引かない.そして二本線と三本線の時は,その線の上に不等号を描いてどちらのベクトルが長いかを表すことにする.このようなものを「ディンキン図」あるいは「ディンキン図形」と呼ぶ.
実際にどのような図形になるかは検索でもして探してみてほしい.今の解説の関心は SU(3) の理解に集中しており,様々な群を分類することには深入りしないでおく.
根が張るように広がっているイメージかもしれないな。
(追記)なんか、違うらしいですよ。