tecktom.com

Dirac 代数と表示の選択

2026年10月15日5分で読めますAI生成教科書『基礎理論』第4部 第1章 Dirac 方程式の共変形式
目次
  1. Dirac 表示(標準表示)
  2. Weyl 表示(カイラル表示)
  3. 木下の層

AI 生成・木下が未勉強

場の量子論入門 第4部 第1章 §4.1.2 ★★★ 道具:Dirac 表示と Weyl 表示。物理は表示に依らない

定理4.1.1を満たす 4×44\times4 行列の組み方は一通りではない。実際、任意の可逆行列 UU に対し γμ→UγμU−1\gamma^\mu\to U\gamma^\mu U^{-1} はやはり同じ代数を満たす。逆に、既約な 4×44\times4 表現は互いにこの相似変換で移り合うことが知られている(Pauli の基本定理)。したがってどの表示を使っても物理は変わらない。実務では計算の見通しが良くなる表示を選ぶ。よく使う2つを挙げる。

Dirac 表示(標準表示)

非相対論極限が見やすい表示で、本書の既定である。2×22\times2 ブロックで

γ0=(100−1),γi=(0σi−σi0),γ5=(0110)(4.1.8)\gamma^0=\begin{pmatrix}\bm{1}&0\\0&-\bm{1}\end{pmatrix},\qquad \gamma^i=\begin{pmatrix}0&\sigma^i\\-\sigma^i&0\end{pmatrix},\qquad \gamma^5=\begin{pmatrix}0&\bm{1}\\\bm{1}&0\end{pmatrix}\tag{4.1.8}

(σi\sigma^i は Pauli 行列、γ5≡iγ0γ1γ2γ3\gamma^5\equiv\mathrm{i}\gamma^0\gamma^1\gamma^2\gamma^3)。γ0\gamma^0 が対角なので、静止した粒子(p=0\bm{p}=0)では上2成分と下2成分がきれいに分かれ、上が正エネルギー・下が負エネルギーに対応する。非相対論極限で下2成分が v/cv/c 倍に小さくなる「大成分・小成分」の議論(『量子力学入門』第13部 第3章)は、この表示で行った。

Weyl 表示(カイラル表示)

高エネルギー(質量が無視できる領域)で見やすい表示で、第6章で使う。

γ0=(0110),γi=(0σi−σi0),γ5=(−1001)(4.1.9)\gamma^0=\begin{pmatrix}0&\bm{1}\\\bm{1}&0\end{pmatrix},\qquad \gamma^i=\begin{pmatrix}0&\sigma^i\\-\sigma^i&0\end{pmatrix},\qquad \gamma^5=\begin{pmatrix}-\bm{1}&0\\0&\bm{1}\end{pmatrix}\tag{4.1.9}

この表示では γ5\gamma^5 が対角なので、上2成分と下2成分がそれぞれ確定したカイラリティ(第6章で定義する)をもつ。質量ゼロなら方程式が2成分ずつに分裂する。この部では、特に断らない限り Dirac 表示を使う。Weyl 表示を使う箇所では「ここでは Weyl 表示」と明記する。

散乱振幅の計算では、どちらの成分表示も使わずに済むことが多い。定理4.1.1とトレース定理(§1.5)だけで振幅の絶対値2乗が計算できてしまうからである。成分を書き下すのは、具体的なスピン状態のスピノルが要るとき(§2.5 のヘリシティ固有スピノルなど)に限るのがよい。

例題 1.1(Dirac 代数だけで示せる基本恒等式)

オリジナル{γμ, γν}=2ημν\left\{\gamma^\mu,\,\gamma^\nu\right\}=2\eta^{\mu\nu} だけを使って、次を示せ。a,ba,b は任意の4元ベクトル。

  1. a̸b̸+b̸a̸=2 a⋅b\not{a}\not{b}+\not{b}\not{a}=2\,a\cdot b、とくに a̸a̸=a2\not{a}\not{a}=a^2
  2. γμγμ=4\gamma^\mu\gamma_\mu=4
  3. γμa̸γμ=−2a̸\gamma^\mu\not{a}\gamma_\mu=-2\not{a}
  4. γμa̸b̸γμ=4 a⋅b\gamma^\mu\not{a}\not{b}\gamma_\mu=4\,a\cdot b
解答

(1) a̸b̸+b̸a̸=aμbν(γμγν+γνγμ)=aμbν⋅2ημν=2a⋅b\not{a}\not{b}+\not{b}\not{a}=a_\mu b_\nu(\gamma^\mu\gamma^\nu+\gamma^\nu\gamma^\mu) =a_\mu b_\nu\cdot2\eta^{\mu\nu}=2a\cdot b。b=ab=a とおけば 2a̸a̸=2a22\not{a}\not{a}=2a^2、すなわち a̸a̸=a2\not{a}\not{a}=a^2。

(2) γμγμ=12{γμ, γμ}=12⋅2ημνημν=η μμ=4\gamma^\mu\gamma_\mu=\tfrac12\left\{\gamma^\mu,\,\gamma_\mu\right\} =\tfrac12\cdot2\eta^{\mu\nu}\eta_{\mu\nu}=\eta^\mu_{\ \mu}=4(4次元だから4)。

(3) γμγν=2ημν−γνγμ\gamma^\mu\gamma^\nu=2\eta^{\mu\nu}-\gamma^\nu\gamma^\mu を使うと

γμγνγμ=(2ημν−γνγμ)γμ=2γν−γν(γμγμ)=2γν−4γν=−2γν.\gamma^\mu\gamma^\nu\gamma_\mu=(2\eta^{\mu\nu}-\gamma^\nu\gamma^\mu)\gamma_\mu =2\gamma^\nu-\gamma^\nu(\gamma^\mu\gamma_\mu)=2\gamma^\nu-4\gamma^\nu=-2\gamma^\nu.

aνa_\nu を掛けて γμa̸γμ=−2a̸\gamma^\mu\not{a}\gamma_\mu=-2\not{a}。

(4) (3) を2回使うとγμγνγργμ=2γργν−γν(γμγργμ)=2γργν+2γνγρ=4ηνρ\gamma^\mu\gamma^\nu\gamma^\rho\gamma_\mu =2\gamma^\rho\gamma^\nu-\gamma^\nu(\gamma^\mu\gamma^\rho\gamma_\mu) =2\gamma^\rho\gamma^\nu+2\gamma^\nu\gamma^\rho=4\eta^{\nu\rho}、最後に aνbρa_\nu b_\rho を掛けて 4a⋅b4a\cdot b。(検算 検算スクリプト:(2)(3)(4) の収縮公式を数値確認済み。)

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『基礎理論』の記事一覧へ