[논문 리뷰] Large Fourier coefficients of half-integer weight modular forms

Sanoli Gun, Winfried Kohnen외 1명|arXiv (Cornell University)|2020. 04. 29.

Analytic Number Theory Research참고 문헌 16인용 수 6

한 줄 요약

이 논문은 반정수 스펙트럼의 플러스 공간에 속하는 비영 촌형 형태의 푸리에 계수 중에서 기본 판별식 |D|에서 무한히 많은 수의 비영 계수가 존재함을 증명하며, 이 계수들이 √(log |D| / log log |D|)에 따라 지수적으로 증가하는 놀라운 크기를 가짐을 보여준다. 이는 다른 L-함수의 간섭을 억제하면서 개별 L-함수를 분리하는 정교한 공명 방법을 사용하여 도출되었다.

ABSTRACT

This article is concerned with the Fourier coefficients of cusp forms (not necessarily eigenforms) of half-integer weight lying in the plus space. We give a soft proof that there are infinitely many fundamental discriminants $D$ such that the Fourier coefficients evaluated at $|D|$ are non-zero. By adapting the resonance method, we also demonstrate that such Fourier coefficients must take quite large values.

연구 동기 및 목표

• 임의의 영이 아닌 촌형 형태 g ∈ S_{k+1/2}^+ 에 대해, (−1)^k D > 0 를 만족하는 기본 판별식 D 중에서 푸리에 계수 c(|D|)가 비영이 되는 것이 무한히 존재함을 증명하는 것.
• 표준 경계로 예측되는 것보다 훨씬 큰 크기를 가진 일부 기본 판별식 D 에서 푸리에 계수 c(|D|)가 매우 크게 될 수 있음을 보여주는 것.
• 헤케 고유형 함수와 관련된 L-함수의 선형 조합에 대해 공명 방법을 확장하여, 한 L-함수만 크게 만들고 나머지는 작게 유지할 수 있도록 보장하는 것.
• 와일드스퍼거 공식에 의존하지 않는 소프트한, 비-와일드스퍼거 기반의 비영 계수 증명을 제공하여 기존 결과를 보완하는 것.

제안 방법

• 푸리에 계수 c(|D|)와 χ_D 와 관련된 디리클레 L-함수를 이용해 새로운 디리클레 급수를 구성함으로써, 와일드스퍼거 공식에 의존하지 않는 질적이고 소프트한 비영성 증명을 제공함.
• 반정수 스펙트럼 모듈라 형식의 맥락에 공명 방법을 적응시키며, 특정 L-값을 강화하면서 다른 L-함수의 간섭을 최소화하기 위해 신중히 선택된 공명 다항식을 사용함.
• 부분 합과 랭킨-셀버그 추정을 활용하여 오차 항을 통제하고, L(f_ν, χ_D, k) |R(D)|² 의 가중 평균에 대한 渐近 공식을 유도함.
• 소수 정리와 곱셈적 계수의 추정을 활용하여 공명 구성에서 소수의 곱을 유계화함으로써 주항목이 지배하도록 보장함.
• 디스크리미넌트 D 의 합을 이중 구간에서 국소화하기 위해 [1,2] 또는 [1/2,5/2] 에서 지지되는 가중 함수 Φ(t) 를 도입함으로써, L-값의 평균 크기를 정밀하게 제어함.
• 헤케 고유형 함수 이론과 심푸라 대응을 활용하여 c(|D|) 를 중심 L-값 L(f, χ_D, k) 와 연결함으로써, L-함수에 대한 해석적 수론 도구의 적용을 가능하게 함.

실험 결과

연구 질문

• RQ1 S_{k+1/2}^+ 에 속하는 영이 아닌 촌형 형태 g 에 대해, (−1)^k D > 0 를 만족하는 기본 판별식 D 중에서 푸리에 계수 c(|D|)가 비영이 되는 것이 무한히 존재하는가?
• RQ2 공명 방법은 서로 상관관계가 없는 다양한 헤케 고유형 함수와 관련된 L-값의 선형 조합에 대해서도 적용되어, 개별 L-함수들이 상관관계가 없더라도 그 합을 크게 만들 수 있는가?
• RQ3 기본 판별식 D 에 대해 푸리에 계수 |c(|D|)| 의 최대 크기는 얼마이며, 이는 라만주-피터슨 추측과 어떻게 비교되는가?
• RQ4 헤케 고유형 함수가 아님을 가정하고, 고유형 함수의 선형 조합과 그와 관련된 L-함수의 구조를 활용하여 |c(|D|)| 가 큰 값을 가질 수 있는가?

주요 결과

• 임의의 영이 아닌 g ∈ S_{k+1/2}^+ 에 대해, (−1)^k D > 0 를 만족하는 기본 판별식 D 중에서 c(|D|) ≠ 0 인 것이 무한히 존재한다.
• 모든 ε > 0 과 큰 X 에 대해, (X, 2X] 에서 적어도 X^{1−ε} 개의 기본 판별식 D 가 존재하여 |c(|D|)| ≥ |D|^{k/2 − 1/4} exp( (1/82) √(log |D| / log log |D|) ) 를 만족한다.
• 공명 방법은 특정 L-함수 f_ν 의 기여를 성공적으로 분리하면서 다른 f_ν (ν > 1) 의 기여는 무시할 만큼 작게 유지하여, L(f_ν, χ_D, k) 의 증폭을 간섭 없이 실현함을 보여줌.
• L(f_ν, χ_D, k)|R(D)|² 의 평균에서 주항목의 크기가 X · R 와 같음을 증명함. 여기서 R 은 [L², L⁴] 에 속하는 소수들의 곱이며, ν = 1 일 때 exp( (1/2 + o(1)) L / log L ) 와 같이 증가함.
• ν > 1 일 때, L(f_ν, χ_D, k)|R(D)|² 의 합은 O(X) 로 유계화되어 있음을 보여, 공명이 원하지 않는 L-함수를 증폭시키지 않음을 확인함.
• 유도된 |c(|D|)| 의 하한 경계는 린델뢰프 추측 하에 예상되는 주요 크기와 일치하며, L-함수 성장에 대한 더 강력한 추측과도 일치하여, 이 경계가 거의 최적임을 시사함.