[论文解读] Generalized cohomology of pro-spectra

Daniel C. Isaksen|ArXiv.org|Aug 13, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 8

一句话总结

本文在pro-谱上建立了闭模型结构，其中弱等价性由稳定同伦pro-群检测，从而实现了具有良好行为的Atiyah-Hirzebruch谱序列。关键贡献在于为pro-谱构建了一种广义上同调理论，该理论通过此谱序列正确计算了拓扑K-理论及其他广义上同调理论，解决了朴素上确界定义在pro-谱上失效的问题。

ABSTRACT

We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the classical Whitehead theorem for spectra. We establish an Atiyah-Hirzebruch spectral sequence in this context, which makes possible the computation of topological K-theory (and other generalized cohomology theories) of pro-spectra.

研究动机与目标

• 为pro-谱上的广义上同调理论建立同伦论基础。
• 解决在pro-谱上朴素上确界定义的K-理论失效问题，该问题导致谱序列收敛性差。
• 在pro-谱上构造一个闭模型结构，其中弱等价性由稳定同伦pro-群检测。
• 建立一个能计算pro-谱广义上同调且收敛性质良好的谱序列。
• 为平展K-理论、同伦固定点以及特征为p的域上的二次型等应用提供框架。

提出的方法

• 通过pro-同伦群定义pro-谱上的闭模型结构，其中纤维化和弱等价性由pro-同伦群决定。
• 将pro-谱$X$的广义上同调定义为$E^r(X) = [Σ^{-r}X, E]_{\textup{pro}}$，其中$E$为常值pro-谱。
• 构造一个Atiyah-Hirzebruch谱序列，其$E_2$-项为$E_2^{p,q} = H^{-p}(X; \pi_{-q}Y)$，并收敛至$[X,Y]_{\textup{pro}}^{p+q}$。
• 在$X$或$Y$满足有下界的假设下，证明谱序列的条件收敛性。
• 使用谱的Postnikov塔作为pro-谱模型结构中的纤维化替换。
• 应用长正合序列和滤子上确界分析谱序列的收敛性，并在上确界中验证同构性。

实验结果

研究问题

• RQ1 为何在pro-谱上朴素上确界定义的广义上同调无法正确计算K-理论？
• RQ2 能否构造一个pro-谱上的闭模型结构，使得弱等价性由稳定同伦pro-群检测？
• RQ3 pro-谱上是否存在一个收敛性良好的Atiyah-Hirzebruch谱序列？
• RQ4 在何种条件下谱序列条件收敛至正确的上同调群？
• RQ5 通过其Postnikov塔对谱进行纤维化替换，如何与pro-谱的广义上同调相关联？

主要发现

• pro-谱的Atiyah-Hirzebruch谱序列的$E_2$-项为$E_2^{p,q} = H^{-p}(X; \pi_{-q}Y)$，在有下界假设下条件收敛至$[X,Y]_{\textup{pro}}^{p+q}$。
• 当$X$本质上是逐级有下界的，或当$Y$为常值且$* \to X$为本质上逐级$n$-等价时，谱序列条件收敛。
• 朴素定义$KU^*(X) = \operatorname{colim}_s KU^*(X_s)$在计算上失败，因为各水平$X_s$的Atiyah-Hirzebruch谱序列的上确界收敛性不佳。
• 纤维化pro-谱是其同伦群有上界的谱的逆向系，而$KU$的Postnikov塔可作为常值pro-谱$KU$的纤维化替换。
• 在有下界假设下，pro-谱的Whitehead定理成立：弱等价性由上同调同构检测。
• 对每个水平$X_s$的谱序列的上确界无法正确计算$KU^*(X)$，但新模型结构提供了正确且可计算的替代方案。