Japanese Translation:

OpenAI は、代数多様体におけるトポロジーと幾何学を結びつける数百年にわたる仮説であるホッジ予想の反例を構築した可能性があります。これは、当初アンドレ・ Weil によって提示された形でその妥当性に疑問を投げかける潜在的な可能性を含んでいます。歴史的に見れば、Weil はこの予想の普遍的真実に対して疑問を抱いた最初期の数学者の一人であり、当初はその記法を批判し、後に 1957 年の書籍『Introduction à l'étude des variétés kählériennes』でそれを精錬しました。1960 年代にはアンドリュー・マムフォードが、特に ((2,2)) クラスの一部が除子積として表現できないような、ある CM 型のアベリアン四次変形を関与する重大な反例を見つけました。この発見は、Weil に特殊なアベリアン多様体内の対称性に基づく「Weil クラス」の開発を促しました。もし OpenAI の反例が確認されれば、ホッジ予想が真である条件を再定義し直す必要が生じます。逆に、そのケースが否定されたり、既存の枠組みを通じて解決されたりすれば、代数幾何学の核心的原理はそのまま保たれる可能性があります。この潜在的なブレイクスルーは、人工知能が抽象的代数幾何学における深い進歩と課題を牽引しうることを示しており、基礎理論そのものを数年以内に再形成する可能性さえ示唆しています。

オープン AI とアンドレ・ワイル：ホッジ予想の反例探索とその歴史

OpenAI の最新動向とワイルの役割

OpenAI の声明：ホッジ予想に対する反例を構築した可能性が非常に高いとの見方がある。
アンドレ＝ワイルの評価：
- ホッジ予想に懐疑的であり、最初の数学者の一つとして反例の構築を試みたとされる。
- 恐らく、それを実際に最も成功に近い形で実現しようとした人物と言えるだろう。

ワイルとホッジ理論の変遷

初期の交流：
- ホッジ氏とは直接接する機会がほとんどなかった。
- 最も古い記録は1947 年。ワイルがカルタン H. 氏宛ての手紙で、ホッジの著作を代数多様体に適用しようとしていることを報告した。
理論への批判と再構築：
- ホッジ理論の重要性を認識しつつも、記号法を**「ひどいテンソルのサラダ」**として厳しく批判した。
- 10 年後に『ケイラー多様体研究入門』を発刊。ケーラー＝ホッジの技術を洗練された言語で再記述し、「読解を容易にすること」を目指した。
現代への影響：
- 本書によって、現代のホッジ理論の記号法と体系構成が決定付けられた。
- ワイル死去後の訃報記事で初めて、本書は現代的なホッジ理論解説書として再評価された。

フィールズ賞と国際数学者大会

授与への尽力：
- 戦後初回のフィールズ賞において、ワイルは委員会のメンバーとして最も強く授与に賛成した人物の一人だった。
- 叶わなかった場合、「我々の務めから逃れることになる」と警告していたが、願いは叶わなかった。
年齢制限の導入：
- 将来的な委員会ジレンマを防ぐため、フィールズ賞には後に40 歳までの年齢制限が設けられた。
プレナー講義とホッジ予想の発表：
- 国際数学者大会でワイルは、数理理論と代数幾何学を統一的視点から提示する講義を行った（代数幾何学の発展を総括・予見）。
- その後の 5 日間でホッジ氏がホッジ予想の原本を発表した。

ホッジ予想への挑戦と「異常なホッジ類」の発見

初期の妥当性：
- レフシェツィの (1,1)-定理からの自然な外挿であり、疑う理由は多くなかった。
- 次数 2 のホッジ類が divisor に由来するため、代数多様体のホッジ環全体がこれらによって生成されるなら予想は自動的に成立するはずだった。
マムフォードとテートの試み：
- 1960 年代、両氏はこのアプローチを具体化しようとしたが、反例に直面した。
- マムフォードが発見したのは**「異常なホッジ類」**と呼ばれるものであった。
- 特徴：除子として書けず、((2,2))-型のホッジ类を持つ CM 型のアベル四重形（A）である例。

ワイルの反論戦略と「ワイル類」の発見

テートへの連絡（1965 年）：
- テートがセレー経由でワイルに反例を伝えた際、ワイルはこれを**「4 次元の例の族の特別なケース」**に過ぎないと即座に理解した。
新たな数学的対象の構築：
- ワイルは、付加的な虚二次体の対称性を備えた特殊なアベル多様体の一類を考案した。
- この構造から自動的に生成される 2 次元有理数コホモロジー部分空間が、後に**「ワイル類」**と呼ばれるようになる（((n,n))-型のホッジ類）。
懐疑論の深化：
- これらの類は対称性と線形代数的構造から自動生成されるため、事前に知られた代数部分多様体の存在を必要としない。
- 核心となる疑問：なぜこれら自動的に生成される類が、必ず真の代数サイクルに対応しなければならないのか？
- 結論：単一のワイル類が代数サイクルに対応しないと示せば、ホッジ予想は否定される。
ワイルの宣戦布告：

「あなたたちとマムフォードのようにホッジの予想を信じるとしたら、今度はあなたがたがこれらの異常な類に対応する代数サイクルを示す番です。私はそれを信じるよりむしろ、そのようなサイクルが存在しないことを示そうと考えています。」

結果とその波及効果

証明の失敗と賞への影響：
- ワイルの反例構築努力は成功しなかった（さもなければホッジ予想は「千年の難問」にはならなかった）。
- これはワイルがモールデル予想やフェルマー予想、ラングランドズ予想に対して行った作業と同様で、大規模な予想に直面して学問全体への道筋を認識する数学者としての役割を果たした。
ベンディクト・グロス氏の功績：
- 数十年後の会議で、ワイルの挑発的議論を聴いたグロス氏は、これを修正してチョウラ＝セルバーグ公式に関連する周期恒等式を証明し論文化した。
- セレーからデリニュへの紹介を経て、グロスは「ホッジ予想を証明したか」と問われ、「もしそうなら喜んでいる」と快活に答えた。
- その手稿は後に、アベル多様体上のすべてのホッジ類は絶対的にホッジであるという有名な結果へと発展した。
現在の状況：
- 半世紀が経った今でも、数学共同体はこれらの「ワイル類」が代数であることを証明できていない。
- これは数学者たちがホッジ予想に対する信頼を大きく失う原因の一つとなっている。

ワイルの言葉と将来への示唆

グロテンディックらによる進展：今後の歴史（グロテンディック、デリニュ、グリフィス氏らの貢献）については別途加筆が必要である。
ワイルの遺言のような言葉：OpenAI の動向を踏まえ、ワイル自身も懸念していた点を再確認する。

「ホッジ予想が提起する問題は非常に自然なものだが……私が知る限り、それを信じるに値するわずかな理由さえも存在しない；もしこの問題を反例によって解決できたら、幾何学者たちには多大な恩恵になるだろう。」

"The question posed by the 'Hodge conjecture' is a very natural one… Unfortunately, despite the word 'conjecture', as far as I know there is not the slightest reason to believe it; one would be doing geometers a service if the question could be settled by means of a counterexample."

⭐ このウェブサイトを GitHub で Star してください

アンドレ・ウェールとホッジ予想