One-level densities of large even and odd orthogonal families of automorphic L-functions

기술적 요약: 큰 크기의 짝수 및 홀수 직교족 자동형 L-함수의 한 단계 밀도

문제 제기
본 논문은 레벨 $q$와 고정된 무게 $k \geq 4$를 갖는 원시尖點형 (primitive cusp forms) 에 부착된 L-함수의 낮은 위치 영점 분포를 조사한다. 구체적으로, 저자들은 제곱인수 없는 (square-free) 레벨 $q$에 대해 평균화된 이러한 영점들의 "한 단계 밀도 (one-level density)"를 연구한다. 이 연구는 함수 방정식의 부호에 따라 두 개의 하위 가족을 구분한다: 짝수 가족 ($\varepsilon_{f,q} = 1$) 과 홀수 가족 ($\varepsilon_{f,q} = -1$).

이 연구를 이끄는 중심적인 직관은 Katz-Sarnak 철학으로, 이는 가족 내 L-함수들의 영점들의 통계적 분포가 특정 대칭군 (이 경우 직교군) 에서의 랜덤 행렬의 고유값 분포를 반영한다고 예측한다. 이전의 결과들은 고정된 레벨이나 모든 레벨에 대한 평균에 대해 이 대응 관계를 확립했으나, 본 논문은 짝수와 홀수 가족을 분리하면서 제곱인수 없는 레벨에 대해 평균화하는 구체적인 과제를 다룬다. 이 분리는 함수 방정식의 부호가 중심점 $s=1/2$에서의 소멸 행동을 결정하기 때문에 중요하다: 홀수 형식은 $s=1/2$에서 소멸하는 반면, 짝수 형식은 소멸하지 않는 것으로 추측된다.

방법론
저자들은 명시적 공식 (explicit formula) 을 영점들에 대한 합과 소수 거듭제곱들에 대한 합과 연결하고, 쿠즈네초프 (Kuznetsov) 추적 공식과 결합하는 분석적 정수론 기법을 주로 활용한다.

1. 명시적 공식과 근수 (Root Numbers): 분석의 핵심은 가족에 대해 명시적 공식을 평균화하는 것이다. 중요한 기술적 단계는 평균에 근수 $\varepsilon_{f,q}$를 포함시키는 것이다. 제곱인수 없는 $q$에 대해, 근수는 명시적으로 $\varepsilon_{f,q} = i^k \mu(q) \lambda_f(q) \sqrt{q}$로 주어진다. 저자들은 짝수와 홀수 기여를 분리하기 위해 근수를 포함하는 합과 포함하지 않는 합을 별도로 처리한다.
2. 추적 공식: 푸리에 계수 $\lambda_f(n)$에 대한 합을 평가하기 위해, 저자들은 새로운 형식 (newforms) 에 대한 피테르손 (Petersson) 추적 공식 (특히 Iwaniec, Luo, Sarnak 의 버전) 과 쿠즈네초프 추적 공식을 활용한다. 이러한 도구들은 스펙트럼 합을 클로스토르만 (Kloosterman) 합과 베셀 함수를 포함하는 산술 합으로 변환하게 해준다.
3. 일반화 리만 가설 (GRH) 가정: 전 과정에서 일반화 리만 가설 (GRH) 이 가정된다. 이 가정은 소수에 대한 합을 제한하고, 추적 공식 적용에 필요한 수렴성과 오차항 추정을 보장하는 데 사용된다.
4. 푸리에 분석: 시험 함수의 푸리에 변환 $\hat{\Phi}$의 지지 (support) 는 핵심 매개변수이다. 저자들은 $\hat{\Phi}$의 허용 가능한 지지를 구간 $(-3, 3)$로 확장한다. 이 확장은 특히 근수가 관련될 때 추적 공식에서 발생하는 오차항을 정교하게 처리해야 한다.
5. 비소멸을 위한 최적화: 비소멸 결과를 유도하기 위해, 저자들은 시험 함수와 대칭 커널에 대한 적분의 비율을 포함하는 최적화 문제를 수립한다. 그들은 비소멸 형식의 비율에 대한 최적 상수를 결정하기 위해 재생 커널 힐베르트 공간의 방법 (Freeman 과 Miller 를 참조) 을 활용한다.

주요 기여 및 결과

• 한 단계 밀도를 위한 확장된 지지: 주요 결과 (정리 1.1) 는 제곱인수 없는 레벨에 대해 평균화된 $GL(2)$자동형 L-함수의 짝수 및 홀수 직교족에 대한 한 단계 밀도 추측을 증명한다. 저자들은 시험 함수의 푸리에 변환$\hat{\Phi}$가$(-3, 3)$에서 콤팩트하게 지지될 때 추측이 성립함을 확립한다.

  • 짝수 가족의 경우, 밀도 커널은 $W_{\text{even}}(x) = 1 + \frac{\sin(2\pi x)}{2\pi x}$이다.
  • 홀수 가족의 경우, 밀도 커널은 $W_{\text{odd}}(x) = 1 - \frac{\sin(2\pi x)}{2\pi x} + \delta_0(x)$이다.
  • 저자들은 첫 번째와 두 번째 저자가 Baluyot 와 함께 수행한 이전 결과가 전체 직교족에 대해 $(-4, 4)$의 지지를 달성했으나, 짝수와 홀수 가족을 분리하기 위해 근수를 포함하는 것이 현재 장벽이 되어 지지를 $(-3, 3)$로 제한하고 있다고 지적한다.

• 개선된 비소멸 비율: $(-3, 3)$의 확장된 지지를 활용하여, 저자들은 중심점에서의 비소멸 L-값과 미분값의 비율에 대한 더 강력한 하한을 유도한다 (계 1.3).

  • 짝수 가족: 짝수 가족의 형식 중 적어도 **69.8%**가 $L(1/2, f) \neq 0$을 갖는다. 이는 $(-2, 2)$로 제한된 지지를 가진 결과들에서 유도된 $(50-\epsilon)\%$ 상한이나 $(-4, 4)$ 결과의 비최적화된 적용보다 개선된 것이다.
  • 홀수 가족: 홀수 형식의 경우 $L(1/2, f) = 0$이므로, 초점은 미분값에 맞춰진다. 저자들은 홀수 가족의 형식 중 적어도 **97.8%**가 $L'(1/2, f) \neq 0$임을 보인다.

• 기술적 장벽 식별: 본 논문은 분리된 가족에 대해 $(-3, 3)$을 넘어선 지지 확장의 어려움을 명시적으로 식별한다. 저자들은 이 제한이 근본적으로 현재 방법론이 지지 범위를 초과할 때 지수 (conductor) 의 감소를 산출하지 못하기 때문이라고 제안한다. 그들은 추가적인 개선이 $GL(3)$에 대한 더 강력한 버전의 쿠즈네초프 추적 공식을 필요로 할 수 있다고 가정한다.

의의
본 논문은 주로 Birch 와 Swinnerton-Dyer 추측 및 기타 산술적 질문들과 관련된 정수론의 중심 문제인 중심 L-값의 비소멸성을 이해하는 맥락에서 의의를 주장한다. 짝수와 홀수 가족을 분리하고 시험 함수의 지지를 $(-3, 3)$로 확장함으로써, 저자들은 GRH 하에서 이러한 특정 가족에 대한 가장 강력한 알려진 비소멸 결과를 달성한다.

이 작업은 수체 설정에서 Katz-Sarnak 철학에 대한 이해를 정제하여, 제곱인수 없는 레벨에 대해 평균화하고 근수로 구분할 때에도 영점들의 통계적 행동이 랜덤 행렬 이론과 일치함을 보여준다. 저자들은 $(-3, 3)$ 한계에 대해 겸손하게, 이를 추측 자체의 결정적 한계가 아니라 현재 방법론의 "자연스러운 장벽"으로 인정한다.