解法: ヒッチンファイブレーションと幾何学的台定理によるNgôの証明(2008年)
ざっくり言うと
ヒッチンファイブレーションのように完全には滑らかでない写像に沿って空間の位相を押し出すと、一部の繊維が退化するため絶望的に複雑に見えることがある。Beilinson、Bernstein、Deligne、Gabberによる画期的な結果である分解定理は、繊維がどれほど特異であっても、この押し出しが常に偏屈層と呼ばれる単純で扱いやすい断片へときれいに分解されることを保証する。
これによりNgôは、特異な繊維を一つずつ手で解析する代わりに、すべての繊維のコホモロジーを一度に制御する扱いやすい構成要素の一覧を手に入れる。
詳しい解説
Beilinson–Bernstein–Deligne–Gabber(BBD、1982)の分解定理は、代数多様体間の固有写像 に対して、定数層の導来押し出しが、導来圏の中で、それぞれ標的のある閉部分多様体上に台を持つシフトされた単純偏屈層の直和に分裂することを述べる。ヒッチンファイブレーション に適用すると、これは族全体のコホモロジーを有限個の偏屈な項に分解する。
各項は台——それが非零であるような の部分多様体——に「付随」しており、基本補題の困難さのすべては、どの台が実際に現れるか、そして繊維が滑らかなアフィン・スプリンガー・ファイバーであるような の開かつ一般的な軌跡上で各項がどれほど大きいかを特定することに帰着する(Hales 2011, §7; Ngô 2010, 定理6.4)。
これが、証明が「巧妙な積分のトリックを見つける」ことから「特定の幾何学的な族における分解の可能な台を計算する」ことへと変わる地点であり、それが次のステップの台定理の主題である。
- 偏屈層
- 特異な空間に適応させた局所定数層の一般化で、代数的な写像に沿った押し出しの下でよく振る舞う。分解定理が押し出しを分解する自然な断片である。
- 分解定理
- 1982年のBeilinson、Bernstein、Deligne、Gabberによる定理で、代数多様体の固有写像に沿って定数層を押し出すと、写像の繊維が非常に特異であっても、常に単純偏屈層の直和が得られると述べる。