[論文レビュー] Adams operations in cohomotopy

Pierre Guillot|ArXiv.org|Dec 12, 2006

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

ひとこと要約

この論文は、コホモトピー $π^0(X)$ が $β$-環であることを確立し、$BS_{∞}^{+} \to BS_{∞}^{+}$ による写像を用いてアダムズ作用素を定義する。主な貢献は、$J$ の像および mod $2$ コホモロジーにおけるこれらのアダムズ作用素の作用を計算し、複素 $K$-理論におけるそれらの作用と正確な類似性を明らかにすることである。

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.

研究の動機と目的

• 対称群の部分群の共轭類に添えられた作用素 $\beta_H$ を用いて、$\pi^0(X)$ に $\beta$-環構造を定義し、$\lambda$-環に類似した代数的構造を付与すること。
• 対称群 $S_n$ を $GL_n(\mathbb{F}_1)$ として解釈し、コホモトピーを「1つの元をもつ体」上の代数的 $K$-理論と関連付けること。
• 安定ホモトピー群における $J$ の像におけるアダムズ作用素の作用を計算すること。
• mod $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)$ 上のアダムズ作用素 $\Psi^k$ を実現すること。
• セガール予想（現在は定理）を用いて、$\pi^0(BG)$ を増幅イデアルにおけるバーンサイド環 $A(G)$ の完成と特定すること。
• 表現論および $K$-理論における既知の結果、特に文字に対する公式 $\Psi^k(\chi) = k^i \chi^i$ を用いて、mod $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$-理論における $\lambda$-環構造に類似した $\beta$-環構造をどのように付与できるか？
• RQ2 安定ホモトピー群における $J$ の像上でのアダムズ作用素 $\Psi^k$ のホモトピー的作用は何か？
• RQ3 $BS_{\infty}^{+}$ の mod $2$ コホモロジー類におけるアダムズ作用素の作用は何か？
• RQ4 コホモトピーにおけるアダムズ作用素の振る舞いは、複素 $K$-理論におけるそれらの振る舞いとどの程度類似しているか？
• RQ5 $\beta$-環および「1つの元をもつ体」の観点から、$K$-理論とコホモトピーの類似性を形式化できるか？

主な発見

• コホモトピー環 $\pi^0(X)$ は $\beta$-環であり、部分群 $H \leq S_n$ に添えられた作用素 $\beta_H$ を持ち、$\beta_H(\beta_K(x)) = \beta_{H \wr K}(x)$ を満たす。これにより、安定ホモトピーに新たな代数的構造が与えられる。
• アダムズ作用素 $\Psi^k$ は $BS_{\infty}^{+} \to BS_{\infty}^{+}$ の写像として $\pi^0(X)$ 上に実現され、古典的な $K$-理論の図式をコホモトピーへと拡張する。
• $J$ の像上では、$x$ が次数 $i$ にあるとき $\Psi^k(x) = k^i x$ を満たし、複素 $K$-理論におけるそれと類似する。
• mod $2$ コホモロジーにおいては、$k$ が偶数のとき $\chi_c^i(\Psi^k(\rho)) = 0$、$k$ が奇数のとき $\chi_c^i(\Psi^k(\rho)) = \chi_c^i(\rho)$ となる。これは、$K$-理論における振る舞いと正確な類似性を確認する。
• コホモロジー上での $\Psi^k$ の作用は、$H_*(BS_\infty, \mathbb{F}_2)$ が初等的アーベル $2$-群の表現の像によって生成されることに起因し、その値によって完全に決定される。
• 論文は、指数的特徴類 $c_t^{(k)}$ を通じて解釈された場合、コホモトピーにおけるアダムズ作用素が $K$-理論におけるそれらと同一に振る舞うことを確認した。この特徴類は、同じ $K$-理論像を持つ表現を区別する。