Super Yang–MillsではYang–Mills質量ギャップ問題は解けるのか？

4次元のYang–Mills理論を厳密に構成し、そのスペクトルに正の質量ギャップが存在することを示せ――これは、Clay Mathematics Institute が掲げるミレニアム懸賞問題の一つである。物理ではYang–Mills理論は素粒子論の基礎にあるが、数学的には4次元で非自明な量子Yang–Mills理論を厳密に構成すること自体が未解決であり、さらに最も軽い励起の質量がゼロから正に離れていること、すなわち質量ギャップの存在も証明されていない。Clayの公式説明でも、実験や数値計算は質量ギャップを示唆しているが、理論的証明は知られていない、とされている。

では、超対称性を加えた Super Yang–Mills theory、つまりSYMでは、この問題は解けるのだろうか。

結論を先に言えば、SYMで分かることは非常に多いが、それだけでClayの4次元pure Yang–Mills質量ギャップ問題が解けたことにはならない。SYMは、閉じ込めや質量ギャップの機構を理解するための非常に優れた理論的実験場である。しかし、Clay問題が求めているのは、物質場を含まない4次元のpure Yang–Mills理論を数学的に厳密に構成し、正の質量ギャップを証明することであり、Super Yang–Millsはそれとは別の理論である。

1. Clay問題が求めているもの

Yang–Mills理論の古典作用は、模式的には

$$
S = \frac{1}{4g^2}\int_{\mathbb{R}^4} \mathrm{Tr}, F_{\mu\nu}F^{\mu\nu}
$$

と書かれる。ここで $${F_{\mu\nu}}$$ は非可換ゲージ場の曲率であり、ゲージ群 G はコンパクト単純群である。Clay/Jaffe–Wittenの定式化では、任意のコンパクト単純ゲージ群 G に対して、4次元時空上の非自明な量子Yang–Mills理論を構成し、質量ギャップ

$$
\Delta > 0
$$

を示すことが求められる。

ここで重要なのは、単に「物理的にもっともらしい説明」を与えるだけでは不十分だという点である。求められているのは、量子場理論としての厳密な存在であり、標準的にはWightman公理、あるいはユークリッド場の理論からOsterwalder–Schrader型の条件を経由して再構成されるような、構成的場の理論としての厳密性である。Jaffe–Wittenの問題文も、4次元量子ゲージ理論の数学的定義そのものが未完成であることを強調している。

物理的には、pure Yang–Millsでは閉じ込めが起こり、自由なグルーオンは観測されず、代わりにglueballのようなcolor singlet の励起だけが現れると期待されている。このとき、最も軽いglueballの質量が正であれば、スペクトルには真空と励起状態の間に有限のギャップ、すなわち質量ギャップがあることになる。Clayの説明でも、古典的には質量を持たない波が、量子論では正の質量を持つ励起として現れることが、この問題の本質として述べられている。

2. Super Yang–Millsを考える理由

Super Yang–Mills理論では、通常のYang–Mills場に加えて、ゲージ場と超対称変換で結びついたフェルミオン、場合によってはスカラー場が現れる。超対称性は非常に強い制約を課すため、通常の非超対称Yang–Mills理論では手が届かない非摂動的情報が得られることがある。

たとえば、真空構造、異常、BPS状態、双対性、ホロモルフィー、gaugino condensateなどは、超対称理論において特に強力な手がかりとなる。Seiberg–Witten理論では、4次元$${\mathcal N=2}$$  超対称Yang–Mills理論の低エネルギー有効理論が非常に精密に決定され、強結合領域の物理を弱結合の磁気的変数で記述することが可能になった。

つまりSYMは、「質量ギャップとは何か」「閉じ込めはどのように起こるのか」「非摂動効果はどのように見えるのか」を考える上で、通常のYang–Mills理論よりもはるかに見通しのよい模型である。

しかし、ここで注意すべきことがある。見通しがよいことと、Clay問題を解いたことは同じではない。

3. $${\mathcal N=4}$$ SYM：美しいが、ギャップレス

最も対称性の高い4次元Super Yang–Mills理論が、$${\mathcal N=4}$$ SYMである。この理論はAdS/CFT対応の代表例としても有名であり、Maldacenaの論文では 4次元 $${\mathcal N=4}$$ super-Yang–Mills が共形点にある理論として現れ、AdS空間上の重力理論と対応すると提案された。

しかし、Clay問題との関係で見ると、未変形の $${\mathcal N=4}$$ SYMはむしろ質量ギャップを持たない理論である。なぜなら、この理論は超共形場理論であり、固有の質量スケールを持たないからである。質量ギャップとは、真空と最初の励起状態の間に正のエネルギー差があることを意味するが、共形不変な理論では通常、そのような固定された質量スケールは存在しない。

もちろん、Coulomb branch上の真空を選んだり、質量変形を加えたり、有限体積に置いたりすれば話は変わる。しかし、それらは未変形の4次元 $${\mathcal N=4}$$ SYMとは別の理論、あるいは別の状況である。したがって、$${\mathcal N=4}$$ SYMは非常に深い構造を持つものの、Clay型の質量ギャップ問題を直接解く候補ではない。

4. $${\mathcal N=2}$$ SYM：厳密に分かるが、未変形ではギャップ付きではない

次に $${\mathcal N=2}$$ SYMを考える。SeibergとWittenは、4次元 SU(2) の $${\mathcal N=2}$$ 超対称Yang–Mills理論について、真空構造、dyonスペクトル、低エネルギー有効理論を精密に記述した。彼らの論文では、強結合の真空が磁気単極子の弱結合理論として記述され、適切な摂動を加えるとmonopole condensationにより閉じ込めが生じることが示されている。

これは、量子場理論における非摂動的理解の歴史の中でも非常に重要な成果である。特に、「閉じ込め」を単なる言葉ではなく、磁気単極子の凝縮という具体的な機構として記述できる点が美しい。

しかし、未変形のpure $${\mathcal N=2}$$ SYMそのものは、Clay問題が求めるようなギャップ付き理論ではない。Coulomb branch上の一般点では、低エネルギーにAbelianなゲージ場が残り、質量ゼロの光子に相当する自由度が存在する。また特異点では、monopoleやdyonが質量ゼロになる。したがって、未変形の $${\mathcal N=2}$$ SYMは、むしろギャップレスな構造を持っている。

ただし、$${\mathcal N=2}$$ 理論に質量摂動を加えて $${\mathcal N=1}$$ に落とすと、monopole condensationによる閉じ込めが現れる。この意味で、$${\mathcal N=2}$$ SYMは、閉じ込めや質量ギャップの機構を理解するための非常に重要な理論的足場である。

5. $${\mathcal N=1}$$ pure SYM：Clay問題に最も近い超対称模型

Clay問題との関係で最も近いのは、4次元 $${\mathcal N=1}$$ pure SYMである。この理論は、通常のYang–Mills場に加えて、随伴表現のMajoranaフェルミオン、すなわちgluinoを含む。通常のpure Yang–Millsに「最小限の超対称パートナー」を加えた理論と考えることができる。

物理的には、$${\mathcal N=1}$$ pure SYMでは、閉じ込め、gaugino condensate、離散的カイラル対称性の破れ、複数の真空、そして質量ギャップが期待されている。特に SU(N) の場合、離散的カイラル対称性の破れにより N 個の真空が現れると理解され、より一般の単純ゲージ群では双対Coxeter数に関係する真空構造が現れる。

この理論は、pure Yang–Millsにかなり近い。gluinoに大きな質量を与えて超対称性を破れば、低エネルギーでは通常のpure Yang–Millsに近づくと考えられる。そのため、$${\mathcal N=1}$$ SYMで閉じ込めや質量ギャップを理解することは、非超対称Yang–Millsを理解するための有力な手がかりになる。

しかし、それでもなお、$${\mathcal N=1}$$ SYMはClay問題そのものではない。Clay問題は、フェルミオンを含まない4次元pure Yang–Mills理論の厳密構成と質量ギャップを求めている。SYMで物理的証拠が非常に強いとしても、それをもってClay問題の証明とすることはできない。

6. $${\mathbb{R}^3\times S^1}$$ 上では何が分かるのか

近年の重要な進展として、Yang–Mills型理論を

$$
\mathbb{R}^3 \times S^1
$$

上に置き、円周 $${S^1}$$ の半径を小さくすることで、非摂動効果を半古典的に解析するアプローチがある。特に周期的フェルミオン境界条件を課し、center symmetryが保たれる条件のもとでは、小半径領域でも閉じ込めや質量ギャップに関する解析が可能になる場合がある。Ünsalの研究では、小さな $${S^1\times\mathbb{R}^3}$$ 上のQCD-like理論や $${\mathcal N=1}$$ SYMにおいて、magnetic bionと呼ばれる複合的な非摂動励起が閉じ込めと質量ギャップ生成に重要な役割を果たすことが示されている。

magnetic bionとは、単純なinstantonやmonopoleそのものではなく、磁気的に荷電した複合励起である。Ünsalの論文では、BPS monopoleとKK anti-monopoleからなる、トポロジカル電荷がゼロの分子状励起として構成され、これが凝縮することでゲージセクターに質量ギャップを生み、閉じ込めを引き起こす機構が議論されている。

さらにPoppitzとÜnsalは、$${\mathcal N=2}$$ Seiberg–Witten理論とその $${\mathcal N=1}$$ 質量摂動を $${S^1\times\mathbb{R}^3}$$ 上で調べ、大きな $${S^1}$$ 半径でのmonopole/dyon condensationによる閉じ込めと、小さな $${S^1}$$ 半径でのmagnetic bionによる閉じ込めが連続的につながることを示した。

これは非常に示唆的である。なぜなら、半古典的に制御できる小半径領域で閉じ込めと質量ギャップが見え、それが大半径、すなわち4次元的な物理へと連続的につながる可能性を示しているからである。

しかし、ここにも大きな注意点がある。Ünsal自身の論文でも、解析は小さな $${S^1\times\mathbb{R}^3}$$ 上で行われており、その拡張を $${\mathbb{R}^4}$$ に対してはまだ知らないと明記されている。

つまり、これはClay問題への非常に重要なヒントではあるが、Clay問題の解答そのものではない。

7. 「物理的に分かる」と「数学的に証明する」の間

ここで、区別しておくべきことがある。物理では、ある理論について

• 低エネルギー有効理論が分かる

• 対称性と異常から真空構造が制限される

• 半古典解析で質量ギャップが計算できる

• 双対性により強結合現象が弱結合変数で記述できる

• 格子計算が閉じ込めや質量ギャップを支持する

といった状況があれば、「かなり分かっている」と言うことができる。

一方、Clay問題で求められるのは、それよりさらに厳しい。4次元連続極限で、非自明な量子場理論が存在し、ヒルベルト空間、場の演算子、相関関数、スペクトル条件などを備え、さらに真空と励起状態の間に正のギャップがあることを証明しなければならない。Jaffe–Wittenの問題文は、まさにこの数学的基礎づけの欠如を問題の核心としている。

SYMは、物理的理解を大きく進める。しかし、SYMで得られる結果は、通常は

$$
\mathcal N=1,\quad \mathcal N=2,\quad \mathcal N=4
$$

といった特定の超対称理論に関するものであり、Clay問題が求めるpure Yang–Millsそのものではない。

この差を見落とすと、「超対称理論では閉じ込めが分かった。だからYang–Mills質量ギャップ問題も解けた」という誤解が生じる。しかし、それは論理の飛躍である。

8. ではSYMは役に立たないのか

もちろん、そんなことはない。むしろSYMは、Yang–Mills質量ギャップ問題を考える上で最も重要な理論的実験場の一つである。

$${\mathcal N=4}$$ SYMは、質量ギャップを持つ理論ではないが、4次元量子ゲージ理論がどれほど豊かな数学的構造を持ちうるかを教えてくれる。AdS/CFT対応を通じて、ゲージ理論と重力理論、場の理論と幾何学の深い関係を明らかにした。

$${\mathcal N=2}$$ SYMは、低エネルギー有効理論、双対性、monopole condensationを通じて、閉じ込めという現象を精密に記述できることを示した。Seiberg–Witten理論は、強結合の非摂動現象が完全に無秩序なものではなく、適切な変数を選べば厳密に制御できることを示した。

$${\mathcal N=1}$$ SYMは、pure Yang–Millsに最も近い超対称模型として、閉じ込め、質量ギャップ、離散対称性の破れ、gaugino condensateを考えるための強力な舞台を与える。さらに $${\mathbb{R}^3\times S^1}$$ 上の解析では、magnetic bionという具体的な非摂動励起によって質量ギャップ生成を半古典的に理解できる場合がある。

したがって、SYMはClay問題の「答え」ではないが、Clay問題に近づくための「道具箱」であり、「実験場」であり、「概念の供給源」である。

9. まとめ

Super Yang–MillsとClayのYang–Mills質量ギャップ問題の関係は、次のように整理できる。

• Clay問題は、4次元 $${\mathbb{R}^4}$$ 上のpure Yang–Mills量子場理論の厳密構成と、正の質量ギャップの証明を求める問題である。 

• 未変形の $${\mathcal N=4}$$ SYMは超共形理論であり、通常の意味での質量ギャップを持たない。

• 未変形の $${\mathcal N=2}$$ SYMもCoulomb branchを持ち、一般にはギャップ付き理論ではない。ただし、質量摂動によりmonopole condensationと閉じ込めの精密な描像が得られる。

• $${\mathcal N=1}$$ pure SYMは、閉じ込めや質量ギャップが期待される、Clay問題に最も近い超対称模型である。

• $${\mathbb{R}^3\times S^1}$$ 上では、magnetic bionなどにより質量ギャップ生成を半古典的に解析できる場合があるが、それはそのまま $${\mathbb{R}^4}$$ 上のClay問題の証明ではない。

結局のところ、もっとも短く言えばこうである。

この区別は重要である。

物理的に「分かる」ことと、数学的に「証明する」ことの間には、しばしば大きな距離がある。
Super Yang–Millsは、その距離を縮めるための最も明るい道の一つではある。
しかし、その道の先にあるClay問題の完全な解決は、今なお未踏のままである。