[论文解读] Units of ring spectra and Thom spectra

Matthew Ando, Andrew J. Blumberg+3 more|ArXiv.org|Oct 24, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 35被引用 43

一句话总结

本文利用现代同伦论，在 $E_\infty$ 和 $A_\infty$ 环谱中建立了一个关于 Thom 谱与定向的统一框架。证明了单位谱 $gl_1A$ 是 $Σ^\infty_+\Omega^\infty$ 函子的右伴随，并表明一个 $A$-模 Thom 谱 $Mf$ 允许 $R$-定向当且仅当复合映射 $B \to BGL_1A \to BGL_1R$ 同伦于零，从而推广了经典定向的障碍理论。

ABSTRACT

We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note that BGL(A) classifies the twists of A-theory. We develop and compare two approaches to the theory of Thom spectra. The first involves a rigidified model of A-infinity and E-infinity spaces. Our second approach is via infinity categories. In order to compare these approaches to one another and to the classical theory, we characterize the Thom spectrum functor from the perspective of Morita theory.

研究动机与目标

• 将经典 Thom 谱定向的障碍理论推广至 $A_\infty$ 环谱。
• 以现代同伦论一致的方式表述环谱单位的结构，将其作为 $Σ^\infty_+\Omega^\infty$ 的右伴随。
• 利用 $∞$-范畴与参数化谱，统一 $E_\infty$ 与 $A_\infty$ 设置下 Thom 谱的理论。
• 通过 Morita 理论刻画 Thom 谱函子，将其与线丛及可逆模的几何联系起来。

提出的方法

• 使用 [HTT] 中的 $∞$-范畴框架来建模参数化谱，并通过左凯南扩张定义 Thom 谱。
• 将单位谱 $gl_1A$ 构造为 $Σ^\infty_+\Omega^\infty$ 的右伴随，从而在连通谱与 $E_\infty$ 环谱的同伦范畴中建立导出伴随关系。
• 对于 $A$ 为 $A_\infty$ 环谱的情形，通过图 $B \to BGL_1A \to \mathrm{Mod}_A$ 的余极限定义 $A$-模 Thom 谱 $Mf$，其中 $f: B \to BGL_1A$ 分类一个线丛。
• 利用伴随关系与同伦拉回，在 $R$-模的 $∞$-范畴中，通过映射空间的拉回刻画 $Mf$ 的 $R$-定向空间。
• 建立两种等价方法：一种使用 [Blum05, BCS08] 中的 $A_\infty$ 空间的刚性化模型；另一种使用 $∞$-范畴与对称张量结构。
• 应用 Morita 理论，证明 Thom 谱函子通过其作为从 $R$-代数到 $R$-线丛的遗忘函子的左伴随的普遍性质被唯一刻画。

实验结果

研究问题

• RQ1 如何利用现代 $∞$-范畴与同伦代数语言重新表述经典 Thom 谱定向的障碍理论？
• RQ2 对于 $E_\infty$ 环谱 $A$，其单位谱 $gl_1A$ 的精确同伦性质是什么？它与 $Σ^\infty_+\Omega^\infty$ 函子有何关系？
• RQ3 能否以一种同伦一致且可计算的方式，将 Thom 谱与定向的理论从 $E_\infty$ 扩展到 $A_\infty$ 环谱？
• RQ4 两种不同方法——刚性化空间与 $∞$-范畴——如何给出 Thom 谱函子的等价构造？
• RQ5 Morita 理论在将 Thom 谱函子刻画为普遍构造中起什么作用？

主要发现

• 单位谱 $gl_1A$ 是从连通谱到 $E_\infty$ 环谱的函子 $Σ^\infty_+\Omega^\infty$ 的右伴随，从而建立了导出伴随关系。
• 一个 $E_\infty$ $A$-代数 Thom 谱 $Mf$ 存在到 $E_\infty$ $R$-代数的映射，当且仅当复合映射 $b \to bgl_1A \to bgl_1R$ 同伦于零，推广了经典障碍条件。
• 对于 $A$ 为 $A_\infty$ 环谱的情形，与 $f: B \to BGL_1A$ 关联的 $A$-模 Thom 谱 $Mf$ 允许 $R$-定向，当且仅当 $B \to BGL_1A \to BGL_1R$ 同伦于零，将障碍理论扩展至 $A_\infty$ 设置。
• $Mf$ 的 $R$-定向空间同伦等价于将 $f$ 提升至平凡线丛的提升空间，该空间在 $R$-模的 $∞$-范畴中通过同伦拉回实现。
• 与 $R$-线丛上的恒等映射相关的 Thom 谱 $MR$ 同伦等价于 $R^\circ / \mathrm{Aut}(R^\circ)$，即单位球面关于其自同构群的同伦商。
• 通过 Morita 理论实现理论统一：Thom 谱函子被刻画为从 $R$-代数到 $R$-线丛的遗忘函子的左伴随，从而提供了其普遍性质。