The weak Markus--Yamabe conjecture fails in dimension 14

あなたは、物の動きに関する謎を解こうとしている探偵だと想像してください。数学や物理学の世界では、あるシステムが次の瞬間へとどのように変化するかを伝える「写像（マップ）」や「場（フィールド）」を研究することがよくあります。マップとは、広大な風景を吹き抜ける目に見えない巨大な風のようなものだと考えてください。もし、その風景のどこかに葉っぱを落としたら、風はその葉っぱを特定の経路に沿って押し流していきます。

通常、私たちはその風が「行儀が良い」かどうかを知りたいと考えます。鍵となる問いは、**「異なる2つの葉っぱが、全く同じ場所に辿り着くことはあるだろうか？」**ということです。数学において、もしある写像が異なる2つの出発点を同じ目的地へと送ってしまう場合、それは「単射ではない（または一対一ではない）」と呼ばれます。また、私たちはあらゆる点における「速度と方向」にも注目します。もし風が常に、単一の穏やかな中心（例えば、お風呂の排水口のようなもの）に向かって物を押し流しているなら、それを「フルヴィッツ写像（Hurwitz map）」と呼びます。

長い間、数学者たちは**弱マルクス・ヤマベ予想（Weak Markus–Yamabe Conjecture）**と呼ばれる一つの「希望的な推測」を持っていました。それは次のような期待に満ちた仮説でした。「もし風が常に中心に向かって吹き、中心へと向かう性質（フルヴィッツ写像）を持っているならば、異なる2つの葉っぱが同じ場所に衝突することは不可能であるはずだ」。言い換えれば、もしシステムがいたるところで安定しているならば、それは必ずいたるところで一意的（ユニーク）であるはずだ、という考えです。この概念は、単純で平坦な風景（2次元）においては真であることが分かっていましたが、より複雑な多次元の世界においてもそれが成り立つかどうかは、誰にも分かりませんでした。

---

14次元における大衝突

この論文において、数学者のチーム（アルバロ・カスタニェダ、ヘラルド・オノラート、フランシスコ・バレンスエラ＝エンリケス）は、この「希望的な推測」をテストすることに決めました。彼らはただ推測したわけではありません。この推測が間違っていることを証明するために、巨大で明示的な数学的装置を構築したのです。

彼らの主な発見は、劇的な「ノー」という回答でした。彼らは、14次元およびそれ以上のすべての次元において、弱マルクス・ヤマベ予想が成立しないことを示しました。

彼らがどのようにこれを行ったのか、遊び心のある比喩を用いて説明しましょう。

「連鎖反応」のトリック
あなたが、奇妙で非単射な写像（異なる2つの入力を誤って同じ出力に押しつぶしてしまう機械）を持っていると想像してください。著者たちは、この「壊れた」機械を取り込み、それを「フルヴィッツ」な風のシステムへと作り変える巧妙な方法を見つけ出しました。彼らは「連鎖実現法（Chain Realization method）」を用いてこれを行いました。

このように考えてみてください。あなたには、もつれた紐の結び目（元の写像）があります。著者たちは、14次元の長い梯子を構築しました。そして、その結び目を梯子の底に取り付けました。次に、結び目からの「張力」が梯子を伝わっていくように梯子の段（ラング）を設計し、それによって、常に中心へと押し流す風（フルヴィッツ写像）を作り出しました。しかし、ここにひねりがあります。底にある結び目が2つの点を押しつぶしていたため、梯子の頂上にある風は、風が止まる**3つの異なる穏やかな地点（特異点）**を持つことになったのです。

結果：3つの穏やかな中心を持つ嵐
通常の、行儀の良い世界では、もし風が常に中心に向かって吹いているならば、中心は一つだけであることを期待します。しかし、著者たちは、3つの異なる有理点（風が止まる場所）を持つ、特定の多項式風場を14次元空間の中に構築しました。

さらに驚くべきことに、この14次元の世界のあらゆる点において、「風速」（ヤコビ行列）はすべてを中央へ押し流すように完璧に調整されています。それにもかかわらず、3つの異なる中心が存在するのです！これは、システムがいたるところで局所的に安定（フルヴィッツ）しているにもかかわらず、依然として複数の目的地を持ち得ることを証明しており、この予想を覆しています。

「3次（Cubic）」という選択肢
著者たちはそこで止まりませんでした。彼らは、より単純な風を作る方法も試みました。通常、これらの複雑な機械は高次の多項式（非常にうねりの激しく複雑な、例えば7次方程式のようなもの）で作られます。著者たちは、「ランク低減された除ホモジナイズ化（rank-reduced dehomogenization）」を用いることで、別の構築方法を見つけました。この手法は、より単純な（単純な曲線のような3次の）風場を18次元空間に作成しましたが、それでもなお同じ問題を抱えていました。つまり、3つの異なる穏やかな中心が存在するのです。

これが意味すること
この論文は、弱マルクス・ヤマベ予想がすべての多項式写像に対して真であるという考えを明確に否定しています。彼らは、高次元において「フルヴィッツ」なシステムが単射ではないことがあり得ることを、単なる示唆ではなく証明したのです。

しかし、彼らは自分たちが解決していない部分についても非常に慎重に述べています。3次元から13次元の間は、依然として謎のままです。この「3つの中心を持つ嵐」が、3次元、4次元、あるいは13次元で起こり得るのかどうか、彼らには分かりません。彼らの構築法は、使用した特定の写像を扱うために、少なくとも14次元の空間を必要とします。したがって、彼らが高次元の領域で予想を打ち砕いた一方で、「より低い」次元における問いは依然として開かれたままなのです。

なぜこれを知る必要があるのか？
これは単なる抽象的な数字の話ではありません。これは、数学における2つの巨大な領域、「ヤコビ予想（特定の代数方程式が逆転可能かどうかに関するもの）」と「マルクス・ヤマベ予想（動的システムにおける安定性に関するもの）」を結びつけています。著者たちは、ある「壊れた」代数的な写像（ファイバーの衝突）に関する最近の発見が、どのようにして「壊れた」安定性システムへと直接翻訳され得るかを示しました。

要約すれば、彼らは既知の代数的な衝突を取り込み、それを複数の安定点を持つ動的システムへと作り変えたのです。彼らは、高次元においては「いたるところでの安定性」は「いたるところでの一意性」を保証しないことを証明しました。14次元の風の世界は、一つの浴槽の中に3つの排水口が存在し、どこから始めたかに応じて、水がそのうちのどれかに喜んで流れ込んでいくような場所なのです。