CKM行列を「形」として見る:六つの不変点とそれをつなぐ特異線が示す標準模型の幾何
この論文は、素粒子物理のクォーク混合行列(CKM行列)を「幾何学的な場所」として調べたものです。著者らはCKM行列を群の商で表される空間M(記号的には M = T\SU(3)/T、ここで T = U(1)×U(1))の元とみなし、その空間にリーマン計量を与えて調べました。するとMには点の特異点(孤立した例外点)と、これらの点をつなぐ線状の特異が存在することがわかりました。点の特異点は既知の「縮退群(RG: renormalization group)不変点」と一致します。重要な離散的構造として、Weyl群(SU(3)の対称群でS3)も現れ、6角形の頂点として現れます。
CKM行列は三世代のクォークが弱相互作用でどのように混ざるかを表す単位的行列です。行列は通常行列式が1になるよう取られ、SU(3)に属しますが、位相を変えるだけの自由度(物理に現れない位相)が左右にあるため、物理的に意味のあるパラメータは元の8個から4個に減ります。これが「左と右でTを割る(double coset)」という表現につながり、Mが物理的なCKM行列全体を表す4次元の空間になる理由です。ここにある1つの点が1つの物理的なCKM行列を意味します。
研究で行われたことは、まずこの空間Mに幾何学的な構造(リーマン計量)を入れ、SU(3)やその最大トーラスTの作用を調べることです。Tの作用は固定点を持ち、その固定点の集合がWeyl群Wに対応することが示されます。WはS3であり、固定点はちょうど6個で、幾何的には六角形の頂点をなします。著者らはこの数がAtyiah–Bottの固定点定理とも一致することを確認しています。さらに、滑らかな旗多様体(SU(3)/T)は良い多様体ですが、左と右で割ったMは固定点のため滑らかではなく、特異点を持つことが示されています。
この結果が重要な理由は、CKM行列という物理的対象を純粋に幾何学的に理解することで、縮退群(RG)に関する情報と結びつけられる点です。既往の解析では、標準模型のRG流に6個の不変点があり、それらはWeyl群を作ることが示されてきました。論文はその幾何的な起源を明らかにし、流れ(RG flow)が六角形の頂点間をどう移るかを考察します。流れの開始・終了は各頂点の反発・引力の性質(ヤコビ行列で決まる)に依存します。こうした幾何学的視点は、CP対称性の破れや世代間の混合に関する構造を新たな形で把握する助けになります。
注意点として、この抜粋にある結果のいくつかは仮定や既往の保証に依存しています。たとえば、RGの不変点が全ての摂動次数や非摂動でも不変であるという主張は、RGの流れがSU(3)上で持ち上がり(lift)Tの左作用と可換であるという仮定の下で成り立ちます。また、Mが滑らかでないことや線状特異の存在は解析を難しくします。本文はトポロジーの詳細や流れの力学的性質(どの頂点が引力的か反発的か)についてヤコビ行列に基づく議論をしており、完全な理解にはさらなる解析が必要です。なお原典のTeX抜粋は一部省略されている可能性があり、詳細は本文を参照する必要があります。