[論文レビュー] Some analytic aspects of automorphic forms on GL(2) of minimal type

Yueke Hu, Paul D. Nelson+1 more|arXiv (Cornell University)|Sep 29, 2017

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

ひとこと要約

本稿は、導子を割り切る素数において超臨界局所成分と最小ベクトルを持つ、新しい形式でないGL(2)の自己形式を研究する。既知の新形式よりも鋭いL∞ノルムの上界を確立し、重みの側面で最適な指数を得ており、これらの形式が量子一様分布性の周期に対する解析的テストベクトルをなしており、強力なQUE問題と部分凸性を結びつける。このクラスに関して、新形式とは異なり、このような等価性が保たれる。

ABSTRACT

Let $π$ be a cuspidal automorphic representation of $PGL_2(\mathbb{A}_\mathbb{Q})$ of arithmetic conductor $C$ and archimedean parameter $T$, and let $ϕ$ be an $L^2$-normalized automorphic form in the space of $π$. The sup-norm problem asks for bounds on $\| ϕ\|_\infty$ in terms of $C$ and $T$. The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the $L^2$-mass $|ϕ|^2 (g) \, d g$ of $ϕ$. All previous work on these problems in the conductor-aspect has focused on the case that $ϕ$ is a newform. In this work, we study these problems for a class of automorphic forms that are not newforms. Precisely, we assume that for each prime divisor $p$ of $C$, the local component $π_p$ is supercuspidal (and satisfies some additional technical hypotheses), and consider automorphic forms $ϕ$ for which the local components $ϕ_p \in π_p$ are "minimal" vectors. Such vectors may be understood as non-archimedean analogues of lowest weight vectors in holomorphic discrete series representations of $PGL_2(\mathbb{R})$. For automorphic forms as above, we prove a sup-norm bound that is sharper than what is known in the newform case. In particular, if $π_\infty$ is a holomorphic discrete series of lowest weight $k$, we obtain the optimal bound $C^{1/8 -ε} k^{1/4 - ε} \ll_ε |ϕ|_\infty \ll_ε C^{1/8 + ε} k^{1/4+ε}$. We prove also that these forms give analytic test vectors for the QUE period, thereby demonstrating the equivalence between the strong QUE and the subconvexity problems for this class of vectors. This finding contrasts the known failure of this equivalence for newforms of powerful level.

研究の動機と目的

• 有限素数における超臨界成分と最小ベクトルを持つ、新形式でないGL(2)の自己形式の解析的性質を調査すること。
• 特に導子および重みの側面において、このような形式の$L^\natural$-ノルムの改良された上界を確立すること。
• これらの最小ベクトルが量子一様分布性周期に対する解析的テストベクトルとして機能することを示し、強力なQUE問題と部分凸性を結びつけること。
• 強力なレベルを持つ新形式ではそのような同倣が成立しないことと対比させること。

提案手法

• 著者たちは、$ \phi = \otimes \phi_v $ と表される自己形式を分析し、$ \phi_\infty $ を最低重量ベクトルとし、各超臨界$ \pi_p $ に対して、導子が四乗数であるような最小ベクトル$ \phi_p \in \pi_p $ をとる。
• フーリエ展開、増幅法、ホルダーの不等式による$L^p$推定を用いて、$ |\phi(g_{\mathbf{f}}n(x)a(y))| $ の点ごとの上界を導出する。
• 自己形式をフーリエ係数に分解し、特に正則関数の場合に、それらの$L^8$ノルムおよび指数和を推定する。
• イチノのワトソンの公式の精錬版を適用し、周期積分を$L$関数および局所的ホイットカー積分と関連づける。$ I_p $ および $ I_\infty $ に対する明示的な上界を用いる。
• アーキメデス的因子$ I_\infty = 1 $ を推定し、サタケパrameterおよびホイットカー関数への評価を通じて、$ I_p \cdot \mathrm{Cond}(\pi_p \times \pi_p)^{1/2} \asymp 1 $ を示す。
• 最小ベクトルが正則離散的系列における最低重量ベクトルの非アーキメデス的類似を満たすことに着目し、新形式よりも鋭い推定が可能になることを証明に用いる。

実験結果

リサーチクエスチョン

• RQ1 新形式でない自己形式に対して、より鋭いL∞ノルム上界を得ることは可能か？
• RQ2 特別な局所的性質を持つ非新形式のベクトル（最小ベクトル）は、量子一様分布性周期の有効なテストベクトルとして機能するか？
• RQ3 強力なQUE問題と部分凸性問題の同倣関係は、このような最小ベクトルに対しても保たれるのか？新形式の強力なレベルではその同倣が成立しないことと対比される。
• RQ4 このような非新形式自己形式のL∞ノルムに関して、導子および重みの側面における最適な指数は何か？

主な発見

• 本稿は、最低重量$ k $の正則離散的系列に対して、最適なL∞ノルム上界 $ C^{1/8 - \epsilon} k^{1/4 - \epsilon} \ll_\epsilon \|\phi\|_\infty \ll_\epsilon C^{1/8 + \epsilon} k^{1/4 + \epsilon} $ を確立した。これは既知の新形式の上界を改善するものである。
• 導子の側面において、$ \|\phi\|_\infty \ll_{\epsilon} C^{1/8 + \epsilon} k^{1/4 + \epsilon} $ という上界は鋭く、正則関数における重みの側面で得られている最良の結果と一致する。
• 著者たちは、最小ベクトルがQUE周期に対する解析的テストベクトルであることを証明した。これは、周期積分が非退化的であり、$ L^2 $質量分布を制御することを意味する。
• この結果、このクラスの自己形式に関して、強力なQUE問題と部分凸性問題の同倣関係が成立する。新形式の強力なレベルではそのような同倣が成立しないのとは対照的である。
• 局所的周期積分$ I_p $ は、$ I_p \cdot \mathrm{Cond}(\pi_p \times \pi_p)^{1/2} \asymp 1 $ を満たす。これはグローバル周期公式および主な上界を導く上で不可欠である。