[论文解读] Étale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields

Sudhir R. Ghorpade, Gilles Lachaud|ArXiv.org|Aug 15, 2008

Algebraic Geometry and Number Theory参考文献 27被引用 38

一句话总结

本文在有限域上对奇点完整交集建立了有理点数的精确上界，扩展了 Deligne 对光滑概形的估计，并改进了 Lang-Weil 不等式。通过 étale 上同调、奇点概形的广义弱 Lefschetz定理以及 Grothendieck-Lefschetz 跟踪公式，给出了具有有效常数的点计数显式上界，通过 étale 上同调证明了 Lang 和 Weil 关于 Picard 与 Albanese 概形的猜想。

ABSTRACT

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this inequality generalizes also the classical Lang-Weil inequality. Moreover, we prove the Lang-Weil inequality for affine as well as projective varieties with an explicit description and a bound for the constant appearing therein. We also prove a conjecture of Lang and Weil concerning the Picard varieties and étale cohomology spaces of projective varieties. The general inequality for complete intersections may be viewed as a more precise version of the estimates given by Hooley and Katz. The proof is primarily based on a suitable generalization of the Weak Lefschetz Theorem to singular varieties together with some Bertini-type arguments and the Grothendieck-Lefschetz Trace Formula. We also describe some auxiliary results concerning the étale cohomology spaces and Betti numbers of projective varieties over finite fields and a conjecture along with some partial results concerning the number of points of projective algebraic sets over finite fields.

研究动机与目标

• 将 Deligne 对光滑完整交集的点计数估计推广至有限域上的奇点概形。
• 为 Lang-Weil 不等式提供一个有效版本，给出隐含常数的可计算上界。
• 通过 étale 上同调证明 Lang 和 Weil 关于射影概形的 Albanese 与 Picard 概形的猜想。
• 将弱 Lefschetz 定理推广至奇点概形，并通过 Bertini 型论证应用于完整交集。
• 描述射影概形在有限域上的贝蒂数与上同调结构，特别是中心与倒数第二贝蒂数。

提出的方法

• 通过 étale 上同调与超平面截面技巧，将弱 Lefschetz 定理推广至奇点完整交集。
• 应用 Grothendieck-Lefschetz 跟踪公式，将 zeta 函数与上同调数据及点计数联系起来。
• 使用 Bertini 型定理将奇点概形约化为更简单情形，同时保持上同调控制。
• 通过涉及多重度与二项式系数的闭式公式计算原始贝蒂数。
• 利用组合与次数界，以 $ r, \nu, \text{ 和 } \theta $ 表示，对点计数估计中的常数 $ C_s(X) $ 进行有界。
• 通过特征多项式与 $ q^{-g} $ 的缩放，精确建立 $ (2n-1) $-阶上同调与 Albanese-Weil 概形之间的联系。

实验结果

研究问题

• RQ1 如何将 Deligne 对光滑完整交集的点计数估计推广至有限域上的奇点完整交集？
• RQ2 对具有任意奇点的射影概形，Lang-Weil 不等式中常数的有效上界是什么？
• RQ3 射影概形的 étale 上同调空间如何与它们的 Albanese 与 Picard 概形相关联，特别是在 Lang-Weil 猜想的背景下？
• RQ4 奇点完整交集的中心与倒数第二贝蒂数的精确结构是什么？
• RQ5 能否为有限域上射影代数集的有理点数建立一个紧致上界，特别是在次数较小时？

主要发现

• 对维度 $ n $、多重度 $ \bmathbf{d} $、奇点集维度 $ \leq s $ 的完整交集 $ X \to \bP^N $，建立了其 $ \bF_q $-有理点数的显式上界： $$ \left| \#X(\bF_q) - \pi_n \right| \leq b'_{n-s-1}(N-s-1,\mathbf{d}) q^{(n+s+1)/2} + C_s(X) q^{(n+s)/2}, $$ 其中 $ \pi_n = \sum_{i=0}^n q^i $。
• 原始贝蒂数 $ b'_j(M,\mathbf{d}) $ 满足 $ \binom{M+1}{j}(\delta+1)^M $ 的上界，其中 $ \delta = \max(d_1,\dots,d_r) $，从而对上同调项提供了有效控制。
• 估计中常数 $ C_s(X) $ 的显式上界为 $ 9 \times 2^r \times (r\delta + 3)^{N+1} $，使估计具有有效性和可计算性。
• 本文证明了射影概形 $ X $ 的 $ (2n-1) $-阶虚贝蒂数是其 Albanese-Weil 概形 $ \operatorname{Alb}_w X $ 的维数的两倍，且满足 $ P^+_{2n-1}(X,T) = q^{-g} f_c(\operatorname{Alb}_w X, q^n T) $，从而证实了 Lang 和 Weil 的一个猜想。
• 证明了 Lang-Weil 不等式的有效版本：对任意定义在 $ \bF_q $ 上的射影概形 $ X \subset \bP^N $，维度 $ n $，次数 $ d $，有 $$ \left| \#X(\bF_q) - \pi_n \right| \leq (d-1)(d-2) q^{n-1/2} + C q^{n-1}, $$ 其中 $ C \leq 9 \times 2^m \times (m\delta + 3)^{N+1} $，$ m $ 为定义方程的个数，$ \delta = \max(d_i) $。
• 本文证明了仿射概形的 Lang-Weil 不等式类比，并证实了 Lachaud 对维度 $ n \geq N/2 $ 且次数 $ d \leq q+1 $ 的完整交集的猜想： $$ \#X(\bF_q) \leq d(\pi_n - \pi_{2n-N}) + \pi_{2n-N}. $$