Murphy's law in non-abelian Hodge theory

あなたは、宇宙の隠された形を解明しようとする探偵だと想像してください。数学の世界には、「ホッジ予想」と呼ばれる有名なルールがあります。これは宝の地図のようなものです。ある種の隠されたパターン（コホモロジー類）を見つけたとき、そのパターンは、より単純で具体的なブロック（代数サイクル）を積み重ねて作られているはずだと、この地図は教えてくれます。これは、これらの図形の最も神秘的な部分が、実は数えたり組み立てたりできる何かによって構成されているということを意味しています。

数学者たちは、この同じ論理を、「非アーベル・ホッジ理論」と呼ばれる、より奇妙でねじれた種類の幾何学に応用しようとしてきました。ここでは、単純なブロックの代わりに、「パターン」は図形の中を旅する目に見えない力や振動（ローカルシステム）のように記述されます。大きな疑問は、もしあるパターンがホッジ理論のルールに従っていたとしても、それは必ず「幾何学的」なブロックから作られているのか、それとも何か荒唐無稽でランダムなものなのか、ということです。通常、数学者は答えが「イエス、それは幾何学的であるはずだ」であることを期待します。しかし、この論文は生意気な問いを投げかけます。「もしルールが壊れるとしたらどうだろうか？ もし、外見は完璧に見えるが、標準的な整数の格子には適合しない『壊れた』破片から作られたパターンを構築できるとしたら？」ここでタイトルが登場します。「マーフィーの法則」――もし何かが失敗する可能性があるなら、それは起こるものである、という考え方です。著者たちは、これらの「壊れた」パターンを追い求め、ルールがいかに激しく崩れ去るかを検証しているのです。

---

論文： 「壊れた」パターンを狩る

グレゴリオ・バルディとイェウク・ハイ・ジョシュア・ラムによるこの論文は、非アーベル・ホッジ理論の世界では、物事が時折うまくいかなくなるだけでなく、劇的にうまくいかなくなることを証明しようとしています。彼らは、「非整数的」なホッジ構造の明示的な例を構築しています。これが何を意味するかを理解するために、壁を築いているところを想像してみてください。「標準的な」壁は、整数のレンガで作られています。「非整数的な」壁は、標準的な格子にうまく収まらない、奇妙な分数に切り刻まれたレンガで作られています。

著者たちは、これらの方程式に基づいた奇妙な壁（$\mathbb{Q}$-VHSと呼ばれる）を作ることができ、それらは遠くから見れば完璧で滑らかな構造に見えますが、整数の構成要素ではないため、根本的には「壊れて」いることを示しています。彼らは、特定のねじれを持つ曲線（種数 $g \ge 2$）に対して、これらの壊れた、非整数的なパターンを支えることができる形状が無限に存在することを証明しています。これらのパターンは特別な性質を持っています。それは「ザリスキー稠密」であるということであり、これは、彼らが非常に高度な言い回しですが、彼らが空間の中で激しく揺れ動き、狭くて整然とした隅に留まることを拒み、空間全体を満たしてしまうことを意味します。

「マーフィーの法則」の発見

彼らの研究で最もエキサイティングな部分は、整数のレンガからこれらの分数ベースのレンガへと切り替えると、数学の通常のセーフティネットが消失することを示す点です。整数の世界には、ホッジ・ロカス（これらのパターンが特別な、あるいは「魔法のような」振る舞いをする点の集合）が、整然とした代数的な曲線や曲面の集まりとして見えることを保証する、有名な定理（カッタニ・デリーニュ・カプランの定理など）が存在します。

しかし、著者たちは、彼らの非整数的な例においては、この整然とした状態が消失することを証明しています。彼らは、ホッジ・ロカスが、代数的な図形の和集合として記述できないような、乱雑で混沌とした雲になり得ることを示しています。それは、鳥の群れが完璧なV字型で飛ぶことを期待していたのに、実際には幾何学的な記述を拒むように、空にランダムに散らばっているのを発見するようなものです。

さらに、彼らは「アンドレ・オート・予想」と呼ばれる有名な概念に取り組みます。これは、もし多くの「特別な」点（CM点と呼ばれる）を見つけたなら、その図形自体は非常に特別な対称性を持つオブジェクト（シャイム・多様体）であるはずだ、という示唆です。著者たちは、これら多くの特別な点が存在するにもかかわらず、その図形自体はシャイム・多様体ではない、という例を見つけ出しました。それは、部屋の中に金貨が詰まっているのを見つけたのに、その部屋自体はただの平凡で退屈な小屋であるようなものです。これは、非整数的な構造においては、「起こりうることは、起こる」ということを証明しています。

どのようにして行ったのか：地図と鍵

これらの例を見つけるために、著者たちは巧妙な地図作成技術を用いました。彼らは、あらゆる可能な図形の広大な風景の中にある特定の領域である「テイチミュラー成分」に着目しました。彼らは、数学者のカバヤとマスキットによって開発された手法を用いました。これは、単純な数値を用いて図形の「ねじれ」や「回転」を測定できる、特別な定規を持っているようなものです。

彼らは、特定の図形、すなわち「4つの穴が開いた球面」に焦点を当てました。彼らは、もし数字を特定の素数を含む分数（$S$-整数点と呼ばれる）として許容すれば、条件に適合する異なる形状を無限に見つけられることを示しました。彼らはさらに、ボーベルによる古典的な定理の新しい、より単純な証明も提示しました。それは、もし厳格に整数に固執すれば、そのような図形は4つしか存在しないことを示しています。しかし、ルールを緩和して分数さえ許せば、可能性の数は無限へと爆発するのです。

彼らが否定したもの

この論文は、これらの「ねじれた」図形に対して「ヒッグス標準予想」（これらのねじれた図形のためのホッジ予想の一種）が成り立つという楽観的な希望を明確に否定しています。彼らは、これらの非整数的なパターンが「幾何学的起源」を持たないこと、つまり、楕円曲線の族のような、より単純で標準的な図形の族から来ていると説明できないことを示しています。また、彼らは、「K-ホッジ構造の変分」の2つの異なる定義（これらが数体の上でこれらの図形を定義するためのテクニカルな方法です）が必ずしも一致しないことを示し、さらなる混乱と「マーフィーの法則」のシナリオを生み出しています。

結論

著者たちは、単にいくつかの異常を見つけただけではありません。彼らは、非整数的なホッジ構造においては、通常の幾何学や数論の法則が完全に崩壊することを証明しました。彼らは、ホッジ・ロカスが混沌とし、アンドレ・オート予想が失敗し、そして「壊れた」構造を構築する方法が無数にあることを示しました。彼らの研究は、警告として機能します。非アーベル・ホッジ理論の世界において、もしあなたが角を削って、整数の代わりに分数を使おうとするならば、宇宙はそれを容認するだけでなく、ルールがもはや適用されない混沌としたパーティーを開催するだろう、ということです。