One-level density of zeros of $\Gamma_1(q)$ $L$-functions

기술적 요약: $\Gamma_1(q)$ L-함수의 영점의 1-레벨 밀도

문제 제기
본 논문은 자동형 L-함수의 영점들의 통계적 분포를 조사하며, 특히 합동 부분군 $\Gamma_1(q)$과 관련된 $GL_2$ L-함수의 큰 유니터리 군족에 대한 1-레벨 밀도에 초점을 맞춥니다. 핵심 문제는 테스트 함수의 푸리에 변환 $\hat{\phi}$에 대해, 1-레벨 밀도가 Katz–Sarnak 철학의 예측과 일치하도록 허용되는 지지 영역 (support) 을 결정하는 것입니다.

Katz–Sarnak 추측은 자연스러운 군족 내의 영점들의 국소 통계가 특정 대칭군 (이 경우 유니터리 군 $U$) 에서의 랜덤 행렬의 고유값에 대응된다고 예측합니다. 그러나 유니터리 군족에 대한 이전 결과들은 $\text{supp } \hat{\phi} \subset (-2, 2)$인 지지 영역으로 제한되어 왔습니다. 이 지지 영역을 "대각선" 범위를 넘어 확장하는 것은 해석적 수론에서 중요한 도전 과제이며, 이는 명시적 공식 (explicit formula) 에서의 비대각선 항들을 더 정밀하게 제어해야 함을 요구합니다. 본 논문은 L-함수 군족의 구조적 특성 (특히 $GL_2$ 구조) 이 대칭군에 의해 독점적으로 규정된 것보다 더 큰 지지 영역을 허용할 수 있는지 여부를 규명하고자 합니다.

방법론
저자는 명시적 공식을 사용하여 L-함수의 영점들에 대한 테스트 함수의 합을 소수 거듭제곱에 대한 합과 연결합니다. 핵심 기술적 작업은 $S_k(\Gamma_1(q))$ 내의 첨점 형식 (cusp forms) 군족에 적용된 Petersson 추적 공식 (trace formula) 에서 비롯된 비대각선 기여분들을 추정하는 것입니다.

주요 방법론적 단계는 다음과 같습니다:

1. 명시적 공식과 추적 공식: 1-레벨 밀도는 적분과 푸리에 계수 $\lambda_f(n)$을 포함하는 소수 거듭제곱에 대한 합으로 표현됩니다. 군족에 대한 합은 Petersson 유형의 공식을 사용하여 평가되며, 이는 대각선 항 (주요 항을 산출함) 과 베셀 함수 및 지수 합을 포함하는 비대각선 항들로 분해됩니다.
2. 비대각선 항의 분해: 비대각선 합은 추적 공식에서 비롯된 소수 $p$와 모듈로 $s, t$ 사이의 관계에 따라 분할됩니다. 합은 더 나아가 자명한character (trivial character) 와 비자명한 디리클레 character 들로부터의 기여분으로 분해됩니다.
3. 이분법적 분해 (Dyadic Decomposition) 와 Mellin 변환: 합들은 베셀 함수 $J_{k-1}$과 지수 항들의 행동에 의해 정의된 세 가지 전이 영역에서 분석됩니다:
   • 사례 1: $P/q \ll ST$ (여기서 $P$는 소수의 크기이고 $S, T$는 $s, t$의 크기입니다).
   • 사례 2: $\sqrt{P}/q \ll ST \ll P/q$.
   • 사례 3: $\sqrt{P}/q \gg ST$.
     이러한 영역들에서 저자는 이분법적 분해, 지수 함수와 베셀 함수의 Mellin 변환 표현, 그리고 경로 이동 (contour shifting) 기법을 활용합니다.
4. GRH 가정: 일반화된 리만 가설 (GRH) 은 L-함수 도함수를 추정하고 적분 경로를 오른쪽으로 이동시켜 오차 항의 수렴성과 작음을 보장하기 위해 전체 과정에서 가정됩니다.
5. Character 합: 비자명한 character 의 경우, 저자는 Cauchy-Schwarz 부등식과 디리클레 character 의 직교성 관계를 적용하여 합을 추정하며, 오차 항을 제어하기 위해 Lemma 2.4 (character 로 꼬인 소수 합에 대한 추정) 를 활용합니다.

주요 기여 및 결과
주요 결과는 Theorem 1.1로, 이는 가중치 $k \ge 3$이 홀수이고 $q$가 소수인 $\Gamma_1(q)$ L-함수 군족에 대한 1-레벨 밀도를 GRH 하에서 확립합니다.

• 확장된 지지 영역: 본 논문은 테스트 함수의 푸리에 변환 지지 영역이 $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$인 구간에서 Katz–Sarnak 예측이 성립함을 증명합니다. 이는 유니터리 군족에 대해Previously 알려진 $(-2, 2)$의 경계를 확장한 것입니다.
• 비소멸 비율: 직접적인 적용 (Corollary 1.2) 으로, 저자는 군족 내 중심점 $s=1/2$에서 소멸하지 않는 형식들의 비율에 대한 하한을 유도합니다. 결과는 군족 내 형식들의 적어도 $5/8$ (62.5%) 가 중심점에서 소멸하지 않음을 나타냅니다.
• 구조적 통찰: 본 논문은 군족의 $GL_2$ 구조가 지지 영역 확장의 결정적 요인이며, 단순히 유니터리 대칭군만이 아님을 보여줍니다. 이는 대칭군만이 대역폭 제한을 규정한다는 관념에 도전하며, 특정 구조적 특성 (예: 여기서는 $GL_2$ 군족) 을 가진 더 큰 군족들이 직교 군족들과 비교하거나 초과하는 지지 영역을 달성할 수 있음을 보여줍니다.

의의
본 논문은 62.5% 의 비소멸 비율이 유니터리 군과 관련된 어떤 군족에 대해서도 가장 높은 기록이라고 주장합니다. 이 작업의 의의는 다음 두 가지 주요 영역에 있습니다:

1. 정제된 산술 정보: 테스트 함수의 지지 영역을 $(-8/3, 8/3)$로 확장함으로써, 이 결과는 더 정제된 산술 정보를 제공하며, 특히 비소멸 중심 L-값의 비율에 대한 더 강력한 추정을 제공합니다.
2. 구조적 이해: 이 작업은 푸리에 변환 지지 영역에 대한 "대역폭 제한"이 대칭군 (유니터리 대 직교) 에 의해서만 결정되는 것이 아니라, L-함수 군족의 더 미세한 구조적 특성에 크게 영향을 받음을 시사합니다. 추가 가정 하에 2 (또는 약간 이상) 로 제한되었던 이전의 유니터리 $GL_1$ 결과들과 달리, 유니터리 $GL_2$ 군족에 대해 지지 영역을 $8/3$까지 밀어낼 수 있는 능력은 비대각선 항들을 제어하는 데 있어 $GL_2$ 구조의 힘을 강조합니다.

저자는 개발된 기법들이 동일한 지지 영역을 가진 동일 군족의 고레벨 밀도 연구로 확장될 수 있음을 언급하며, 이는 현재 조사 중인 방향이라고 덧붙입니다. 본 논문은 새로운 실험적 응용을 제안하지 않고, 해석적 수론의 틀 내에서 1-레벨 밀도 추측의 이론적 발전에 초점을 맞춥니다.