[论文解读] Mapping spaces and R-completion

David Blanc, Debasis Sen|arXiv (Cornell University)|Apr 22, 2013

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

一句话总结

本文通过引入一个基于 $\mathbf{\Theta}_R$ 的单纯化丰富范畴，为单纯集 $X$ 何时可表示为映射空间 $\operatorname{map}_*(Y, A)$（其中 $A = K(R,n)$ 且 $R = \mathbb{F}_p$ 或 $\mathbb{Q}$）提供了完整的刻画。关键结果是：此类 $X$ 在 $R$-同伦等价意义下具有唯一的 $Y$ 实现，从而通过余单纯化解和谱序列，为 $R$-完备化提供了一套新的同伦论框架。

ABSTRACT

We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of a mapping algebra structure on X (defined in terms of product-preserving simplicial functors out of a certain simplicially-enriched sketch). In addition, when A is a suitable infinite loop space for a suitable connective ring spectrum, we can recover Y from map(Y,A) given such a mapping algebra structure. Most importantly, our methods provide a new way of looking at the classical Bousfield-Kan R-completion.

研究动机与目标

• 确定一个单纯集 $X$ 何时弱同伦等价于 $\operatorname{map}_*(Y, A)$（给定空间 $A$），特别是当 $A = K(R,n)$ 且 $R = \mathbb{F}_p$ 或 $\mathbb{Q}$ 时。
• 通过在 $X = \operatorname{map}_*(Y, A)$ 上附加代数结构，从 $X$ 重构 $Y$ 的同伦类型，直至 $A$-同伦等价。
• 通过映射代数与余单纯化解，为经典 $R$-完备化提供新的同伦论解释。
• 将 $Y$ 的重构从 $K(R,n)$ 扩展至适合的连通环谱 $\mathcal{A}$ 的 $\Omega^\infty\mathcal{A}$，并使用相同的结构框架。

提出的方法

• 定义一个由 $K(R,n)$ 及其带基点的映射空间生成的单纯化丰富范畴 $\mathbf{\Theta}_R$，以编码映射代数所需的结构。
• 将 $\mathbf{\Theta}_R$-映射代数定义为从 $\mathbf{\Theta}_R$ 到单纯集的保持乘积的单纯函子，以建模 $\operatorname{map}_*(Y, A)$ 的同伦类型。
• 利用 $\mathbf{\Theta}_R$-映射代数的自由单纯化解的余单纯化解，将 $Y$ 实现为一个 Reedy 纤维化余单纯空间的总化空间。
• 对余单纯空间 $\mathbf{W}^\bullet$ 的总化空间应用同调谱序列，证明其强收敛性，并确保所得空间 $Y$ 的 $R$-完备性。
• 通过双单纯群的对角化，建立总化空间 $Y$ 的映射代数与原始 $X$ 之间的弱同伦等价。
• 利用 Quillen 的谱序列与强收敛性定理，证明 $H_*(Y; R) \cong \Lambda^\dagger$，从而确保 $Y$ 是 $R$-完备的，且在 $R$-同伦等价意义下唯一确定。

实验结果

研究问题

• RQ1 当 $R = \mathbb{F}_p$ 或 $\mathbb{Q}$ 时，一个单纯集 $X$ 何时弱同伦等价于 $\operatorname{map}_*(Y, K(R,n))$？
• RQ2 在 $X$ 上需要何种额外代数结构，才能实现 $Y$ 在 $R$-同伦等价意义下的重构？
• RQ3 如何通过映射代数与余单纯化解重新解释 $R$-完备化？
• RQ4 能否将 $Y$ 的重构从 $K(R,n)$ 扩展至连通环谱 $\mathcal{A}$ 的 $\Omega^\infty\mathcal{A}$？
• RQ5 何种条件可确保一个 $\mathbf{\Theta}_R$-映射代数源于一个单连通的 $R$-完备空间 $Y$？

主要发现

• 对任意单连通的 $\mathbf{\Theta}_R$-映射代数 $\mathfrak{X}$（$R = \mathbb{F}_p$ 或 $\mathbb{Q}$），存在唯一的单连通 $R$-完备空间 $Y$，使得 $\mathfrak{X}$ 弱同伦等价于 $\mathfrak{M}_R(Y)$。
• 对 $\mathbf{\Theta}_R$-代数 $\Lambda$ 的自由化解 $V_\bullet \to \Lambda$ 的余单纯化解 $\mathbf{W}^\bullet$ 构成一个 Reedy 纤维化余单纯空间，满足 $\pi_n V_\bullet\{K(R,i)\} \cong \Lambda\{K(R,i)\}$ 在度数 0 处成立，其余度数为 0。
• 同调谱序列 $E^2_{m,t} \cong \pi^m H_t(\mathbf{W}^\bullet; R) \Rightarrow H_{t-m}(\operatorname{Tot}\mathbf{W}^\bullet; R)$ 强收敛，确保总化空间 $Y = \operatorname{Tot}\mathbf{W}^\bullet$ 是单连通且 $R$-完备的。
• 总化空间 $Y$ 满足 $H_*(Y; R) \cong \Lambda^\dagger$，因此 $Y$ 在 $\mathbf{\Theta}_R$-映射代数的弱同伦等价意义下实现了 $\mathfrak{X}$。
• 自然映射 $c(Y)^\bullet \to \mathbf{W}^\bullet$ 诱导出一个弱同伦等价的单纯 $\mathbf{\Theta}_R$-映射代数 $\mathfrak{M}_R(Y) \to \mathfrak{Z} = \|\mathfrak{W}_\bullet\|$，从而确立了 $Y$ 的重构。
• 在假设 $Y$ 为 $R$-完备的前提下，$Y$ 的弱同伦等价唯一性由 [BK1, I, Lemma 5.5] 推出。