[论文解读] 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-理论，证明了在复数和实数情况下，扭曲K-理论的唯一性。具体而言，所有从Eilenberg-MacLane空间 $K(\mathbb{Z},3)$ 到 $BGL_1K$ 以及从 $K(\mathbb{Z}/2,2)$ 到 $BGL_1KO$ 的映射，其同伦类均由源空间的自同态唯一确定。关键结果是，此类映射的空间分别同构于 $\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-理论的唯一性。
• 对从Eilenberg-MacLane空间 $K(\mathbb{Z},3)$ 和 $K(\mathbb{Z}/2,2)$ 到$K$-理论谱单位群的分类空间 $BGL_1K$ 和 $BGL_1KO$ 的映射进行分类。
• 证明所有此类映射在同伦意义下由源空间的自同态唯一确定，从而确保不同定义之间的一致性。
• 通过谱计算，提供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$ 关联起来。
• 利用 $PU(\mathcal{H}) \simeq K(\mathbb{Z},3)$ 对Fredholm算子的作用，在Joachim的$K$-理论谱上构造谱层次的作用。
• 证明 $PU(\mathcal{H})$ 对Joachim谱的共轭作用诱导出一个到 $GL_1K$ 的 $A_\infty$-映射，其延拓为映射 $K(\mathbb{Z},3) \to BGL_1K$。

实验结果

研究问题

• RQ1 所有从 $K(\mathbb{Z},3)$ 到 $BGL_1K$ 的映射是否同伦于通过 $K(\mathbb{Z},3)$ 的映射？
• RQ2 $[K(\mathbb{Z},3), BGL_1K]$ 的同伦类映射群是什么？
• RQ3 当不同定义的扭曲$K$-理论源于映射到 $BGL_1K$ 时，它们之间有何关系？
• RQ4 $BSU_\otimes$ 分量在分类从 $K(\mathbb{Z},3)$ 到 $BGL_1K$ 的映射中起什么作用？
• RQ5 $PU(\mathcal{H})$ 对Fredholm算子的作用能否用于构造一个良定义的扭曲$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$-理论谱的共轭作用诱导出一个良定义的 $A_\infty$-映射 $K(\mathbb{Z},3) \to BGL_1K$，实现标准扭曲。
• 所有合理的扭曲$K$-理论定义均源于与固定标准映射同伦的映射，从而确保唯一性。
• 通过谱计算，特别是 $BSU_\otimes$ 分量，获得了Eilenberg-MacLane空间作用于$K$-理论谱时的消去结果。