[논문 리뷰] Étale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields

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

Algebraic Geometry and Number Theory참고 문헌 27인용 수 38

한 줄 요약

이 논문은 유한체 위의 특이 완전교차에서 유리점의 수에 대한 정확한 상계를 확립하며, 매끄러운 다양체에 대한 Deligne의 추정을 확장하고 Lang-Weil 부등식을 정밀화한다. 에탈 코homology, 특이 다양체에 대한 일반화된 약한 Lefschetz 정리, 그리고 Grothendieck-Lefschetz 추적 공식을 사용하여 효과적인 상수를 포함한 점 수에 대한 명시적 상계를 제공하며, 에탈 코homology를 통해 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 부등식의 효과적 버전을 제공한다.
• 에탈 코호몰로지 공간과 프로젝티브 다양체의 Albanese 및 Picard 다양체 사이의 관계를 설명하는 Lang과 Weil의 추측을 증명한다.
• 약한 Lefschetz 정리를 특이 다양체로 확장하고, Bertini 유사 추론을 통해 완전교차에 적용한다.
• 특히 중심 및 끝에서 두 번째 Betti 수를 포함한, 유한체 위의 프로젝티브 다양체의 Betti 수와 코호몰로지 구조를 묘사한다.

제안 방법

• 에탈 코호몰로지와 초평면 절단 기법을 사용하여 특이 완전교차에 대한 약한 Lefschetz 정리를 일반화한다.
• Grothendieck-Lefschetz 추적 공식을 적용하여 제타 함수를 코호몰로지 자료와 점 수에 연결한다.
• Bertini 유사 정리를 사용하여 특이 다양체를 더 단순한 경우로 줄이되, 코호몰로지 제어를 유지한다.
• 다중도수와 이항계수를 포함한 닫힌 형식 공식을 통해 원시 Betti 수를 계산한다.
• 다항식 및 차수 기반의 경계를 사용하여 점 수 추정에서의 상수 $ C_s(X) $ 를 $ r, \nu, \text{ 및 } \theta $ 에 따라 유계화한다.
• 특성 다항식과 $ q^{-g} $ 스크레일링을 통해 $ (2n-1) $-번째 코호몰로지와 Albanese-Weil 다양체 사이의 정확한 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 매끄러운 완전교차에 대한 Deligne의 점 수 추정은 어떻게 특이 완전교차로 확장될 수 있는가?
• RQ2 임의의 특이성을 가진 프로젝티브 다양체에 대해 Lang-Weil 부등식의 상수에 대한 효과적 경계는 무엇인가?
• RQ3 에탈 코호몰로지 공간은 프로젝티브 다양체의 Albanese 및 Picard 다양체와 어떻게 관련되어 있으며, 특히 Lang-Weil 추측의 맥락에서 어떻게 되는가?
• RQ4 특이 완전교차의 중심 및 끝에서 두 번째 Betti 수의 정확한 구조는 무엇인가?
• 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}, $$ where $ \pi_n = \sum_{i=0}^n q^i $.
• 원시 Betti 수 $ 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 $ 의 차원 $ n $ 에 대해 $ (2n-1) $-번째 가상 Betti 수가 그의 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 부등식의 효과적 버전이 증명된다: 임의의 프로젝티브 다양체 $ X \subset \bP^N $ 에 대해 차원 $ n $, 차수 $ d $, $ \bF_q $ 에 정의된 경우, $$ \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}. $$