[論文レビュー] Actions of Eilenberg-MacLane spaces on K-theory spectra and uniqueness of twisted K-theory

Benjamin Antieau, David Gepner+1 more|arXiv (Cornell University)|Jun 25, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 5

ひとこと要約

この論文は、Eilenberg-MacLane空間 $K(\mathbb{Z},3)$ から $BGL_1K$ および $K(\mathbb{Z}/2,2)$ から $BGL_1KO$ への写像が、すべての元がその定義域空間の自己準同型によってホモトピー類として一意に定まることを示すことで、複素および実両ケースにおけるねじれK理論の一意性を確立する。これは、Eilenberg-MacLane空間のK理論の計算を用いてなされる。主な結果は、このような写像の空間がそれぞれ $\mathbb{Z}$ および $\mathbb{Z}/2$ に同型であることであり、これはすべての妥当なねじれK理論の定義が一致することを保証する。

ABSTRACT

We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra.

研究の動機と目的

• 複素および実両ケースにおけるねじれK理論の異なる定義の間で一意性を確立すること。
• K理論スペクトルの単元の分類空間 $BGL_1K$ および $BGL_1KO$ へのEilenberg-MacLane空間 $K(\mathbb{Z},3)$ および $K(\mathbb{Z}/2,2)$ からの写像を分類すること。
• このような写像がすべてその定義域空間の自己準同型によってホモトピー類として一意に定まることを示し、定義間の一貫性を保証すること。
• スペクトル的計算を用いてEilenberg-MacLane空間がK理論スペクトルに作用する際の消滅結果を提供すること。

提案手法

• GL_1K の分解 $K(\mathbb{Z}/2,0) \times K(\mathbb{Z},2) \times BSU_\otimes$ を用いて、$K(\mathbb{Z},3)$ から $BGL_1K$ への写像を分析する。
• AndersonおよびHodgkinによるEilenberg-MacLane空間のK理論の計算を適用し、$K(\mathbb{Z},3)$ から $BGL_1K$ への写像の群を特定する。
• 成分 $BBSU_\otimes$ が $[K(\mathbb{Z},3), BBSU_\otimes]$ に自明に寄与することを示し、写像が $K(\mathbb{Z},3)$ を通るホモトピー類に因子分解できることを示す。
• 無限ループ空間の分解のデロープを用いて、$BGL_1K$ を $K(\mathbb{Z}/2,1) \times K(\mathbb{Z},3) \times BBSU_\otimes$ に関連付ける。
• Fredholm作用素への $PU(\mathcal{H}) \simeq K(\mathbb{Z},3)$ の作用を用いて、JoachimのK理論スペクトルへのスペンクターレベルの作用を構成する。
• Joachimのスペクトルへの $PU(\mathcal{H})$ の共軛作用が $A_\infty$-写像 $GL_1K$ に誘導され、そのデロープとして $K(\mathbb{Z},3) \to BGL_1K$ への写像が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての写像 $K(\mathbb{Z},3) \to BGL_1K$ は、$K(\mathbb{Z},3)$ を通るホモトピー類に因子分解可能か？
• RQ2 ホモトピー類の群 $[K(\mathbb{Z},3), BGL_1K]$ は何か？
• RQ3 $BGL_1K$ への写像から生じるねじれ $K$-理論の異なる定義どうしがどのように関係するか？
• RQ4 $BSU_\otimes$ 成分は、$K(\mathbb{Z},3)$ から $BGL_1K$ への写像を分類する際に果たす役割は何か？
• RQ5 $PU(\mathcal{H})$ がFredholm作用素に作用するのを用いて、well-defined なねじれK理論スペクトルを構成できるか？

主な発見

• $[K(\mathbb{Z},3), BGL_1K]$ の群は $\mathbb{Z}$ に同型であり、同型は $K(\mathbb{Z},3)$ の自己準同型環によって誘導される。
• $[K(\mathbb{Z}/2,2), BGL_1KO]$ の群は $\mathbb{Z}/2$ に同型であり、実ケースにおける自己同型による一意性を示している。
• $[K(\mathbb{Z},3), BBSU_\otimes]$ の空間は消滅しており、これは $K(\mathbb{Z},3)$ から $BGL_1K$ への写像がホモトピー類として $K(\mathbb{Z},3)$ を通るホモトピー類に因子分解できることを示している。
• $PU(\mathcal{H})$ のJoachimのK理論スペクトルへの共軛作用は、well-defined な $A_\infty$-写像 $K(\mathbb{Z},3) \to BGL_1K$ を誘導し、標準的なねじれを実現する。
• すべての妥当なねじれK理論の定義は、固定された標準写像にホモトピックな写像から生じるため、一意性が保証される。
• 特に $BSU_\otimes$ 成分において、スペクトル的計算を用いてEilenberg-MacLane空間がK理論スペクトルに作用する際の消滅結果が得られた。