[論文レビュー] Slopes of eigencurves over boundary disks

Daqing Wan, Liang Xiao+1 more|arXiv (Cornell University)|Jul 1, 2014

Algebraic Geometry and Number Theory参考文献 20被引用数 8

ひとこと要約

この論文は、$p$ を高々 $p^m$ ($m \geq 2$) で割り切れるネーベンティプスキャラクターを持つ過収束モジュラー形式における $U_p$-固有値のスロープのノーウトン多角形に対して鋭い下界を確立する。ジャケット＝ラングランズ対応を用いて定値的ハッセ代数へ移行することで、重みが増加するにつれてスロープが等差数列に従って増加することを証明し、任意の $p$ および一般のレベルに対してバザールド＝キルフォードの予想に対する最初の一般的証拠を提供する。また、スロープ列の一部について正確な公式を導出する。

ABSTRACT

Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation happens over a definite quaternion algebra by Jacquet-Langlands correspondence; it generalizes a prior work of Daniel Jacobs who treated the case of $p=3$ with a particular level. In case when the modular forms have a finite character of conductor highly divisible by $p$, we improve the lower bound to show that the slopes of $U_p$-eigenvalues grow roughly like arithmetic progressions as the weight $k$ increases. This is the first very positive evidence for Buzzard-Kilford's conjecture on the behavior of the eigencurve near the boundary of the weight space, that is proved for arbitrary $p$ and general level. We give the exact formula of a fraction of the slope sequence.

研究の動機と目的

• 重み空間の境界付近における固有曲線の振る舞いに関するバザールド＝キルフォードの予想に対する理論的証拠を提供すること。
• 過収束モジュラー形式の文脈において、$U_p$-固有値スロープのノーウトン多角形に対する鋭い下界を確立すること。
• ジャコブスの先行研究（$p=3$ に限る）を任意の $p$ および一般のレベルへ一般化すること、特に $m \geq 2$ における $p^m$ の形の導手を持つキャラクターを対象とすること。
• ネーベンティプスキャラクターの導手が $p$ の高次のべきで割り切れる場合、重みが増加するにつれてスロープが等差数列に従って増加することを示すこと。
• ジャケット＝ラングランズ対応と $p$-進表現論を用いて、スロープ列の一部について正確な公式を導出すること。

提案手法

• モジュラー形式上の $U_p$-固有値の研究を、定値的ハッセ代数上の自動形式へ移行するためにジャケット＝ラングランズ対応を用いる。
• $p$-進表現論と擬代表表現を用いて、ハッセ代数形式上の $U_p$-作用素の明示的計算を行う。
• 残余擬代表表現を用いて固有値スロープを分離し、ノーウトン多角形近似における誤差項を制御する。
• $P_{\bar{\rho}}^{p^n}$ の極限を用いて既約成分へ射影し、各ブロックにおける $U_p$-作用を分析する。
• $U_p$-行列の切断された行列式の $p^2$ を法とする付値を推定することで、ノーウトン多角形の下界を導出する。
• ホッジ多角形の比較と誤差項解析を適用し、$U_p$-作用が制御された $p$-進付値を持つブロック対角形式に近く、近似可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 導手が $p^m$ ($m \geq 2$) である過収束モジュラー形式における $U_p$-固有値スロープは、重みが増加するにつれて等差数列に従うか？
• RQ2 重み空間の境界領域において、$U_p$-固有値スロープのノーウトン多角形に対して鋭い下界を確立できるか？
• RQ3 固有曲線は、境界領域においてバザールド＝キルフォードが予想したように、有限個の等差数列に類似した族に分解するか？
• RQ4 ジャケット＝ラングランズ対応は、非古典的状況における $p$-進スロープを効果的に計算するために用いることができるか？
• RQ5 導手が $p$ の高次のべきで割り切れる場合、$U_p$-固有値のスロープ列の正確な構造は何か？

主な発見

• 導手が $p^m$ ($m \geq 2$) である過収束モジュラー形式の空間における $U_p$-固有値スロープのノーウトン多角形に対して鋭い下界が確立された。
• ネーベンティプスキャラクターの導手が $p$ の高次のべきで割り切れる場合、重みが増加するにつれてスロープが等差数列に従って増加する。
• この論文は、$p=2$ や小規模なレベルに制限されない任意の $p$ および一般のレベルについて、バザールド＝キルフォードの予想の最初の一般ケースを証明する。
• スロープ列の一部について正確な公式が導出され、その一部が有理数の公差を持つ等差数列から成ることを示した。
• 定値的ハッセ代数のコホロジーにおける $U_p$-作用が、制御された $p$-進付値を持つブロック対角行列に近似可能であることが示された。
• 残余擬代表表現と極限射影を用いて、ノーウトン多角形近似における誤差項が制御され、下界の有効性が保証された。