[논문 리뷰] An explicit formula for Hecke $L$-functions

Xian‐Jin Li|arXiv (Cornell University)|2004. 03. 06.

Advanced Algebra and Geometry참고 문헌 10인용 수 6

한 줄 요약

이 논문은 측두형식과 관련된 헤크 L-함수의 비자명한 영점의 위치를 결정하는 수열 $\tau_N(n)$에 대한 명시적 공식을 유도한다. 아이히러-세르버 추적 공식과 헤크 고유형식의 성질을 사용하여, 완비 L-함수 $\xi_N(s)$의 모든 영점이 임계대 $\Re(s) = 1/2$ 위에 있을 조건은 $\tau_N(n) \geq 0$ for all $n \geq 1$임을 보이며, 이러한 L-함수에 대한 일반화된 리만 가설을 위한 기준을 제공한다.

ABSTRACT

In this paper an explicit formula is given for a sequence of numbers. The positivity of this sequence of numbers implies that zeros in the critical strip of the Euler product of Hecke polynomials, which are associated with the space of cusp forms of weight $k$ for Hecke congruence subgroups, lie on the critical line.

연구 동기 및 목표

• 중량 $k$와 수준 $N$을 가진 측두형식에 부착된 헤크 L-함수에 대한 일반화된 리만 가설을 위한 기준을 수립하는 것.
• 완비 L-함수 $\xi_N(s)$의 영점에 대한 합으로 정의된 수열 $\tau_N(n)$에 대한 명시적 공식을 도출하는 것.
• 새로운 형식 $S_k(N,\chi)$의 L-함수에 대한 임계선 가설과 $\tau_N(n)$의 음이 아닌 성질을 연결하는 것.
• 아이히러-세르버 추적 공식을 사용하여 헤크 연산자의 추적 자료와 모듈라 형식의 산술 불변량을 이용해 $\tau_N(n)$을 표현하는 것.

제안 방법

• 비자명한 영점 $\rho$에 대해 합을 취하는 방식으로 $\tau_N(n) = \sum_{\rho} \left[1 - \left(1 - \frac{1}{\rho}\right)^{-n}\right]$을 정의하며, 이는 임계대 내의 $\xi_N(s)$의 비자명한 영점에 대해 합산된다.
• 헤크 연산자 $S_k(N,\chi)$에서 $\operatorname{tr}(T(p^m))$를 계산하기 위해 아이히러-세르버 추적 공식을 사용하여 고유값의 추적을 명시적으로 계산할 수 있도록 한다.
• 재귀를 통해 정의된 보조 연산자 $S(p^m)$를 도입한다: $S(p^m) = T(p^m) - \chi(p)p^{k-1}T(p^{m-2})$, 이의 추적은 고유값 합 $\sum_j b_{g_j}(p^m)$와 일치한다.
• 봄비에-라자리우스의 기준을 적용하여 $\tau_N(n)$의 음이 아닌 성질이 임계선 $\Re(s) = 1/2$ 위의 영점 위치와 연결됨을 보인다.
• 추적 공식과 새로운 형식의 산술 자료를 사용하여 $\tau_N(n)$을 $N$, $k$, $\chi$, $h(f)$, 그리고 약수 함수의 형태로 명시적인 대수적 표현으로 유도한다.
• $\xi_N(s)$의 함수 방정식과 $\xi_N(s)$가 정칙임을 이용하여 영점이 $\Re(s) = 1/2$를 중심으로 대칭됨을 보장하며, 문제를 $\tau_N(n)$의 부호 제어로 단순화한다.

실험 결과

연구 질문

• RQ1 완비 L-함수 $\xi_N(s)$의 모든 비자명한 영점이 임계선 $\Re(s) = 1/2$ 위에 있을 조건은 무엇인가?
• RQ2 수열 $\tau_N(n)$의 음이 아닌 성질이 헤크 L-함수에 대한 임계선 가설을 위한 필요충분조건이 될 수 있는가?
• RQ3 모듈라 형식 불변량과 헤크 연산자의 추적 자료로 표현된 $\tau_N(n)$의 명시적 대수적 표현은 무엇인가?
• RQ4 아이히러-세르버 추적 공식을 사용하여 임의의 수준과 중량을 가진 측두형식의 L-함수에 대해 $\tau_N(n)$을 어떻게 계산할 수 있는가?
• RQ5 새로운 형식과 그에 관련된 L-함수는 $\xi_N(s)$의 전역적 영점 분포에 어떤 역할을 하는가?

주요 결과

• 수열 $\tau_N(n)$은 산술 함수, 헤크 연산자의 추적, $\Lambda(m)$ 및 $\ln m$을 포함하는 제타 유사 합의 조합으로 명시적으로 계산된다.
• 코로나리 1.2에 따르면, $S_k(N,\chi)$의 측두형식 L-함수에 대한 일반화된 리만 가설은 $\tau_N(n) \geq 0$ for all positive integers $n$일 때에만 성립한다.
• 완비 L-함수 $\xi_N(s)$는 정칙이며, 함수 방정식 $\xi_N(s) = w \overline{\xi_N(1 - \overline{s})}$를 만족하여 영점이 $\Re(s) = 1/2$를 중심으로 대칭됨을 보장한다.
• 헤크 연산자 $T(p^m)$의 추적은 아이히러-세르버 공식을 통해 명시적으로 주어지며, 이는 $h(f)$와 가우스 합을 포함한다.
• $\tau_N(n)$의 표현식에는 $\sum_{l=1}^\infty \frac{k+1}{l(2l + k + 1)}$ 형태의 항이 포함되어 있으며, 이는 수렴하고 공식의 상수항에 기여한다.
• $\tau_N(n)$의 공식은 $S_k(N,\chi)$ 내의 모든 새로운 형식의 기여를 반영하며, 수준의 곱 $\prod_{\mathfrak{f}|m|m|N} m^{\nu_m d(N/m)}$을 통해 전역 L-함수와 국소 자료를 연결한다.