Integrability from categorification and the 2-Kac-Moody Algebra

宇宙を巨大な、宇宙規模のビリヤードのゲームだと想像してみてください。何世紀もの間、物理学者たちは、衝突した後にすべての球が正確にどこへ行くのかを予測しようと試みてきました。「可積分系」の世界において、これらは単なるビリヤードの球ではありません。これらはエネルギーを失わず、混沌とした混乱に陥ることもない、特別な球なのです。それらは完璧で予測可能な経路を辿り、まるで宇宙が調和を保つための秘密のチートコードを持っているかのように振る舞います。この分野は「古典力学」と呼ばれ、「ラックス対（Lax pair）」と呼ばれる数学的ツールに依存しています。ラックス対を、魔法の眼鏡だと考えてみてください。その眼鏡をかけると、乱雑で複雑なシステムが突然、隠れた秩序を明らかにし、システムがどのように動いても変わらないエネルギーや運動量といった「保存量」を見せてくれるのです。

長い間、この魔法は、一本の弦の振動や池に広がる波紋のような、一次元の線や二次元のシートにおいて最もよく機能してきました。しかし、宇宙を三次元、あるいはもっと高次元として理解しようとしたらどうなるでしょうか？ それは、新しいフロアや壁が次々と追加される部屋で、完璧なビリヤードのゲームをプレイしようとするようなものです。古い眼鏡はもう役に立ちません。数学が複雑に絡まりすぎてしまうからです。これを解決するために、科学者たちは数学を「カテゴリー化（categorifying）」し始めました。これは、単なる数字から、より複雑な構造へと道具をアップグレードするという、小難しい言い方です。例えば、単一のレゴブロックから、レゴのタワー全体へと移行するようなものです。彼らは、これらのシステムを支配する代数的なルールの「高次」バージョンを構築しており、三次元空間における隠れた秩序を見つけ出すための、新しい眼鏡を見つけようとしています。

「Integrability from categorification and Kac-Moody 2-algebras（カテゴリー化とKac-Moody 2-代数からの可積分性）」と題されたこの論文は、それらの新しい眼鏡を作るための試みです。著者であるハンク・チェンとフロリアン・ジレッリは、「ラックス対」という概念を取り上げ、それを「2次次数付きラックス対（2-graded Lax pair）」へとアップグレードしています。単一の運動の曲線を見るのではなく、層状に整理された、同時に起こる一連の複雑な動きのコンプレックス（複体）を見るのです。彼らは「Kac-Moody 2-代数」と呼ばれる新しい数学的対象を導入しました。これは、これらのシステムを支配する対称性のルールを、超強力にしたバージョンです。この新しい代数を用いることで、彼らは特定の三次元場理論（空間における場の振る舞いのモデル）を、完全に可積分な方法で記述できることを示しました。

彼らが実際に何を見出し、どのように行ったのかを以下に示します。

まず、彼らは新しい種類の数学的エンジンを構築しました。旧世界では、科学者たちは対称性を記述するために「リー代数（Lie algebras）」を使用してきました。これは、ボードを回転させても変わらないゲームのルールのようです。著者らはこれを「リー2-代数（Lie 2-algebras）」へとアップグレードしました。これは、互いに影響し合う二層のルールを持つゲームのようなものです。そして、彼らは「Kac-Moody 2-代数」を作成しました。これは、本質的に、二次元の表面（紙のシートのようなもの）の上に構築された、これら二層のルールの無限の塔です。彼らは、この新しい代数が「中心拡大（central extension）」であることを証明しました。これは、スケール上のカウンターウェイト（重り）のように、ルールに特別な、目に見えない「中心」を加えることで、すべてをバランスさせることを意味します。

次に、彼らはこの新しい代数を用いて、特定の問題、すなわち、いかにして三次元場理論を「可積分」にするかという問題を解きました。彼らは「主値リュース模型（principal chiral model）」と呼ばれる理論を三次元に拡張して検討しました。通常、三次元のシステムが可積分かどうかを判断するのは、目隠しをした状態でルービックキューブを解くように非常に困難です。しかし、著者らは、新しい「2次次数付きラックス対」を使用すれば、この三次元理論の運動方程式を「ゼロ2-曲率（zero 2-curvature）」条件として書き換えられることを示しました。

これを理解するために、二次元の紙を想像してみてください。紙の上に線を引くと、その線は平坦です。しかし、三次元の物体の上に線を引こうとすると、線はねじれたり回転したりするかもしれません。著者らは、彼らの三次元理論が、高次の意味において「平坦な」物体として振る舞うことを示しました。彼らは、この三次元理論を支配する場の運動方程式が、まさに「平坦な2-接続（flat 2-connection）」の方程式と同一であることを証明しました。簡単に言えば、彼らは、三次元の場の複雑にねじれた動きが、彼らの新しい「2次次数付き」数学のレンズを通して見れば、完全に平坦でねじれのない構造として記述できることを見出したのです。

また、この論文は、この三次元理論が彼らの新しいKac-Moody 2-代数によって支配される隠れた対称性を持っていることも示しました。有名な二次元理論である「2次元Wess-Zumino-Wittenモデル」が、古いKac-Moody代数によって記述される対称性を持っているのと同様に、この新しい三次元理論は、新しい「2-代数」バージョンによって記述される対称性を持っています。彼らはこの理論の「電荷（保存量）」を計算し、それらが彼らの新しい数学的構成と一致する完璧な代数的構造を形成することを証明しました。

この論文が「行っていない」ことも重要な点です。著者らは、すべての三次元システムの可積分性を解決したと主張しているわけではありません。彼らは、特定の種類の三次元場理論のための枠組みを具体的に構築し、その「特定の理論」が彼らの新しいモデルに適合することを示したのです。また、彼らの「2次次数付きr-行列（2-graded r-matrix）」（彼らの数学の鍵となる要素）が、高次元物理学におけるもう一つの有名な方程式である「ザモロドチコフ・テトラヘドロン方程式（Zamolodchikov tetrahedron equations）」を解くとも主張していません。実際、彼らは、自分たちの式とテトラヘドロン方程式との関係は現在未知であり、将来の研究課題であると明記しています。

彼らの知見の信頼性は、彼らが構築した数学的枠組みの中で高いものです。彼らは、構築した「2-ラックス対」が可積分性に必要な方程式を満たすことを示す、明示的な公式と証明を提供しました。彼らは単にそれが機能するかもしれないと示唆したのではなく、方程式を導出し、その特定の三次元理論に対して「ゼロ2-曲率」条件が成り立つことを示しました。しかし、彼らは、自分たちの代数の「弱い（weak）」または「準（quasi）」バージョン（ルールが少し緩いバージョン）への拡張については、依然として未解決の問題であることを認めています。

本質的に、この論文は新しい種類の数学的望遠鏡の設計図です。それは星を見るのではなく、三次元空間の隠れた秩序を見つめるものです。道具を一次元から二次元（およびそれ以上）へとアップグレードすることで、著者らは、特定の三次元場理論が混沌とした混乱ではなく、適切な「2次次数付き」の眼鏡を持って見れば、完全に秩序だったシステムであることを示しました。彼らは、「カテゴリー化された」数学の抽象的な世界と、具体的な三次元物理学の世界との間の架け橋を築くことに成功し、可積分性の古いルールが、より高次元の宇宙にも適合するように拡張できることを証明したのです。