Collision-Hull Compression for Homogeneous Keller Maps and a Forty-Variable Counterexample to Zhao's Vanishing Conjecture

あなたは、世界最高の数学探偵たちを数十年にわたって困惑させてきた、巨大で目に見えないパズルを解こうとしている探偵だと想像してください。このパズルは、方程式によって定義される図形を研究する代数幾何学という、奇妙でねじれた世界に存在します。この特定の謎は「ヤコビ予想」と呼ばれています。これは、ある種の形状（多項式写像）が、空間の「体積」を維持しながら、どのように押しつぶされ、引き伸ばされ、あるいはねじ曲げられるかについてのルールです。そのルールとは、もし特定の種類の数学的な機械（多項式写像）が空間の体積を保存するならば、その機械は可逆的である、つまり、その機械を逆回転させれば、必ず出発点へと正確に戻ることができるはずだ、というものです。

長い間、誰もこのルールがあらゆるサイズの機械に対して真であることを証明できていませんでした。しかし、ウェンフア・ジャオという数学者が、巧妙な近道を提案しました。彼は、もし特定の種類の「壊れた」機械――例えば、4つの項からなる（4次の）方程式で作られ、冪零（何度も押しつぶすと最終的に平坦になって消えてしまう性質）であり、かつ逆転させることができない機械――を見つけることができれば、この大きなルールは間違いであると証明できると示唆しました。これが「消失予想（Vanishing Conjecture）」です。これは、表面上は完璧に見えるものの、密かにテストに失敗する特定の「壊れた」機械を見つけ出すという挑戦です。もしそのような機械が存在すれば、大きなルールは間違いとなります。もし存在しなければ、そのルールは正しい可能性があります。賭けられているのは、このパズルが空間と方程式の根本的な構造を私たちがどのように理解しているかと深く結びついているという点です。

ここで、トーマス・プレルベルクが登場します。彼は、このアイデアをテストするために、非常に特殊で非常に巨大な「壊れた機械」を構築しました。この論文は、このアイデアのすべてを解決したと主張しているわけではありません。代わりに、ジャオの特定のテストを打破する、40次元の具体的な例を構築したのです。

物語は次のように展開します。プレルベルクは、数学者トンプソンによって作られた、既知のより小さな機械から出発しました。トンプソンの機械は24の動くパーツ（変数）を持ち、「3次」の機械（3つの項からなる方程式）でした。それはすでに「衝突（コリジョン）」を持つことが知られていました。つまり、2つの異なる出発点が全く同じ場所に到達してしまうことがあり、これは機械が逆転不可能であることを証明しています。しかし、トンプソンの機械は、ジャオのテストに直接使うにはあまりにも乱雑すぎました。

プレルベルクは、「衝突・ハル圧縮（Collision-Hull Compression）」という手法を用いました。想像してみてください。あなたは24個の変数を持つもつれた毛糸玉を持っていて、その2つの端を結びつけたまま、最も小さく、最もタイトな結び目を見つけたいと考えています。プレルベルクは、衝突する2つの点をとり、機械のルールに従ってそれらを混ぜ合わせ続けることで、最終的に、より小さく、よりタイトな空間が生成されることを示しました。トンプソンの場合、このプロセスは自然に24個の変数をちょうど20個へと縮小させました。これは推測ではなく、数学的な必然でした。この論文は、この20変数の空間が、衝突を保持できる「最小の容器」であることを証明しています。これ以上、19個以下の変数に押しつぼめようとすれば、衝突が壊れてしまい、機械がカウンターエグザンプル（反例）としての機能を失ってしまうのです。

この完璧な20変数の機械を手に入れた後、プレルベルクは「対称リフト（symmetric lift）」を適用しました。これは、2Dの立方体の図面を3Dの物体へと折りたたむようなものですが、数学においては次元を倍増させることを意味します。彼は、この20変数の3次機械を、40変数の「4次」機械へと変貌させたのです。この新しい機械は、正確に350個の単項式（方程式の個々の構成要素）を持っています。これが主役です。

この論文は、この40変数機械について、3つの決定的な事項を証明しています：

1. それは**ヘッセ・冪零（Hessian-nilpotent）**な多項式であり、ジャオのテストが要求する特定の「平坦化」の性質を持っています。
2. それは多くのステップにおいて「消失」条件を満たしており（数学的に $\Delta^m P^m = 0$ for all $m \ge 1$）、あたかも機能するように見えます。
3. 極めて重要なことに、それは最終的なテストに失敗します：その数列は永遠にゼロのままではいられません。論文は、無限のステップにおいて、結果がゼロにならないこと（$\Delta^m P^{m+1} \neq 0$）を証明しています。

この最終テストに失敗したため、この機械はジャオの消失予想に対する有効な**カウンターエグザンプル（反例）**となります。これは、もし初期のステップで消失するならば、その機械は安全であると単純に想定することはできないという、ジャオの仮説が示した特定のショートカットが機能しないことを証明しています。この機械は、ジャオの仮説が排除しようとした通りの方法で「壊れて」いるのです。

この論文は、自らの主張に対して非常に慎重です。著者は、これが数学における「最小の」反例を見つけたとは言っていません。実際、他の研究者が異なる手法を用いて38変数の例を見つけていることも認めています。むしろ、この論文の主な勝利は、**「経路特有の最小性（route-specific minimality）」**にあります。もしトンプソンの特定の24変数機械から出発し、リフトを適用する前に反例を作るために縮小しようとするならば、20変数の下には下げられないことを、この論文は証明しています。この40変数の結果は、この特定の経路を経由した場合に到達できる最小のものです。

著者であるトーマス・プレルベルクは、極めて厳格です。膨大な行列と複雑な分数を含む計算全体が、コンピュータプログラムを用いて、正確な算術（丸め誤差なし）によってチェックされました。そのコードは論文と共に公開されており、誰でも実行して、その数学を自身で確認できるようになっています。論文は、この40変数機械がヤコビ予想全体を解決するものではないものの、ジャオが提案した特定の「消失」のルールを決定的に打ち破り、この大きなパズルを解くための道筋は、以前に期待されていたよりもはるかに曲がりくねっており、困難なものであることを示している、と結論づけています。