[論文レビュー] A modular description of the K(2)-local sphere at the prime 3

Mark Behrens|ArXiv.org|Jul 8, 2005

Algebraic Geometry and Number Theory参考文献 29被引用数 14

ひとこと要約

この論文は、楕円曲線の2次イソジェニーからスペクトル Q(2) を構成することにより、素数 3 における K(2)-局所球面のモジュラーな記述を提供する。K(2)-局所球面が Q(2) 及びその K(2)-局所スペクトラル・ホワイトヘッド双対から構成されることを示し、ゲルス、ヘン、マハウルド、レツクの解体を、トポロジカル・モジュラー形式およびイソジェニーに基づくスペクトルを用いて概念的に再解釈する。

ABSTRACT

Using degree N isogenies of elliptic curves, we produce a spectrum Q(N). This spectrum is built out of spectra related to tmf. At p=3 we show that the K(2)-local sphere is built out of Q(2) and its K(2)-local Spanier-Whitehead dual. This gives a conceptual reinterpretation a resolution of Goerss, Henn, Mahowald, and Rezk.

研究の動機と目的

• 楕円曲線の幾何的データを用いて、素数 3 における K(2)-局所球面の概念的でモジュラーな記述を提供すること。
• 楕円曲線の次数 N のイソジェニーからスペクトル Q(N) を構成し、特に p=3 における N=2 に焦点を当てる。
• K(2)-局所球面が Q(2) 及びその K(2)-局所スペクトラル・ホワイトヘッド双対から構成されることを示すこと。
• ゲルス、ヘン、マハウルド、レツクの解体を、トポロジカル・モジュラー形式およびイソジェニー構造の観点から再解釈すること。
• p=3 におけるイソジェニーに基づくスペクトルを通じて、チロノロジカル・ホモトピー理論とモジュラー形式の間の関係を確立すること。

提案手法

• トポロジカル・モジュラー形式（tmf）の理論を用いて、次数 N のイソジェニーを備えた楕円曲線のモジュライからスペクトル Q(N) を構成する。
• 特に、N=2 が Z_3^× のトポロジカル生成元をなす素数 3 において作業する。
• Q(2) の K(2)-局所化およびそのスペクトラル・ホワイトヘッド双対を用いて K(2)-局所球面を構成する。
• tmf の構造および K(2)-局所圏との関係を活用して、ホモトピー型を分析する。
• コホノロジー作用素およびアダムス＝ノヴィコフ・スペクトル系列の使用を含む、チロノロジカル・ホモトピー理論の技術を適用する。
• Q(2) が tmf 相関スペクトルから構成されることを活用して、K(2)-局所圏におけるその役割を確立する。

実験結果

リサーチクエスチョン

• RQ1 p=3 における K(2)-局所球面は、楕円曲線から導かれるイソジェニーに基づくスペクトルを用いて記述可能か？
• RQ2 次数 2 のイソジェニーから構成されたスペクトル Q(2) は、K(2)-局所球面とどのように関係するか？
• RQ3 Q(2) の K(2)-局所スペクトラル・ホワイトヘッド双対は、K(2)-局所球面を再構成する上で果たす役割は何か？
• RQ4 ゲルス、ヘン、マハウルド、レツクの解体は、モジュラー情報および tmf 相関スペクトルを用いて再解釈可能か？
• RQ5 Z_3^× のトポロジカル生成元としての N=2 の使用が、関連するスペクトルを構成する上で果たす意義は何か？

主な発見

• スペクトル Q(2) は、楕円曲線の2次イソジェニーから構成され、tmf に関連するスペクトルから構成される。
• p=3 において、K(2)-局所球面は Q(2) 及びその K(2)-局所スペクトラル・ホワイトヘッド双対からなるコリミットまたは拡張として実現される。
• この構成は、ゲルス、ヘン、マハウルド、レツクの解体の概念的再解釈を提供する。
• この手法により、p=3 におけるイソジェニー構造を通じて、K(2)-局所球面とモジュラー形式との直接的な関係が確立される。
• N=2 が Z_3^× の生成元としての性質を有することにより、必要なホモトピー的構造を生成するのに十分なイソジェニー情報が得られる。
• この結果は、p=3 における K(2)-局所球面が、楕円曲線のイソジェニーおよび tmf を根拠とするモジュラーで幾何的な記述を有することを示している。