[논문 리뷰] Nonvanishing of quadratic Dirichlet L-functions at s=1/2

K. Soundararajan|arXiv (Cornell University)|1999. 02. 23.

Analytic Number Theory Research인용 수 45

한 줄 요약

이 논문은 제곱 자유인 홀수 정수 d 중 적어도 87.5%가 8d에 대한 실수 캐릭터 χ₈d와 관련된 이차 딜리클레 L함수 L(1/2, χ₈d) ≠ 0임을 입증한다. 첫 번째 및 두 번째 모멘트를 제어하기 위해 최적화된 모리피어를 사용하여, 저자들은 스펙트럴 이론과 조화 해석을 적용하여 s = 1/2에서의 비영함수의 비율이 7/8를 초과함을 보이며, 이는 이전의 결과보다 크게 향상되었고, 카츠-사르나크 모델에서 심플렉틱 대칭성에 의해 이 현상을 설명한다.

ABSTRACT

We show that for a positive proportion of fundamental discriminants d, L(1/2,chi_d) != 0. Here chi_d is the primitive quadratic Dirichlet character of conductor d.

연구 동기 및 목표

• s = 1/2에서 영이 아닌 이차 딜리클레 L함수의 양의 하한 조밀도를 확립하는 것.
• 고정된 L함수의 이차 타원형 변형 가족에서 ψ = 1의 경우를 해결하는 것. 이전 연구는 제어되지 않은 '비대칭' 항으로 인해 실패하였다.
• s = 1/2에서의 비영함수 비율이 7/8를 초과함을 보이는 것. 이는 이전 결과보다 크게 향상된다.
• 카츠-사르나크 밀도 추측에서의 심플렉틱 대칭성으로 인해 높은 비영함수 비율이 설명됨을 보이는 것.

제안 방법

• 첫 번째 및 두 번째 모리피어드 모멘트를 균형 잡기 위해 λ(l)를 선택한 M(d) = ∑_{l≤M} λ(l)/√l ⋅ (8d/l) 형태의 모리피어를 도입한다.
• MY(d)와 RY(d)를 통한 이중 분할 단위를 사용하여 합을 주항목과 오차항으로 분해한다.
• 근사 함수 방정식과 보로노이 합성을 사용하여 L(1/2, χ₈d)의 모리피어드 모멘트를 분석한다.
• 포아송 합성과 스펙트럴 이론을 적용하여 모멘트 전개에서 주항목과 보조항을 평가한다.
• μ, d(n), Λ(n), 그리고 곱셈 함수를 포함하는 산술 합의 정교한 점근적 분석을 수행하여 주요 기여도를 추출한다.
• 모리피어 매개수 M = X^{1/2−ε}를 최적화하고, (1, 2)의 특성 함수를 근사하기 위해 부드러운 절단 함수 Φ를 선택하여 코시-슈바르츠 부등식을 통해 하한을 도출한다.

실험 결과

연구 질문

• RQ1 제곱 자유인 홀수 d에 대해, 이차 딜리클레 L함수 L(1/2, χ₈d) 중 비영인 비율은 얼마인가?
• RQ2 왜 L(s, χ₈d) 가족에서는 다른 L함수 가족에 비해 비영함수 비율이 더 높은가?
• RQ3 L함수 가족의 심플렉틱 대칭성이 높은 비영함수 조밀도를 어떻게 설명하는가?
• RQ4 최적화된 모리피어를 사용하여 모멘트 방법에서의 '비대칭' 기여를 제어할 수 있는가?
• RQ5 이 가족에서 첫 번째 및 두 번째 모리피어드 모멘트의 정확한 점근적 행동은 무엇인가?

주요 결과

• 제곱 자유인 홀수 정수 d 중 적어도 87.5%는 L(1/2, χ₈d) ≠ 0를 만족하며, X → ∞일 때 비율은 7/8에 수렴한다.
• 비영함수 L함수의 비율은 7/8를 초과하며, 이는 카츠-사르나크 심플렉틱 모델의 예측과 정확히 일치한다.
• 모리피어는 첫 번째 및 두 번째 모리피어드 모멘트가 점근적으로 유사해지도록 구성되어 있어, 코시-슈바르츠 부등식을 적용하여 양의 하한을 도출할 수 있다.
• 두 번째 모리피어드 모멘트의 주항목은 점근적으로 ∼ (4/81 + 8/27θ + ... + 4/27θ⁵) ⋅ 2ˆΦ(0)/(3ζ(2))와 같으며, 여기서 θ = 1 − ε이다.
• RY(d) 및 k ≠ 0, □ 기여에서 온 오차항들은 o(X)임을 보이며, 이는 주항목이 지배함을 보장한다.
• 결과는 8로 나누어지는 것 외에도 임의의 기본 판별식의 산술적 등차수열으로도 확장 가능하여 강건하다.