[論文レビュー] Power operations for Morava E-theory of height 2 at the prime 2

Charles Rezk|ArXiv.org|Dec 6, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 20

ひとこと要約

本稿では、2進数における高さ2のモラバE理論のべき演算の代数的理論を、$\mathbb{Z}[a]$ 上の$\Gamma$-環構造を用いて明示的に計算している。演算子$Q_0, Q_1, Q_2$の交換関係およびアーデム関係を導出し、中心的要素$\Psi$を特定し、モジュール$\omega$およびフォビオウスの証拠を構成することで、この設定におけるべき演算の完全な代数的枠組みを提供しているが、完全な証明は含まない。

ABSTRACT

Explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum are given, without detailed proofs.

研究の動機と目的

• 2進数における特定のモラバ$E$-理論スペクトルの高さ2におけるべき演算の明示的代数的記述を提供すること。
• $R = \mathbb{Z}[a]$ 上で、$Q_0, Q_1, Q_2$を生成元とする、指定された交換関係およびアーデム関係を持つ環$\Gamma$を定義すること。
• $\Gamma$-加群$\omega$およびテンソル積構造を支配する中心的要素$\Psi$を構成すること。
• フォビオウス合同式を確立し、$\Gamma$-環構造の証拠$\theta$を定義すること。
• 関連する楕円曲線が特異的であっても、べき演算代数が$\mathbb{Z}[a]$上に持ち上がることを示すこと。

提案手法

• $R = \mathbb{Z}[a]$ 上で、$a$ を含む非自明な交換関係を持つ$Q_0, Q_1, Q_2$で生成される環$\Gamma$を定義する。
• アーデム関係を導出する：$Q_1Q_0 = 2Q_2Q_1 - 2Q_0Q_2$ および $Q_2Q_0 = Q_0Q_1 + aQ_0Q_2 - 2Q_1Q_2$。
• $Q_0\cdot 1 = 1$, $Q_1\cdot 1 = Q_2\cdot 1 = 0$ を指定することで、$R$ 上の標準的$\Gamma$-加群構造を構成する。
• $x \otimes y$ 上での$Q_0, Q_1, Q_2$作用の明示的公式を用いて、$\Gamma$-加群のテンソル積を定義する。
• $\Psi = Q_0^2 + aQ_0Q_1 - 2Q_1^2 + a^2Q_0Q_2 - 2aQ_1Q_2 + 4Q_2^2$ を定義し、$\Psi(x \otimes y) = \Psi x \otimes \Psi y$ を検証する。
• $E^0\mathbb{CP}^\infty \approx \widehat{S}[[u]]$ 上の$\Gamma$-環構造を、形式的変数$u$への$Q_i$の作用によって定義する。

実験結果

リサーチクエスチョン

• RQ1 2進数における高さ2のモラバ$E$-理論のべき演算の完全な代数的構造は何か？
• RQ2 $Q_0, Q_1, Q_2$ は$\mathbb{Z}[a]$ 上でどのように交換関係およびアーデム関係を満たすか？
• RQ3 $\Gamma$-加群のテンソル積構造において中心的要素$\Psi$の果たす役割は何か？
• RQ4 フォビオウス合同式はこの文脈でどのように代数的に実現されるか？
• RQ5 関連する楕円曲線が特異的であっても、全べき演算枠組みが$\mathbb{Z}[a]$上に定義可能か？

主な発見

• $\Gamma$ は、$j \geq 0$, $k_i \in \{1,2\}$, $r \geq 0$ を満たす基底 $Q_0^j Q_{k_1} \cdots Q_{k_r}$ をもつ左$R$-加群として自由であり、$\operatorname{rank}\Gamma[k] = 1 + 2 + \cdots + 2^k$ である。
• $R$ 上の標準的$\Gamma$-加群構造は、$Q_0 \cdot 1 = 1$, $Q_1 \cdot 1 = Q_2 \cdot 1 = 0$ を満たし、$R$-加群構造と整合的である。
• $\Psi$ は$\Gamma$上で中心的であり、すべての$\Gamma$-加群$x, y$に対して$\Psi(x \otimes y) = \Psi x \otimes \Psi y$ を満たす。また、$\omega$ 上の加群で$\Psi \cdot u = -2u$ が成り立つ。
• $\Gamma$-環$E^0\mathbb{CP}^\infty \approx \widehat{S}[[u]]$ は、$u$ における$Q_0, Q_1, Q_2$の作用が明示的に定義されており、$Q_0(u) = -3u^2 - 2a u^3 + \cdots$, $Q_1(u) = -u + a u^2 - a^2 u^3 + \cdots$, $Q_2(u) = -3u^3 + 5a u^4 + \cdots$ である。
• $\Gamma$-環$A$においてフォビオウス合同式$Q_0x \equiv x^2 \mod 2A$ が成り立ち、証拠$\theta$ は$Q_0x = x^2 + 2\theta x$ を満たし、$\theta(x+y) = \theta x + \theta y - xy$ を満たす。
• $\alpha: \Gamma_{\widehat{S}} \to \Gamma'$ は同型写像であり、$\widehat{S}$ 上のべき演算代数が$\mathbb{Z}[a]$ 上の$\Gamma$-構造によって完全に記述されることを示している。