[論文レビュー] The power operation structure on Morava E-theory of height 2 at the prime 3

Yifei Zhu|arXiv (Cornell University)|Oct 13, 2012

Algebraic Geometry and Number Theory参考文献 15被引用数 9

ひとこと要約

本稿は、p=3における高さ2のモラバE理論のDyer-Lashof代数構造を計算し、楕円曲線の普遍的3次準同型を用いて、明示的にべき演算子を決定する。全べき演算子および個々のべき演算子の公式を導出し、それらの代数的関係を確立するとともに、K(1)-局所化と接続し、この素数におけるK(2)-局所可換E代数のDyer-Lashof理論の完全な代数的記述を提供する。

ABSTRACT

We give explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum and its K(1)-localization. These power operations arise from the universal degree-3 isogeny of elliptic curves associated to the E-theory.

研究の動機と目的

• K(2)-局所可換E代数のDyer-Lashof理論を、p=3において完全な代数的記述すること。
• 全べき演算子ψ₃および、普遍的3次準同型のモジュライ問題を表す環S₃の計算。
• BΣₘのコホモロジーおよびE∗BΣₘの計算を用いて、個々のべき演算子とその代数的関係の導出。
• 高さ2の全べき演算子ψ₃とそれに対応するK(1)-局所べき演算子との関係の確立。
• 恒等元における相対接空間から得られる幾何的に動機づけられた生成子を用いた、べき演算子の明示的公式の提供。

提案手法

• |a|=1、|b|=2 であるような、S• = Z[1/4][a,b,Δ⁻¹] という次数付き環上の普遍的楕円曲線を用いて、p=3におけるモラバE理論をモデル化する。
• 全べき演算子ψ₃をE₀に定義し、普遍的3次準同型を用いて、パラメータaとbの関数としてその公式を導出する。
• 準同型のモジュライ問題を表す環S₃を計算し、それが基本環上の1つの生成子による自由代数であることを示す。
• BΣₘのコホモロジー（[Str98] より）およびE∗BΣₘの構造を用いて、個々のべき演算子とその関係を定義する。
• 局所化写像を適用することで、高さ2の全演算子ψ₃からK(1)-局所べき演算子を導出し、aとbの関数として明示的公式を得る。
• 楕円曲線上の座標のべき級数展開および群法則の公式を用いて、準同型の作用を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 K(2)-局所可換E代数のDyer-Lashof代数の明示的代数的構造は、p=3においてどのように記述されるか？
• RQ2 高さ2のモラバE理論における全べき演算子ψ₃は、K(1)-局所べき演算子とどのように関係しているか？
• RQ3 恒等元における相対接空間から得られるパラメータは、Dyer-Lashof代数のパrametrizationにおいて果たす役割は何か？
• RQ4 個々のべき演算子の公式は、モジュライスタック上の座標系の選び方にどのように依存するか？
• RQ5 パラメータaとbを用いた、べき演算子の明示的公式は何か？

主な発見

• 全べき演算子ψ₃は、パラメータaとbのべき級数として明示的に計算され、その係数には環S₃が含まれる。
• S₃が基本環上の1つの生成子による自由代数であることが示され、その生成子は楕円曲線の恒等元における相対接空間から生じる。
• 個々のべき演算子は、BΣₘのコホモロジーを用いて全演算子ψ₃から導出され、それらの代数的関係は明示的に決定されている。
• K(1)-局所べき演算子は、高さ2の全演算子ψ₃に局所化写像を適用することで得られ、aとbの関数として明示的公式が得られる。
• Adem型関係は、選ばれたパラメータを用いて導出され、[Rez09] の次数枠組みに自然に適合する。
• 本稿で用いられたパラメータは、p=2における類似計算で用いられたものと一致しており、素数をまたいで幾何的に自然な選択である可能性を示唆する。