[論文レビュー] Sparse equidistribution problems, period bounds, and subconvexity

Akshay Venkatesh|ArXiv.org|Jun 12, 2005

Advanced Algebra and Geometry参考文献 11被引用数 16

ひとこと要約

本稿は、等分布およびスペクトルギャップの技術を用いて、数体上のレベルの側面における$L$-関数の部分凸境界を求める幾何的技法を導入する。この手法により、数体上での自動形式の周期の境界を付与し、スパarselyな水平曲線およびCM点の部分集合の等分布性を証明する。従来のスペクトル展開の代わりに、定量的等分布および混合性を用いることで、$\mathrm{PGL}_2$および$\mathrm{GL}_2$の数体上における新しい部分凸性結果およびフーリエ係数の境界を得ることが可能になる。

ABSTRACT

We introduce a ``geometric'' method to bound periods of automorphic forms. The key features of this method are the use of equidistribution results in place of mean value theorems, and the systematic use of mixing and the spectral gap. Applications are given to equidistribution of sparse subsets of horocycles and to equidistribution of CM points; to subconvexity of the triple product period in the level aspect over number fields, which implies subconvexity for certain standard and Rankin-Selberg $L$-functions; and to bounding Fourier coefficients of automorphic forms.

研究の動機と目的

• 等分布およびスペクトルギャップの性質を用いて、自動形式の周期を境界づける幾何的技法の開発。
• 数体上のレベルの側面における三重積周期の部分凸境界を確立し、標準的およびランキン＝セルバーグ$L$-関数の部分凸性を示すこと。
• 周期の境界およびスペクトルギャップ技術を用いて、水平曲線およびCM点のスパarselyな部分集合の等分布性を証明すること。
• 明示的なスペクトル展開を避ける枠組みを提供し、定量的等分布およびソボレフノルムに依存すること。
• グッドおよびサルナックのフーリエ係数に関する結果をより直接的な幾何的アプローチで一般化すること。

提案手法

• 平均値定理の代わりに、$\Gamma\backslash G$ 上の測度$\nu_i$ の定量的等分布を主要な入力とすること。
• 補助的フロー（例：水平曲線フロー）の混合性およびスペクトルギャップの性質を用いて、周期積分を制御すること。
• ソボレフノルムおよび還元理論を用いて、関数の$L^2$ノルムおよびその部分空間への制限のノルムを制御すること。
• イーゼンスタイン級数および$L$-関数の積分表現を用いて、周期積分と$L$-値を関連させること。
• メリン変換および局所積分計算を用いて、$L$-関数における$p$-進およびアーチメデス的因子を分析すること。
• 逆メリン変換および非自明なねじれを伴う$L$-関数の境界を用いて、周期測度の減衰推定を得ること。

実験結果

リサーチクエスチョン

• RQ1 スペクトル的手法の代わりに、幾何的周期境界を用いて、水平曲線軌道のスパarselyな等分布性を証明できるか？
• RQ2 等分布およびスペクトルギャップを用いて、数体上のレベルの側面における三重積周期の部分凸境界を確立できるか？
• RQ3 明示的なスペクトル分解を用いずに、幾何的技法を用いて自動形式のフーリエ係数をどの程度まで境界づけられるか？
• RQ4 大きな水平曲線軌道上の周期境界から、CM点の等分布性を導けるか？
• RQ5 スペクトルギャップおよび混合性の性質が、数体上での$L$-関数の部分凸性にどのように翻訳されるか？

主な発見

• 本稿は、$\mathrm{SL}_2(\mathbb{R})$ における自動形式のフーリエ係数に対する一般境界を確立し、グッドおよびサルナックの結果をより直接的な幾何的アプローチで回復する。
• $F$ を数体として、$\mathrm{PGL}_2(F\otimes\mathbb{R})$ に対して、$p$-進積分計算（仮説11.1）の条件下で、レベルの側面における三重積周期の部分凸境界が得られる。
• 数体上での標準的およびランキン＝セルバーグ$L$-関数の部分凸境界が導かれる。これは、$F=\mathbb{Q}$ を超えて、ダクス・フリードランダー・イワニエイツおよびコワルスキー・ミシェル・ヴァンデルカムの結果を一般化する。
• 本手法により、$\mathrm{SL}_2(\mathbb{R})$ のコンact商における水平曲線のスパarselyな部分集合の等分布性が証明され、N. シャーの予想を支持する。
• CM点に関しては、トーラス軌道上の周期境界およびスペクトルギャップの仮定の下で、等分布結果が得られる。
• 本稿は、$\mu_z(E_h) \ll \min(z^K, z^{-K})$ および $I_\pm \ll (\mathrm{N}(\mathfrak{f})T)^{\pm 1/2} (T\mathrm{Cond}(\chi))^{\epsilon} \|h\|_N$ のような減衰推定および積分の境界を導出し、$L$-関数の部分凸性に不可欠である。