[論文レビュー] Determination of $GL(3)$ Hecke-Maass forms from twisted central values

Ritabrata Munshi, Jyoti Sengupta|arXiv (Cornell University)|Jan 30, 2014

Analytic Number Theory Research参考文献 11被引用数 3

ひとこと要約

本稿では、すべての原始的ディリクレ指標について、そのねじれたL関数の中心値が等しい限り、SL(3,ℤ)に関する2つのGL(3)ヘッケ＝モースカス尖域形式が同一であることを確立する。因子分解可能な法に関するL関数のねじれた平均と、デリーニの超コホートマン和への評価を用いて、第一モーメントの漸近公式を導出し、その結果、フーリエ係数の等しさが得られ、強い多重性1定理により形式の同一性が示される。

ABSTRACT

Suppose $π_1$ and $π_2$ are two Hecke-Maass cusp forms for $SL(3,\mathbb{Z})$ such that for all primitive character $χ$ we have $$ L( frac{1}{2},π_1\otimesχ)=L( frac{1}{2},π_2\otimesχ). $$ Then we show that $π_1=π_2$.

研究の動機と目的

• SL(3,ℤ)に関するGL(3)ヘッケ＝モースカス尖域形式の一意性を、すべての原始的特徴のねじれた中心L値が等しいことに基づいて確立すること。
• GL(2)の古典的決定結果（ねじれた中心L値がモジュラー形式を決定する）を、より高いランクのGL(3)設定に拡張すること。
• 素数の積としての法の特徴によるGL(3)L関数の第一モーメントの漸近的公式を導くこと。これはGL(3)設定における主要な技術的挑戦である。
• GL(3)におけるねじれたモーメントの計算の難しさを、非対称な近似関数方程式と非退化指数和の使用により克服すること。

提案手法

• 2つの素数の積からなる法の族\mathcal{Q}（Q_1 = Q^{3/4-\delta}、Q_2 = Q^{1/4+\delta}、\delta = 1/100）上で、ねじれた中心L値を平均化する。
• L(1/2, \pi \otimes \chi)をV関数とガウス和を含む和に表現するため、非対称な近似関数方程式を適用する。
• デリーニの超コホートマン和への評価を用い、有限体上のローレンツ多項式の非退化性を介して指数和を分析する。
• ニュートン多面体法を用いて指数和\mathfrak{A}(n; q_1, q_2, q_2')を評価し、ねじれた平均に対する\ell-依存の評価を得る。
• Y = \sum_{q \in \mathcal{Q}} qに比例する主要項と、\piに依存しないO(\ell^2 Q^{2 - 1/2013 + \varepsilon})の誤差項を得る。
• ねじれた中心値の等しさが、フーリエ係数\lambda_\pi(\ell,1)の等しさを示し、強い多重性1定理により\pi_1 = \pi_2が結論づけられる。

実験結果

リサーチクエスチョン

• RQ1 GL(3)ヘッケ＝モースカス尖域形式は、すべての原始的ディリクレ指標によるねじれの中心L値が等しいことによって一意に決定されるか？
• RQ2 因子分解可能な法の特徴によるGL(3)L関数の第一モーメントの漸近的挙動はいかなるものか？
• RQ3 GL(3)設定における第一モーメント計算で生じる指数和は、どのように有効に評価できるか？
• RQ4 GL(2)から適応されたねじれた平均法は、L関数構造と指数和の複雑性が高いため、GL(3)に拡張可能か？
• RQ5 GL(3)第一モーメント問題において、非自明な漸近公式を得るための法および指標族の条件は何か？

主な発見

• すべての原始的指標\chiについて、\pi_1 \otimes \chiおよび\pi_2 \otimes \chiの中心L値が等しいならば、\pi_1 = \pi_2が成り立ち、ねじれたL値による一意性が確立される。
• 漸近公式が証明された：\sum_{q \in \mathcal{Q}} \sum_{\chi \mod q}^\star L(1/2, \pi \otimes \chi)(1 + \chi(-1)) \bar{\chi}(\ell) = \frac{\lambda_\pi(\ell,1)}{\sqrt{\ell}} Y + O(\ell^2 Q^{2 - 1/2013 + \varepsilon})、ここでY = \sum_{q \in \mathcal{Q}} q。
• 誤差項は\piに依存せず、家族全体にわたる一様性を保証する。
• 非退化性の条件下で、q_1 \nmid nのとき指数和\mathfrak{A}(n; q_1, q_2, q_2')はO(Q_1^{5/2})、q_1 \mid nのときO(Q_1^2 (q_1, q_2 - q_2'))に有界である。
• 指数和に関連するローレンツ多項式f(\mathbf{x})の非退化性はニュートン多面体解析により確認され、[2]の主要結果の適用が可能になる。
• 最終的な誤差評価\mathfrak{S} \ll Q^{2 - \delta/4 + \varepsilon}（\delta = 1/100）により、漸近公式が十分に強く、係数の等しさおよび形式の同一性が導かれることが確認される。