[논문 리뷰] Voronoi summation for ${ m GL}_n$: collusion between level and modulus

Andrew Corbett|arXiv (Cornell University)|2018. 07. 02.

Advanced Algebra and Geometry참고 문헌 1인용 수 3

한 줄 요약

이 논문은 $n \geq 2$ 인 경우, 소수에서 수준과 모듈러스가 동시에 분지하는 상황에서 $Γν$-자기형 형태에 대한 가장 일반적인 Vorono"{i} 합성 공식을 수립한다. 이는 오랫동안 남아있던 수준과 모듈러스의 동시 분지 문제를 해결하며, 이치노–템플리에의 이전 결과를 $p$-진 베타 변환을 통해 확장한다. 이 변환은 국소적 함수-equation에서 유도되며, 산술 등차수열에서의 푸리에 계수와 상쇄 효과가 있는 이중 합에 대한 정밀한 제어를 가능하게 한다.

ABSTRACT

We investigate the Voronoi summation problem for ${ m GL}_n$ in the level aspect for $n\geq 2$. Of particular interest are those primes at which the level and modulus are jointly ramified - a common occurrence in analytic number theory when using techniques such as the Petersson trace formula. Building on previous legacies, our formula stands as the most general of its kind; in particular we extend the results of Ichino-Templier. We also give (classical) refinements of our formula and study the $p$-adic generalisations of the Hankel transform.

연구 동기 및 목표

• 수준과 모듈러스가 소수에서 동시에 분지하는 상황에서 $Γν$에 대한 일반 Vorono"{i} 합성 공식이 부재한 문제를 해결하기 위해.
• Ichino–Templier의 결과를 $n \geq 2$ 및 임의의 수준 $N$에 대해 유효한 완전히 일반적인 공식으로 확장하기 위해.
• 고전적 보완을 제공하여, Bessel 변환을 단순화하는 테스트 벡터의 선택과 산술 등차수열에 대한 공식을 포함하기 위해.
• $Γν \times \u0393Δ$ $L$-함수의 국소적 함수방정식을 통해 $p$-진 일반화된 헨켈 변환을 개발하기 위해.
• $n > 2$일 때 Atkin–Lehner 이론이 존재하지 않는 장애를 극복하기 위해, 국소적 $p$-진 변환을 통해 이중 합성항을 국소적으로 분석하기 위해.

제안 방법

• 모든 자리(포함 $p$-진 자리)에서 국소적 함수방정식과 월리커 모델을 사용하여 $\u0393ν$-자기형 형태에 대한 일반 Vorono"{i} 합성 공식을 유도한다.
• 수준 $N$을 나누는 소수에서 $\u0393ν \times \u0393Δ$ $L$-함수의 국소적 함수방정식에서 유도된 $p$-진 베타 변환을 구성하여 동시 분기 제어를 가능하게 한다.
• 중국인의 나머지 정리와 귀납적 변수변환을 적용하여 초클로오스터만 합을 고전적 클로오스터만 합으로 전개하며, 명시적인 지수항을 포함한다.
• Bessel 변환을 단순화하고 산술 등차수열에서의 합의 깔끔한 표현을 가능하게 하는 개선된 테스트 벡터 선택을 도입한다.
• $p$-진 변환을 사용하여 국소 성분 $\mathcal{B}_{\pi_p, \Phi_p^{a/\ell q}}(\gamma)$를 통해 이중 합을 분석하며, $\gamma_0$가 특정 유리 격자 안에 있을 때에만 비영이 되도록 보장한다.
• 원래의 $m$에 대한 합과 $d_{n-1}, \dots, d_2, m$에 대한 이중 합 사이의 정밀한 이중성 관계를 수립하며, 이는 $\operatorname{KL}_{n-1}$, $\chi$, Bessel 변환을 포함한다.

실험 결과

연구 질문

• RQ1 수준과 모듈러스가 소수에서 동시에 분지하는 상황에서 $\u0393ν$에 대한 Vorono"{i} 합성 공식을 어떻게 전체 수준 측면으로 확장할 수 있는가?
• RQ2 $p$-진 설정에서 수준과 모듈러스가 모두 분지할 경우 Bessel 변환의 구조는 어떻게 되는가?
• RQ3 일반 공식을 산술 등차수열과 명시적인 테스트 벡터를 포함하는 고전적 표현으로 보완할 수 있는가?
• RQ4 국소 성분 $\mathcal{B}_{\pi_p, \Phi_p^{a/\ell q}}(\gamma)$는 동시 분기 조건 하에서 어떻게 행동하며, 이는 이중 합에 어떤 제약을 가하는가?
• RQ5 클로오스터만 합과 Bessel 변환의 관점에서 원래의 $m$에 대한 합과 $d_{n-1}, \dots, d_2, m$에 대한 이중 합 사이의 정밀한 관계는 무엇인가?

주요 결과

• 논문은 $n \geq 2$ 인 경우 임의의 수준 $N$과 모듈러스 $M$에 대해, 소수에서 수준과 모듈러스가 동시에 분지하는 상황에서 $\u0393ν$-자기형 형태에 대한 완전히 일반적인 Vorono"{i} 합성 공식인 정리 1.1을 수립한다.
• 이중 합은 $\gcd(m, MN) = 1$ 조건을 만족하는 $m$에 대한 합으로 표현되며, 고전적 클로오스터만 합 $\operatorname{KL}_{n-1}(\bar{a}\ell\gamma_0, m; q, c, d)$ 를 포함한다. 여기서 $a\bar{a} \equiv 1 \pmod{q}$.
• Bessel 변환은 국소적 함수방정식에서 유도된 $p$-진 일반화를 통해 명시적으로 계산되며, $p \mid MN$ 인 경우 $\mathcal{B}_{\pi_p, \Phi_p^{a/\ell q}}(\gamma)$ 를 포함하는 정확한 표현을 제공한다.
• 고전적 보완(보조정리 1.4)은 특정한 테스트 벡터 선택을 통해 단순화된 Bessel 변환을 제공하여 푸리에 계수의 분석을 보다 명확하게 한다.
• 두 번째 보완(보조정리 1.6)은 산술 등차수열에 대한 합을 기술하며, 이중 합은 $m \equiv 1 \pmod{N}$ 이고 $\gcd(m, MN) = 1$ 를 만족하며, 특성의 변형 $\chi(\bar{m} \cdot \text{denom})^{-1}$ 를 포함한다.
• 최종 공식(식 41)은 원래의 합을 $m$, $r$, $d_{n-1}, \dots, d_2$ 에 대한 이중 합으로 표현하며, 이중 합성항은 $\operatorname{KL}_{n-1}$, $\chi$, Bessel 변환을 포함한다. 여기서 $\lambda_\ell = [\ell, N]\ell^{n-1}L^n$ 이고, $L$ 은 $MN$ 의 최대 제곱 자유수 약수이다.