Twisted Moments of Rankin-Selberg $L$-functions in the Prime-Power Level Aspect

기술 요약: 소수 거듭제곱 레벨에서의 랭킨-셀베르그 L-함수의 트위스티드 모멘트

문제 정의
본 논문은 랭킨-셀베르크 L-함수 $L(\frac{1}{2} + \omega, f \otimes g)$의 이동된 중심값(shifted central values)에 대한 트위스티드 1차 및 2차 모멘트의 점근적 거동을 조사한다. 연구의 초점은 $f$가 짝수 가중치 $k$와 소수 거듭제곱 레벨 $p^\nu$ ($\nu \ge 3$)를 갖는 원시 뉴폼(primitive newform) $H^*_k(p^\nu)$의 집합을 변수로 하고, $g$는 $p$와 서로소인 레벨 $D$($D=1$ 또는 $D$가 소수인 경우)를 갖는 고정된 원시 형식(primitive form)인 가족이다. 이동 파라미터 $\omega$는 유계인 복소수이다.

저자들은 소수 또는 제곱 자유(square-free) 레벨과 비교하여 소수 거듭제곱 레벨 측면이 갖는 독특한 특징을 강조한다: 첩식 공간(cusp form space) $S_k(p^\nu)$는 올드폼(oldform)으로부터의 상당한 기여를 포함하고 있다. 이러한 구조적 풍부함은 페테르손 트레이스 공식(Petersson trace formula)을 복잡하게 만들며, 모멘트 계산에서 추가적인 산술적 고려 사항을 도입하여 더욱 정교한 해석적 접근을 필요로 한다.

방법론
방법론의 핵심은 중심 $L$-값을 푸리에 계수를 포함하는 빠르게 감소하는 급수로 표현하기 위한 **근사 함수 방정식(approximate functional equation)**에 의존한다. 그 후 저자들은 $H^*_k(p^\nu)$에 대한 조화 합(harmonic sums)을 평가하기 위해 페테르손 트레이스 공식(특히 Rouymi가 확립한 소수 거듭제곱 레벨용 버전)을 적용한다.

주요 기술적 단계는 다음과 같다:

1. 분해(Decomposition): 트레이스 공식은 합을 대각 항(diagonal)과 비대각 항(nondiagonal) 기여로 분리한다. 소수 거듭제곱 설정에서의 올드폼 존재는 낮은 레벨에서의 기여를 빼주는 과정을 포함하는 대각 항의 세심한 처리를 요구한다.
2. 비대각 항 추정(Nondiagonal Estimation): 비대각 항은 클로스토마 합(Kloosterman sums)에 대한 바일 부등식(Weil's bound), 보로노이 합산 공식(Voronoï summation formulas), 그리고 대형 체(large sieve) 부등식(Deshouillers-Iwaniec 및 Matomäki)을 사용하여 유계로 제한된다.
3. 오프-대각(Off-diagonal) 대 오프-오프-대각(Off-off-diagonal): 비대각 합은 다시 "오프-대각" 부분과 "오프-오프-대각" 부분으로 나뉜다. 오프-대각 항은 컨투어 적분과 유수 계산을 사용하여 명시적으로 평가되는 반면, 오프-오프-대각 항은 푸리에 계수의 이동된 합성곱(shifted convolution sums)에 대한 유계치를 사용하여 무시할 수 있는 오차 항임이 입증된다.
4. 상쇄(Cancellation): 증명의 결정적인 측면은 대각 및 오프-대각 기여로부터 발생하는 특정 주항(main terms)들이 서로 상쇄되어, 이동 파라미터에 대한 특정 다항식 구조만을 남긴다는 것을 보여주는 것이다.

주요 기여 및 결과

• 정리 1.1 (트위스티드 1차 모멘트): 저자들은 트위스티드 1차 모멘트 $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega, f \otimes g)$에 대한 점근 공식을 도출한다. 이 공식은 이동 $\omega$, 레벨 $p^\nu$, 그리고 고정된 형식 $g$를 포함하는 명시적인 주항과 $p, \nu, \ell,$ 그리고 가중치에 의존하는 완전히 명시된 오차 항을 포함한다.

  • 따름정리 1.2: $\omega \to 0$의 극한을 취함으로써, 저자들은 이동되지 않은 1차 모멘트에 대한 점근식을 얻는다. 이 결과는 **결정 정리(determination theorem)**를 증명하는 데 사용된다: 원시 형식 $g$는 $\{L(\frac{1}{2}, f \otimes g)\}_{f \in H^*_k(p^\nu)}$라는 중심값의 가족에 의해 유일하게 결정된다. 이는 올드폼 기여가 비자명한 소수 거듭제곱 레벨 설정으로 이전의 결정 결과를 확장한다.

• 정리 1.3 (트위스티드 2차 모멘트): 본 논문은 트위스티드 2차 모멘트 $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega_1, f \otimes g) L(\frac{1}{2} + \omega_2, f \otimes g)$에 대한 점근 공식을 제시한다. 주항은 랭킨-셀베르크 합성 $L(s, g \otimes g)$와 소수 거듭제곱 레벨과 관련된 특정 산술적 인자들을 포함하는 함수 $m(\omega_1, \omega_2)$를 포함하는 네 가지 구성 요소의 합으로 표현된다.

  • 따름정리 1.4: $\omega_1 = \omega_2 = 0$으로 설정함으로써, 저자들은 중심점에서의 2차 모멘트에 대한 점근식을 도출한다. 주항은 $\nu \log p$에 대한 3차 다항식이다. 선행 계수는 대칭 제곱 $L$-함수 $L(1, \text{sym}^2 g)$와 오일러 피 함수 및 레벨 $p$와 관련된 산술적 인자들에 의해 명시적으로 계산된다.

의의 및 맥락
본 논문은 오토모픽 $L$-함수의 모멘트에 관한 연구, 즉 비제로(nonvanishing), 부콘벡시티(subconvexity), 그리고 영점 분포와 관련된 광범위한 해석적 정수론의 맥락 내에 위치한다.

• 기존 문헌과의 비교: 저자들은 Duke, Akbary, Kowalski-Michel-VanderKam 등이 소수 또는 제곱 자유 레벨에서의 $L$-함수의 모멘트에 대한 결과를 확립했음을 언급하며, 소수 거듭제곱 레벨의 경우 올드폼 구조로 인해 독특한 과제가 발생함을 지적한다. 여기서의 결과는 소수 거듭제곱 레벨에서의 $L(\frac{1}{2}, f)$의 4차 모멘트에 관한 Balkanova의 연구와 유사하지만, 랭킨-셀베르크 합성으로 범위를 확장한다.
• 방법론적 엄밀성: 저자들은 도출된 점근 공식이 모든 파라미터($p, \nu, k, k', \ell, \omega$)에 대한 완전하게 명시된 의존성을 가진 명시적이고 비균등한(non-uniform) 오차 항을 포함한다는 점을 강조한다. 이러한 정밀함은 이전의 일부 연구들과 구별되는 특징이다.
• 응용: 저자들은 확립된 2차 모멘트 공식이 $\{L(\frac{1}{2} + \omega, f \otimes g)\}$ 가족에 대한 부콘벡시티 및 비제로 결과를 도출하는 데 활용될 수 있다고 밝힌다. 결정 결과(따름정리 1.2)는 모멘트 데이터를 기반으로 고정된 형식 $g$의 유일성을 보여주는 응용 사례로서 기능한다.

이 작업은 "전적으로 해석적인 성격"을 띠고 있으며, 랭킨-셀베르크 합성의 틀 안에서 고정된 소수에서의 깊은 라마피케이션(deep ramification) 효과를 격리하기 위해 필요한 기술적 복잡성에 초점을 맞추고 있다.