[논문 리뷰] Subconvexity for $GL(3) imes GL(2)$ twists in level aspect

Prahlad Sharma|arXiv (Cornell University)|2019. 06. 22.

Analytic Number Theory Research참고 문헌 15인용 수 4

한 줄 요약

이 논문은 $GL(3)$ 헤키 마스 총형, $GL(2)$ 총형(해석적 또는 마스), 그리고 모듈로 $p$인 비자명한 딜리클레 특성과 관련된 $L$-함수에 대해 수준 측면에서의 하위볼록 경계를 확립한다. 고급 증폭 및 스펙트럼 방법을 사용하여, $L(1/2, \pi \times f \times \chi) \ll_{\pi,f,\epsilon} p^{3/2 - 1/16 + \epsilon}$ 라는 경계를 증명하며, 이는 수준 측면에서 $GL(3) \times GL(2)$ $L$-함수에 대한 첫 번째 하위볼록성 결과를 달성한다.

ABSTRACT

Let $\pi$ be a $SL(3,\mathbb{Z})$ Hecke Maass-cusp form, $f$ be a $SL(2,\mathbb{Z})$ holomorphic cusp form or Maass-cusp form and $\chi$ be any non-trivial character $\bmod \, p$. We show that the L-function associated to this triplet satifies \begin{equation*} L\left(\frac{1}{2},\pi imes f imes\chi ight)\ll_{\pi,f,\epsilon}p^{\frac{3}{2}-\frac{1}{16}+\epsilon} \end{equation*} This methods also yields the subconvexity bounds \begin{equation*} L(1/2,\pi\otimes \chi)\ll_{\pi,\epsilon }p^{3/4-1/32+\epsilon },\,\,L(1/2,f\otimes \chi)\ll_{f,\epsilon }p^{1/2-1/48+\epsilon } \end{equation*}

연구 동기 및 목표

• 형태 $L(1/2, \pi \times f \times \chi)$의 $L$-함수에 대해 수준 측면에서 하위볼록 경계를 확립하는 것, 여기서 $\pi$는 $GL(3)$ 헤키 마스 총형이고 $f$는 $GL(2)$ 총형이다.
• 현재 수준 측면에서 하위볼록성에 대한 문헌에서의 상당한 격차를 메우기 위해 $GL(3) \times GL(2)$ $L$-함수의 하위볼록성 결과를 확장하는 것.
• 수준 $p$에 대한 비자명한 특성 $\chi$와 함께 조합된 $\pi$, $f$의 $L$-함수가 비자명한 하위볼록 경계를 만족한다는 것을 증명하는 것.
• $L(1/2, \pi \otimes \chi)$ 및 $L(1/2, f \otimes \chi)$와 같은 변형된 $L$-함수에 대한 하위볼록 경계를 보조결과로 도출하는 것.

제안 방법

• 저자들은 $GL(3) \times GL(2)$ $L$-함수에 특화된 증폭 방법을 사용하며, 스펙트럼 이론과 버노이 요약 공식을 활용하여 $GL(3)$ 측면을 다룬다.
• 비자명한 특성 토글 $\chi$를 $L$-함수에 적용하여 상쇄 효과를 유도하고, 해석 기법을 통해 하위볼록성을 달성한다.
• 핵심 해석 도구는 약간의 함수 방정식과 자동형 형식에 대한 스펙트럼 분해를 통한 $L$-함수의 표현이다.
• 이 방법은 클루스타르만 합에 대한 합의 정밀한 추정과 쿠즈네츠프 공식을 활용하여 합을 스펙트럼 데이터와 연결하는 것을 포함한다.
• 증폭 과정을 최적화하고 지수 합 추정을 통해 오차 항을 제어함으로써 저자들은 비자명한 하위볼록 경계를 달성한다.
• 증명은 특성 $\chi$의 비자명성을 바탕으로 상쇄 효과를 확보함으로써 볼록성 경계를 극복하는 데 필수적인 요소로 작용한다.

실험 결과

연구 질문

• RQ1 만약 $\pi$가 $GL(3)$ 헤키 마스 총형이고 $f$가 $GL(2)$ 총형이라면, 수준 측면에서 $L(1/2, \pi \times f \times \chi)$에 대해 하위볼록 경계를 확립할 수 있는가?
• RQ2 이러한 $L$-함수에 대해 수준 측면에서 가능한 최고의 지수는 무엇이며, 볼록성 경계를 초월해 개선할 수 있는가?
• RQ3 $GL(3) \times GL(2)$에 대해 사용된 방법이 $L(1/2, \pi \otimes \chi)$ 및 $L(1/2, f \otimes \chi)$에 대해서도 하위볼록성을 도출하는 데 확장 가능한가?
• RQ4 모듈로 $p$인 비자명한 특성 $\chi$의 존재가 $GL(3) \times GL(2)$ 설정에서 중심 $L$-값의 크기에 어떤 영향을 미치는가?

주요 결과

• 논문은 수준 측면에서 $GL(3) \times GL(2)$ $L$-함수에 대해 하위볼록 경계 $L(1/2, \pi \times f \times \chi) \ll_{\pi,f,\epsilon} p^{3/2 - 1/16 + \epsilon}$ 를 확립한다.
• 이 경계는 볼록성 경계 $O(p^{3/2 + \epsilon})$ 보다 $p^{1/16}$의 절감을 보이며, 볼록성 경계를 개선한다.
• 이 방법은 또한 $GL(3)$ $L$-함수에 대해 $\chi$로 변형된 경우의 하위볼록 경계 $L(1/2, \pi \otimes \chi) \ll_{\pi,\epsilon} p^{3/4 - 1/32 + \epsilon}$ 도 도출한다.
• $GL(2)$ $L$-함수의 경우, 경계 $L(1/2, f \otimes \chi) \ll_{f,\epsilon} p^{1/2 - 1/48 + \epsilon}$ 를 확보하여 수준 측면에서 비자명한 절감을 보여준다.
• 이 결과들은 비자명한 특성 토글이 있는 수준 측면에서 $GL(3) \times GL(2)$ $L$-함수에 대한 첫 번째 하위볼록 경계를 나타낸다.
• 이 경계들은 효과적이며, 오직 $\pi$와 $f$의 스펙트럼 매개변수와 수준 $p$에만 의존하며, 명시적인 거듭제곱 절감이 있다.