The Second Moment of Rankin-Selberg $L$-Functions in Conductor-Dropping Regimes

기술 요약: 컨덕터 저하(Conductor-Dropping) 영역에서의 Rankin–Selberg L-함수의 2차 모멘트

문제 정의
본 논문은 동일한 가중치 $k$를 갖는 두 홀로모픽 헤케 큐스프 폼(holomorphic Hecke cusp forms) $f$와 $g$의 컨볼루션(convolution)에 연관된 Rankin–Selberg $L$-함수의 2차 모멘트의 점근적 거동을 다룬다. 구체적으로 저자들은 다음 합을 조사한다:
$$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)}$$
여기서 $B_{\text{hol}}^{k}$는 가중치 $k$인 홀로모픽 헤케 큐스프 폼의 정규 직교 기저이다.

이 문제는 $L$-함수의 부적절한 볼록성(subconvexity) 문제라는 더 넓은 맥락 안에 위치한다. 주요 동기는 아드조인트(adjoint) $L$-함수인 $L(s, \text{ad } f)$이며, 이는 $g=f$인 경우이다. 중심값 $L(1/2, \text{ad } f)$는 볼록성 경계(convexity bound)인 $k^{1/2}$에 의해 유계이며, $k$에 대한 거듭제곱만큼 절약하는 부적절한 볼록성 경계(subconvex bounds)를 얻는 것은 중요한 미해결 과제이다. 표준적인 휴리스틱은 거듭제곱 절약 오차항(power-saving error term)을 갖는 2차 모멘트에 대한 점근 공식이 증폭법(amplification)을 통해 부적절한 볼록성 결과를 용이하게 할 것이라고 시사한다. 그러나 "컨덕터 저하" 영역(가중치가 동일하여 $L(1/2, f \otimes g)$의 해석적 컨덕터가 $k^4$에서 $k^2$로 떨어지는 경우)에서는 표준적인 방법들이 거듭제곱 절약 오차항을 갖는 점근 공식을 생성하는 데 종종 실패한다. $O_\epsilon(k^{1+\epsilon})$ 형태의 상한(upper bounds)은 대형 체(large sieve) 부등식을 통해 알려져 있지만, 주항(main term)과 제어된 오차항을 갖는 정밀한 점근 공식을 도출하는 것은 여전히 어려움으로 남아 있다.

방법론
저자들은 네 개의 오토모픽 폼(automorphic forms)의 주기 적분(period integral)을 포함하는 스펙트럼 전개 기술을 사용한다. 핵심 전략은 다음 적분을 평가하는 것이다:
$$\int_{SL_2(\mathbb{Z})\backslash \mathbb{H}} |G(z)|^2 E^*(z, s_1) E^*(z, s_2) \, d\mu(z)$$
여기서 $G(z) = y^{k/2}g(z)$이고 $E^*(z, s)$는 완비된 실해석적 아이젠슈타인 급수(completed real-analytic Eisenstein series)이다. 이 적분은 두 가지 서로 다른 방식으로 스펙트럼 전개된다:

1. 첫 번째 스펙트럼 전개 (가중치 $k$): 이 적분을 내적 $\langle G E^*(\cdot, s_1), G E^*(\cdot, s_2) \rangle$로 간주한다. 가중치 $k$인 제곱 적분 가능한 오토모픽 폼에 대한 파스발 항등식(Parseval's identity)을 사용하여, 저자들은 이를 홀로모픽 큐스프 폼, 마아스(Maass) 큐스프 폼, 그리고 아이젠슈타인 급수의 합으로 전개한다. 이를 통해 타겟 모멘트 $M_{\text{hol}}$(가중치 $k$에 대한 합)과 기타 스펙트럼 항들($M_{\text{Maass}}$, $M_{\text{Eis}}$)을 포함하는 합을 얻는다. 이 내적들은 $L$-함수와 감마 인자(Gamma factors)를 사용하여 랭킨-셀베르그 방법으로 명시적으로 계산된다.

2. 두 번째 스펙트럼 전개 (가중치 0): 이 적분을 내적 $\langle E^*(\cdot, s_1) E^*(\cdot, s_2), |G|^2 \rangle$로 간주한다. 아이젠슈타인 급수는 제곱 적분 가능하지 않으므로, 저자들은 (Zagier를 따라) 정규화된 버전의 파스발 항등식을 활용한다. 이 전개는 가중치 0 폼의 연속 스펙트럼과 이산 스펙트럼을 포함한다. 결정적으로, $|G|^2$와 마아스 폼 사이의 내적은 삼중 곱 $L$-함수의 중심값과 관련된 왓슨-이치노(Watson–Ichino) 삼중 곱 공식을 사용하여 평가된다.

이 두 전개 결과를 결과적으로 일치시킴으로써, 저자들은 타겟 모멘트를 "주항"(연속 스펙트럼 및 잔차로부터 발생)과 다양한 오차항(스펙트럼 합들과 관련된)에 대한 정확한 항등식으로 유도한다.

주요 기여 및 결과
본 논문은 다음의 주요 정리(정리 1.4)를 확립한다:

• 점근 공식: 고정된 가중치 $k$를 갖는 홀로모픽 헤케 큐스프 폼 $g$에 대하여, 2차 모멘트는 다음을 만족한다:
  $$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)} = k \sum_{j=0}^3 P_j(\log k) L^{(3-j)}(1, \text{ad } g) + O_\epsilon(k (\log k)^{-1/2 + \epsilon})$$
  여기서 $P_j$는 차수가 $j$인 다항식이다.
• 주항 분석: 주항은 충분히 큰 $k$에 대해 양수임을 보인다. 또한 주항은 $k(\log k)^2 \ll \text{Main Term} \ll k(\log k)^6$의 범위를 만족한다.
• 오차항: 오차항은 거듭제곱 절약이 아닌 로그 절약(logarithmic saving), 즉 $O_\epsilon(k (\log k)^{-1/2 + \epsilon})$를 달성한다.

기술적 난제 및 해결책
저자들은 이 연구에서 극복한 몇 가지 구체적인 어려움을 강조한다:

1. 거듭제곱 절약 오차의 부재: 저자들은 이 컨덕터 저하 영역에서 거듭제곱 절약 오차항을 얻는 것이 $L(1/2, \text{ad } g)$ 및 그 $GL_2$ 꼬리(twists)에 대한 기존의 부적절한 볼록성 경계 가정을 없이는 불가능할 가능성이 높다는 것을 입증한다. 결과적으로, 본 증명은 로그 절약을 달성하기 위해 Soundararajan의 약한 부적절한 볼록성 경계에 의존한다.
2. 주항의 양의 성질: 주항이 오차항보다 지배적임을 증명하는 것은 중요한 기술적 장애물이다. 주항은 $L(1, \text{ad } g)$와 그 도함수들을 포함하며, 이에 대해서는 약한 무조건적 경계($L(1, \text{ad } g) \gg (\log k)^{-1}$)만이 알려져 있다. 저자들은 "숨겨진 구조"를 활용하여 대각 항(diagonal terms)과 비대각 항(off-diagonal terms) 사이의 상쇄 가능성을 우회한다. 그들은 주항을 디리클레 급수 표현과 항별로 비교할 수 있는 적분으로 표현함으로써, $n=1$ 항(이것은 $\gg k (\log k)^2$이다)이 합을 지배함을 보여준다.
3. 일반화: 방법론은 다음으로 확장될 수 있음을 보여준다:
   • 레벨 측면 (고정된 가중치 $k$에 대해 소수 레벨 $q$를 변화시킴).
   • 스펙트럼 측면 (스펙트럼 파라미터가 $[T, T+1]$ 범위에 있는 마아스 폼들에 대한 평균화).
   • 이동된 중심점 ($1/2 + it$).
   • 삼중 곱 $L$-함수의 1차 모멘트 (단, 하한 문제로 인해 주항이 오차항을 지배함을 증명하는 것은 여전히 미해결 과제로 남아 있다).

의의 및 주장
본 논문은 이 특정 2차 모멘트에 대한 최초의 점근 공식을 제공한다고 주장한다. 비록 오차항이 $k$의 거듭제곱을 절약하지는 못하지만, 이 결과는 다음과 같은 이유로 중요하다:

• 기존에는 상한만이 알려져 있었던 영역에서 점근 공식의 존재를 확인한다.
• 표준적인 휴리스틱이 오해를 불러일으킬 수 있는 컨덕터 저하 설정에서의 모멘트에 대한 이해를 정교화한다.
• 정밀한 주항과 스펙트럼 전개 접근법을 제공함으로써 Blomer의 이전 상한 결과들을 개선한다.
• 저자들은 자신들의 방법이 Watson–Ichino 공식을 사용하는 데 의존하며, 이것이 $GL_2$로의 적용을 제한한다는 점(즉, $n \ge 3$인 $GL_n$에 대해서는 그러한 공식이 존재하지 않음)을 명시하여 Blomer의 더 일반적인 상한 기술들과 차별화한다.

논문은 결론적으로, 비록 이 결과가 거듭제곱 절약 오차항의 부재로 인해 즉각적으로 부적절한 볼록성 경계를 제공하지는 못하지만, 이러한 $L$-값들의 분포와 컨덕터 저하 모멘트의 구조적 제약을 이해하는 데 필요한 단계임을 밝힌다.