[論文レビュー] Applications of the Sato-Tate conjecture

Ayla Gafni, Jesse Thorner+1 more|arXiv (Cornell University)|Mar 19, 2020

Advanced Algebra and Geometry参考文献 7被引用数 5

ひとこと要約

この論文は、GL₂ 上の平方因子自由なレベルをもつ非CM正則カスプ形式における有効なSato-Tate予想を活用し、アトキン＝セール予想に対する条件なしの進展を図り、フーリエ係数における極値の素数の分布を分析する。Sato-Tate等分布からの有効な誤差項の境界を適用することで、フーリエ係数が最大絶対値に達する素数の頻度および密度に関する定量的結果を確立する。

ABSTRACT

We use the effective version of the Sato-Tate conjecture for non-CM holomorphic cupsidal newforms $f$ of squarefree level on $\mathrm{GL}_2$ proved by the second author to make some unconditional progress toward the Atkin-Serre conjecture and study the distribution of extremal primes for the Fourier coefficients of $f$.

研究の動機と目的

• GL₂ 上の平方因子自由なレベルをもつ非CM正則カスプ形式における有効なSato-Tate分布を用いて、アトキン＝セール予想への条件なしの進展を図ること。
• 非CMカスプ形式におけるフーリエ係数が最大絶対値に達する素数、すなわち極値の素数の分布を研究すること。
• 平方因子自由なレベルの形式における有効なSato-Tate予想を活用し、定量的結果を導出すること。
• GL₂モジュラー形式の文脈において、極値の素数の密度および頻度に関する境界を確立すること。
• 一般化リーマン仮説などの標準的でない仮定を仮定しない条件下で、明示的かつ条件なしの結果を提供すること。

提案手法

• GL₂ 上の平方因子自由なレベルをもつ非CM正則カスプ形式における有効なSato-Tate予想の利用。
• Sato-Tate等分布からの有効な誤差推定を適用し、フーリエ係数の分布を制御すること。
• Sato-Tate測度の境界を、極値の素数における算術的制約に翻訳すること。
• スペクトル理論と自動形式L関数を組み合わせ、係数の大きさに関する有効な境界を導出すること。
• 平方因子自由なレベル条件を用いてガロア表現を単純化し、有効な等分布を保証すること。
• 有効なSato-Tateフレームワークを用いて、与えられた境界を超える極値の素数の数に対する定量的上界を確立すること。

実験結果

リサーチクエスチョン

• RQ1 平方因子自由なレベルをもつ非CMカスプ形式のフーリエ係数における極値の素数の密度は何か？
• RQ2 有効なSato-Tate予想は、アトキン＝セール予想に対する条件なしの進展をどのように可能にするか？
• RQ3 フーリエ係数が最大絶対値に達する素数の数に対する定量的境界は何か？
• RQ4 平方因子自由なレベル条件は、係数分布の有効な解析をどの程度容易にするか？
• RQ5 追加の仮定なしに、有効なSato-Tate結果のみを用いて極値の素数が疎であることを示せるか？

主な発見

• 本論文は、平方因子自由なレベルをもつ非CMカスプ形式における極値の素数の数について、条件なしの上界を確立した。
• フーリエ係数の分布に対する明示的制御を可能にする、定量的かつ有効なSato-Tate等分布のバージョンを提供した。
• 極値の素数に対する非自明な密度上界を導出し、すべての素数の集合においてそれらが疎であることを示した。
• 一般化リーマン仮説を仮定しないで、Sato-Tate等分布における明示的誤差項が、算術的帰結を導くのに十分であることを示した。
• 特に、フーリエ係数の大きさの境界を求める文脈において、アトキン＝セール予想が、検討中の形式のクラスに対して条件なしに進展した。
• 有効なSato-Tateフレームワークの下で、|a_p(f)| が最大であるような極値の素数は、密度がゼロであることが示された。