The geometry-first formulation of gauge theory is not equivalent to the symmetry-first one

巨大で目に見えない、宇宙を繋ぎ止めている機械を想像してみてください。高エネルギー物理学の世界では、この機械は「ゲージ理論」と呼ばれています。これは、電子やクォークといった粒子が、電磁気力や強い核力といった力を通じて、どのように互いに「対話」しているのかを説明するものです。数十年の間、物理学者たちはこの機械を理解するために、ある特定のアプローチを用いてきました。これを「対称性第一（Symmetry-First）」アプローチと呼びましょう。この視点では、「まずルールブック（群）があり、それが粒子がどのように変化するかを規定する」と宣言することから始まります。そして、そのルールブックに合わせて機械を構築していきます。それは、「特定の振付を持つダンス・グループがいるのだから、まずはそのためのステージを作ろう」と言うようなものです。

しかし、新しい考え方が登場しました。それが「幾何学第一（Geometry-First）」アプローチです。抽象的なルールブックから始めるのではなく、この手法は物理的な「ダンサー」そのもの、つまり基本粒子と、彼らが住む空間の形状から始まります。これは、「もしこれらの粒子の幾何学的な構造を観察したら、どのようなルールが自然に浮かび上がってくるだろうか？」と問いかけるものです。それは、振付が先に存在すると仮定するのではなく、ダンサーの動きを見て、そのステップから振付を導き出すようなプロセスです。物理学者が抱いてきた大きな疑問は、「これら二つの考え方は、全く同じ機械を記述している異なる言語に過ぎないのか、それとも、実は二つの異なる機械を記述しているのか？」という点です。

ヘンリケ・ゴメスによるこの論文は、答えは明確に「ノー」であると主張しています。二つのアプローチは等価ではありません。単純なケースでは似ているように見えるかもしれませんが、実際には宇宙の仕組みに関する異なる可能性を記述しています。著者は、幾何学第一アプローチの方がより制約が強いことを示しています。つまり、対称性第一のアプローチで記述できるすべての理論を、幾何学第一のアプローチで記述することはできないのです。具体的には、もし「ダンサー」とその形状のみを使って理論を構築しようとすると、ルールブックのアプローチには存在しない「壁」に突き当たることになります。特定の種類の電荷を説明できなくなったり、あるいは、三つの別々のパーツから作られた機械と、一つの複雑なパーツから作られた機械を区別する能力を失ったりする可能性があるのです。

二つの機械の作り方

なぜこれが重要なのかを理解するために、おもちゃのデザイナーの例えを使ってみましょう。

対称性第一のアプローチ（ルールブック方式）
この方法では、マニュアルから始めます。「360度回転でき、上下に反転でき、色が変わるおもちゃが欲しい」と言います。そして、これらのルールを「ゲージ群」と呼ばれる大きな本に書き留めます。次に、そのルールに適合するようにおもちゃ（粒子）を作ります。もし、止まることなく永遠に回転し続けるおもちゃが欲しければ、単にそれを本に書き加えればよいのです。もし、奇妙で無理数的な量の回転をさせたいと思えば、それを本に追加するだけです。ルールが先であり、おもちゃはそのルールに従うように作られます。これは、物理学者が長年、宇宙を記述するために用いてきた標準的な方法です。

幾何学第一のアプローチ（形状方式）
この方法では、マニュアルから始めません。代わりに、いくつかの特定の形状（基本ベクトル束）と、いくつかの道具（内積や体積形式など）という、生の材料の山から始めます。「球体と立方体がある。これらを形を壊さずに回転させようとしたとき、どのようなルールが『自然に』現れるだろうか？」と考えます。球体を見て、「なるほど、形を維持するためには、特定のやり方でしか回転させられないのだ」と気づきます。ルール（ゲージ群）は、あらかじめ決められたものではなく、形状の結果として発見されるものなのです。

大きな問題：ルールは必ずしも一致しない

ゴメスは、これら二つの方法が互換性があるわけではないと論じています。もし対称性第一の「おもちゃ」を幾何学第一の「おもちゃ」に翻訳しようとすると、しばしば行き詰まります。以下に、それらが一致しない主な三つの理由を挙げます。

1. 「無理数電荷」の壁
あるおもちゃが「電荷（電気的な電荷のようなもの）」を持つとしましょう。対称性第一の世界では、電荷が「1」のおもちゃと、電荷が「$\sqrt{2}$」（無理数）のおもちゃを簡単に設計できます。それらは、あなたが書き込んだルールに従っているだけだからです。
しかし、幾何学第一の世界では、電荷は形状を積み重ねることで構築されます（レゴブロックを積み上げるようなものです）。もし一つのブロックから始めたら、積み上げられるのは1、2、3、あるいは4個のブロックだけです。この特定の数学的な方法では、ブロックを半分に切って形を保つことはできないため、$\sqrt{2}$ 個のブロックのスタックを作ることは決してできません。
論文は、幾何学第一の手法のみを用いて「無理数」の電荷を持つ理論を構築しようとしても、それは不可能であることを証明しています。幾何学第一のアプローチは、電荷を基本単位の整数倍（格子）にすることを強制します。一方、対称性第一のアプローチは、あらゆる数値を許容します。したがって、もし宇宙に無理数の比率を持つ電荷を持つ粒子が存在する場合、幾何学第一のアプローチは記述に失敗しますが、対称性第一のアプローチなら難なくこなせるのです。

2. 「隠れたアイデンティティ」の罠
時として、対称性第一の手法を用いると、ルールが少し「大雑把な」機械を作ることができてしまいます。例えば、三つの歯車（SU(3)、SU(2)、U(1)）を持つ機械があるとします。しかし、そのパーツの繋がり方によって、これら三つの歯車すべてに同時に微小で目に見えない「ひねり」が加わっても、おもちゃには何も影響を与えない（気づかれない）という状況があります。
対称性第一の世界では、単に「よし、この機械を『G』と呼ぼう」と言えば済みます。
しかし、幾何学第一の世界では、機械を三つの独立した形状から構築することを強制されます。その微小なひねりを隠すために、それらを簡単に「接着」することはできません。論文は、標準模型（我々の最良の粒子理論）において、粒子に作用する「真の」機械は、実は三つの歯車の簡略化されたバージョンであることを示しています。三つの独立した形状から構築する幾何学第一の手法では、最初から存在しなかった余計な「背景」ルールを加えない限り、この簡略化されたバージョンを自然に生成することはできません。それは、三つの別々のエンジンから車を作ろうとして、秘密のマニュアルを追加しなければ、それらを一つの滑らかなユニットとして機能させられないことに気づくようなものです。

3. 「鏡」の問題
最後に、機械がどのように変換されるかという問題があります。対称性第一の世界では、機械を裏返しにするような変換（外自己同型）を想像することができます。それは手袋を裏返すようなもので、手袋ではありますが、ルールは変化しています。そして、対称性第一のマニュアルはその変化を許容します。
しかし、幾何学第一の世界では、ルールは厳格に素材の形状に結びついています。もし形状を裏返そうとすれば、その形状の「体積」や「向き」を壊してしまうかもしれません。論文は、対称性第一の世界で許容されている変換の中には、幾何学第一の世界には対応する動きが全く存在しないものがあることを示しています。それは、振付の本では合法的なダンスの動きであっても、ダンサーの関節の曲がり方のせいで、物理的には不可能な動きであるようなものです。

なぜこれが重要なのか

著者は、幾何学第一のアプローチが「間違っている」と言っているわけではありません。この手法は、粒子の形状に基づいて「なぜルールが存在するのか」を説明できるため、非常に強力です。これにより、単にルールを「推測」する必要がなくなります。しかし、論文は、このアプローチは単に「同じことを別の書き方でしているもの」ではない、と結論付けています。それは、可能な選択肢の「メニュー」が異なる、別の理論なのです。

もし宇宙に、無理数の比率を持つ電荷を持つ粒子が存在したり、あるいは粒子間の相互作用の特定の仕方が、幾何学第一の手法では構築できないような「大雑把な」ルールブックを必要としたりする場合、幾何学第一のアプローチは不完全なものとなります。この論文は、これら二つのアプローチが数学的に明確に区別されるものであることを証明しています。情報を失ったり、記述できる理論の範囲を変えたりすることなしに、これらの一つをもう一方と単純に入れ替えることはできないのです。

要するに、「ルールブック」と「形状」の手法は双子ではありません。見た目は似ていますが、異なる家族の秘密を持っている従兄弟同士なのです。幾何学第一の手法は、より厳格で、より説明的ですが、対称性第一の手法が可能にするあらゆるシナリオを記述できるわけではありません。これは、宇宙の深い構造を理解したいのであれば、どの「レンズ」を通して見ているのかに細心の注意を払わなければならないことを意味します。なぜなら、それらは全く同じ景色を見せてくれるわけではないからです。