[論文レビュー] Idempotents, Localizations and Picard groups of A(1)-modules

Robert Bruner|arXiv (Cornell University)|Nov 1, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 3

ひとこと要約

この論文は、マゴリス局所化と周期性を用いて、$Δ(1)$-加群上の多項式環の安定同型型を分析する。すべての有界下界 $Δ(1)$-加群が $Q_0$-および $Q_1$-局所成分に一意に分解されることを示し、局所部分カテゴリのピカード群を完全に特定する。さらに、唯一の安定的にイデムポテンである $Δ(1)$-加群は、これらの局所化から生じるものであることを証明する。

ABSTRACT

We analyze the stable isomorphism type of polynomial rings on degree 1 generators as modules over the sub-algebra A(1) = of the mod 2 Steenrod algebra. Since their augmentation ideals are Q_1-local, we do this by studying the Q_i-local subcategories and the associated Margolis localizations. The periodicity exhibited by such modules reduces the calculation to one that is finite. We show that these are the only localizations which preserve tensor products, by first computing the Picard groups of these subcategories and using them to determine all idempotents in the stable category of bounded-below A(1)-modules. We show that the Picard groups of the whole category are detected in the local Picard groups, and show that every bounded-below A(1) -module is uniquely expressible as an extension of a Q_0-local module by a Q_1-local module, up to stable equivalence. Applications include correct, complete proofs of Ossa's theorem, applications to Powell's work describing connective K-theory of classifying spaces of elementary abelian groups in functorial terms, and Ault's work on the hit problem.

研究の動機と目的

• 次数 1 の生成子を持つ多項式環の $Δ(1)$-加群としての安定同型型を体系的に分析すること。
• $Q_i$-局所部分カテゴリとそれらに関連するマゴリス局所化が $Δ(1)$-加群の分解に果たす役割を理解すること。
• すべての安定的にイデムポテンな $Δ(1)$-加群を分類し、テンソル積を保存する局所化は何かを特定すること。
• $Q_i$-局所部分カテゴリのピカード群を計算し、グローバルピカード群が局所のものに検出されることを示すこと。
• 有界下界 $Δ(1)$-加群が安定同値に関して $Q_0$-局所および $Q_1$-局所和成分に一意に分解されることを確立すること。

提案手法

• $Q_0$-局所および $Q_1$-局所加群における周期性を用いる：$Q_0$-局所加群 $M$ に対して $ΩM \simeq \Sigma M$、$Q_1$-局所加群 $M$ に対して $\u03a9^4M \simeq \Sigma^{12}M$。
• $H^*BC_2$ 及びそのホモトピー型の局所化を表す $Q_0$-および $Q_1$-局所代表 $R$ と $P_0$ を導入する。
• $\Sigma R \xrightarrow{\epsilon} \mathbf{F}_2 \xrightarrow{\eta} P_0$ という非自明な三角形を確立し、$\mathbf{L}_0\mathbf{F}_2 \simeq \Sigma R$ および $\mathbf{L}_1\mathbf{F}_2 \simeq P_0$ を示す。
• 周期性を用いてテンソル冪 $P^{igotimes n}$ の研究を有限個のケースに還元し、明示的な安定同値を用いる。
• $Q_i$-局所部分カテゴリのピカード群を計算する：$\operatorname{Pic}^{(0)}(\mathcal{A}(1)) = \mathbb{Z}$、$\operatorname{Pic}^{(1)}(\mathcal{A}(1)) = \mathbb{Z} \oplus \mathbb{Z}/(4)$。
• 局所化写像 $\operatorname{Pic} \to \operatorname{Pic}^{(0)} \oplus \operatorname{Pic}^{(1)}$ を用いて、これが単射であり、グローバルピカード群が局所ピカード群に完全に検出されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの $Δ(1)$-加群が安定的にイデムポテンであるか、すなわち $I \otimes I \simeq I$ を満たすか？
• RQ2 $Δ(1)$-加群の $Q_i$-局所部分カテゴリは、テンソル積および周期性に関してどのように振る舞うか？
• RQ3 有界下界 $Δ(1)$-加群のカテゴリのピカード群の構造は何か？
• RQ4 任意の有界下界 $Δ(1)$-加群は、安定同値に関して $Q_0$-局所および $Q_1$-局所成分に一意に分解可能か？
• RQ5 安定カテゴリにおいてテンソル積を保存する唯一の局所化は、$\mathbf{L}_i\mathbf{F}_2$ か？

主な発見

• 唯一の安定的にイデムポテンな有界下界 $Δ(1)$-加群は、定理 10.1 で示されるように、$\mathbf{L}_0\mathbf{F}_2 \simeq \Sigma R$ および $\mathbf{L}_1\mathbf{F}_2 \simeq P_0$ のスパンスおよびロープに同型であるものに限られる。
• $Q_0$-局所部分カテゴリのピカード群は $\mathbb{Z}$ であり、$Q_1$-局所部分カテゴリのピカード群は $\mathbb{Z} \oplus \mathbb{Z}/(4)$ である。このねじれ部分は四重周期性に起因する。
• 任意の有界下界 $Δ(1)$-加群は、安定同値に関して、$Q_0$-局所加群を $Q_1$-局所加群に拡張する形に一意に表現可能である。
• 局所化写像 $\operatorname{Pic}(\mathcal{A}(1)) \to \operatorname{Pic}^{(0)} \oplus \operatorname{Pic}^{(1)}$ は単射であり、グローバルピカード群が局所ピカード群に完全に検出されることを示している。
• $H^*BC_2$ のテンソル冪は、代数的ロープと安定同値であり、四重周期性を示す：$I = H^*BC_2$ に対して $(\Omega I)^{\otimes n} \simeq \Omega^n I$。
• $P^{\otimes n}$ の自由成分はヒルベルト級数により完全に記述可能である：$H(F_n) = H(\mathcal{A}(1)) \cdot \frac{t^n(1 - t^n(1-t)^{n-1}Q_n(t))}{(1-t)^{n-1}(1-t^4)(1+t^3)}$、$Q_n(t)$ は 4 を法として明示的に与えられる。