[论文解读] 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

一句话总结

本文通过 Margolis 局部化和周期性，分析了在 $Δ(1)$-模上多项式环的稳定同构类型。结果表明，所有有下界的 $Δ(1)$-模均可唯一分解为 $Q_0$-和 $Q_1$-局部分量，且完全确定了这些局部子范畴的 Picard 群，证明唯一满足稳定幂等性的 $Δ(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$-局部子范畴及其相关 Margolis 局部化在分解 $Δ(1)$-模中的作用。
• 对所有稳定幂等的 $Δ(1)$-模进行分类，并确定哪些局部化保持张量积。
• 计算 $Q_i$-局部子范畴的 Picard 群，并证明全局 Picard 群可被局部 Picard 群检测。
• 建立有下界的 $Δ(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$。
• 引入模 $R$ 和 $P_0$，分别作为 $H^*BC_2$ 及其悬垂的 $Q_0$-和 $Q_1$-局部代表。
• 建立一个非分裂三角形 $\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$-局部子范畴的 Picard 群：$\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)}$ 证明其为单射，从而表明全局 Picard 群被完全检测于局部 Picard 群中。

实验结果

研究问题

• RQ1 哪些 $Δ(1)$-模是稳定幂等的，即满足 $I \otimes I \simeq I$？
• RQ2 $Δ(1)$-模的 $Q_i$-局部子范畴在张量积和周期性下如何表现？
• RQ3 有下界 $Δ(1)$-模范畴的 Picard 群结构为何？
• RQ4 每个有下界的 $Δ(1)$-模是否在稳定等价下可唯一分解为 $Q_0$-局部和 $Q_1$-局部分量？
• RQ5 Margolis 局部化 $\mathbf{L}_i\mathbf{F}_2$ 是否是稳定范畴中唯一保持张量积的局部化？

主要发现

• 唯一满足稳定幂等性的有下界 $Δ(1)$-模是与 $\mathbf{L}_0\mathbf{F}_2 \simeq \Sigma R$ 和 $\mathbf{L}_1\mathbf{F}_2 \simeq P_0$ 的悬垂和回溯同构的模，如定理 10.1 所示。
• $Δ(1)$-模有下界子范畴中 $Q_0$-局部子范畴的 Picard 群为 $\mathbb{Z}$，而 $Q_1$-局部子范畴的 Picard 群为 $\mathbb{Z} \oplus \mathbb{Z}/(4)$，其中挠部分源于四重周期性。
• 每个有下界的 $Δ(1)$-模在稳定等价下可唯一表示为一个 $Q_0$-局部模对一个 $Q_1$-局部模的扩张。
• 局部化映射 $\operatorname{Pic}(\mathcal{A}(1)) \to \operatorname{Pic}^{(0)} \oplus \operatorname{Pic}^{(1)}$ 是单射，表明全局 Picard 群被完全检测于局部 Picard 群中。
• $H^*BC_2$ 的张量幂在稳定等价下同构于其代数回溯，表现出四重周期性：对 $I = H^*BC_2$，有 $(\Omega I)^{\otimes n} \simeq \Omega^n I$。
• $P^{\otimes n}$ 中的自由分量通过 Hilbert 级数完全描述：$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 显式给出。