A pre-triangulated category which is not triangulated

あなたは、新しい種類の都市を設計している熟練の建築家であると想像してください。この都市では、建物は数学的対象であり、それらを結ぶ道路は、それらがどのように相互作用するかを示す規則です。何十年もの間、数学者たちは「三角圏（triangulated category）」と呼ばれる特定の種類の都市を築き上げてきました。そこは、すべてが非常に厳格で美しい法則に従う場所です。最も重要な法則の一つは「八面体公理（Octahedral Axiom）」です。これは、3つの異なる道路が単一の交差点で出会い、完璧で安定したピラミッドの形状を形成する方法についてのルールだと考えてください。もし2つの道路が出会ったなら、全体の構造が崩壊しないように、3番目の道路は非常に特定の形で収まっていなければなりません。

長い間、数学者たちはこう疑問に思っていました。「この『ピラミッドのルール』は、他のより単純な法則から自然に導かれる結果なのだろうか？ それとも、手動で追加しなければならない、別個の独立したルールなのだろうか？」 つまり、もしあなたが幾何学の基本法則に従って都市を築いたとしても、ピラミッドのルールは自動的に発生するのか、それとも、見た目は完璧だが隠れた不安定な角を持つような都市を誤って築いてしまう可能性があるのか？ この問いは長年の謎でした。これからあなたが読む論文は、全く新しい都市を一から築くのではなく、ピラミッドのルールが維持されるかどうかを確認するために、非常に具体的で、小さく、トリッキーなモデルを構築することによって、この謎に切り込みます。

壊れたピラミッドの物語

著者である蕭武陳（Xiao-Wu Chen）とそのチームは、これらの数学的規則の限界をテストすることに決めました。彼らは、「前三角的（pre-triangulated）」な圏――つまり、都市の最初の3つの基本法則に従っているが、4番目の最も複雑な法則には従わない構造――を構築したいと考えました。もし彼らがこれを行うことができれば、ピラミッドのルールは自動的なものではなく、別途追加しなければならない特別な成分であることを証明できるからです。

このモデルを構築するために、彼らは**タイプA5の前射影代数（preprojective algebra of type A5）**という、非常に特定の数学的な「レゴセット」を使用しました。これを、5つのノード（家が5軒並んでいるようなもの）が双方向の通りで結ばれた鎖のようなものだと想像してください。これらの家々の間を移動するためのルールは、F2と呼ばれる体（field）によって定義されます。これは、数字が0と1のみとして存在し、1に1を足すと0になるバイナリの世界です。

このバイナリの世界において、著者たちは「射影加群（projective modules）」と呼ばれる特別な集合に注目しました。これらは、彼らの都市における最も強力で、破壊不可能な建築ブロックのようなものです。彼らはまた、「懸然（suspension）ファンクター」も導入しました。これは、都市全体を回転させたり、すべての建物を新しい位置へとシフトさせたりする魔法の機械のようなものです。彼らの特定のセットアップでは、この機械は「グラフ反射（graph-reflection）」、つまり、家々の鎖全体を上下に反転させること（家1が家5になり、家2が家4になるなど）によって駆動されます。

チームは、ルールを「捻じれた（twisted）」バージョンとして作成しました。通常、都市を回転させると、数回回転させた後に建物は元の位置と完璧に重なります。しかし、著者たちは奇妙な挙動を示す特別な建築ブロック（これを加群Mと呼びましょう）を見つけました。このブロックに回転マシンを適用すると、単に位置が重なるだけでなく、小さな「捻じれ」や「グリッチ（不具合）」が付着してしまうのです。彼らはこのグリッチを使用して、彼らの都市のための新しいルール、すなわち$\Delta_\epsilon$を作成しました。

この新しい都市は、最初の3つの法則に完璧に従っています。2つの道路を取り出し、それらを接続しようとすれば、常に3番目の道路を見つけて三角形を完成させることができます。建物は安定しており、回転も期待通りに機能します。それは完璧な「前三角的」な都市に見えます。

しかし、彼らは「4×4」のピラミッドを作ろうとしました。これは、2行の建物と2列の建物を取り出し、すべての行と列が完璧な三角形を形成するように、グリッドの残りの部分を埋めようとするテストです。通常の、完全に「三角的」な都市であれば、これは常に可能です。パズルの欠けているピースを見つけて、常に完成させることができます。

しかし、著者たちの捻じれた都市では、パズルが壊れてしまいます。彼らが欠けているピースをどのように埋めようとしても、最終的な行は常に「間違った」ものになることを彼らは示しました。それは最初の3つの法則には適合するものの、彼らが以前に作成した特定の「捻じれた」ルールとは一致しない行です。それは、四角い杭を丸い穴に無理やり押し込もうとしているようなものです。その穴は、一見フィットしているように見えるほど絶妙に伸びるゴムで作られていますが、蓋を閉めようとした瞬間に、元の形に跳ね返ってしまうのです。

この失敗の鍵となったのは、彼らが加群Mと呼んだ特定の数学的対象と、AおよびBという2つの加群との関係でした。彼らは、もしグリッドを完成させようとすれば、3番目の垂直な矢印（欠けているピース）が特定のタイプの接続に強制されることを証明しました。しかし、彼らが以前に導入した「捻じれ」のせいで、この接続は「捻じれた」状態と「捻じれていない」状態の両方であるという矛盾を生じさせます。

判決

この論文は、大きな問いに対する答えが「ノー」であることを、絶対的な数学的確実性をもって証明しています。ある構造が三角圏の最初の3つの法則に従っていても、4番目の法則には従わない可能性があるのです。「八面体公理」は無料のボーナスではありません。それは、明示的に記述しなければならない、独立した別個のルールなのです。

著者たちは、単に推測したわけではありません。彼らは、F2上のタイプA5の前射影代数を用いて、具体的で明示的な例を構築しました。彼らは、この特定のセットアップにおいて「4×4」の性質が失敗することを示しました。これは、彼らが構築した構造が「前三角的」ではあるものの、「三角的」ではないことを意味します。

これは、KellerやNeemanといった有名な数学者に帰せられるBeligiannisの長期にわたる予想（予想1.1）に決着をつける重要な出来事です。長い間、人々は第4の公理が単に最初の3つの公理の隠れた帰結なのではないかと疑ってきました。この論文はこう言っています。「いいえ、そうではありません。それを明示的に述べなければ、あなたの数学的都市には隠れた亀裂が生じるかもしれません。」

著者たちは、適切な数学的建築ブロックを探索するために、Eurekaと呼ばれるAIシステムの助けさえも借りており、最も抽象的な数学の隅々においても、新しいツールが古いパズルを解く助けとなっていることを示しています。しかし、最終的な証明は、疑いの余地を残さない厳密な人間による議論です。ピラミッドのルールは、魔法のように現れるものではなく、あなたが加えなければならないルールなのです。