[論文レビュー] A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)

Hélène Esnault, Moritz Kerz|arXiv (Cornell University)|Aug 1, 2012

Algebraic Geometry and Number Theory参考文献 24被引用数 37

ひとこと要約

この論文は、有限体上の滑らかな多様体における無限可換 $ar{\mathbb{Q}}_\ell$-層のデリーニュの有限性定理について、詳細な解説を提供している。分岐が有界であるとき、同型とねじれを除いてこのような層は有限個に限られることを示している。証明は曲線におけるラフォルグのラングランズ対応に依拠し、$\mathbb{Q}$ 上の有限型アフィンモジュライ空間を構成しており、その結果、すべてのフロベニウストレースが固定された数体に含まれることを導く。

ABSTRACT

Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The proof relies on Lafforgue's Langlands correspondence over curves. In addition, Deligne shows the existence of affine moduli of finite type over $\mathbb{Q}$. A corollary of Deligne's finiteness theorem is the existence of a number field which contains all traces of the Frobenii at closed points, which was the main result of his recent article and which answers positively his own conjecture from Weil II.

研究の動機と目的

• 有限体上の滑らかな多様体における無限可換 $\bar{\mathbb{Q}}_\ell$-層の有限性定理について、デリーニュの証明を詳細かつ理解しやすい形で提示すること。
• 有界ランクおよび有界分岐をもつ非可約無限可換 $\bar{\mathbb{Q}}_\ell$-層が、ねじれと同型を除いて有限個に限られることを確立すること。
• このような層をパラメトライズする、$\mathbb{Q}$ 上の有限型アフィンモジュライ空間の存在を示すこと。
• このような層のすべてのフロベニウストレースが、固定された数体に含まれることを証明し、ウェイルIIにおけるデリーニュの予想（ii）を確認すること。
• この有限性が、有限体上の0次元サイクルの相対チャウ群および高次元クラス体論に与える影響を検討すること。

提案手法

• 曲線におけるラフォルグのラングランズ対応を活用し、問題を滑らかな曲線の場合に還元すること。
• デリーニュの重要な定理である、有界次数の閉点におけるフロベニウスの特徴多項式によって、曲線上の半単純無限可換 $ar{\mathbb{Q}}_\ell$-層が決定されることを用いる。
• 曲線 $X$ にマッピングする層の整合的系をパラメトライズする、$\mathbb{Q}$ 上の有限型アフィンスキームとしての粗モジュライ空間 $L_r(X,D)$ を構成する。
• ヒルベルトの既約性定理を用いて、与えられた層の引き戻しが非可約のままであるような、$X$ にマッピングする滑らかな曲線 $C$ を構成する。
• ザリスキの主要定理とコンパクト化の帰納的構成を用いて、開部分スキームの系を安定化させ、移行準同型の有限性を導く。
• ねじれを除く非可約無限可換 $ar{\mathbb{Q}}_\ell$-層と、モジュライ空間の特定の1次元既約成分との間の全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の滑らかな多様体において、有界ランクおよび有界分岐をもつ非可約無限可換 $ar{\mathbb{Q}}_\ell$-層は、ねじれと同型を除いて有限個に限られるか？
• RQ2 このような層のフロベニウストレースは、閉点に依存せず、一つの数体に一様に有界されるか？
• RQ3 有限体上の多様体に有界分岐をもつ2スケルトン層が、その多様体上の無限可換 $ar{\mathbb{Q}}_\ell$-層から必ず生じるか？
• RQ4 このような層のモジュライ空間は $\mathbb{Q}$ 上で有限型であり、明示的に構成可能か？
• RQ5 この有限性は、有限体上の0次元サイクルの相対チャウ群にどのような影響を及えるか？

主な発見

• 滑らかな多様体上の有限体上における、与えられたランクをもつ非可約無限可換 $ar{\mathbb{Q}}_\ell$-層は、分岐が適切に有界であれば、ねじれと同型を除いて有限個に限られる。
• ランク $r$ および有界分岐をもつ2スケルトン層のモジュライ空間 $L_r(X,D)$ は、$\mathbb{Q}$ 上の有限型アフィンスキームであり、$X$ にマッピングする曲線の整合的系をパラメトライズする。
• ねじれを除く非可約無限可換 $ar{\mathbb{Q}}_\ell$-層は、モジュライ空間 $L_r(X,D)$ の特定の1次元既約成分と全単射で対応する。
• このような層のすべての閉点におけるフロベニウストレースは、固定された数体 $E(V) \subset \bar{\mathbb{Q}}_\ell$ に含まれる。これは、ウェイルIIにおけるデリーニュの予想（ii）を確認する。
• 多様体 $X$ 上の、有界モジュラスをもつ0次元サイクルの相対チャウ群の次数0部分は有限である。これは有限性定理の帰結である。
• モジュライ空間の構成は、ヒルベルトの既約性の精巧な応用と、曲線への制限に関する重要な定理に依拠しており、デリーニュの元々の証明を簡略化する。