Weil’s conjectureの系譜と再定義arithmetic geometryとalgebraic geometryのhigher category的融合
Weil’s conjectureヴァイユ予想の歴史的変遷について
1. カール・フリードリヒ・ガウス
有限体上の解の個数に関する議論の出発点です。
- 出典: Disquisitiones Arithmeticae (算術研究), 1801.
- 内容: 第7章（円分論）において、特定の高次合同式の解の個数を数える手法を提示しました。
2. エミール・アルティン
有限体上の代数関数体にリーマン予想の概念を持ち込みました。
- 出典: “Quadratische Körper im Gebiete der höheren Kongruenzen I, II”, Mathematische Zeitschrift, 1924.
- 内容: 有限体上の2次体（代数曲線）に対してゼータ関数を定義し、その有理性を証明するとともに、リーマン予想の類似を提唱しました。
3. ヘルムート・ハッセ
1次元（楕円曲線）の場合のリーマン予想を初めて証明しました。
- 出典: “Abstrakte Begründung der komplexen Multiplikation und nunmehriger Beweis der Riemannschen Vermutung für die Funktionenkörper vom Geschlecht 1”, Crelle’s Journal, 1936.
- 内容: 属種（genus）1の曲線において、ゼータ関数の零点の絶対値が √q であることを証明しました。
4. アンドレ・ヴェイユ
一般の次元に対する「ヴェイユ予想」を定式化しました。
- 出典: “Numbers of solutions of equations in finite fields”, Bulletin of the American Mathematical Society, 1949.
- 内容: ハッセの結果を全次元に拡張し、解の個数とトポロジー（ベッチ数）の関係を予想。
5. アレクサンドル・グロタンディーク
予想を解くための理論的枠組みを構築しました。
- 出典: Éléments de géométrie algébrique (EGA, 1960–1967) および Séminaire de Géométrie Algébrique du Bois Marie (SGA).
- 内容: 特に SGA 4 (1963-64) において「エタール・コホモロジー」を導入。これにより有理性、関数等式、およびベッチ数との関係が証明されました。
6. ピエール・ドリーニュ
最後の難関を突破し、ヴェイユ予想を完結させました。
- 出典: “La conjecture de Weil : I”, Publications Mathématiques de l’IHÉS, 1974.
- 内容: フロベニウス作用素の固有値の絶対値を評価し、最も困難だった「リーマン予想の類似」を証明しました（後に “La conjecture de Weil : II” でさらに一般化）。
この流れの中で、グロタンディークとは異なるアプローチ（p 進解析的手法）で最初の柱「有理性」を証明した人物。
- バーナード・ドルワーク (Bernard Dwork)
- 出典: “On the rationality of the zeta function of an algebraic variety”, American Journal of Mathematics, 1960.
“Weil’s Conjecture for Function Fields” (Dennis Gaitsgory & Jacob Lurie, 2014) は、数学史の文脈において、ドリーニュが1974年に解決した「古典的なヴェイユ予想」のホモトピー一般化を果たしました。
1. 論文の背景：何が「新しかった」のか？
ドリーニュが証明したヴェイユ予想は、有限体上の多様体 X の「点の数」に関するものでした。
一方、ガイツゴリとルーリーが取り組んだのは、「関数体（Function Fields）」上のヴェイユ予想、特に「Tamagawa Number」や「数論的L関数」を幾何学的に解釈する問題です。
彼らのアプローチの最大の特徴は、「代数幾何学をホモトピー論（トポロジー）として解く」という点にあります。
2. 主な手法：派生代数幾何学（DAG）の適用
この著作では、ジェイコブ・ルーリーが創始した派生代数幾何学（Derived Algebraic Geometry）理論が活用されています。
- L-adic Sheaves の圏論的解釈: 従来の代数幾何では「層（Sheaf）」を個別に扱いましたが、彼らはその「派生圏（Derived Category）」を ∞-category として扱い、幾何学的な対象を「スペクトル」として捉えました。
- トレース公式のトポロジー化:ヴェイユ予想の核である「レフシェッツのトレース公式」を、「Atiyah-Bott の局所化公式」の無限次元版（スタック上の形式）として再構成しました。
3. 「積の公式」と「幾何学的ラングランズ」
「積の公式（Product Formula）」の幾何学的版
- アデール的視点: 伝統的な数論では、全ての素点に対する局所的な情報の積として全体（グローバル）を捉えます。
- 幾何学的解釈: ルーリーとガイツゴリは、曲線の上の点ごとに定義される「局所的な圏」を、「因数分解可能な圏（Factorizable Categories）」という概念を用いて統合しました。
- 結論: これにより、関数体上の GL_n に対するヴェイユ予想（Tamagawa数 ＝ 1 という主張など）を、複素数体上の代数トポロジーの問題（モジュライ・スタックのホモロジー計算）へと完全に翻訳して解き明かしたのです。
| 時代 | 視点 | 扱った対象 |
| 1974 (ドリーニュ) | 数論的代数幾何 | 点の数、固有値の評価 |
| 2014 (ガイツゴリ & ルーリー) | 派生幾何・ホモトピー論 | 圏の同値、モジュライ・スタックの不変量 |
数学界へのインパクト
この仕事は、「ヴェイユ予想は解かれて終わった問題」ではなく、「より高次の幾何学構造を理解するための出発点である」ことを証明しました。特に、数論的対象を「因数分解可能な層（Factorizable Sheaves）」や∞-categoryの言葉で記述する手法は、標準的な言語になりつつあります。