[论文解读] Adams operations in cohomotopy

Pierre Guillot|ArXiv.org|Dec 12, 2006

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

一句话总结

本文证明了上同调球面群 $π^0(X)$ 构成一个 $β$-环，这是一种类似于 $λ$-环的代数结构，通过映射 $BS_{∞}^{+} \to BS_{∞}^{+}$ 赋予其 Adams 操作。关键贡献在于计算了这些 Adams 操作在 $J$-像和模 2 上同调上的作用，揭示了其与复 $K$-理论中 Adams 操作的精确类比。

ABSTRACT

We study a collection of operations on the cohomotopy of any space, with which it becomes a "beta-ring", an algebraic structure analogous to a lambda-ring. In particular, this ring possesses Adams operations, represented by maps on the infinite loop space of the sphere spectrum. We compute their effect in homotopy on the image of J, and in mod 2 cohomology. The motivation comes from the interpretation of the symmetric group as the general linear group of the "field with one element", which leads to an analogy between cohomotopy and algebraic K-theory. A good deal of this article may be considered as a survey of the theory of beta-rings.

研究动机与目标

• 通过定义以对称群子群为指标的运算，将上同调球面群 $\pi^0(X)$ 建构为一个 $β$-环，这是一种类似于 $λ$-环的代数结构。
• 将对称群 $S_n$ 解释为 $GL_n(\mathbb{F}_1)$，从而将上同调球面与‘一个元素的域’上的代数 $K$-理论联系起来。
• 计算稳定同伦群中 $J$-像上 Adams 操作的作用。
• 确定 Adams 操作在模 2 上同调中的作用，表明其与复 $K$-理论中的行为存在精确类比。

提出的方法

• 通过以共轭类子群 $H \leq S_n$ 为指标的运算 $\beta_H$ 在 $\pi^0(X)$ 上定义 $\beta$-环结构，其满足如 $\beta_H(\beta_K(x)) = \beta_{H \wr K}(x)$ 的复合规则。
• 利用对称群作为 $\mathbb{F}_1$ 上的广义线性群，构造映射 $BS_{\infty}^{+} \to BS_{\infty}^{+}$ 来表示 $\pi^0(X)$ 上的 Adams 操作 $\Psi^k$。
• 利用 Segal 猜想（现为定理）将 $\pi^0(BG)$ 识别为在增广理想处完成的 Burnside 环 $A(G)$。
• 应用表示理论与 $K$-理论中已知的结果，特别是特征标的公式 $\Psi^k(\chi) = k^i \chi^i$，以计算模 2 上同调中的作用。
• 利用 $H_*(BS_\infty, \mathbb{F}_2)$ 由正则表示 $\iota^N$ 下的 $H_*(BA_N, \mathbb{F}_2)$ 的像生成这一事实，将上同调计算归约为初等阿贝尔 $2$-群。
• 在群表示中运用转移与限制技术，特别地，通过 $\Psi^{2^r}(\rho) = \rho^{2^r} \mod 2$ 证明当 $k$ 为偶数时 $\chi_c^i(\Psi^k(\rho)) = 0$，当 $k$ 为奇数时 $\chi_c^i(\Psi^k(\rho)) = \chi_c^i(\rho)$。

实验结果

研究问题

• RQ1 如何在上同调球面群 $\pi^0(X)$ 上赋予一个类似于 $K$-理论中 $λ$-环结构的 $β$-环结构？
• RQ2 Adams 操作 $\Psi^k$ 在稳定同伦群中 $J$-像上的同伦作用是什么？
• RQ3 Adams 操作在 $BS_\infty^{+}$ 的模 2 上同调类上如何作用？
• RQ4 上同调球面中 Adams 操作的行为在多大程度上与复 $K$-理论中的行为相一致？
• RQ5 通过 $β$-环和一个元素的域的视角，$K$-理论与上同调球面之间的类比能否被形式化？

主要发现

• 上同调球面环 $\pi^0(X)$ 是一个 $β$-环，其运算 $\beta_H$ 以 $H \leq S_n$ 的子群为指标，满足 $\beta_H(\beta_K(x)) = \beta_{H \wr K}(x)$，从而在稳定同伦中赋予了一种新的代数结构。
• 上同调球面 $\pi^0(X)$ 上的 Adams 操作 $\Psi^k$ 由映射 $BS_{\infty}^{+} \to BS_{\infty}^{+}$ 实现，将经典 $K$-理论图景扩展到了上同调球面。
• 在 $J$-像上，Adams 操作满足 $\Psi^k(x) = k^i x$（当 $x$ 在第 $i$ 个度数时），与复 $K$-理论中的行为完全一致。
• 在模 2 上同调中，$\Psi^k$ 的作用为：当 $k$ 为偶数时 $\chi_c^i(\Psi^k(\rho)) = 0$，当 $k$ 为奇数时 $\chi_c^i(\Psi^k(\rho)) = \chi_c^i(\rho)$，确认了其与 $K$-理论中的精确类比。
• $\Psi^k$ 在上同调上的作用完全由其在初等阿贝尔 $2$-群表示上的取值决定，这是由于 $H_*(BS_\infty, \mathbb{F}_2)$ 由这些像所生成。
• 本文确认，当通过指数特征类 $c_t^{(k)}$ 解释时，上同调中的 Adams 操作与 $K$-理论中的行为完全一致，这些特征类能够区分具有相同 $K$-理论像的表示。