MathLabs

解法: ヒッチンファイブレーションと幾何学的台定理によるNgôの証明(2008年)

ステップ 4/9: 曲線上のヒッチンファイブレーションによる大域化
ざっくり言うと

一箇所ずつ不変格子の様子を調べる代わりに、同じデータを代数曲線 XX 全体に連続的に広げることを想像してほしい。そこでは各点が別々の局所体のように振る舞う。XX 上のヒッグス束のモジュライ空間は、パラメータ空間 AA の各点 aa ごとに一つずつ、アフィン・スプリンガー・ファイバーのような空間の族全体を一度にまとめ上げる。

見返りは、うまく選んだ aa における単一の大域的な繊維上の点を数えることが、すべての場所における局所的な数え上げの組み合わせを一度に自動的に計算し、純粋に局所的な問いを単一の幾何学の問いに変えることである。

MHiggs(G,X) ↠ A,fibre over a∈A ↔ {affine Springer fibers at γa}M_{Higgs}(G, X) \ \twoheadrightarrow \ A, \quad \text{fibre over } a \in A \ \leftrightarrow \ \{\text{affine Springer fibers at } \gamma_a\}
詳しい解説

Ngôの鍵となる着想は大域的である:射影曲線 XX 上の GG-ヒッグス束のモジュライ空間は、アフィン空間 AA へのヒッチン写像 f:M→Af: M \to A(ヒッグス場の特性多項式から作られるヒッチンファイブレーション)を持ち、Weil予想により、a∈Aa \in A 上の繊維の点をGrothendieck–Lefschetz跡公式で数えることは、対応する元 γa\gamma_a における局所軌道積分の積に等しく、これは XX のすべての場所にわたって同時に取られる(Ngô 2010, §4; Hales 2011, §5)。

ステップ3の局所体 Fq((t))\mathbb{F}_q((t)) は文字通りそのような曲線上のある点における完備局所環であるため、ヒッチン繊維のコホモロジーは場所ごとに、まさにすでに述べたアフィン・スプリンガー・ファイバーへと分解される——これは大域的な数え上げを局所的なものに結びつける「質量に対する積公式」である。

こうして基本補題——純粋に局所的な主張——は、Fq\mathbb{F}_q 上の単一の高度に構造化された代数多様体の大域的な族のコホモロジーに関する問題となる。

このステップの用語
ヒッチンファイブレーション
代数曲線 XX 上の GG-ヒッグス束のモジュライ空間 MM から、ヒッグス場の特性多項式を通じてアフィン空間 AA への写像 f:M→Af: M \to A。1987年にNigel Hitchinがゲージ理論の別の問題のために導入した。
ヒッグス束
曲線 XX 上のベクトル束と、その捩れた自己準同型(ヒッグス場)の組。その特性多項式がヒッチン写像の下での AA の点を与える。
このステップで使う知識