[논문 리뷰] The variance of the number of prime polynomials in short intervals and in residue classes

Jonathan P. Keating, Zeév Rudnick|arXiv (Cornell University)|2012. 04. 03.

Analytic Number Theory Research인용 수 11

한 줄 요약

이 논문은 소수 이론에서 두 가지 주요 추측의 함수체 해석을 해결한다: 짧은 간격 내 소수의 분산(Goldston-Montgomery)과 산술적 등차수열 내 소수의 분산(Hooley). N. Katz의 등분포 결과를 이용하여, 짧은 간격과 잔여류에서 소수 다항식의 분산이 수체에서의 추측된 행동과 정확히 일치함을 증명함으로써, Hooley의 추측이 함수체 설정에서 작은 모듈러스까지도 성립함을 확인한다.

ABSTRACT

We resolve a function field version of two conjectures concerning the variance of the number of primes in short intervals (Goldston and Montgomery) and in arithmetic progressions (Hooley). A crucial ingredient in our work are recent equidistribution results of N. Katz.

연구 동기 및 목표

• 짧은 간격 내 소수의 분산에 관한 Goldston-Montgomery 추측의 함수체 해석을 수립하기 위해.
• 산술적 등차수열 내 소수의 분산에 관한 Hooley 추측의 함수체 해석을 해결하기 위해.
• 짧은 간격과 잔여류에서의 분산이 수체 추측에서의 점근적 예측과 일치함을 보여주기 위해.
• 최근 N. Katz의 등분포 결과를 활용하여 소수 다항식의 분산에 대한 정밀한 점근적 표현을 유도하기 위해.
• Hooley의 추측이 수체 설정에서의 의심과는 달리, 함수체 설정에서 작은 모듈러스에 대해서도 성립함을 보여주기 위해.

제안 방법

• 𝔽_q[T] 위의 함수체 설정을 채택하여, 차수 n인 모닉 다항식과 그들의 von Mangoldt 함수 합을 연구한다.
• G(n;Q)를 gcd(f,Q)=1인 f ≡ A mod Q인 다항식 f에 대해 Λ(f)의 제곱편차의 합으로 정의한다.
• 서로 다른 두 모닉 다항식 f,g에 대해 f≡g mod Q 이고 gcd(f,Q)=1 인 조건을 만족하는 쌍에 대한 명시적 공식을 사용한다.
• 제타 함수와 오일러乘수를 통한 생성함수 접근법을 통해 ∑_J 𝔖(JQ)u^{deg J}의 합을 계산한다. 여기서 𝔖는 소수 분포와 관련된 국소 인자이다.
• 경로 인테그랄을 통해 생성함수의 계수를 추출하여 J-합에 대한 점근적 추정을 이끌어낸다.
• 함수체에서 프로베누스 공轭류의 등분포 정리인 Katz의 정리를 활용하여 분산의 주요 점근적 행동을 정당화한다.

실험 결과

연구 질문

• RQ1 함수체에서 짧은 간격 내 소수 다항식의 분산의 점근적 행동은 어떻게 되는가?
• RQ2 특히 작은 모듈러스에 대해 함수체 설정에서 산술적 등차수열 내 소수 다항식의 분산은 어떻게 행동하는가?
• RQ3 Goldston-Montgomery 및 Hooley 추측의 함수체 해석이 어느 정도까지 성립하는가?
• RQ4 Katz의 등분포 결과를 활용하여 소수 다항식 분포의 분산에 대한 정밀한 점근적 표현을 도출할 수 있는가?
• RQ5 함수체 설정에서 Q < X^{1/2}일 때도 잔여류에서의 분산이 X log Q 형태로 예측된 바와 일치하는가?

주요 결과

• 함수체에서 짧은 간격 내 소수 다항식의 분산은 Goldston-Montgomery 추측과 일치하며, H가 X^δ < H < X^{1−δ} 범위에 있을 때 분산 ∼ H(log X − log H)임을 보였다.
• 산술적 등차수열의 경우, G(n;Q)는 q → ∞일 때 q^n (deg Q − |Q|/Φ(Q))로 점근적으로 수렴한다.
• q → ∞ 이면서 고정된 deg Q ≤ n+1일 때, 분산은 함수체 해석의 정리 2.2와 점근적으로 일치함을 확인하여 기존 결과와의 일관성을 입증하였다.
• q를 고정하고 deg Q → ∞일 때, 분산은 G(n;Q) ∼ q^n deg Q로 행동함을 보여, Hooley의 추측이 함수체 설정에서 성립함을 확인하였다.
• 분산의 두 번째 항인 −1/(q−1)는 수체의 경우와 다름을 보이며, 이는 함수체 내에서 독특한 산술적 구조가 있음을 시사한다.
• 결과적으로 Hooley의 추측 G(X,Q) ∼ X log Q가 함수체 모델에서 Q가 X^ε 정도로 작을 때도 성립함을 확인하여, 이는 수체 설정에서 예상보다 훨씬 넓은 범위에서 성립함을 시사한다.