わかる宇宙論番外編 ⑧ / 固定の話を、場の理論まで持ち上げる

第8回「iの曖昧さが力を生む」の上位版 ── なぜ「固定しない」ほうが勝てるのか

固定しない、が最強だった ヤン=ミルズ理論が成功したのは、「何も固定しない」記述を選んだから。
でも正確には ── 固定はする、対称性を壊さない固定を選ぶ。番外編③の逆から見た同じ教訓。

必要な道具:第8回のゲージ、番外編③④⑤ 記述の自由 ↔ 力学の硬さ

これまでの番外編は「単位・時間・エネルギー ── 何を固定するかは選択で、物理は無次元だけ」と積んできました。今回はこの発想を、20世紀物理の最大の武器ゲージ原理まで持ち上げます。ヤン=ミルズ理論がうまくいったのは、乱暴に言えば「何も固定しない座標系を選んだから」。この直感は7割正しく、残り3割を直すとさらに深くなる。第8回「局所化した瞬間、力が生まれる」を、今度は「なぜ固定しないほうが勝てるのか」の側から書き直します。

01逆説 ── 記述を自由にすると、力学が一意に縛られる

ヤン=ミルズの発想は、第8回でやった「位相の曖昧さを各点で自由に選び直していい(局所ゲージ不変)」を、電磁気の \(U(1)\) から非可換群 \(SU(2),SU(3)\) に広げたものです。ここで起きる逆説が、あなたの直感の正体です。

今回の核心(逆説)

記述の自由を残す(固定しない)ほど、力学のほうは硬く縛られる。
各点での自由な選び直しを要求すると、それを取りつくろう場(力)が強制的に生まれ、書ける項がごくわずかに絞られる。ヤン=ミルズのラグランジアンは実質 \(-\tfrac14 F^2\) 一本に決まってしまう。

自由パラメータがほとんど残らない=予言力が高い=式も短い。上(記述)を自由にすると、下(ダイナミクス)が一意になる。これが「固定しないと単純になる」の正体で、見た目の話ではなく、理論の形そのものが対称性に縛られて決まる、という深い事情です。「固定しない」は、実は「最大限に対称性で縛る」と同義でした。

02でも量子化では「何も固定しない」は不可能

ここが正確さの肝。ヤン=ミルズを実際に計算(量子化)しようとすると、固定しないと積分が発散して、光子・グルーオンの伝播関数すら定義できません。同じ物理の無限個のコピー(ゲージ軌道)を全部足してしまうから。だから必ずゲージ固定が要る(ファデーエフ=ポポフの処方、1967 ── その代償に“ゴースト”という補助場が湧く)。「何も固定しない」は、原理としては強力でも、操作としては成り立たないのです。

言い直し

「固定しない」が偉いのではない。“対称性が見えたまま”の固定を選び、対称性を消す固定はしないのが偉い。
固定を減らすことではなく、固定で対称性を壊さないことが勝ち筋。

03分かれ道 ── 共変ゲージ vs ユニタリゲージ

同じ「固定する」でも、二つの道で明暗が分かれます。何を露わにして、何を隠すかのトレードです。

固定のしかた露わになるもの隠れるもの/代償
共変ゲージ(ローレンツ型+ゴースト)繰り込み可能性が露わ。ローレンツ対称性も保つ。ゴーストという“見かけの場”が増える。物理の粒子だけ、には見えない。
ユニタリゲージ(不要な場を全部消す=最大限に固定)物理的な粒子だけが見えて気持ちいい(ユニタリ性が露わ)。式が高エネルギーで暴れ、繰り込み不能に“見えて”しまう

ヤン=ミルズが「使える理論」になった決め手は、’t Hooft と Veltman(1971)が共変ゲージを使い、対称性を露わに保ったまま繰り込み可能であることを証明したことでした。ユニタリゲージ(最大限に固定)だけを見ていたら、理論は「高エネルギーで壊れるダメな理論」に見えたまま埋もれていたかもしれない。いちばん大事な性質が露わになる固定を選び、余計に固定しすぎない ── これが勝ち筋の中身です。

図:固定の度合いと「式の複雑さ・脆さ」。固定が足りないと量子化できず、固定しすぎると対称性を壊して式が暴れる。谷(共変ゲージ域)がいちばん素直
◇ ◇ ◇

04「固定が多い=複雑」は単調じゃない ── 本当の失敗モード

ここで直感を一段修正します。反例があるのです ── ローレンツゲージ(電磁波が波動方程式になる)、クーロンゲージ(静電気が一発)、調和ゲージ(重力波が素直な波動方程式に)。賢い固定は、特定の問題をむしろ劇的に単純化する。だから「固定が多い=複雑」は一般には成り立たない。

本当の失敗モードは「固定の量」ではなく、固定してはいけない“不変の芯”を、固定で壊すこと。そしてこれ、番外編③のVSLと完全に同じ構図です。

同じ罪、二つの現場

VSL(番外編③):\(c,e,\hbar\) をバラバラに固定 → 守るべき不変量 \(\alpha\) をうっかり動かした → 詰み。
ユニタリゲージ的失敗:対称性を固定で消した → 繰り込み可能性が見えなくなった。
どちらも「固定しすぎた」のではなく、固定してはいけない芯(α/対称性)を、固定で壊した

逆に、成功例(共変ゲージ/④の α 不変ゲージ)は、芯(対称性・α)を聖域にして、残りの冗長な向きだけを自由に相対化した。番外編④で「等価を保つ鍵は \(c\) の動かし方ではなく \(\alpha\) を守れるか」と言ったことが、そっくりそのまま「勝つゲージ固定の条件」になっているのです。

05だから、シリーズの背骨=ゲージ原理だった

あなたがずっと言ってきた「絶対値は帳簿、守るべきは不変の比/構造」は、物理学の言葉ではゲージ原理そのものです。番外編②〜⑦が「単位・時間・エネルギーの動かし方」で見せたことを、ヤン=ミルズは「場そのものの各点での選び直し」でやっている。同じ一つの原理が、metrology の階層と、場の理論の階層で、同じ顔をしている。第8回で「iの曖昧さが力を生む」と言ったあの力は、まさに「固定しない自由」が生んだ子どもでした。

練習問題
  1. 「局所ゲージ不変を要求すると理論が単純になる」を、パラメータの言葉で言い直せ。
    答えを見る
    対称性が書ける項を強く絞り、自由パラメータをほとんど残さないから。パラメータが少ない=式が短く予言力が高い。記述の自由が、力学の一意性を生む。
  2. ヤン=ミルズの量子化で「何も固定しない」が文字どおりには不可能なのはなぜか。
    答えを見る
    同じ物理の無限個のコピー(ゲージ軌道)を全部足すことになり、経路積分が発散して伝播関数が定義できないから。ゲージ固定(ファデーエフ=ポポフ)が必要。
  3. VSLの失敗と、ユニタリゲージの見かけの破綻に共通する“罪”を一言で。
    答えを見る
    固定してはいけない不変の芯(VSLは α、ユニタリゲージは対称性)を、固定で壊したこと。固定の量ではなく、対象を取り違えたのが罪。
正直な線

「ヤン=ミルズは固定しないから勝った」は、直感としては正しいが、厳密には「対称性を露わに保つ固定を選んだから勝った」。共変ゲージのゴーストや、繰り込み・ユニタリ性の同時成立は、本来かなり技術的な話で、ここでは筋だけを描いています。図の“谷”の位置や高さは、固定のトレードを示す模式で、定量的な曲線ではありません。

また、ゲージ対称性は厳密には「対称性」というより記述の冗長性だ、という言い方もあります(物理的自由度を数えるときは冗長分を割り引く)。この見方でも結論は同じ ── 冗長性を消し去る固定は、隠れた構造まで消してしまう。

まとめ固定しないと単純、の正確な中身

ヤン=ミルズが強いのは、局所ゲージ不変(=各点で自由に選び直せる、固定しない)を要求すると、力(ゲージ場)が強制的に生まれ、理論の形がほぼ一意に決まるから。記述の自由が、力学の硬さ(少パラメータ・短い式・高い予言力)を生む。ただし量子化には固定が要り、勝ち筋は“対称性を露わにする固定を選び、不変の芯だけは絶対に固定で壊さない”こと。

「固定が多い=複雑」は単調ではない。賢い固定は問題を単純化する。本当の失敗は、固定してはいけない芯(α/対称性)を固定で壊すこと ── VSLの罪と、ユニタリゲージの見かけの破綻は、同じ罪だった。芯を聖域にして、冗長な向きだけ相対化する。番外編②以来の背骨は、物理の言葉ではゲージ原理そのものでした。

この文書は「わかる宇宙論」シリーズ番外編⑧、物理好きの高校生・大学生向け読み物です。非可換ゲージ理論(Yang–Mills, 1954)で局所ゲージ不変性がゲージ場と相互作用の形をほぼ一意に決めること、経路積分の量子化にゲージ固定(Faddeev–Popov, 1967)と共変ゲージでのゴーストが必要なこと、’t Hooft–Veltman(1971)が繰り込み可能性を示したこと、共変ゲージでは繰り込み可能性が、ユニタリゲージではユニタリ性が露わになるトレードがあることは、いずれも確立した内容です。ゲージ対称性を「記述の冗長性」と捉える立場も標準的です。図はトレードの模式で定量曲線ではありません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。画面ではスライダーで、固定のしすぎ・足りなさの谷が見えます。「答えを見る」で解答が開きます。