[论文解读] Burgess-like subconvex bounds for $GL_2 imes GL_1$

Han Wu|arXiv (Cornell University)|Sep 26, 2012

Advanced Algebra and Geometry参考文献 2被引用 3

一句话总结

本文為數體上 $\mathrm{GL}₂ \times \u005cmathrm{GL}₁$ 自守 $L$-函數的中心值建立了明確的 Burgess-類亞凸界。透過結合未極化平移技術與放大方法，作者推導出尖銳的亞凸性指數 $\delta = \frac{1 - 2\theta}{8}$，其中 $\theta$ 衡量 Ramanujan-Petersson 猜想，在猜測成立時達到最佳 $\delta = \frac{1}{8}$。

ABSTRACT

We give a Burgess-like subconvex bound for $L(s, π\otimes χ)$ in terms of the analytical conductor of $χ$, where $π$ is a $GL_2$ cuspidal representation and $χ$ is a Hecke character.

研究动机与目标

• 為 $L(1/2, \pi \otimes \chi)$ 提供明確且定量的亞凸界，其中 $\pi$ 為 $\u005cmathrm{GL}₂(\mathbb{A}₇)$ 上具有單位中心特徵的尖點自守表示，$\chi$ 為導子為 $Q$ 的 Hecke 特徵。
• 透過將界中指數 $\delta$ 以 Ramanujan-Petersson 參數 $\theta$ 明確表達，來改進先前的亞凸性結果。
• 將 Sarnak 開創、Michel 與 Venkatesh 發展的未極化平移方法，擴展為 $\u005cmathrm{GL}₂ \times \u005cmathrm{GL}₁$ $L$-函數的系統性放大框架。
• 在數體上建立首個明確的混合方面 Burgess-類界，即使 $F \neq \mathbb{Q}$ 時亦成立。

提出的方法

• 證明使用放大法，透過在自守表示空間中精心選擇的測試向量 $\varphi_0$ 對 $L$-函數中心值進行局部化。
• 在阿基米德與非阿基米德位置進行局部分析，以估計矩陣係數與 Whittaker 函數，特別是在 Kirillov 模型與譜分解的脈絡下。
• 利用 $n(T)$ 的未極化平移來發揮譜展開中的抵銷效應，靈感來自 Sarnak 的想法，並經 Michel 與 Venkatesh 加以精煉。
• 透過截斷譜展開，並利用 Sobolev 范數與矩陣係數的衰減估計，來取得全局估計，控制尖點與 Eisenstein 級數的貢獻。
• 分析根據位置 $v_1, v_1', v_2, v_2'$ 的分歧與位置區分不同情形，並透過精細的基底選擇來控制局部範數與支撐。
• 最終界透過結合 Eisenstein 貢獻中 $L$-函數的凸性界、譜跡估計，以及利用 Laplacian 迴圈控制 $L^2$-範數而獲得。

实验结果

研究问题

• RQ1 在 Ramanujan-Petersson 參數 $\theta$ 的表達下，$L(1/2, \pi \otimes \chi)$ 的最佳明確亞凸性指數 $\delta$ 是多少？
• RQ2 放大法能否被調整應用於 $\u005cmathrm{GL}₂ \times \u005cmathrm{GL}₁$ $L$-函數，以獲得超越 $\delta > 0$ 存在性的明確界？
• RQ3 未極化平移技術如何與譜分解互動，以在全局 $L$-函數和中產生抵銷效應？
• RQ4 Eisenstein 級數貢獻在放大框架中扮演何種角色？在分歧條件變動時，如何加以控制？
• RQ5 此方法在何種程度上可延伸至混合方面，即水平與特徵導子同時增長的情形？

主要发现

• 本文建立亞凸界 $L(1/2, \pi \otimes \chi) \ll Q^{1/2 - \delta + \epsilon}$，其中 $\delta = \frac{1 - 2\theta}{8}$，$Q$ 為 $\chi$ 的解析導子。
• 在 Ramanujan-Petersson 猜想成立（即 $\theta = 0$）時，界達成 $\delta = \frac{1}{8}$，與水平方面的經典 Burgess 界一致。
• 即使在 $F = \mathbb{Q}$ 時，此結果在混合方面仍屬新發現，並優於 Munshi 與 Blomer-Harcos 的先前工作。
• 放大法成功控制 Eisenstein 貢獻，顯示其受尖點項主導，界之規模為 $Q^{(\kappa - 1)/2 + \epsilon} E$，對某些參數成立。
• 方法在 $\pi$ 與 $F$ 上具有一致性，所有隱含常數僅依賴於 $F$、$\epsilon$ 與 $\pi$，而不依賴於導子 $Q$。
• 分析確認典型情形（型態 1）主導貢獻，而較複雜的分歧型態（型態 3、6、8）因分母 $E^{-k}$ 的抵銷效應而貢獻較小。