tecktom.com

大域的な位相の自由度と Noether 電荷

2026年10月15日5分で読めますAI生成教科書『基礎理論』第5部 第1章 局所ゲージ不変性とゲージ場

AI 生成・木下が未勉強

場の量子論入門 第5部 第1章 §5.1.1 ★★★ 出発点。保存カレントが後で結合の相手になる

『量子力学入門』の第5部「電磁場中の荷電粒子とゲージ」では、電磁ポテンシャル AμA_\mu を外から与え、荷電粒子の Hamiltonian に p^→p^−qA\hat{\bm{p}}\to\hat{\bm{p}}-q\bm{A} という置き換え(極小結合)で組み込んだ。そこでは、ゲージ変換 A→A+∇χ\bm{A}\to\bm{A}+\nabla\chi に伴って波動関数が位相 eiqχ\mathrm{e}^{\mathrm{i} q\chi} を獲得すること、その位相が Aharonov–Bohm 効果として干渉縞のずれに現れることを見た。論理の向きは「電磁場が先にあり、量子力学の波動関数がそれに合わせて位相を変える」であった。

本章では論理を逆向きに辿る。出発点は電磁場ではなく、自由な Dirac 場が持つ位相の任意性である。この任意性を時空の各点で独立に使ってよいと要求すると、Lagrangian 密度はそのままでは不変でなくなり、破れを埋め合わせるためにベクトル場を1つ導入することが強制される。導入された場の変換則・運動項の形・質量を持てないことが、すべて要求から決まる。結果として現れるのは電磁場そのものであり、相互作用の形まで対称性が指定する。この論法をゲージ原理と呼ぶ。

自由 Dirac 場の Lagrangian 密度は

L0=ψˉ(iγμ∂μ−m)ψ=ψˉ(i∂̸−m)ψ\mathcal{L}_0=\bar\psi \bigl(\mathrm{i}\gamma^\mu\partial_{\mu}-m\bigr)\psi=\bar\psi \bigl(\mathrm{i}\not\partial-m\bigr)\psi

である(第4部 第1章)。ここで ψˉ=ψ†γ0\bar\psi =\psi^\dagger\gamma^0 である。この L0\mathcal{L}_0 は、定数 α\alpha を用いた位相変換

ψ(x) ⟶ e−iαψ(x),ψˉ(x) ⟶ e+iαψˉ(x)\psi(x)\ \longrightarrow\ \mathrm{e}^{-\mathrm{i}\alpha}\psi(x),\qquad \bar\psi (x)\ \longrightarrow\ \mathrm{e}^{+\mathrm{i}\alpha}\bar\psi (x)

で不変である。ψ\psi と ψˉ\bar\psi の位相が逆符号で現れ、L0\mathcal{L}_0 の各項が ψˉ⋯ψ\bar\psi \cdots\psi の形をしているので、位相因子が相殺するからである。位相因子 e−iα\mathrm{e}^{-\mathrm{i}\alpha} の全体は絶対値1の複素数の集合であり、群として U(1)U(1) をなす。α\alpha が時空の点によらない定数であることを強調して、この対称性を大域的 U(1)U(1) 対称性(global U(1)U(1) symmetry)と呼ぶ。「大域的」とは、宇宙のどの点でも同じ量だけ位相を回す、という意味である。

連続対称性には保存カレントが対応する(Noether の定理。第1部 第4章)。この場合のカレントは

jμ=ψˉγμψ,∂μjμ=0,Q=∫ ⁣d3x j0=∫ ⁣d3x ψ†ψj^\mu=\bar\psi \gamma^\mu\psi,\qquad \partial_{\mu} j^\mu=0,\qquad Q=\int\!\mathrm{d}^3x\,j^0=\int\!\mathrm{d}^3x\,\psi^\dagger\psi

であり、QQ は場の量子化の後には「粒子数から反粒子数を引いたもの」を数える演算子になる(第4部 第2章)。電荷を測るのはこの QQ に電気素量を掛けたものである。

例題 1.1(Dirac 場の Noether カレント ★★★)

オリジナル自由 Dirac 場の大域的 U(1)U(1) 対称性に対応する Noether カレントが jμ=ψˉγμψj^\mu=\bar\psi \gamma^\mu\psi で与えられること、および Dirac 方程式を用いると ∂μjμ=0\partial_{\mu} j^\mu=0 が成り立つことを示せ。

解答

Noether の定理は、場 ϕa\phi_a の無限小変換 ϕa→ϕa+ϵ δϕa\phi_a\to\phi_a+\epsilon\,\delta\phi_a が L\mathcal{L} を不変に保つとき、

jμ=∑a∂L∂(∂μϕa) δϕaj^\mu=\sum_a\frac{\partial\mathcal{L}}{\partial(\partial_{\mu}\phi_a)}\,\delta\phi_a

が保存することを主張する。いまの場合、独立な場は ψ\psi と ψˉ\bar\psi の2つであり、微小変換は α=ϵ\alpha=\epsilon の1次で

δψ=−iψ,δψˉ=+iψˉ\delta\psi=-\mathrm{i}\psi,\qquad \delta\bar\psi =+\mathrm{i}\bar\psi

である。L0=ψˉ(iγμ∂μ−m)ψ\mathcal{L}_0=\bar\psi (\mathrm{i}\gamma^\mu\partial_{\mu}-m)\psi は ∂μψˉ\partial_{\mu}\bar\psi を含まないので、∂L0/∂(∂μψˉ)=0\partial\mathcal{L}_0/\partial(\partial_{\mu}\bar\psi )=0 であり、ψˉ\bar\psi からの寄与はない。ψ\psi については∂L0/∂(∂μψ)=iψˉγμ\partial\mathcal{L}_0/\partial(\partial_{\mu}\psi)=\mathrm{i}\bar\psi \gamma^\mu だから

jμ=iψˉγμ⋅(−iψ)=ψˉγμψj^\mu=\mathrm{i}\bar\psi \gamma^\mu\cdot(-\mathrm{i}\psi)=\bar\psi \gamma^\mu\psi

となる(全体の定数倍は規約で、ここでは j0=ψ†ψj^0=\psi^\dagger\psi が正定値になるように取った)。

保存則を直接確かめる。Dirac 方程式 iγμ∂μψ=mψ\mathrm{i}\gamma^\mu\partial_{\mu}\psi=m\psi と、その Dirac 共役−i ∂μψˉ γμ=mψˉ-\mathrm{i}\,\partial_{\mu}\bar\psi \,\gamma^\mu=m\bar\psi を使うと

∂μjμ=(∂μψˉ)γμψ+ψˉγμ(∂μψ)=(imψˉ)ψ+ψˉ(−imψ)=0.\partial_{\mu} j^\mu=(\partial_{\mu}\bar\psi )\gamma^\mu\psi+\bar\psi \gamma^\mu(\partial_{\mu}\psi) =\bigl(\mathrm{i} m\bar\psi \bigr)\psi+\bar\psi \bigl(-\mathrm{i} m\psi\bigr)=0 .

第1項では ∂μψˉ γμ=imψˉ\partial_{\mu}\bar\psi \,\gamma^\mu=\mathrm{i} m\bar\psi を、第2項では γμ∂μψ=−imψ\gamma^\mu\partial_{\mu}\psi=-\mathrm{i} m\psi を用いた。運動方程式を使ってはじめて保存が言える点に注意する。Noether カレントの保存は「解の上で」の主張である。■\blacksquare

木下の勉強ステータス

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

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

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