[논문 리뷰] Théorème de Chebotarev effectif

Bruno Winckler|arXiv (Cornell University)|2013. 11. 22.

Algebraic Geometry and Number Theory인용 수 10

한 줄 요약

이 논문은 Chebotarev 밀도 정리의 오차 항에 대해 명시적이고 효과적인 상한을 제공하며, Lagarias와 Odlyzko의 이전 작업을 개선한다. Chebotarev 밀도의 명시적 공식에서 제로가 없는 영역과 지수 합을 정확히 추정함으로써, 오차 항에 절대 상수를 도입하며, 일반화된 리만 가설 하에서나 조건 없이 모두 성립한다. 이는 수체의 갈로아 확장에서의 Frobenius 공轭류에 대한 점근적 추정의 정밀도를 크게 향상시킨다.

ABSTRACT

Let K be a number field, and L be a finite normal extension of K with Galois group G. It is known that the number of Frobenius automorphisms corresponding to prime ideals, whose norms are less than x, is equivalent to the logarithmic integral as x tends to infinity, and these automorphisms are well-distributed among the conjugacy classes of G : this is the Chebotarev theorem. The purpose of this paper is to compute the absolute constants of the error term appearing in a previous work about this theorem, due to Lagarias and Odlyzko.

연구 동기 및 목표

• 기존에 암묵적으로만 알려져 있던 효과적 Chebotarev 밀도 정리의 오차 항에 절대 상수를 계산하는 것.
• Lagarias와 Odlyzko의 작업을 개선하여 오차 상한을 수치 상수를 포함한 명시적인 형태로 만드는 것.
• 갈로아 확장에서 Frobenius 분포에 대한 효과적 상한이 필요한 디오판틴 응용을 뒷받침하는 것.
• 수체 확장에서 주 이상수의 주어진 Frobenius 공轭류를 가진 소수 이상수의 수에 대한 정량적 추정을 제공하는 것.

제안 방법

• Artin L-함수의 메린 변환을 사용하여 가중치가 부여된 소수 수세기 함수 $\psi_C(x)$에 대한 명시적 공식을 유도한다.
• 특성의 수직성에 의해 Hecke L-함수로 문제를 단순화시켜 극과 영점을 분석하는 데 용이하게 한다.
• L-함수의 로그 도함수에 대한 경계를 사용하여 이동된 경로를 따라 적분을 추정한다.
• 특히 $s=1$ 근처에서 Dedekind 제타 함수와 그 Artin L-함수의 제로가 없는 영역을 확립하여 예외적 영점에 의한 오차를 통제한다.
• 클래식적인 경로 이동 방법과 지수 적분 추정을 적용하여 역 메린 변환의 오차를 제한한다.
• 적분의 이진 분할과 철저한 최대화를 통해 오차 항에 명시적인 상수를 도출하며, 특히 $\exp(-c\sqrt{\ln x / n_L})$ 항에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 효과적 Chebotarev 밀도 정리의 오차 항에 명시적인 절대 상수가 존재하는가? 이는 일반화된 리만 가설 하에서나 조건 없이 모두 해당된다.
• RQ2 수체의 판별식과 차수에 대한 의존성에 대해 오차 항을 명시적인 수치 상한으로 만들 수 있는가?
• RQ3 Dedekind 제타 함수 $\zeta_L(s)$의 가능성이 있는 예외적 영점 $\beta_0$의 기여 크기는 정확히 얼마인가?
• RQ4 확장의 차수 $n_L$과 판별식 $d_L$에 대해 오차 항의 지수 감쇠 비율은 어떻게 정량화할 수 있는가?
• RQ5 Lagarias와 Odlyzko의 방법을 개선하여 오차 항에 절대 상수를 도출할 수 있는가? 암묵적 상수 대신 명시적 상수를 얻을 수 있는가?

주요 결과

• 논문은 조건 없이 효과적 Chebotarev 정리를 확립하며, 명시적인 오차 항을 제시한다: $x \geq \exp\left(8n_L(\ln(150867d_L^{44/5}))^2\right)$ 일 때, 오차는 $\frac{|C|}{|G|}\mathrm{Li}(x^\beta) + C_0 x \exp\left(-\frac{1}{99}\sqrt{\frac{\ln x}{n_L}}\right)$ 로 유계되며, 여기서 $C_0 < 7.84 \times 10^{14}$ 이다.
• 일반화된 리만 가설 하에서는 오차가 $\frac{|C|}{|G|}\sqrt{x}\left[\left(32 + \frac{181}{\ln x}\right)\ln d_L + \left(28\ln x + 330 + \frac{1655}{\ln x}\right)n_L\right]$ 로 유계지며, 이는 훨씬 더 날카로운 상한을 제공한다.
• Dedekind 제타 함수 $\zeta_L(s)$의 예외적 영점 $\beta_0$ 는 오차 항 $\frac{|C|}{|G|}\chi_0(g)\frac{x^{\beta_0}}{\beta_0}$ 를 기여하며, 여기서 $\beta_0 < 1 - \frac{1}{c d_L^{1/n_L}}$ 이고, $c$ 는 효과적으로 계산 가능한 상수이다. 잔여항 $R_0(x)$ 는 $1505234280719 x \exp\left(-\frac{7-4\sqrt{3}}{5}\sqrt{\frac{\ln x}{n_L}}\right)$ 로 유계진다.
• 이전 연구에서 암묵적인 상수에 의존하지 않고, 경로 적분 추정과 명시적 공식 내 지수 합의 최대화를 통해 명시적 상수를 도출함으로써 방법이 명시적 상수를 달성한다.
• 비예외적 영점이 없는 영역에 기인한 오차는 $\ln x$ 의 어떤 거듭제곱보다도 더 빠르게 감쇠하며, 이 감쇠 속도는 $\sqrt{\ln x / n_L}$ 에 의해 제어되며, 상수 $\frac{1}{99}$ 는 경로 이동의 철저한 분석을 통해 유도된다.
• 최종 결과인 $\pi_C(x)$ 는 $\theta_C(x)$ 의 아벨 변환을 통해 도출되며, 적분 오차는 $\int_2^x \frac{dt}{\sqrt{t} \ln t} \leq \frac{4\sqrt{x}}{\ln x}$ 를 사용하여 통제되며, 이는 최종 오차 추정에 있어 핵심적인 역할을 한다.