[논문 리뷰] On a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1

Jianya Liu, Emmanuel Royer외 1명|arXiv (Cornell University)|2006. 04. 14.

Analytic Number Theory Research인용 수 6

한 줄 요약

이 논문은 수준 1인 정칙 촉성형의 짝수 승수의 L-함수의 s=1에서 극단적인 값에 대한 Montgomery-Vaughan의 추측의 더 약한 형태를 증명한다. Petersson의 추적 공식과 안장점 방법을 사용하여, L(1,f)의 가중 산술 분포에 대한 渐近 분포 법칙을 확립하며, 극단적인 값에 가까운 형태의 비율이 exp(−c(log k)/(log₂k)^{7/2} log₃k)의 형태로 감소함을 보여, 예상되는 로그 감소율이 예외 집합 크기에서 실제로 성립함을 확인한다.

ABSTRACT

In this paper, we prove a weaker form of a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1.

연구 동기 및 목표

• 수준 1인 정칙 촉성형에 대해 s=1에서 대칭 승수 L-함수 L(1, sym^m f)의 극단적인 값에 대한 예외 집합의 크기를 조사한다.
• Lau 및 Wu의 극단적 값 경계 확장 작업을 바탕으로, 특히 m=1일 때 예외 집합의 감소율에 대한 추측을 증명한다.
• Petersson의 추적 공식과 조화 가중치를 사용하여 L(1,f)의 가중 산술 분포에 대한 渐近 분포 법칙을 수립한다.
• 확률 모델과 일치하는 예상되는 로그 감소율이 자동형 L-함수의 프레임워크 내에서 예외 집합 크기의 감소율로 성립함을 확인한다.

제안 방법

• H_k^*(1)의 새로운 형식 위에서 L(1,f)의 가중 합을 표현하기 위해 Petersson의 추적 공식을 사용하며, 조화 가중치 ω_f = Γ(k−1)/(4π)^{k−1}||f||를 포함한다.
• 함수 E(s,y)와 그 해석적 성질에 기반하여, L-함수의 로그 도함수를 포함하는 지수 합을 추정하기 위해 안장점 방법을 적용한다.
• 추적 공식과 모멘트 추정에서 유도된 함수 Φ(t)를 L(1,f)의 분포에 대한 가우시안 근사로 사용한다.
• I₁⁺, I₂⁺ 및 관련 적분의 추정치를 사용하여 오차 추정을 구현하며, E(σ+iτ,y)의 추정치와 κ_t ∼ e^t를 활용한다.
• 추적 공식을 사용하여 가중 산술 분포를 지수 합과 연결하고, 리만 제타 함수와 Bessel 함수의 추정치를 통해 오차 항을 통제한다.
• 가중 합의 점근 전개와 주항의 감소를 이용하여, F̃_k(t)와 Ḡ_k(t)에 대한 최종 분포 법칙을 유도한다.

실험 결과

연구 질문

• RQ1 L(1,f)가 예측된 경계에 비해 매우 크거나 작은 새로운 형식 f ∈ H_k^*(1)의 예외 집합 크기는 어떤 점근적 크기를 가지는가?
• RQ2 s=1에서 자동형 L-함수에 대한 Montgomery-Vaughan의 확률 예측과 일치하는가?
• RQ3 대칭 제곱의 경우(m=1)에 대해, 예상되는 로그 감소율 exp(−c(log k)/log₂k)가 극단적인 L-값 분포에 대해 확립될 수 있는가?
• RQ4 조화 가중치 ω_f는 L(1,f)의 분포에 어떤 영향을 미치며, 이를 통해 산술 분포 함수를 정밀화할 수 있는가?
• RQ5 안장점 방법과 추적 공식을 어떻게 조합하여 극단적인 L-값 분포의 오차 항을 통제할 수 있는가?

주요 결과

• F̃_k(t)는 t ≍ T(k)일 때 F̃_k(t) ≍ Φ(t)를 만족하며, Φ(t)는 가우시안 유형의 근사이고 주항이 오차 항을 지배한다.
• L(1,f)가 상한 극단에 가까운 경우의 예외 집합 크기는 exp(−c₁(log k)/(log₂k)^{7/2} log₃k)로 감소하며, 이는 예상되는 주요 크기와 일치한다.
• 하한 극단에 대해서도 L(1,f) ≪ (B_m^- log₂k)^{-A_m^-}인 경우의 예외 집합 크기는 동일한 형태로 exp(−c₂(log k)/(log₂k)^{7/2} log₃k)로 감소하며, 상한과 동일한 주요 크기를 가진다.
• 추적 공식 전개의 주요 오차 항은 O(Φ(t)/(log k)^A)로 통제되며, 이는 큰 k에 대해 주항에 비해 무시할 수 있다.
• F̃_k(t)에 대한 점근 공식은 오차 항이 O(Φ(t)(e^{t−T(k)−C}(t/T(k))^{1/2} + e^{−c₆e^{δt}} + (log k)^{−A}))의 형태로 확립되며, 이는 t = T(k) 근처에 집중됨을 보여준다.
• 결과적으로, m=1에 대해 Montgomery-Vaughan의 추측의 더 약한 형태가 확인되었으며, 예외 집합의 감소율은 예상되는 로그 척도에 맞추어 log log k의 거듭제곱까지 일치한다.