[论文解读] 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

一句话总结

本文对有限域上光滑代数簇上的不可约平展 $\bar{\mathbb{Q}}_\ell$-层的 Deligne 有限性定理提供了详尽阐述，表明当分支被限制时，此类层在扭等价与同构意义下仅有有限多个。证明依赖于曲线情形下的 Lafforgue 郎兰兹对应，并构造了一个 $\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.

研究动机与目标

• 为 Deligne 关于有限域上光滑代数簇上的平展 $\bar{\mathbb{Q}}_\ell$-层的有限性定理提供一份详尽且易于理解的证明阐述。
• 证明在秩与分支有界时，不可约平展 $\bar{\mathbb{Q}}_\ell$-层在扭等价与同构意义下是有限的。
• 证明存在一个参数化此类层的 $\mathbb{Q}$ 上的有限型仿射模空间。
• 证明此类层的所有弗罗贝尼乌斯迹均属于某个固定的数域，从而确认 Weil II 中 Deligne 的猜想 (ii)。
• 探讨此有限性结果对有限域上 0-循环的相对 Chow 群与高维类域论的含义。

提出的方法

• 利用 Lafforgue 在曲线情形下的郎兰兹对应，将问题约化至光滑曲线的情形。
• 运用 Deligne 的关键定理：在曲线上，半单平展 $\bar{\mathbb{Q}}_\ell$-层由其在有限个有界次数的闭点处的弗罗贝尼乌斯特征多项式唯一确定。
• 构造 2-骨架层的粗模空间 $L_r(X,D)$，作为 $\mathbb{Q}$ 上的有限型仿射概形，参数化映射到 $X$ 的曲线上的相容层系。
• 应用希尔伯特不可约性定理，构造映射到 $X$ 的光滑曲线 $C$，使得给定层的拉回仍为不可约。
• 利用 Zariski 主定理与紧化构造的归纳法，稳定开子概形的系统，并推出过渡态射的有限性。
• 在扭等价意义下，不可约平展 $\bar{\mathbb{Q}}_\ell$-层与模空间 $L_r(X,D)$ 的某些一维不可约分支之间建立双射。

实验结果

研究问题

• RQ1 在有限域上光滑代数簇上，给定秩且分支有界的不可约平展 $\bar{\mathbb{Q}}_\ell$-层，在扭等价与同构意义下是否仅有有限多个？
• RQ2 此类层在各闭点处的弗罗贝尼乌斯迹是否能统一地被控制在某个固定的数域中，且该数域不依赖于闭点？
• RQ3 在有限域上代数簇上具有有界分支的 2-骨架层，是否必然源自该代数簇上的平展 $\bar{\mathbb{Q}}_\ell$-层？
• RQ4 此类层的模空间是否为 $\mathbb{Q}$ 上的有限型概形？能否显式构造？
• RQ5 此有限性结果对有限域上带有模的 0-循环的相对 Chow 群有何后果？

主要发现

• 在有限域上给定秩的光滑代数簇上，当分支被适当地限制时，不可约平展 $\bar{\mathbb{Q}}_\ell$-层在扭等价与同构意义下仅有有限多个。
• 秩为 $r$ 且分支有界的 2-骨架层的模空间 $L_r(X,D)$ 是 $\mathbb{Q}$ 上的有限型仿射概形，参数化映射到 $X$ 的曲线上的相容层系。
• 在扭等价意义下，不可约平展 $\bar{\mathbb{Q}}_\ell$-层与模空间 $L_r(X,D)$ 的某些一维不可约分支之间存在双射。
• 此类层在闭点处的所有弗罗贝尼乌斯迹均属于某个固定的数域 $E(V) \subset \bar{\mathbb{Q}}_\ell$，从而确认了 Deligne 在 Weil II 中的猜想 (ii)。
• 带有有界模的 $X$ 上 0-循环的相对 Chow 群的零度部分是有限的，这是有限性定理的直接推论。
• 模空间的构造依赖于对希尔伯特不可约性与曲线限制关键定理的精细运用，从而简化了 Deligne 的原始论证。