[논문 리뷰] The Large Sieve and Galois Representations

David Zywina|ArXiv.org|2008. 12. 11.

Analytic Number Theory Research참고 문헌 22인용 수 11

한 줄 요약

이 논문은 아벨 군이 아닌 군으로 대규모 걸러내기 방법을 일반화하여, 아벨 다양체에 연결된 갈루아 표현에 적용함으로써 산술 조건을 만족하는 소수에 대한 상한을 도출한다. 일반화된 리만 가설 하에서의 특성 합 추정치를 결합함으로써, 희박한 집합, 코블리츠 추측, 타원곡선과 아벨 다양체에 대한 랑-트로터 추측에 대한 정량적 결과를 확립한다.

ABSTRACT

We describe a generalization of the large sieve to situations where the underlying groups are nonabelian, and give several applications to the arithmetic of abelian varieties. In our applications, we sieve the set of primes via the system of representations arising from the Galois action on the torsion points of an abelian variety. The resulting upper bounds require explicit character sum calculations, with stronger results holding if one assumes the Generalized Riemann Hypothesis.

연구 동기 및 목표

• 고전적 대규모 걸러내기를 비아벨 군 설정으로 확장하여 갈루아 표현의 맥락에서 적용한다.
• 아벨 다양체의 토크션 점들에서 유래하는 특정 산술 조건을 만족하는 소수의 수를 제한하는 통합적 프레임워크를 제공한다.
• 일반화된 걸러내기를 타원곡선과 아벨 다양체의 산술기하학 문제에 구체적으로 적용한다. 이는 코블리츠 추측과 희박한 집합의 소수를 포함한다.
• 특성 합 추정치를 사용하여 명시적인 상한을 도출하며, 일반화된 리만 가설에 조건부로 더 강력한 결과를 얻는다.
• 미래의 호환 갈루아 표현을 포함하는 걸러내기 이론 응용을 위한 실용적 도구인 정리 3.3을 확립한다.

제안 방법

• 대칭 원리와 표현 이론 기법을 사용하여 비아벨 군에 대한 일반 대규모 걸러내기 부등식을 수립한다.
• 아벨 다양체의 토크션 점들에 대한 갈루아 작용에서 유래하는 엄격하게 호환되는 갈루아 표현 시스템에 걸러내기를 적용한다.
• 특히 심플렉틱 군 $\mathrm{GSp}_{2g}$ 와 $\mathrm{Sp}_{2g}$ 에서의 유한체 위 특성 합 추정치를 사용하여 걸러내기 오차 항을 제한한다.
• 일반화된 리만 가설 하에서의 조건부 특성 합 추정치를 활용하여 상한의 정밀도를 향상시킨다.
• $\mathfrak{S}_n$, $W_{2g}$, $\mathrm{GSp}_{2g}$ 에 대해 명시적인 군 이론을 사용하여 체보타레프 유사분포를 통해 프로베니우스 공轭류 클래스의 수를 세는 것으로 문제를 환원한다.
• $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ 와 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 의 공轭류 클래스 수와 군의 크기를 제어하여 걸러내기 복잡도를 조절한다.

실험 결과

연구 질문

• RQ1 대규모 걸러내기를 비아벨 군 설정으로 일반화하여 산술 수열을 연구하는 데 어떻게 활용할 수 있는가?
• RQ2 코블리츠 추측에서처럼 $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 가 소수인 소수 $\mathfrak{p}$ 의 수에 대해 어떤 상한을 확립할 수 있는가?
• RQ3 프로베니우스 추적값이 정수의 희박한 집합에 속할 확률에 대해 대규모 걸러내기가 얼마나 잘 밀도를 제어할 수 있는가?
• RQ4 아벨 다양체 맥락에서 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 에서의 특성 합 추정치는 걸러내기 상한의 질에 어떤 영향을 미치는가?
• RQ5 일반화된 리만 가설은 대규모 걸러내기로 유도된 무조건적 상한을 어떻게 정밀하게 개선하는가?

주요 결과

• 일반화된 대규모 걸러내기 방법을 통해 일반화된 리만 가설(GRH) 조건 하에서, $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 가 소수인 소수 $\mathfrak{p} \in \Sigma_k(x) - S_E$ 의 수에 대해 $O\left(\frac{x}{(\log x)^2}\right)$ 의 상한을 도출한다.
• 복소수 곱승이 없는 수체 위의 타원곡선에 대해, $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 가 소수인 소수 $\mathfrak{p}$ 의 수는 코블리츠 추측 하에서 $C_{E,k} \frac{x}{(\log x)^2}$ 로 점점 더 커지며, 이때 $C_{E,k} > 0$ 는 명시적인 상수이다.
• $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ 와 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 의 공轭류 클래스 수는 각각 $\kappa_g q^g$ 와 $\kappa_g q^{g+1}$ 이하이며, 여기서 $\kappa_g$ 는 $g$ 에만 의존하는 상수이다.
• $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 의 프로베니우스 공轭류 클래스에 대한 무조건적 특성 합 추정치는 $O\left(\chi(1)|G^\sharp|x \exp(-c_1 [L:\mathbb{Q}]^{-1/2} (\log x)^{1/2})\right)$ 크기의 걸러내기 오차 항을 유도한다.
• 이 방법은 여러 갈루아 표현의 제약 조건을 대규모 걸러내기를 통해 체계적으로 통합할 수 있으며, 희박한 집합과 랑-트로터 추측에의 응용이 가능하다.
• 부록 B의 명시적 군 이론적 상한, 특히 $\mathrm{GL}_2(\mathbb{F}_q)$ 에서의 상한은 주어진 추적과 행렬식을 가진 행렬의 정확한 수를 세는 데 필수적이며, 이는 걸러내기 설정의 핵심이다.