[論文レビュー] Quantitative quantum ergodicity and the nodal domains of Maass-Hecke cusp forms

Junehyuk Jung|arXiv (Cornell University)|Jan 26, 2013

Analytic Number Theory Research参考文献 32被引用数 8

ひとこと要約

本稿は、モジュラー面上のヘッケ–マイヤー尖域形式に対して、定量的量子エルゴード性の結果を確立し、固定されたコンパクトな測地線セグメント $ \beta \subset \{iy : y > 0\} $ と交差するノード領域の数に対する、条件なしで鋭い下界 $ t_{\theta}^{1/8 - \epsilon} $ を得る。これは、偶数マイヤー形式の密度ゼロの部分集合を除き、すべての形式に対して成立する。また、$ L^\infty $-ノルムの上界も密度1の部分列に対して $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $ に改善し、以前の $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $ の上界を上回る。

ABSTRACT

We prove a quantitative statement of the quantum ergodicity for Hecke--Maass cusp forms on the modular surface. As an application of our result, along a density $1$ subsequence of even Hecke--Maass cusp forms, we obtain a sharp lower bound for the $L^2$-norm of the restriction to a fixed compact geodesic segment of $η=\{iy~:~y>0\} \subset \mathbb{H}$. We also obtain an upper bound of $O_ε\left(t_ϕ^{3/8+ε} ight)$ for the $L^\infty$ norm along a density $1$ subsequence of Hecke--Maass cusp forms; for such forms, this is an improvement over the upper bound of $O_ε\left(t_ϕ^{5/12+ε} ight)$ given by Iwaniec and Sarnak. In a recent work of Ghosh, Reznikov, and Sarnak, the authors proved for all even Hecke--Maass forms that the number of nodal domains, which intersect a geodesic segment of $η$, grows faster than $t_ϕ^{1/12-ε}$ for any $ε>0$, under the assumption that the Lindel{ö}f Hypothesis is true and that the geodesic segment is long enough. Upon removing a density zero subset of even Hecke--Maass forms, we prove without making any assumptions that the number of nodal domains grows faster than $t_ϕ^{1/8-ε}$ for any $ε>0$.

研究の動機と目的

• モジュラー面上のヘッケ–マイヤー尖域形式に対する量子エルゴード性の定量的バージョンを確立すること。ここで、$ \Gamma = SL_2(\mathbb{Z}) $ である。
• 固定された測地線セグメント $ \beta \subset \{iy : y > 0\} $ と交差するノード領域の数に対する鋭く、条件なしの下界を導出すること。これは、以前の条件付き結果を改善するものである。
• ヘッケ–マイヤー尖域形式の密度1の部分列における $ L^\infty $-ノルムの上界を改善し、アイワンツェィクとサルナックの結果を上回ること。
• ノード領域の成長見積もりにおいて、リンドレーフ予想に依存しないように、偶数マイヤー形式の密度1の部分列に制限すること。

提案手法

• 解析は、測地線セグメント $ \beta $ における $ \phi $ の $ L^2 $-制限ノルムを制御する、シフトされた畳み込み和の分散に対する鋭い推定に依存している。
• 証明では、コーシー–シュワルツ不等式を用いて、$ \phi $ の $ \beta $ 上の $ L^1 $-ノルムを $ \|\phi\|_{L^2(\beta)}^2 $、$ \|\phi\|_{L^\infty(\beta)} $、および $ L^1 $-ノルムの主要項 $ M_1(\phi) $ に関連付ける。スペクトル分解を用いる。
• 重要なステップとして、$ \sum_{|T - t_\phi| < T^{1/3}} M_1(\phi)^2 \ll_\epsilon T^{\epsilon} $ を、$ L $-関数の平均リンドレーフ型推定と $ L(1/2 + it, \phi) $ における $ L^2 $-バウンドを用いて評価する。
• チェビシェフの不等式を適用し、$ |t_\phi - T| < T^{1/3} $ のスペクトル窓内の $ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 個の形式を除き、$ M_1(\phi) < t_\phi^{-1/2 + \epsilon_0/2} $ が成り立つことを示す。
• $ \|\phi\|_{L^2(\beta)}^2 $ は、同じ窓内の $ O(T) $ 個の偶数形式を除き、普遍的定数 $ \gg_\beta 1 $ で下から抑えられる。
• $ L^\infty $-ノルムは、コロナリー1.15の結果を用いて制御され、$ \|\phi\|_{L^\infty(\beta)} \ll_{\beta,\epsilon_0} t_\phi^{3/8 + \epsilon_0/2} $ が、$ O_{\epsilon_0}(T^{13/12 + \epsilon_0/2}) $ 個の形式を除き成り立つ。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ–マイヤー尖域形式に対して、リンドレーフ予想に依存しない、定量的量子エルゴード性の結果を確立できるか？
• RQ2 偶数マイヤー形式に対して、固定された測地線セグメント $ \beta \subset \{iy : y > 0\} $ と交差するノード領域の数に対する、最良の条件なしの下界は何か？
• RQ3 ヘッケ–マイヤー尖域形式の密度1の部分列における $ L^\infty $-ノルムの上界を改善できるか？もし可能ならば、どの程度改善できるか？
• RQ4 リンドレーフ予想を仮定せずに、ほとんどすべての偶数マイヤー形式に対して、ノード領域の数が $ t_\phi^{1/8 - \epsilon} $ より速やかに増加するか？

主な発見

• スペクトル窓 $ |t_\phi - T| < T^{1/3} $ 内の偶数ヘッケ–マイヤー尖域形式のうち、$ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 個を除き、固定されたコンパクトな測地線セグメント $ \beta \subset \{iy : y > 0\} $ と交差するノード領域の数 $ N^\beta(\phi) $ は $ t_\phi^{1/8 - \epsilon_0} $ よりも大きい。
• $ L^\infty $-ノルムは、ヘッケ–マイヤー尖域形式の密度1の部分列において $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $ で抑えられ、アイワンツェィクとサルナックの $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $ の上界を上回る。
• $ \|\phi\|_{L^2(\beta)}^2 $ は、同じスペクトル窓内の $ O(T) $ 個の偶数形式を除き、普遍的定数 $ \gg_\beta 1 $ で下から抑えられる。
• シフトされた畳み込み和の分散が鋭く推定され、これにより $ L^1 $-ノルムが制御され、より良いノード領域の下界が得られる。
• 結果は条件なしである：リンドレーフ予想のような仮定は一切不要であり、ガホシュ、レッツニコフ、サルナックらの先行研究とは異なり、仮定に依存しない。
• $ L^\infty $-ノルムの上界の改善は顕著であり、指数を $ 5/12 \approx 0.4167 $ から $ 3/8 = 0.375 $ に低下させ、予想される $ t_\phi^\epsilon $ の上界に近づく。