[論文レビュー] Hecke eigenforms with rational coefficients and complex multiplication

Matthias Schuett|arXiv (Cornell University)|Nov 9, 2005

Advanced Algebra and Geometry被引用数 4

ひとこと要約

この論文は、固定されたレベルに対して、有理数フーリエ係数と複素乗法をもつ新形式をねじれに関して分類し、奇数の実ディリクレ指標に対する拡張リーマン予想の下でその有限性を証明する。重さ3および4の場合には、未解決の仮定に依存せずに有限性が確立されており、これらのケースについて明示的な表が提供されている。

ABSTRACT

We classify newforms with rational Fourier coefficients and complex multiplication for fixed weight up to twisting. Under the extended Riemann hypothesis for odd real Dirichlet characters, these newforms are finite in number. We produce tables for weights 3 and 4, where finiteness holds unconditionally.

研究の動機と目的

• 固定されたレベルに対して、有理数フーリエ係数と複素乗法をもつ新形式をねじれに関して分類すること。
• 奇数の実ディリクレ指標に対する拡張リーマン予想の下で、このような新形式の集合が有限であることを特定すること。
• 重さ3および重さ4の新形式に関して、未解決の仮定に依存せずに有限性を確立すること。
• 重さ3および重さ4のこれらの新形式の明示的な表を作成すること。
• 有限性が未解決の仮定なしに証明可能な場合に、このような新形式の完全な分類を提供すること。

提案手法

• ヘッケ固有形式およびそれらに付随するガロア表現の理論を用いて、有理数フーリエ係数を分析する。
• 複素乗法の理論を適用して、拡張リーマン予想の下で可能な新形式を有限集合に制限する。
• ねじれ同値を用いて分類を有限個の代表元に還元する。
• 類体論および奇数の実ディリクレ指標の性質を用いて、このような新形式の数を上限づける。
• 重さ3および重さ4の明示的表を、未解決の仮定に依存しない有限性の結果を活用して構築する。
• モジュラー性定理およびフーリエ係数の有理数性を用いて、可能な形式を制約する。

実験結果

リサーチクエスチョン

• RQ1 固定されたレベルに対して、有理数フーリエ係数と複素乗法をもつ新形式は、ねじれに関してどのようになるか？
• RQ2 このような新形式の集合が有限であることを証明できる条件は何か？
• RQ3 特定の重さ、例えば3および4に対して、有限性を未解決の仮定なしに確立できるか？
• RQ4 重さ3および重さ4におけるこのような新形式の明示的な例は何か？
• RQ5 複素乗法は、有理数係数をもつ新形式の構造にどのように制約を加えるか？

主な発見

• 奇数の実ディリクレ指標に対する拡張リーマン予想の下で、有理数フーリエ係数と複素乗法をもつ新形式は、ねじれに関して有限個である。
• 重さ3および重さ4の場合には、未解決の仮定に依存せずに、このような新形式の集合は有限である。
• 重さ3および重さ4のすべてのこのような新形式の明示的表が提供されており、これらのケースにおける完全な分類が得られている。
• ねじれ同値と類体論およびガロア表現論の深い結果を組み合わせることで、分類が達成された。
• 複素乗法は、特にフーリエ係数の有理数性が要求される場合に、このような新形式の数を強く制限する強い算術的制約を課える。
• 結果は、有理数係数、複素乗法、モジュラー性の相乗作用が、低重量における有限で計算可能な例の集合を生み出すことを示している。