[논문 리뷰] Moments and Non-vanishing of central values of Quadratic Hecke $L$-functions in the Gaussian Field

Peng Gao|arXiv (Cornell University)|2020. 02. 27.

Analytic Number Theory Research참고 문헌 15인용 수 4

한 줄 요약

이 논문은 가우스 수체에서 이차 헤크 L-함수의 중심값의 첫 세 모멘트를 거칠게 보정된 오차 항을 갖는다. 이는 $ O(X^{1/2+\theta}) $ 오차 한계를 확보한다. 모래화된 모멘트와 코시-슈바르츠 분석을 통해 이 가족에 속한 L-함수의 적어도 87.5%가 중심값에서 영이 아님을 입증하며, 고전 결과를 오차 추정 향상과 함께 임의의 수체로 확장한다.

ABSTRACT

We evaluate the first three moments of central values of a family of qudratic Hecke $L$-functions in the Gaussian field with power saving error terms. In particular, we obtain asymptotic formulas for the first two moments with error terms of size $O(X^{1/2+\varepsilon})$. We also study the first and second mollified moments of the same family of $L$-functions to show that at least $87.5\%$ of the members of this family have non-vanishing central values.

연구 동기 및 목표

• 디리클 L-함수에서의 중심 L-값의 모멘트와 비영성에 관한 고전 결과를 이차 헤크 L-함수로 확장하여 가우스 수체에 적용한다.
• 오차 항의 크기가 $ O(X^{1/2+\theta}) $인 중심값의 첫 세 모멘트에 대한 渐近 공식을 유도함으로써 이전의 추정치를 향상시킨다.
• 소리의 모멘트 방법을 적용하여 중심값이 영이 아닌 L-함수의 양적 조밀도를 확보함으로써, 고전적 경우에서 사운다라라잔의 작업과 유사하게 확장한다.
• 해석적 수론의 기법, 특히 반복적 오차 감소와 파울린 합성 공식을 복소 이차 수체의 맥락에 적응한다.
• 헤케 특성 $ \chi_{(1+i)^5 d} $를 사용하여, $ d $ 가 $ \mathcal{O}_K $ 내에서 홀수이자 제곱 자유일 때, 스무딩된 모멘트에 대한 명시적 渐近 주항과 오차 추정을 제공한다.

제안 방법

• 콤���트 지지 집합을 가진 매끄러운 함수 $ \Phi $를 통해 스무딩된 모멘트를 사용하여 $ N(d) \sim X $ 인 $ d $ 에 대한 합을 제어한다.
• 반복 기법을 적용하여 초기에 큰 오차 항을 첫 두 모멘트에 대해 $ O(X^{1/2 + \varepsilon}) $, 세 번째 모멘트에 대해 $ O(X^{3/4 + \varepsilon}) $ 로 감소시킨다.
• 계수 $ \mu_{[i]}(d) $ 를 헤크 특성 성질로부터 유도한 모래화된 모멘트 접근법을 사용하여 중심값이 영이 아닌 비율을 제한한다.
• 오차 성장률을 제어하기 위해 $ \lambda(a\alpha)/h(a) $, $ d_{[i]}(a)/\sigma_{[i]}(a) $, 그리고 로그 항의 거듭제곱을 포함하는 부가적 항의 복잡한 분석을 수행한다.
• 헤케 L-함수의 함수-equation과 근사 함수-방정식을 사용하여 $ L(1/2, \chi) $ 를 이상과 특성에 대한 합으로 표현한다.
• 부분 합성과 로그 항의 渐近 전개를 적용하여 주항을 $ \log X $ 의 다항식으로 표현하며, 계수는 $ \Phi $ 에 따라 달라진다.

실험 결과

연구 질문

• RQ1 가우스 수체에서 이차 헤크 L-함수의 중심값의 첫 세 모멘트에 대한 渐近 공식은 무엇인가?
• RQ2 이 모멘트 공식의 오차 항은 $ O(X^{1/2 + \varepsilon}) $ 수준으로 향상시킬 수 있는가, 이는 고전적 경우에서 알려진 최고의 오차 추정치와 일치하는가?
• RQ3 이 가족에 속한 이차 헤크 L-함수 중 중심값이 영이 아닌 비율은 얼마인가?
• RQ4 모래화된 모멘트 기법은 수체에 적응시켜 중심 L-값이 영이 아닌 경우의 양적 조밀도 결과를 도출할 수 있는가?
• RQ5 모멘트의 주항은 스무딩 가중 함수 $ \Phi $ 와 가우스 정수의 산술적 구조에 따라 어떻게 달라지는가?

주요 결과

• 중심값 $ L(1/2, \chi_{(1+i)^5 d}) $ 의 첫 두 모멘트는 오차 항이 $ O(X^{1/2 + \varepsilon}) $ 인 渐近 공식을 갖는다. 이는 고전적 경우에서 알려진 최고의 오차 추정치와 일치한다.
• 세 번째 모멘트는 오차 항이 $ O(X^{3/4 + \varepsilon}) $ 인 渐近 공식을 갖는다. 이는 고전적 경우에서 GRH 하에 알려진 결과와 일관된다.
• 이 가족에 속한 L-함수의 적어도 87.5%가 중심값에서 영이 아니며, 이는 두 번째 모래화된 모멘트와 코시-슈바르츠 부등식을 통해 입증되었다.
• 첫 번째 모멘트의 주항은 $ \log X $ 에 대한 1차 다항식이며, 두 번째 및 세 번째 모멘트의 주항은 각각 3차 및 6차 다항식이다. 이는 모멘트 추측에서 예상되는 성장률과 일치한다.
• 두 번째 모래화된 모멘트의 渐近 주항은 $ \sim \left(\frac{\pi}{4}\right)^4 \left( \frac{4}{81} + \frac{8}{27\theta} + \cdots \right) \frac{2\pi \widehat{\Phi}(1)}{3\zeta_K(2)} X $ 로 주어지며, $ \theta = 1 $ 이다.
• 모든 $ X \leq N(d) \leq 2X $ 에 대해 모래화자 계수의 제곱 합은 $ \sim \frac{2\pi}{3\zeta_K(2)} X $ 로 渐近적으로 수렴하며, 이는 비영성 조밀도 추론에서 사용된 정규화 조건을 확인한다.