[논문 리뷰] Mertens products in arithmetic progressions over function fields

Hwanyup Jung|arXiv (Cornell University)|2026. 02. 05.

Algebraic Geometry and Number Theory인용 수 0

한 줄 요약

본 논문은 F_q[t]에 대한 산술 진전에서 Mertens의 곱의 함수장 analogue를 설정하고, 무조건적 GRH-강도 점근과 명시적 상수 C(Q,A0)을 제시한다.

ABSTRACT

We establish a function field analogue of Mertens' formula for Euler products restricted to primes in arithmetic progressions over the polynomial ring F_q[t]. Our results are in direct correspondence with those of Languasco and Zaccagnini for arithmetic progressions in the integers. Over function fields, Weil's Riemann hypothesis for Dirichlet L-functions holds unconditionally, and consequently the analogue of the GRH-strength asymptotic is obtained without any exceptional zero correction term.

연구 동기 및 목표

• Mertens의 곱을 산술 진행의 소수로 제한하는 것을 함수장 필드로 일반화하고 동기부여합니다.
• P(n;Q,A0)의 n→∞에 대해 Q의 증가에 따라 균일한 Mertens-type 점근을 얻습니다.
• Weil의 함수장 Dirichlet L-함수에 대한 리만 가설로 인해 예외적-영(예외적 제로 보정)이 필요 없음을 보입니다.
• 상수 C(Q,A0)의 명시적 Euler 곱 표현을 제공하고 이를 정수 설정과 연관시키고자 합니다.

제안 방법

• 유한 Euler 곱 P(n;Q,A0)를 P ≤ n인 소수 다항식 P 중에서 P ≡ A0 mod Q인 경우에 대해 정의합니다.
• 주력과 비주력 기여를 분리하기 위해 Dirichlet 문자 분해를 사용합니다.
• Weil의 Dirichlet L-함수에 대한 리만 가설을 적용하여 비주력 문자들에 의해 꼬인 소수에 대해 제곱근 차이를 얻습니다.
• 꼬인Euler 곱의 꼬리 추정치를 유도하고 부분 Euler 곱과 로그 전개를 통해 오차항을 제어합니다.
• 위의 내용들을 결합하여 주요 점근식 P(n;Q,A0) = C(Q,A0) (n log q)^{-1/Φ(Q)} (1 + O(q^{-n/2}))를 증명합니다.
• 부록 A에서 C(Q,A0)의 명시적 Euler 곱을 제공합니다.

실험 결과

연구 질문

• RQ1 주어진 산술 진행에서 제한된 Mertens의 곱의 함수장 analogue은 무엇인가?
• RQ2 deg Q가 n의 양의 비율만큼 증가하는 동안 n→∞에 대해 P(n;Q,A0)의 균일한 점근을 얻을 수 있는가?
• RQ3 Weil의 리만 가설이 함수장 설정에서 예외적 제로 보정을 제거하는 데 충분한가?
• RQ4 상수 C(Q,A0)를 어떻게 명시적으로 기술하고 계산할 수 있는가?

주요 결과

• 제한된 Euler 곱 P(n;Q,A0)는 Mertens-type 점근 P(n;Q,A0) = C(Q,A0) (n log q)^{-1/Φ(Q)} (1 + O(q^{-n/2}))를 만족한다.
• 균일성은 deg Q ≤ η n (0 < η < 1)인 모든 단위 모듈 Q와 모든 Q에 대한 환원 잔여계 A0 mod Q에 대해 유지된다.
• 예외적 제로 보정이 필요하지 않으며 결과는 Weil의 함수장 Dirichlet L-함수에 대한 리만 가설에 의해 무조건적이다.
• 상수 C(Q,A0)는 Q와 A0에만 의존하는 Euler 곱으로 명시적으로 주어진다(부록 A).
• 정수 설정의 Languasco–Zaccagnini와 유사한 해법으로, 함수장에서의 GRH-강도 점근이 무조건적으로 가능하다.