当てにいっていないのに出てきた ── このシリーズの価値基準で、いちばん強い証拠
第1回で、無次元量を16万本総当たりして何も出ませんでした。第5回まで、平坦時空のホログラフィーには核心が欠けていると書き続けました。このシリーズは、負の結果ばかり載せています。
それには理由があります。第1回で学んだ規律 ── 係数を当てにいく探索は構造的に空になる。フィットしたものは証拠にならない。
だからこそ、逆のことが起きたときは大事に扱うべきです。誰も探していなかったのに、勝手に出てきたもの。 この回で扱うのは、それです。
第4回では、Weinberg のソフトグラビトン定理を扱いました。振幅にグラビトンを1本足して \(q\to0\) にすると、\(1/q\) の極が出る ── あれは先頭項だけです。
展開を続けると、塔になっています。
$$\mathcal{M}_{n+1}=\underbrace{\frac{S^{(0)}}{q}\,\mathcal{M}_n}_{\text{超並進}}+\underbrace{S^{(1)}\,\mathcal{M}_n}_{\text{超回転}}+\underbrace{q\,S^{(2)}\,\mathcal{M}_n}_{?}+\underbrace{q^2 S^{(3)}\,\mathcal{M}_n}_{?}+\cdots$$各項が、それぞれ別の対称性の Ward 恒等式に対応します。第4回で見た超並進（\(q^{-1}\)）と超回転（\(q^{0}\)）は、無限に続く塔の最初の2段でしかなかった。
問題は、この塔が閉じた代数をなすかです。段どうしの交換子を取ったとき、また塔の中に戻ってくるか。
Strominger (2021) の結果はこうです。
正ヘリシティのソフトグラビトンの塔全体が、\(w_{1+\infty}\) の wedge 部分代数に基づく単一のカイラル2次元 Kac–Moody 対称性に組織化される。
しかもソフト光子・グルーオンの塔も、その下で既約に変換する。
閉じました。しかも重力だけでなく、ゲージ場のソフトセクターまで同じ代数の表現に収まる。
ここで当然の疑問が出ます ── \(w_{1+\infty}\) とは何か。
難しい名前ですが、中身は驚くほど素朴です。2次元の面を、面積を変えずに変形する操作の全体です。
作り方を書きます。平面上の関数 \(f(x,y)\) を一つ選ぶ。それを「ハミルトニアン」だと思って、流れを作ります。
$$\dot x=\frac{\partial f}{\partial y},\qquad \dot y=-\frac{\partial f}{\partial x}$$これはハミルトン力学そのもので、リウヴィルの定理により面積が保存されます。\(f\) を変えれば別の変形が得られる。関数 \(f\) の個数だけ、変形がある ── だから無限次元です。
そして、これらの変形の交換子はポアソン括弧になります。
$$\{f,g\}=\frac{\partial f}{\partial x}\frac{\partial g}{\partial y}-\frac{\partial f}{\partial y}\frac{\partial g}{\partial x}$$閉じているかを確かめましょう。単項式でやると一行です。
\(f=x^{a}y^{b}\)、\(g=x^{c}y^{d}\) を入れる。
$$\{x^{a}y^{b},\,x^{c}y^{d}\}=\bigl(ad-bc\bigr)\;x^{a+c-1}\,y^{b+d-1}$$右辺もまた単項式
閉じています。構造定数は \(ad-bc\) ── 2×2 行列式ひとつ。 添字を付け替えると、これが標準的な \(w_\infty\) の交換関係 \([w^p_m,w^q_n]=(m(q-1)-n(p-1))\,w^{p+q-2}_{m+n}\) の形になります。
つまり \(w_\infty\) は、平面上の関数にポアソン括弧を入れただけのものです。高校の微分ができれば構造定数まで自分で出せる。
「面積を保つ」がどういうことか、動かして見てください。
どれを選んでも、面積の変化は丸め誤差の範囲に収まります。形は原形をとどめないほど歪むのに。
ちなみに3つとも厳密解があります ── \(f=xy\) なら \(x=x_0e^{t},\;y=y_0e^{-t}\)、\(f=x^2/2\) なら \(x=x_0,\;y=y_0-x_0t\)、\(f=x^3/3\) なら \(x=x_0,\;y=y_0-x_0^2t\)。数値積分の誤差ではなく、本当に厳密に面積が保たれています。
ここが、この回の主題です。\(w_{1+\infty}\) はソフト定理のために作られた代数ではありません。まったく別の場所に、先に現れていました。
| 先に現れていた場所 | 文脈 |
|---|---|
| 面積保存微分同相 | 純粋な幾何。03 節で作ったもの |
| 自己双対重力 | アインシュタイン方程式の可解なセクター（プレバンスキー方程式）の対称性 |
| ツイスター理論 | Penrose の非線形グラビトン構成。ツイスター空間の変形として自己双対重力を作る |
| 2次元可積分系 | 無限個の保存量を持つ系に、繰り返し現れる代数 |
| そして今回：ソフト定理 | 4次元重力の散乱振幅の \(q\to0\) 極限 |
5つ目だけが、他の4つとまったく違う入口です。散乱振幅の赤外極限という、幾何ともツイスターとも無関係に見える場所から、同じ代数が出た。
実は繋がりが分かっています。自己双対重力は可積分で、その対称性が \(w_\infty\) でした。そして ──
重力のソフト・共線極限は、事実上自己双対セクターを見ている。
だから自己双対重力の対称性である \(w_{1+\infty}\) が、ソフト定理の塔として現れる。
つまり赤外の物理とツイスター理論が、この代数を通じて同じものを指していた。別々の入口が、同じ部屋に通じていたということです。
ここで、このシリーズの価値基準に照らします。
第1回で、16万本の無次元量を総当たりして何も出ませんでした。番外編③でも、セレスチャル CFT に中身が足りないと書きました。共通する教訓はこれでした。
係数を当てにいく探索は、構造的に空になる。
「$p/q$ のどれかに当たればいい」と言った瞬間、当たること自体が情報を持たなくなる。的を増やせば被覆率が上がるだけ。
\(w_{1+\infty}\) は、その正反対です。
| 第1回の総当たり | \(w_{1+\infty}\) | |
|---|---|---|
| 的は | 後から選んだ（\(p/q\)、\(\pi^k\)） | 先に存在していた（面積保存、可積分系） |
| 自由度 | 的を増やせば当たる | 代数が閉じるか閉じないか、二値 |
| look-elsewhere | 効く（被覆率＝ヒット率） | 効かない |
| 種類 | フィット | 発見 |
第2回で、アノマリー相殺を「制約を的にする」例として扱いました。あれと同じ構造です ── 満たすか満たさないかが二値で決まる的には、look-elsewhere が発生しない。
代数が閉じるかどうかは、選択の余地がありません。閉じたなら、そこに構造がある。
過大評価しないために、限界をはっきり書きます。
① ツリーレベルです。 ループ補正は代数を変形させます。「変形されたソフト代数」の研究が進んでいますが、変形後に何になるかは決着していません。
② 自己双対セクターです。 正ヘリシティに限った話で、自己双対重力は完全な重力の可解な特殊部分にすぎません。両ヘリシティを含む完全な理論への拡張は未解決。
③ 対称性であって、理論の構成ではありません。 「対称性が分かった」と「双対理論が作れた」の距離は、まだ相当あります。第5回で空いたままだった境界理論の独立な定義は、この結果では埋まりません。
本シリーズの言葉で言えば ── これは強い状況証拠であって、証明ではない。第1回の規律6「解いた、と書かない」を守るなら、そう書くのが正確です。
それでも、負の結果ばかり並べてきたこのシリーズにとって、当てにいっていないのに出てきたものが一つあるのは大きい。探し場所が正しいという徴候だからです。
ソフト定理には無限の塔がある。 第4回で扱った超並進（\(q^{-1}\)）と超回転（\(q^0\)）は、最初の2段でしかなかった。そして塔は閉じた代数をなす ── \(w_{1+\infty}\) の wedge 部分代数（Strominger 2021）。ソフト光子・グルーオンの塔も、その下で既約に変換する。
\(w_\infty\) の中身は素朴。 平面上の関数にポアソン括弧を入れただけ ── 面積を保つ変形の全体。単項式で計算すると構造定数は \(ad-bc\) という 2×2 行列式ひとつで、代数が閉じることが一行で確かめられる。
そして、この代数は先に存在していた。 面積保存微分同相、自己双対重力（プレバンスキー方程式）、ツイスター理論、2次元可積分系。散乱振幅の赤外極限というまったく別の入口から、同じ代数が出てきた。偶然ではなく、重力のソフト・共線極限が自己双対セクターを見ているため。
これがこのシリーズにとって強い証拠である理由。 第1回の総当たりは的を後から選べたので look-elsewhere に食われた。代数が閉じるかは二値で、しかも \(w_{1+\infty}\) は別の目的で先に定義されていた ── フィットではなく、発見。第2回のアノマリー相殺と同じ構造です。
ただし、まだ証明ではない。 ツリーレベル、自己双対セクター、そして「対称性が分かった」であって「理論が作れた」ではない。第5回で空いていた核心は、そのまま空いています。
この文書は「つくる格子」シリーズ第6回、物理好きの高校生・大学生向け読み物です。姉妹編「わかる」が既知の物理を解説するのに対し、本シリーズは作業そのものを見せます。
確立した内容：ソフト定理の無限展開の存在、正ヘリシティのソフトグラビトンの塔が \(w_{1+\infty}\) の wedge 部分代数に組織化されること（Strominger, PRL 127, 221601, 2021）、\(w_\infty\) が面積保存微分同相の代数であること、単項式のポアソン括弧の公式、自己双対重力の可積分性とツイスター記述（Penrose の非線形グラビトン）。この結果は主にツリーレベル・正ヘリシティ（自己双対）セクターで確立したものであり、ループ補正は代数を変形させます。完全な重力への拡張は未解決です。また対称性の同定は双対理論の構成ではなく、境界理論の独立な定義は依然として存在しません。図の3つの流れは厳密解を用いており、面積保存は数値近似ではなく厳密（ヤコビアンが恒等的に 1）です。表示される面積は多角形近似による値なので、離散化に由来する一定の差は残ります。
本編：第1回｜第2回｜第3回｜第4回｜第5回 ｜ 番外編：①／②／③ ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を。
印刷 / PDF 化：⌘+P（Windows は Ctrl+P）。図で、形が歪んでも面積が変わらないことを確かめられます。