[論文レビュー] Isogenies of supersingular elliptic curves over finite fields and operations in elliptic cohomology

Andrew Baker|ArXiv.org|Dec 12, 2007

Algebraic Geometry and Number Theory参考文献 26被引用数 5

ひとこと要約

この論文は、有限体上の上澄み楕円曲線の準同型写像を、上澄み楕円コホモロジーにおける安定作用素に結びつけるフレームワークを確立する。準同型写像と豊富化された準同型写像圏における準同型を用いて作用素をモデル化することで、モラバの環の変換定理の楕円コホモロジー版に対する概念的に単純な証明が得られ、作用素の明示的モデルが提供されるとともに、ロバートの上澄みモジュラー形式のヘッケ代数構造との関係が示される。

ABSTRACT

We investigate stable operations in supersingular elliptic cohomology using isogenies of supersingular elliptic curves over finite fields. Our main results provide a framework in which we give a conceptually simple proof of an elliptic cohomology version of the Morava change of rings theorem and also gives models for explicit stable operations in terms of isogenies and morphisms in certain enlarged isogeny categories. We relate our work to that of G. Robert on the Hecke algebra structure of the ring of supersingular modular forms.

研究の動機と目的

• 有限体上の上澄み楕円曲線の準同型写像を用いて、上澄み楕円コホモロジーにおける安定作用素の概念的枠組みを構築すること。
• モラバの環の変換定理の楕円コホモロジー版に対する自己完結的で概念的に単純な証明を提供すること。
• 拡大された準同型写像圏における準同型と準同型写像を用いて、安定作用素の明示的モデルを構築すること。
• 結果を、上澄みモジュラー形式の環におけるヘッケ代数構造に関するロバートの研究と関連付けること。
• p ≥ 5 における素数 p における、準同型写像と自己準同型写像が上澄み楕円コホモロジーの構造に果たす役割を明確化すること。

提案手法

• 代数閉包 𝔽̄_p 上の向き付けられた楕円曲線に、恒等的に非ゼロの不変1形式を備えることで、抽象的向き付け楕円曲線の圏を定義する。
• 標準的な1形式を備えたワイエルシュトラス型三次曲線の圏と、抽象的向き付け楕円曲線の圏との間に同値関係を確立し、標準的なワイエルシュトラスモデルの使用を可能にする。
• 次数 d の準同型写像 φ: (ℰ,ω) → (ℰ′,ω′) を用いて、拡大された準同型写像圏における関連する元 α^φ を用いて、安定作用素をモデル化する。
• すべての分離的準同型写像の対称化を用いて、ℤ/pℤ線形写像 α^d_*: Γ₀^ss,* → Eℓℓ_*^ss を構成する。
• ロバートのヘッケ作用素およびエイゼンスタイン級数に関する結果を応用し、Eℓℓ_*^ss の正則部分をヘッケ代数 H_p 上の加群として分析する。
• 対称化された準同型写像作用素を統合することで、双対スティーネロード代数上のコモジュールにおける安定コホモロジー作用素を定義する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の上澄み楕円曲線の準同型写像を用いて、上澄み楕円コホモロジーにおける安定作用素をどのように明示的にモデル化できるか？
• RQ2 準同型写像圏と楕円コホモロジーにおけるモラバの環の変換定理との間には、どのような概念的関係があるか？
• RQ3 上澄みモジュラー形式のヘッケ代数構造は、楕円コホモロジーにおける安定作用素の構造とどのように関係するか？
• RQ4 エイゼンスタイン加群 Ei_k が Eℓℓ_*^ss に埋め込まれる条件は何か？
• RQ5 自己準同型写像と j-不変量は、特定の自己準同型写像環を持つ 𝔽_p 上に定義された上澄み楕円曲線の存在を決定づける役割を果たすか？

主な発見

• この論文は、準同型写像に基づく作用素を用いて、モラバの環の変換定理の楕円コホモロジー版に対する概念的に単純な証明を提供する。
• 固定次数 d の対称化された準同型写像を用いて、上澄み楕円コホモロジーにおける明示的安定作用素が構成され、Γ₀^ss,* から Eℓℓ_*^ss への H_p-線形写像が得られる。
• k が偶数で p ≥ 5 のとき、Eisenstein 加群 Ei_k が Eℓℓ_*^ss に埋め込まれるための必要十分条件は、n ≡ k mod (p²−1) または n ≡ pk mod (p²−1) である。
• 自明加群 Ei_0 は、(p²−1) が 2n を割り切るような次数 2n にちょうど現れ、これはコホモロジー環の正則部分に対応する。
• p > 11 の素数に対して、j-不変量が 0 または 1728 でなく、ℚ(√−p) の最大整域を含む自己準同型写像環を持つ上澄み楕円曲線が存在する。
• このフレームワークは、拡大された準同型写像圏における準同型写像として安定作用素を実現し、準同型写像データに基づくコホモロジー作用素の幾何的解釈を提供する。