[논문 리뷰] On the frequency of vanishing of quadratic twists of modular L-functions

JB Conrey, JP Keating외 2명|ArXiv.org|2000. 12. 07.

Advanced Algebra and Geometry참고 문헌 16인용 수 49

한 줄 요약

이 논문은 랜덤 행렬 이론을 사용하여 모듈라 L함수—특히 타원곡선의 것들—의 제곱근 변형이 중심 임계점에서 2 이상의 차수로 0이 되는 빈도를 추측한다. 이는 |d| ≤ x 인 변형의 수가 渐近적으로 $ V_E(x) \sim b_E x^{3/4} (\log x)^{e_E} $ 로 증가한다고 제안하며, 이는 정규직교 대칭과 $ SO(2N) $ 내 특성다항식의 모멘트 통계에서 유도된 상수들로 구성되며, 수치적 증거로 세 개의 타원곡선에 의해 지지된다.

ABSTRACT

We present theoretical and numerical evidence for a random matrix theoretic approach to a conjecture about vanishings of quadratic twists of certain L-functions

연구 동기 및 목표

• 중심 임계점에서 모듈라 L함수의 제곱근 변형이 0이 되는 빈도를 이해하는 것, 특히 타원곡선에 대해.
• s = 1/2 에서 L함수 $ L_E(s, \chi_d) $ 가 최소한 2차로 0이 되는 기본 판별식 d 중 |d| ≤ x 인 것의 수를 조사하는 것.
• 골드펠드의 $ o(x) $ 예측을 넘어서 $ V_E(x) $ 의 정교한 渐近 추측을 제공하는 것.
• 중앙 L값의 분포를 랜덤 행렬 이론, 특히 정규직교 대칭 유형 $ O^+ $ 과 연결하고, 모멘트 기반 예측을 도출하는 것.
• 11, 19, 32 수준의 세 개의 타원곡선에 대한 데이터를 사용하여 추측을 수치적으로 검증하는 것.

제안 방법

• 카츠-사르нак 철학에 따라, 대칭 유형 $ O^+ $ 을 갖는 정규직교 가족으로서 $ \mathcal{F}_{E^+} = \{ L_E(s, \chi_d) : w_E \chi_d(-N) = +1 \} $ 의 변형된 L함수 가족을 모델링한다.
• 중앙 L값의 모멘트를 사용하며, 이는 $ N \sim \log T $ 일 때 $ SO(2N) $ 내 행렬의 특성다항식의 모멘트와 유사하다고 추측한다.
• Keating-Snaith 공식을 $ SO(2N) $ 에서 $ |\det(U - I)|^k $ 의 모멘트에 적용하여 渐近 $ M_E(T,k) \sim g_k(O^+) a_k(E) (\log T)^{k(k-1)/2} $ 를 이끌어내며, 여기서 $ g_k(O^+) $ 는 바르누즈의 이중 감마 함수를 포함한다.
• 모멘트 생성함수의 전체 표현을 이용해 중심 L값의 밀도 함수를 유도하며, 역 멜린 변환의 메이저 G-함수 표현을 활용한다.
• 예측된 $ L_E(1/2, \chi_d) $ 의 분포를 실측 자료와 비교하며, 이론적 $ P_{O}(N,x) $ 와 $ P_{USp}(N,x) $ 밀도와 평균을 비교하기 위해 재정규화한다.
• 세 개의 타원곡선에 대해 수치적 검증을 수행하여 관측된 0이 되는 빈도와 값 분포를 이론적 예측과 비교한다.

실험 결과

연구 질문

• RQ1 |d| ≤ x 인 기본 판별식 d 중에서 타원곡선 L함수의 제곱근 변형 $ L_E(s, \chi_d) $ 가 s = 1/2 에서 최소한 2차로 0이 되는 빈도의 渐近적 빈도는 무엇인가?
• RQ2 이러한 변형에 대해 중심 L값 $ L_E(1/2, \chi_d) $ 의 분포는 랜덤 행렬 이론의 예측과 어떻게 비교되는가?
• RQ3 SO(2N) 내 랜덤 행렬 이론의 모멘트 추측을 사용하여, 이러한 0이 되는 변형의 수인 $ V_E(x) $ 의 정확한 渐近 공식을 유도할 수 있는가?
• RQ4 11, 19, 32 수준의 타원곡선에 대한 수치 계산은 $ V_E(x) $ 의 추측된 $ x^{3/4} (\log x)^{e_E} $ 증가율을 어느 정도 지지하는가?
• RQ5 중앙 L값의 분포 $ L_E(1/2, \chi_d) $ 는 정규직교 대칭 하에서 이론적 $ P_{O}(N,x) $ 와 어떻게 비교되며, 유니터리 심플렉틱 모델 하에서의 $ P_{USp}(N,x) $ 와는 어떻게 비교되는가?

주요 결과

• s = 1/2 에서 최소한 2차로 0이 되는 타원곡선 L함수의 제곱근 변형의 수는 $ V_E(x) \sim b_E x^{3/4} (\log x)^{e_E} $ 로 증가한다고 추측되며, 여기서 $ b_E $ 와 $ e_E $ 는 곡선 E에 따라 달라진다.
• 渐近 공식의 지수 $ 3/4 $ 는 반정수 스타일 형식의 푸리에 계수에 대한 라마누잔 추측과 0 계수의 기대 빈도에 의해 지지된다.
• 11, 19, 32 수준의 타원곡선에 대한 수치적 자료는 예측된 $ x^{3/4} $ 스케일링과 양호한 일치를 보이며, $ \log T $ 로 정규화할 경우 잔여 변동은 로그적 느린 변화로 인해 발생한다.
• 함수 방정식이 짝수인 소 판별식 d 에 대해 $ L_E(1/2, \chi_d) $ 의 값 분포는 랜덤 행렬 이론에서 유도된 이론적 $ P_{O}(N,x) $ 밀도와 밀도적으로 잘 일치한다.
• 비교를 위해, 디리클레 L함수의 s = 1/2 에서의 분포는 유니터리 심플렉틱 예측 $ P_{USp}(N,x) $ 와 일치하며, 이는 카츠-사르нак 프레임워크가 다른 맥락에서도 유효함을 검증한다.
• 이 추측은 $ L_E(1/2, \chi_d) $ 가 반정수 스타일 모듈라 형식의 푸리에 계수의 제곱과 관련된 발도스부르거의 공식과 일치하며, 이는 해당 계수에 대한 라마누잔 추측과도 일치한다.