[論文レビュー] É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の不等式を精緻化する。エタールコホロロジー、特異多様体に対する一般化された弱Lefschetz定理、およびGrothendieck-Lefschetzのトレース公式を用いて、有効な定数を伴う点数の明示的評価を提供し、エタールコホロロジーを用いてLangとWeilのPicardおよびアーベルジャン多様体に関する予想を証明する。

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不等式の有効版を提供すること。
• エタールコホロロジー空間と射影多様体のアーベルジャンおよびピカード多様体との関係を示すLangとWeilの予想を証明すること。
• 弱Lefschetz定理を特異多様体に拡張し、Bertini型の議論を用いて完全交差に応用すること。
• 特に中心および第2末尾のベッチ数を含む、有限体上の射影多様体のベッチ数およびコホロロジー構造を記述すること。

提案手法

• エタールコホロロジーと超平面切断技術を用いて、特異完全交差への弱Lefschetz定理の一般化を行う。
• Grothendieck-Lefschetzのトレース公式を適用し、ゼータ関数とコホロロジー的データ、点数の関係を確立する。
• Bertini型定理を用いて、コホロロジー的制御を保ちつつ特異多様体をより単純な場合に還元する。
• 多重度と二項係数を含む閉形式の公式を用いて、原始的ベッチ数を計算する。
• 組合せ論的および次数に基づく境界を用いて、点数推定値における定数 $ C_s(X) $ を $ r, \nu, \text{ および } \theta $ の関数として明示的に境界づける。
• 特性多項式と $ q^{-g} $ によるスケーリングを用いて、$ (2n-1) $-次コホロロジーとアーベルジャン-Weil多様体との明示的関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな完全交差に対するDeligneの点数推定値を、有限体上の特異完全交差にどのように拡張できるか？
• RQ2 任意の特異性をもつ射影多様体に対して、Lang-Weil不等式における定数の有効な境界はどのように与えられるか？
• RQ3 射影多様体のエタールコホロロジー空間とそのアーベルジャンおよびピカード多様体との関係は、特にLang-Weil予想の文脈でどのように解釈されるか？
• RQ4 特異完全交差の中心および第2末尾のベッチ数の正確な構造は何か？
• 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 $ で有効に抑えられ、コホロロジー的項の制御が可能になる。
• 境界における定数 $ C_s(X) $ は $ 9 \times 2^r \times (r\delta + 3)^{N+1} $ で明示的に抑えられ、推定値は有効的かつ計算可能である。
• 本稿は、次元 $ n $ の射影多様体 $ X $ の $ (2n-1) $-次仮想ベッチ数が、そのアーベルジャン-Weil多様体 $ \operatorname{Alb}_w X $ の次元の2倍であること、および $ P^+_{2n-1}(X,T) = q^{-g} f_c(\operatorname{Alb}_w X, q^n T) $ を満たすことを証明し、LangとWeilの予想を確認する。
• 有効なLang-Weil不等式が証明される：任意の次元 $ n $、次数 $ d $、$ \bF_q $ 上で定義された射影多様体 $ X \subset \bP^N $ に対して、 $$ \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不等式の類似を証明し、完全交差で $ n \geq N/2 $ かつ $ d \leq q+1 $ の場合にLachaudの予想を確立する： $$ \#X(\bF_q) \leq d(\pi_n - \pi_{2n-N}) + \pi_{2n-N}. $$