Casimir 作用素と群上のラプラシアン：普遍包絡環・Peter–Weyl 分解・Kogut–Susskind の色電場と熱核

0. この記事の要点

球の表面を動く粒子のエネルギーは、球面の「ラプラシアン」という微分作用素で決まります。回転をまとめた群（$SU(2)$ など）も、それ自体が曲がった空間とみなせて、同じ種類の作用素を考えられます。この記事では、その固有値が、回転の大きさを測る量（量子力学の $j(j+1)$ の一般化）にちょうど一致することを示します。読み終えると、格子ゲージ理論の電場のエネルギーと、群の上の熱の広がり方（熱核）を、表現ごとの数で書き下せるようになります。

• Lie 環 $\mathfrak g$ に $\mathrm{Ad}$ 不変な内積 $B$ を入れ、正規直交基底 $(X_a)$ で $\Omega=\sum_aX_aX_a$ と置くと、$\Omega$ は普遍包絡環 $U(\mathfrak g_{\mathbb C})$（Lie 環の元を、交換子が Lie 括弧になるように掛け算できる代数）の中心元で、基底の取り方によりません（2 次 Casimir 元）。
• 既約ユニタリ表現 $\pi$ の上で $d\pi(\Omega)=-C_2(\pi)\cdot1$ はスカラーで、$C_2(\pi)\ge0$ です。物理の生成子 $t^a_\pi$ では $C_2(\pi)1=\sum_at^a_\pi t^a_\pi$ です。
• $B(X,Y)=-2\,\mathrm{tr}(XY)$ と正規化すると、$SU(2)$ のスピン $j$ で $C_2=j(j+1)$、$SU(N)$ の基本表現で $C_2(F)=\frac{N^2-1}{2N}$、随伴表現で $C_2(\mathrm{Ad})=N$ です。
• $B$ から作った両側不変計量の Laplace–Beltrami 作用素 $\Delta_G$ は左不変ベクトル場の 2 乗和 $\sum_a\tilde X_a^2$ で、Peter–Weyl 分解の各成分 $M_\pi$ の上で $-\Delta_G=C_2(\pi)$ です。$-\Delta_G$ は $C^\infty(G)$ 上で本質的自己共役（物理的なエネルギー作用素として一通りに定まる）で、スペクトルは Casimir 値の集合です。
• 格子ゲージ理論の Kogut–Susskind ハミルトニアン（格子上のゲージ理論を量子力学の形で書いたエネルギー作用素）の色電場の 2 乗 $E^2$ は $L^2(G)$ 上の $-\Delta_G$ そのもので、熱核 $e^{t\Delta_G}$ の積分核は指標展開 $K_t=\sum_\pi d_\pi e^{-tC_2(\pi)}\chi_\pi$ をもちます。
• 計量の両側不変性を外すと（非対称コマ）、ラプラシアンは表現ごとのスカラーにならず、群が連結でないと $C_2=0$ でも非自明な表現が現れます。

この記事で使う事前知識

• ユニタリ表現: 群を、内積を保つ線形変換（ユニタリ行列）として表すこと。部分的に閉じた部分空間を持たないものが既約。→ ユニタリ表現・既約性
• Lie 環: 群の単位元の近くでの無限小の動きを集め、交換子 $[X,Y]$ を備えたもの。→ リー環
• 左不変ベクトル場: 群の各点で、左からの移動で互いに写り合うように選んだ接ベクトルの場。→ 左不変ベクトル場
• 指標: 表現の行列のトレースを群の関数として見たもの。→ 指標
• 類関数: 共役で移り合う元の上で同じ値をとる関数。→ 類関数
• Riemann 計量: 各点の接ベクトルに長さと角度を与える内積の場。→ Riemann 計量

1. 動機

前章の 指標と SU(2)・SU(N) の表現 では、$SU(2)$ の既約表現をスピン $j$ で分類しました。量子力学では $j$ は角運動量の大きさ $\boldsymbol J^2=j(j+1)$ として現れます。$\boldsymbol J^2=J_1^2+J_2^2+J_3^2$ は生成子の 2 次式で、すべての $J_a$ と可換なので既約表現の上では定数になります。これが Casimir 作用素の原型です。

格子ゲージ理論のハミルトニアン形式では、各リンクの Hilbert 空間は $L^2(G)$ で、色電場 $E^a$ はリンク変数を左右から無限小回転させる生成子です（定義 2.2［ハミルトニアン格子ゲージ理論と量子シミュレーション］）。運動エネルギー $\frac{g^2}{2a}\sum_\ell E^2_\ell$ の $E^2=\sum_aE^aE^a$ は、群多様体 $G$ の上の「自由粒子」のハミルトニアン、すなわち Laplace–Beltrami 作用素です。その固有関数が表現の行列成分で、固有値が Casimir の値であることを、この章で一般のコンパクト Lie 群について示します。強結合での質量ギャップ $\frac{g^2}{2a}\cdot4C_2(F)$ は、この事実の直接の帰結です。

さらに、熱方程式 $\partial_tu=\Delta_Gu$ の基本解（熱核）は、転送行列の核や「熱核作用」として格子ゲージ理論に現れます。熱核は類関数なので前章の指標展開が使え、展開係数は $e^{-tC_2(\pi)}$ という最も単純な形になります。

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン