[논문 리뷰] Bounds for twisted symmetric square $L$-functions

Ritabrata Munshi|arXiv (Cornell University)|2012. 03. 04.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 $q^\ell$($\ell > 1$)의 소수 거듭제곱의 도함수를 가진 캐릭터 $\chi$에 대해, $L(1/2, \text{Sym}^2f \otimes \chi)$의 중심값에 대해 하위볼록 경계를 확립한다. $GL(2)$ 헤키 형식의 두 번째 모멘트와 스펙트럼 이론에 기반한 새로운 방법을 사용하여, 지수에서 $\delta_\ell > 0$의 절감을 달성함으로써 볼록성의 경계를 돌파한다. 특히 $\ell = 3$일 때 $\delta\_\ell = \frac{1}{4}$이며, 이는 비자기적 차수 3 $L$-함수의 수준 측면에서 $GL(2)$ 기법을 사용한 최초의 하위볼록성 결과이다.

ABSTRACT

Let $f\in S_k(N,ψ)$ be a newform, and let $χ$ be a primitive character of conductor $q^{\ell}$. Assume that $q$ is a prime and $\ell>1$. In this paper we describe a method to establish convexity breaking bounds of the form $$ L( frac{1}{2},\Sym f\otimesχ)\ll_{f,\varepsilon} q^{3/4\ell-δ_{\ell}+\varepsilon} $$ for some $δ_{\ell}>0$ and any $\varepsilon>0$. In particular, for $\ell=3$ we show that the bound holds with $δ_{\ell}=1/4$.

연구 동기 및 목표

• 소수 $q$와 $\ell > 1$일 때 도함수 $M_\chi = q^\ell$인 경우, $L(1/2, \text{Sym}^2f \otimes \chi)$의 중심값에 대해 수준 측면에서 하위볼록 경계를 확립하는 것.
• 도함수 $q^\ell$를 가진 자연스러운 외부 편향의 가족에서 발생하는 이동된 합성합의 처리 곤란을 극복하기 위해, 더 큰 수준 $M$에서의 새로운 헤키 올드포름 가족을 도입하는 것.
• 비자기적 차수 3 $L$-함수 설정에서 처음으로, $\delta_\ell > 0$인 $L(1/2, \text{Sym}^2f \otimes \chi) \ll_{f,\ell,\varepsilon} q^{\frac{3}{4}\ell - \delta_\ell + \varepsilon}$ 형태의 볼록성 돌파 경계를 달성하는 것.
• GL(3) 바론의 합성 공식과 중심 $L$-값에 대한 양성 가정을 피하고, 대신 $GL(2)$ 스펙트럼 이론과 모멘트 방법에 의존하는 방법을 제공하는 것.

제안 방법

• 이 방법은 원래 수준 $N_f$보다 큰 수준 $M$에 있는 헤키 형식의 가족에서, $h$를 부드러운 가중 함수로 하는 선형 형식 $L_f(N) = \sum_n \lambda_f(n^2) \chi(n) h(n/N)$의 두 번째 모멘트를 활용한다.
• 수준 $M$은 $\ell = 2j+1$가 홀수일 때 $16N_f q^{3j+1}$, $\ell = 2j > 2$가 짝수일 때 $16N_f q^{3j-1}$로 선택하여 스펙트럼 이론과 페테르손 추적 공식의 사용을 가능하게 한다.
• 두 번째 모멘트의 스펙트럼 분해는 $S_k(M)$의 측도형식 $g$에 대한 합으로 이어지며, 스펙트럼 가중치 $\omega_g^{-1}$를 포함한다. 분석은 페테르손 추적 공식을 통해 비대칭 항에 집중한다.
• 비대칭 항은 $GL(2)$ 클루스터만 합을 사용해 $c_2$에 대한 합을 완성하고, $c_2$-합에 바론의 합성 공식을 적용함으로써 베셀 함수와 지수 합을 포함하는 이중 합으로 이어진다.
• 최종적으로, 경로 이동과 디리클레 $L$-함수의 근사 함수방정식을 통해 합을 유계로 만들며, $q \mid c_{21}$일 때의 도함수 감소를 신중히 다루어 추가로 $\sqrt{q}$의 절감을 얻는다.
• 최종 경계는 스펙트럼 측면, $c_2$-합, $L$-함수 경계의 추정치를 결합하여 도출되며, 클루스터만 합에 대한 와일 경계와 [4]에서의 외부 $L$-함수 결과를 활용한다.

실험 결과

연구 질문

• RQ1 소수 거듭제곱 도함수 $q^\ell$, $\ell > 1$를 가진 $\chi$에 대해, $L(1/2, \text{Sym}^2f \otimes \chi)$의 중심값에 대해 수준 측면에서 하위볼록 경계를 확립할 수 있는가? 이 $L$-함수는 자기를 가지지 않으며.
• RQ2 $GL(3)$ 바론의 합성 공식이나 중심 $L$-값에 대한 양성 가정 없이, 오직 $GL(2)$ 기법만을 사용하여 볼록성 돌파 경계를 달성할 수 있는가?
• RQ3 이러한 외부 대칭 제곱 $L$-함수에 대해, $q^{\frac{3}{4}\ell - \delta_\ell + \varepsilon}$의 지수에서 최적의 절감 $\delta_\ell > 0$는 무엇인가?
• RQ4 도함수 $M_\chi = q^\ell$, $\ell > 1$의 구조가 일반적인 경우에 접근할 수 없는, 이동된 합성합에서 유리한 상쇄를 어떻게 가능하게 하는가?
• RQ5 페테르손 공식을 쿠즈네츠프 공식으로 대체함으로써, 이 방법을 매스 형식으로 일반화할 수 있는가? 그리고 경계는 어떻게 변할 것인가?

주요 결과

• 논문은 비자기적 차수 3 $L$-함수의 수준 측면에서 최초의 하위볼록 경계를 확립하며, $L(1/2, \text{Sym}^2f \otimes \chi) \ll_{f,\ell,\varepsilon} q^{\frac{3}{4}\ell - \delta_\ell + \varepsilon}$ ($\delta_\ell > 0$, $q$에 독립적)를 도출한다. 이는 $M_\chi = q^\ell$, $q$가 소수이고 $\ell > 1$일 때 성립한다.
• $\ell = 3$일 때, 경계는 $\delta_\ell = \frac{1}{4}$로 성립하며, 볼록성 경계 대비 $q^{-1/4}$의 구체적 절감을 제공한다.
• 이 방법은 $GL(3)$ 바론의 합성 공식과 양성 가정을 피하고, 대신 $GL(2)$ 스펙트럼 이론과 모멘트 방법에 의존하므로 이전 접근보다 더 간단하다.
• 핵심 혁신은 문제의 이동된 합성합을 다룰 수 있도록 더 큰 수준 $M$에서의 헤키 올드포름 가족을 선택하는 데 있다.
• 분석 결과, $q \mid c_{21}$일 때 $L$-함수의 도함수가 감소하여 추가로 $\sqrt{q}$의 절감이 발생하며, 이는 최종 경계에 매우 중요하다.
• 최종 경계는 $\mathcal{T}_{r,C}^\star \ll N(1 + N/q^{11/2})(Nq)^\varepsilon$ 형태이며, 매개변수 최적화 후 주요 결과로 이어져 $\delta_\ell > 0$를 확보하는 하위볼록성 결과를 확인한다.