MathLabs

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

ステップ 7/9: 純粋性と積公式による GG と HH の一致
ざっくり言うと

ヒッチンファイブレーションのコホモロジーが至る所で定まったので、同じ議論をより小さな群 HH 自身のヒッチンファイブレーションに対して行うと、そこでも一致する記述が得られる。関係する数の大きさを制御する純粋性と呼ばれるさらなる評価により、二つの記述は HH のパラメータ空間が GG のそれの中に位置するところではどこでも正確に一致しなければならないことがわかる。

ヒッチン繊維上の点の数は場所ごとにステップ3の局所的な数え上げへと因数分解されるため、この大域的な等式は対応する局所軌道積分がすべての場所で一致することを強制する——これがまさにリー環に対する基本補題である。

#MG,a(Fq) = #MH,a(Fq)for generic a\#\mathcal{M}_{G,a}(\mathbb{F}_q) \ = \ \#\mathcal{M}_{H,a}(\mathbb{F}_q) \qquad \text{for generic } a
詳しい解説

Ngôは内視群 HH に対しても同じ分解と台の解析を実行する。そのパラメータ空間 AHA_H は、HH のルートデータを GG のそれに埋め込むことを通じて自然に AA へと写る。Weil予想の証明から得られるDeligneの純粋性定理は、両方のファイブレーションのコホモロジーに現れるフロベニウスの重みを評価し、台定理と組み合わせると、一般的な aa 上での GG-繊維と移された HH-繊維の点の数が、有界な誤差の範囲でではなく、正確に一致することを強制する(Ngô 2010, §7–8; Hales 2011, §6)。

質量に対する積公式——大域的な数え上げは曲線の各場所ごとの局所アフィン・スプリンガー・ファイバーの数え上げの積に分解され、γ\gamma がそこで不分岐であるほとんどすべての場所で自明に等しい——により、この大域的な等式は残りのすべての場所で個々の局所項が一致することを強制する。これはまさにLanglandsとShelstadが予想した κ\kappa 重み付き軌道積分の等式であり、今や正標数の局所体上の任意の簡約群のリー環に対して確立された。

これがNgôの論文のクライマックスである:二つの多様体の族のコホモロジーを一致させるという大域的で幾何学的な主張が、ステップ1の局所的で数論的な主張へと翻訳し戻されたのである。

このステップの用語
純粋性(Weil予想)
1974年にPierre Deligneが証明した性質で、Fq\mathbb{F}_q 上の代数多様体のコホモロジーに作用するフロベニウス写像の固有値が正確に制御された絶対値を持つというもの。これによりキャンセルが排除され、正確な点の数が定まる。
このステップで使う知識