arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1102.1234math.AT
收藏

结构环谱的同伦完备化和拓扑Quillen同调

Homotopy completion and topological Quillen homology of structured ring spectra

John E. Harper, Kathryn Hess

摘要:

在对称谱的背景下,我们描述和研究了交换环谱上的模范畴中运算上的代数和左模的同伦完备塔(例如,结构环光谱)。证明了一个强收敛定理,即对于0-连通代数和(-1)-连通算子上的模,同伦完备塔在拓扑Quillen同调和单位函子之间具有强插值性.通过系统地利用强收敛性,我们证明了几个关于代数和算子上模的拓扑Quillen同调的定理。这些包括一个定理有关有限性质的拓扑奎伦同调群和同伦群,可以被认为是一个谱代数模拟塞尔的有限性定理的空间和H. R。单纯交换环的Miller有界性结果(但形式相反).我们还证明了绝对和相对Hurewicz定理和相应的Whitehead定理拓扑Quillen同调。此外,我们证明了一个刚性定理,我们用它来描述完成拓扑Quillen同调(或TQ-完成)。TQ-完备化构造可以被认为是沙利文空间的局部化和完备化、Bousfield-Kan空间关于同调的完备化、Carlsson和Arone-Kankaanrinta空间关于稳定同伦的完备化和空间的局部化的谱代数类似。我们证明了无界链复形中算子上的代数和左模的类似结果。

英文摘要:

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence theorem that for 0-connected algebras and modules over a (-1)-connected operad, the homotopy completion tower interpolates (in a strong sense) between topological Quillen homology and the identity functor. By systematically exploiting strong convergence, we prove several theorems concerning the topological Quillen homology of algebras and modules over operads. These include a theorem relating finiteness properties of topological Quillen homology groups and homotopy groups that can be thought of as a spectral algebra analog of Serre's finiteness theorem for spaces and H.R. Miller's boundedness result for simplicial commutative rings (but in reverse form). We also prove absolute and relative Hurewicz theorems and a corresponding Whitehead theorem for topological Quillen homology. Furthermore, we prove a rigidification theorem, which we use to describe completion with respect to topological Quillen homology (or TQ-completion). The TQ-completion construction can be thought of as a spectral algebra analog of Sullivan's localization and completion of spaces, Bousfield-Kan's completion of spaces with respect to homology, and Carlsson's and Arone-Kankaanrinta's completion and localization of spaces with respect to stable homotopy. We prove analogous results for algebras and left modules over operads in unbounded chain complexes.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑