André Weil and the Hodge Conjecture
André Weil and the Hodge Conjecture (jiahao116.github.io)
要約
この記事は、数学者アンドレ・ヴェイユがホッジ予想に対して抱いていた懐疑論と、彼がその反例構築を試みた歴史を解説しています。ヴェイユはホッジ理論の記法を整理し、現代的な形式を確立しましたが、同時に予想の妥当性にも疑問を呈しました。彼の試みは予想の証明には至りませんでしたが、その後の数学の発展に大きな影響を与えました。
全文翻訳
アンドレ・ヴェイユとホッジ予想
記事
Jiahao Cao, Munich
OpenAIがホッジ予想の反例を構築した可能性が指摘されています。アンドレ・ヴェイユは、ホッジ予想に疑問を呈し、反例の構築を試みた初期の数学者の一人であり、おそらく最も成功に近づいた人物の一人でもありました。
ヴェイユがホッジ自身と直接交流した記録はほとんどありません。最も古い記録は1947年のもので、ヴェイユがH. Cartanへの手紙の中で、ホッジの著書を研究し、それを代数多様体に適用しようとしていると述べています。
ヴェイユはホッジ理論の重要性を強く認識していましたが、同時にその記法を「テンソルの恐ろしいサラダ」のようだと鋭く批判しました。
10年後、ヴェイユは『Introduction à l’étude des variétés kählériennes』を著し、ケーラー・ホッジ技法をよりクリーンな言葉で書き直し、整理しました。これは「読者の理解を容易にするため」だと述べられています。
ホッジ理論の現代的な記法と構成は、大いにヴェイユの著書によって確立されました。ヴェイユの死後、彼の著書はその追悼記事で、ホッジ理論の最初の現代的な解説として特筆されました。
その後、有名な戦後初のフィールズ賞が登場します。ホッジは、ヴェイユに授与することを最も強く支持した委員の一人であり、「そうでなければ我々は義務を怠るかもしれない」と警告しました。しかし、彼の努力は最終的に実を結びませんでした。おそらく将来の委員会が同じようなジレンマに直面するのを避けるため、フィールズ賞は後に有名な40歳の年齢制限を獲得しました。
賞が授与された国際数学者会議で、ヴェイユは数論と代数幾何学の統一的な視点を示す講演を行い、その後の数十年にわたる代数幾何学の発展の多くを要約し、予測しました。5日後、ホッジは別の講演でホッジ予想の最初のバージョンを発表しました。
初期のホッジ予想は、ルシャシツキーの(1,1)-定理の自然な外挿のように見えたため、疑う理由はあまり多くありませんでした。
ルシャシツキーはすでに(p=1)の場合を解決しており、次数2のホッジクラスはすべて因子から来ていました。したがって、多様体のホッジ環全体が次数2のホッジクラスによって生成されるならば、ホッジ予想は自動的に導かれるはずでした。
1960年代、マンフォードとテイトはまさにこの経路を追求しようとしました。残念ながら、マンフォードは、因子積から書くことができないCM型アーベル四次元多様体(A)のホッジ((2,2))クラスという、いわゆる例外的なホッジクラスの反例を見つけました。このアプローチを断ち切ったのです。
その後のことは、テイトがセールに宛てた手紙から知られています。
1965年、テイトはこの反例をヴェイユに伝えました。ヴェイユはすぐに、この例が本質的には4次元の例のファミリーの特別なケースにすぎないことに気づきました。
彼はその後、追加の虚二次体の対称性を持つ特殊なアーベル多様体のクラスを検討しました。この対称性は、複素方向を2つのグループに均等に分割します。虚二次体上でこれらの方向の積を取ると、2次元の有理コホモロジー部分空間が得られます。2つのグループのサイズが等しいという事実は、この空間が((n,n))型であり、したがって2次元のホッジクラス空間であることを保証します。これが後にヴェイユ・クラスとして知られるようになったものです。
これらのヴェイユ・クラスは、対応する代数的部分多様体を事前に知る必要なしに、対称性と線形代数構造から自動的に生じます。したがって、ヴェイユは予想に疑問を抱き始めました。もしこれらのクラスが対称性によってこのように自動的に生成されるのであれば、なぜそれらが必然的に真の代数サイクルに対応しなければならないのでしょうか？もし1つのヴェイユ・クラスでも代数サイクルに対応しないことが示されれば、ホッジ予想は反証されることになります。このように、ある証明戦略の反例が、ヴェイユによって予想自体の可能な反例へと一般化されました。
そこでヴェイユはテイトにこう言いました。
あなたとマンフォードがホッジ予想を信じているようだから、これらの異常なクラスに対応する代数サイクルを提示するのは、今やあなたの番だ。私はそれを信じない傾向にあるので、むしろそのようなサイクルが存在しないことを示そうとするだろう。
ヴェイユはその後、反例の構築を試み始めました。もちろん、彼の努力は成功しませんでした。そうでなければ、この予想は後にミレニアム懸賞問題の一つにはならなかったでしょう。
これは、ヴェイユがモルデル/リーマン予想、さらにはフェルマー予想やラングランズ予想に取り組んだことと非常によく似ていました。これらの偉大な予想に直面して、彼は1世紀にわたって誰も達成できなかった最初のブレークスルーを達成するか、あるいは予想の重要性、またはその解決に向けた特定の経路の重要性をすぐに認識し、それによって主題全体の方向性を定めるのに役立つかのどちらかでした。最終的にこれらの問題を解決したのは彼であることがほとんどありませんでしたが、ヴェイユこそがAI時代に最も必要とされる数学者の種類かもしれません。
さらに後、ベネディクト・グロスの回想によると、アールフォースの70歳の誕生日を祝う会議で、ヴェイユはまだ公然と、かなり挑発的な方法で、ホッジ予想をどのように攻撃できるかについて議論していました。
キャリアの初期段階にあったグロスは、聴衆席に座り、チョウラ・セルバーグ公式に関連する周期恒等式を証明するためにヴェイユのアイデアを修正しようと試み、すぐにその議論を論文にしました。
同じ会議で、セールはグロスをデリーニュに紹介し、グロスはヴェイユのアイデアを適応させて得られたこの結果を説明しました。
デリーニュは驚き、グロスに尋ねました。「ホッジ予想を証明したのですか？」
グロスは陽気に、もし本当にそうなら、彼は間違いなく喜ぶだろうと答えました。彼はまだ博士論文のテーマを探しており、ホッジ予想を証明することは、おそらく論文には十分だろうと考えていました。
数週間後、デリーニュはグロスに3ページの原稿を送りました。その原稿は最終的に、アーベル多様体上のすべてのホッジサイクルが絶対ホッジであるという有名な結果に発展しました。
ミルンがこの歴史について議論したとき、ヴェイユの疑問に関連して、アーベル多様体は当初、ホッジ予想の比較的容易なケースとして数えられるべきだったと述べました。
しかし、50年後も、数学界はこれらのヴェイユ・ホッジクラスが代数的であることを証明できませんでした。これは明らかに、数学者のホッジ予想への信頼を大きく弱めることになりました……
ホッジ予想のその後の歴史（グロタンディーク、デリーニュ、グリフィスなど）については、また別の機会に加える必要があります。
最後に、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.」