An omega result for the first sign change of coefficients of symmetric power $L$-functions of Hecke-Maass cusp forms

기술적 요약: Hecke-Maass 큐스프 폼의 대칭 거듭제곱 L-함수 계수의 첫 번째 부호 변화에 대한 오메가 결과

문제 정의
본 논문은 오토모픽 폼(automorphic forms)과 관련된 L-함수의 계수에서 첫 번째 부호 변화를 나타내는 $n_f$ (또는 이 문맥에서는 $n_{\text{sym}^m u_k}$)의 크기를 결정하는 문제를 다룬다. 구체적으로, 계수 $\lambda(n)$이 음수가 되는 최소 양의 정수 $n$을 조사한다.

홀로모픽 Hecke 큐스프 폼의 첫 번째 부호 변화에 대한 행동은 Lamzouri [6]에 의해 광범위하게 연구되었으나, Hecke-Maass 큐스프 폼에 대한 유사한 문제는 상당한 기술적 어려움을 수반한다. 주요 난점은 Maass 폼에 대한 일반화된 라만차 추측(Generalized Ramanujan Conjecture, GRC)의 부재에 있다. GRC가 없다면, 사타케 파라미터(Satake parameters) $\alpha_{u_k, j}(p)$가 단위 원 위에 있다는 보장이 없으며, 이는 지수적으로 성장하는 "예외적인(exceptional)" 고윳값으로 이어질 수 있다. 본 논문은 Lamzouri의 오메가 결과를 Hecke-Maass 폼으로 확장하고, GRC를 가정하지 않고도 대칭 거듭제곱 L-함수 $L(s, \text{sym}^m u_k)$의 계수에 대해 이 결과를 더욱 일반화하는 것을 목표로 한다.

방법론
저자들은 GRC의 잠재적 실패를 처리하기 위해 정교화된, Lamzouri의 연구에서 채택된 확률적 체(probabilistic sieve) 방법을 사용한다. 핵심 방법론은 다음과 같은 단계들을 포함한다:

1. 삼각 다항식 및 체비쇼프 전개:
   저자들은 제1종 체비쇼프 다항식($T_L$)과 제2종 체비쇼프 다항식($X_\ell$)으로부터 구성된 특정 삼각 다항식 $f(\theta)$를 활용한다. 저자들은 체(sieve) 가중치 역할을 하는 비음수 함수 $g(\theta)$를 정의한다. 이 함수는 $g(\theta) = \sum a_\ell X_\ell(\theta)$로 전개되며, 여기서 계수 $a_\ell$은 유계이다. 이러한 전개를 통해 고윳값에 대한 조건을 사타케 파라미터와 관련된 각도 $\theta_k(p)$에 대한 조건으로 변환할 수 있다.

2. 예외적 고윳값 처리:
   저자들은 GRC가 실패할 수 있는 소수들을 고려하는 체 함수 $G(u_k)$를 구축하는 데 핵심적인 혁신을 도입한다. 저자들은 임계값 $\delta_p$와 $\log T$에 의존하는 파라미터 $L_p$를 정의한다.

• $G(u_k)$는 $g_p(\theta_k(p))$의 곱과 $\lambda_k(qH)^2/H^2$를 포함하는 보정 항의 차로 구성된다.
• 케이스 분석(Case 1, 2, 3)을 통해, 저자들은 만약 $\theta_k(p)$가 "양호한" 범위 $[0, 2\pi\delta_p)$를 벗어날 경우 $G(u_k)$가 비양수(non-positive)가 됨을 입증한다. 이는 이는 "나쁜" 예외적 고윳값을 가진 폼들을 효과적으로 필터링한다.

3. 쿠즈네초프 트레이스 공식 (Kuznetsov Trace Formula):
   Maass 폼의 가족 $H_T = \{u_k : t_k \leq T\}$에 대한 $G(u_k)$의 평균값을 추정하기 위해, 저자들은 절단된 쿠즈네초프 트레이스 공식(보조정리 2.1)을 적용한다. 이를 통해 가중치가 부여된 고윳값의 합을 주 항(계수 $a_{0, p_j}$의 곱)과 스펙트럼 갭(spectral gap)을 포함하는 오차 항 사이의 관계로 연결한다.

4. 대칭 거듭제곱 계수:
   대칭 거듭제곱 L-함수의 경우, 저자들은 계수 $\lambda_{\text{sym}^m u_k}(p^a)$를 사타케 파라미터들의 대칭 다항식으로 표현한다. 저자들은 작은 각도 $\theta_k(p)$(체(sieve)의 "양호한" 범위 내)에 대해 이 계수들이 양수를 유지함을 보여줌으로써, 첫 번째 부호 변화가 체의 범위를 지나서만 발생함을 보장한다.

주요 기여 및 결과
본 논문은 Hecke-Maass 큐스프 폼 및 그 대칭 거듭제곱의 첫 번째 부호 변화에 대한 오메가 결과를 확립한다.

• 정리 1.1: 충분히 큰 $T$에 대하여, 다음을 만족하는 Hecke-Maass 폼 $u_k \in H_T$가 적어도 다음만큼 존재한다:
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right)$$
  여기서 $\lambda_{\text{sym}^m u_k}(n) < 0$을 만족하는 최소 양의 정수 $n$은 다음을 만족한다:
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• Lamzouri 연구의 확장: 이 결과는 홀로모픽 폼에 대한 Lamzouri [6]의 하한을 Maass의 경우로 일반화한다. 결정적으로, 이 결과는 GRC를 가정하지 않고도 달성되었다. 방법론은 "나쁜" 사타케 파라미터(GRC를 위반하는 것들)를 가진 폼들을 성공적으로 격리하고, 상당한 비율의 폼들이 여전히 첫 번째 부호 변화에 관한 기대되는 행동을 보임을 입증한다.

• 대칭 거듭제곱: 본 논문은 표준 Hecke 고윳값($m=1$)을 넘어 대칭 거듭제곱 L-함수의 계수에 대해서도 유사한 하한이 성립함을 증명하여 연구의 범위를 확장한다.

의의 및 주장
저자들은 본 연구를 해석적 정수론 분야의 최근 결과들에 대한 필수적인 확장으로 위치시킨다. 본 연구의 의의는 다음과 같다:

1. GRC 가정 제거: GRC 없이 결과를 증명함으로써, 본 논문은 Maats 폼의 부호 변화 분포에 대한 더 견고한 이해를 제공하며, 이는 홀로모픽 폼보다 덜 알려진 영역이다.
2. 기술적 정교화: 저자들은 Maass 설정에서 발생하는 GRC의 잠재적 실패로부터 비롯되는 기술적 어려움을 구체적으로 해결하기 위해 [6]에서 사용된 체(sieve)를 정교화했다고 주장한다.
3. 일반화: 본 논문은 "오메가" 행동(첫 번째 부호 변화에 대한 큰 하한)이 기본 L-함수뿐만 아니라 대칭 거듭제곱 L-함수 전반에 걸쳐 지속되는 특징임을 입증한다.

본 논문은 새로운 응용이나 미래의 실험적 방향을 제안하지 않으며, 엄격하게 이 특정 계열의 L-함수들에서 첫 번째 부호 변화에 대한 이론적 하한을 확립하는 데 집중한다.