[논문 리뷰] Simultaneous nonvanishing of Dirichlet $L$-functions and twists of Hecke-Maass L-functions

Soumya Das, Rizwanur Khan|arXiv (Cornell University)|2014. 11. 17.

Analytic Number Theory Research참고 문헌 7인용 수 8

한 줄 요약

이 논문은 복소수 공액을 사용한 평균값 접근법을 통해 문제적인 가우스 합을 피함으로써, 고정된 히케-마아스 촘포트 형식 $ f $ 와 소수 판정자 $ q $ 를 가진 원시 딜리클레 문자 $ \chi $ 에 대해 중심 L-값 $ L(1/2, f \otimes \chi) $ 과 $ L(1/2, \chi) $ 이 동시에 0이 아님을 입증한다. 주요 결과는 충분히 큰 소수 $ q $ 에 대해 그러한 문자 $ \chi $ 가 존재함을 보여주며, 이는 두 중심 L-값이 모두 비영임을 보장한다.

ABSTRACT

We prove that given a Hecke-Maass form $f$ for $ ext{SL}(2, \mathbb{Z})$ and a sufficiently large prime $q$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that the $L$-values $L( frac{1}{2}, f \otimes χ)$ and $L( frac{1}{2}, χ)$ do not vanish. We expect the same method to work for any large integer $q$.

연구 동기 및 목표

• 고정된 히케-마아스 촘포트 형식 $ f $ 와 소수 판정자 $ q $ 를 가진 원시 딜리클레 문자 $ \chi $ 가 존재하여 $ L(1/2, f \otimes \chi) $ 와 $ L(1/2, \chi) $ 가 모두 비영임을 입증하는 것.
• 이전 연구에서 판정자를 명시하지 않은 바에 비해, 명시적인 판정자 $ q $ 를 가진 조건부가 아닌 결과를 제공하는 것.
• 모듈러스에 대한 평균화를 피하기 위해, 기존의 방법과 달리 모듈러스에 대한 평균화 대신 복소수 공액을 포함한 평균값을 사용함으로써 가우스 합에 기인한 기술적 난이도를 피하는 것.
• 논문은 단순성과 함께 소수 판정자에 국한되지만, 방법을 임의의 큰 정수 $ q $ 에도 확장할 수 있음을 보여주는 것.

제안 방법

• 저자들은 큰 소수 $ q $ 모듈로의 원시 짝수 딜리클레 문자 $ \chi $ 에 대해 $ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ 의 곱의 평균값을 계산한다.
• 스펙트럼 계수 $ \lambda_f(n) $ 와 문자 스위치를 다룰 수 있도록, $ n $ 에 대한 합을 변환하기 위해 보로노이 합성을 사용한다.
• 류의 연구에서처럼 모듈러스 $ r $ 에 대한 평균화를 피하고, 대신 $ q $ 를 소수로 고정함으로써 판정자에 대한 명시적 통제를 가능하게 한다.
• 근사 함수 방정식을 적용하고 반복적인 부분 적분을 통해 진동하는 합을 추정함으로써 오차 항을 거듭 제곱으로 줄인다.
• 핵심 혁신은 평균값에 복소수 공액을 사용함으로써, 이전 접근법에 비해 가우스 합의 다루기 쉬운 처리를 가능하게 한 것이다.
• 최종 bound 는 $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $ 이며, 여기서 $ \theta $ 는 라만두잔-페테르슨 추측 향한 현재 최고의 경계이다.

실험 결과

연구 질문

• RQ1 고정된 히케-마아스 형식 $ f $ 와 소수 판정자 $ q $ 를 가진 원시 딜리클레 문자 $ \chi $ 가 존재하여 $ L(1/2, f \otimes \chi) $ 와 $ L(1/2, \chi) $ 가 모두 비영임이 보장되는가?
• RQ2 명시적인 판정자 $ q $ 를 가진 조건부가 아닌 결과로서, 두 중심 L-값의 비영성이 확립될 수 있는가?
• RQ3 소수 판정자에 사용된 방법이 모든 큰 정수 $ q $ 에도 확장될 수 있는가?
• RQ4 평균값에 복소수 공액을 사용함으로써, 이전 연구에서 가우스 합을 다루는 것과 비교해 분석이 어떻게 단순화되는가?

주요 결과

• 모든 충분히 큰 소수 $ q $ 에 대해, 판정자 $ q $ 를 가진 원시 딜리클레 문자 $ \chi $ 가 존재하여 $ L(1/2, f \otimes \chi) $ 와 $ L(1/2, \chi) $ 가 모두 비영임을 보장한다.
• 모듈로 $ q $ 의 원시 짝수 문자에 대한 $ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ 의 평균값은 $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $ 이며, 현재 $ \theta = 7/64 $ 가 최적이다.
• 왜냐하면 $ L(1,f) \neq 0 $ 이므로 주항목이 비영이므로, 평균값의 적어도 하나의 항은 비영이어야 하며, 이는 그러한 $ \chi $ 가 존재함을 의미한다.
• 이전 결과들과 달리, 모듈러스에 대한 평균화가 필요로 하지 않으며, 이는 류의 연구와는 달리 명시적인 판정자 $ q $ 를 제공한다.
• 거듭 제곱 오차 항 $ O(q^{7/8 + \theta + \epsilon}) $ 는 이 방법이 소수 뿐 아니라 모든 큰 정수 $ q $ 에도 확장될 수 있음을 시사한다.
• 결과는 라만두잔-페테르슨 추측에 의존하지 않으며, 일부 관련 점근적 결과들과 달리 조건부가 아닌 무조건적인 결과이다.