Asymptotics of Hecke polynomial coefficients on the Atkin-Lehner eigenspaces

기술 요약: Atkin-Lehner 고유 공간에서의 Hecke 다항식 계수의 점근적 거동

문제 정의
본 논문은 특정 Atkin-Lehner 부호 패턴을 가진 톱스페이스(cusp forms) 공간에서 작용하는 정규화된 $m$차 Hecke 연산자 $T'_m$의 특성 다항식 계수의 점근적 거동을 조사한다. $S_k(N)$를 무게 $k$, 레벨 $N$인 톱스페이스라 하자. 이 공간은 $N$의 정확한 약수 $Q \parallel N$에 대한 Atkin-Lehner 대칭 연산자 $W_Q$의 고유값 $\sigma(Q) \in \{\pm 1\}$에 기초하여 고유 공간 $S_k^\sigma(N)$으로 분해된다.

특성 다항식은 다음과 같이 정의된다:
$$T'_m(N, k, \sigma)(x) = \sum_{0 \le r \le d} c_r(m, N, k, \sigma) x^{d-r}$$
여기서 $d = \dim S_k^\sigma(N)$이다. 전체 공간 $S_k(N)$ 및 newspace $S_k^{new}(N)$에 대한 계수 $c_r$의 점근적 거동은 이미 연구된 바 있으나(특히 [20]에서), 더 세밀한 분해인 $S_k^\sigma(N)$ 및 $S_k^{new, \sigma}(N)$에서의 거동은 미해결 상태로 남아 있었다. 저자들은 이 고유 공간들에서 계수들이 안정적인 점근적 부호를 나타내는지 여부를 결정하고, 이러한 거동에 대한 명시적인 경계(bounds)를 설정하는 것을 목표로 한다.

방법론
저자들은 대수적 항등식과 해석적 트레이스 공식(trace formulas)의 조합을 사용한다:

1. Newton-Girard 항등식: 계수 $c_r$은 $T'_m$의 고유값들의 거듭제곱 합(power sums, moments) $p_j$와 관계를 갖는다. 구체적으로 $c_r = -\frac{1}{r} \sum_{j=1}^r c_{r-j} p_j$이다. 이는 계수 $r$을 추정하는 문제를 Hecke 연산자의 거듭제곱의 트레이스를 추정하는 문제로 환원시킨다.
2. 명시적 트레이스 공식: 핵심적인 기술적 도구는 **부록 A (Proposition A.5)**에서 유도된 $S_k^\sigma(N)$ 상의 $T'_m$에 대한 명시적 트레이스 공식이다. 이 공식은 주 항(main term)과 Dedekind psi 함수 $\psi(N)$, $\omega(N)$(소인수의 개수), 그리고 클래스 넘버(class numbers)를 포함하는 명시적 오차항 $E_{k, \sigma}(m, N)$을 제공한다.
3. 점근적 분석:
   • 제곱수 $m$의 경우, $N + k \to \infty$인 극한을 분석한다.
   • 비제곱수 $m$의 경우, $N$을 고정하고 $k \to \infty$인 극한을 분석한다.
   • 오차항을 추정하기 위해 Hurwitz 클래스 넘버에 대한 경계와 약수 함수의 성질을 활용한다.
4. 반례 구축: 비제곱수 $m$에 대한 $N$-극한에서의 거동을 다루기 위해, 저자들은 클래스 넘버의 성질과 소수 레벨을 사용하여 부호 진동(sign oscillation)을 보여주는 특정 무한 가족 $(N, \sigma)$ 쌍을 구축한다.

주요 기여 및 결과

• 제곱수 $m$에 대한 점근성:
  정리 1.1은 제곱수 $m$에 대하여, $N+k \to \infty$일 때 $r$번째 계수가 다음과 같이 거동함을 확립한다:
  $$c_r(m, N, k, \sigma) = \frac{(-1)^r}{r!} \left( \frac{1}{\sqrt{m}} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m}(k^{r-1}N^{r-1/2+\varepsilon})$$
  따름정리 1.3은 제곱수 $m$에 대해, 유한한 수의 삼조 $(N, k, \sigma)$를 제외한 모든 경우에 $c_r$의 부호가 $(-1)^r$임을 따른다.

• 비제곱수 $m$에 대한 점근성:
  정리 1.2는 비제곱수 $m$에 대해 $k \to \infty$일 때의 거동을 결정한다. 짝수 계수 $c_{2r}$은 다음을 만족한다:
  $$c_{2r} = \frac{(-1)^r}{(2r)!!} \left( \frac{\sigma_1(m)}{m} \frac{k-1}{12} \frac{\psi(N)}{2^{\omega(N)}} \right)^r + O_{m,N}(k^{r-1})$$
  홀수 계수 $c_{2r+1}$은 트레이스 $c_1$에 의해 지배된다. 따름정리 1.4는 비제곱수 $m$에 대해, 유한한 수의 $k$를 제외한 모든 $k$에 대해 $c_{2r}$의 부호가 $(-1)^r$임을 명시한다.

• $N$-극한에서의 부호 진동:
  전체 공간(여기서는 $N \to \infty$일 때 계수의 부호가 안정화됨)의 거동과 대조적으로, 정리 1.5는 비제곱수 $m$이고 고정된 짝수 $k$에 대해, $c_2(m, N, k, \sigma)$가 양수인 무한한 $(N, \sigma)$ 쌍의 가족과 음수인 무한한 가족이 존재함을 증명한다. 이는 $H(4mp)^2$에 비례하는 항과 $-(p+1)$에 비례하는 항 사이의 경쟁을 분석함으로써 달성된다.

• Newspace로의 확장:
  섹션 6은 부호 패턴 $\sigma$가 "허용 가능한"(admissible) 경우($4 \parallel N$ 이고 $\sigma(4)=+1$인 경우 제외) 모든 주요 정리를 newspace $S_k^{new, \sigma}(N)$로 확장한다. 점근적 형태는 수정된 함수 $\psi^{new}(N)$를 포함하여 유사하다.

• 명시적 경계:
  명제 7.1 및 7.2는 두 번째 계수 $c_2$에 대해 부호 예측이 유효함을 보장하는 $N$과 $k$에 대한 명시적이고 유효한(effective) 부등식을 제공한다. 이 경계들은 트레이스 공식의 명시적 오차항으로부터 유도되었다.

의의 및 주장
본 논문은 Hecke 연산자와 갈루아 켤레(Galois conjugation)를 존중하는 가장 세밀한 자연스러운 분해인 Atkin-Lehner 고유 공간으로 Hecke 다항식 계수에 대한 이해를 확장한다고 주장한다.

• 전역적 성질의 정교화: 본 연구는 (제곱수 $m$에 대한 계수의 점근적 부호와 같은) 특정 성질들이 더 세밀한 고유 공간에서도 유지되는 반면, (비제곱수 $m$에 대한 $N \to \infty$ 시의 부호 안정성과 같은) 다른 성질들은 유지되지 않음을 보여준다. 이는 전역 공간과 그 고유 공간 분해 사이의 근본적인 차이를 강조한다.
• 명시적 트레이스 공식: 주요 기여 중 하나는 $S_k^\sigma(N)$ 상의 $T'_m$에 대한 명시적 트레이스 공식(Proposition A.5)의 유도이다. 저자들은 이 공식이 독립적인 관심사이며, 향후 발표될 논문 [13]의 Hecke 고유값의 유효한 균등 분포(effective equidistribution) 증명과, 일반적인 무게에 대한 vanishing newspace dimension의 분류([16]과 같이)를 확장하는 데 필요하다고 언급한다.
• 비소멸(Non-vanishing)에 관한 추측: 저자들은 이 공간들에서 $k \ge 8$일 때 두 번째 계수 $c_2$가 소멸하지 않는다는 추측 1.6을 제안하며, 이는 상당한 범위의 파라미터에 대해 계산적으로 검증되었다.

저자들은 적용 분야에 대해 겸손한 입장을 유지하며, 트레이스 공식이 계수 점근성을 넘어 균등 분포 및 차원 분류와 같은 문제에 "다른 이들에게 유용할 것"이라고 언급할 뿐, 검증되지 않은 미래의 함의를 추측하지 않는다.