[論文レビュー] On sup-norms of cusp forms of powerful level

Abhishek Saha|arXiv (Cornell University)|Apr 11, 2014

Analytic Number Theory Research参考文献 21被引用数 7

ひとこと要約

本稿は、任意のレベル $ N $ の Hecke–Maass cusp form について、非自明な $ L^\infty $-ノルムの境界を初めて確立し、平方自由制限を打ち破った。幅1の尖点におけるcusp formの解析と、Atkin–Lehner作用素を用いた新規の増幅法により、すべての $ N $ に対して $ \|f\|_{\infty} \ll_{T,\epsilon} N^{-1/12 + \epsilon} $ を証明した。$ N $ が小さい平方数で割り切れない場合には、$ \ll N^{-1/8 + \epsilon} $ に改善される。

ABSTRACT

Let f be an L^2-normalized Hecke--Maass cuspidal newform of level N and Laplace eigenvalue λ. It is shown that |f|_\infty <0. The exponent is further improved in the case when N is not divisible by "small squares". Our work extends and generalizes previously known results in the special case of N squarefree.

研究の動機と目的

• レベル $ N $ が平方自由でない場合を含め、$ \Gamma_0(N)\backslash\mathbb{H} $ 上の $ L^2 $-正規化された Hecke–Maass cusp form について、レベルの側面で非自明な $ L^\infty $-ノルム境界を確立すること。
• 従来の研究が平方自由仮定に強く依存していたという長年の制限を、Atkin–Lehner作用素を用いて克服すること。
• 平方自由レベルに既知の最大ノルム境界を、素数のべきや合成数レベルを含む一般のレベル $ N $ へ拡張すること。
• 常に存在する幅1の尖点におけるcusp formの振る舞いに基づく、新しい手法を開発すること。
• 他の自動形式へ一般化可能であり、将来の固有値依存のハイブリッド境界を可能にするフレームワークを提供すること。

提案手法

• 平方自由でない場合でも存在する幅1の尖点におけるcusp formの解析を通じて、新しい手法を導入する。これは、標準的な Atkin–Lehner 法とは異なり、$ N $ が平方自由でなくてもよい。
• Atkin–Lehner作用素を用いて任意の尖点を幅1の尖点に共役化し、高虚数部への点の「ギャップ原理」を導入。これは良いディオファントス的制御を可能にする。
• 適切な $ M $ に対して新しい群 $ \Gamma_0(N;M) $ を定義し、cusp form $ f $ をこの群に引き戻した $ g = f|\sigma $ を考える。これはより小さな合同部分群上の Maass cusp form である。
• 適切に選ばれた係数列 $ x_l $ を用いて増幅法を適用し、点 $ z' $ における $ |g(z')| $ の値を増幅する。$ x_l $ は $ p \equiv 1 \pmod{M} $ かつ $ \Lambda < p < 2\Lambda $ を満たす素数にのみ非ゼロである。
• スペクトル分解と、Hecke固有値およびベッセル関数の評価を用いて、増幅誤差項を制御し、最終的に $ \Lambda $, $ N $, $ N_0 $, および $ y' $ を含む不等式を導出する。
• $ \Lambda $ の最適選択（$ N^{1/3} $ に設定）により、誤差項をバランスさせ、最終的な最大ノルム境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ N $ が平方自由でない場合に、Hecke–Maass cusp form に対して非自明な $ L^\infty $-ノルム境界を確立でき、平方自由制限を打ち破ることができるか？
• RQ2 幅1の尖点のどのような構造的性質を活用すれば、平方自由でない場合の最大ノルム境界を一般化できるか？
• RQ3 $ N $ に小さな平方因子が存在する場合、最大ノルム境界における最良の指数にどのような影響を与えるか？
• RQ4 Atkin–Lehner共役化により幅1の尖点に写す手法を用いて、非平方自由レベル設定でも増幅法を適応可能か？
• RQ5 $ N $ が $ 1 < M < N^{1/6} $ を満たす任意の平方 $ M^2 $ で割り切れない場合、$ N $-側面におけるcusp formの最大ノルムの最適指数は何か？

主な発見

• 本稿は、任意のレベル $ N $ の Hecke–Maass cusp form について、非自明な $ L^\infty $-ノルム境界を初めて確立した。任意の $ \epsilon > 0 $ に対して $ \|f\|_{\infty} \ll_{T,\epsilon} N^{-1/12 + \epsilon} $ を証明し、これは $ N $ が平方自由でない場合にも成立する。
• $ N $ が $ 1 < M < N^{1/6} $ を満たす任意の平方 $ M^2 $ で割り切れない場合、境界は $ \|f\|_{\infty} \ll_{T,\epsilon} N^{\epsilon} \max(N^{-1/6}, N^{-1/4} N_0^{1/4}) $ に改善される。ここで $ N_0 $ は $ N $ の最大の平方因子である。
• 改善された場合、境界は常に $ \ll N^{-1/8 + \epsilon} $ 以上であり、これは平方自由の場合の従来の最良境界 $ N^{-1/12 + \epsilon} $ よりも改善されている。
• この結果は、既存の平方自由 $ N $ に対する境界（例：Harcos–Templier の $ N^{-1/6 + \epsilon} $）を一般化し、非平方自由レベルへ拡張した。
• 手法は、幅1の尖点への写像を可能にする新しい Atkin–Lehner 作用素の使用に依拠しており、ギャップ原理と修正された増幅法を可能にし、平方自由仮定を回避した。
• 本稿の技術は、正則cusp form やハイブリッド境界への応用が期待されるが、これらは今後の研究に委ねられている。