[论文解读] Products and push-forwards in parametrised cohomology theories

Robert Waldmuller|arXiv (Cornell University)|Nov 8, 2006

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

一句话总结

该论文在带有 $E_∞$-operad 作用的基空间 $B$ 上的稳定参数化同伦类别上构建了一个对称单性结构，使得能够构造乘法参数化上同调理论。它证明了扭曲 K-理论和 $Spin^c$-cobordism 可以表示为关于 $BPU \cong K(\mathbb{Z},3)$ 的参数化环谱，并通过显式构造乘法结构，正确地通过截面乘积追踪了扭曲的加法。

ABSTRACT

We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories corresponding to parametrised ring spectra. Finally, we construct parametrised ring spectra representing twisted K-theory and twisted Spinc-cobordism.

研究动机与目标

• 在具有 $E_\infty$-operad 作用的基空间 $B$ 上，定义稳定参数化同伦类别 $Ho\mathcal{S}_B$ 上的对称单性结构。
• 构造乘法参数化上同调理论，使其通过杯积正确地建模扭曲的加法。
• 将 $H^3$-扭曲 K-理论表示为关于 $BPU \cong K(\mathbb{Z},3)$ 的参数化环谱。
• 通过构造一个具有相容 $PU$-作用的参数化 $MSpin^c$-谱，将该框架扩展至 $Spin^c$-cobordism。
• 证明参数化方向 $\beta$ 在上同调理论层面诱导出经典的 $MSpin^c \to K$ 方向。

提出的方法

• 利用 $B$ 上的 $E_\infty$-作用，在 $Ho\mathcal{S}_B$ 上引入对称单性结构 $\underline{p}$，确保截面乘积尊重扭曲的加法。
• 将 $BPU$ 上的参数化 $K$-谱 $\mathcal{E}_{K}$ 构造为 $EPU \times_{PU} Fred(\mathbf{H})$，其纤维为 $Fred(\mathbf{H})$，且通过共轭作用实现 $PU$-作用。
• 通过 Thom 空间 $Th(\mathbf{U}^{0}_{H(V)} \times_{Spin^c(V)} V)$ 定义 ex-谱 $\mathcal{M}_{Spin^c}$ 的结构映射，使用表示 $\varrho(V)$。
• 为 ex-谱 $\mathcal{M}_{Spin^c}$ 赋予与 $\mathcal{P}$-代数结构相容的 $PU$-作用，确保等变性。
• 将参数化方向 $\beta = 1 \times \alpha$ 定义为从 $\mathcal{M}_{Spin^c}$ 到 $\mathcal{K}$ 的 $PU$-等变 $\mathcal{P}$-谱映射。
• 通过伴随关系和同伦单位构造图中的同伦等价 $\psi_1$ 和 $\psi_2$，证明参数化方向的相容性。

实验结果

研究问题

• RQ1 当基空间 $B$ 允许 $E_\infty$-operad 作用时，如何在稳定参数化同伦类别 $Ho\mathcal{S}_B$ 上定义对称单性结构？
• RQ2 如何构造乘法参数化上同调理论，使得扭曲类的杯积能正确地加法对应其扭曲？
• RQ3 $H^3$-扭曲 K-理论能否表示为关于 $BPU \cong K(\mathbb{Z},3)$ 的参数化环谱，并具有明确定义的乘法结构？
• RQ4 是否存在一个自然的 $BPU$ 上的参数化 $MSpin^c$-谱，支持与 $PU$-作用相容的乘法结构？
• RQ5 参数化方向 $\beta$ 是否在上同调理论层面诱导出经典的 $MSpin^c \to K$ 方向？

主要发现

• 为具有 $E_\infty$-operad 作用的基空间 $B$ 构造了 $Ho\mathcal{S}_B$ 上的对称单性结构 $\underline{p}$，使得参数化上同调理论能够具备乘法结构。
• 证明了 $BPU$ 上的参数化 $K$-谱 $\mathcal{E}_{K}$ 是一个参数化环谱，从而将 $H^3$-扭曲 K-理论实现为一个乘法理论。
• 参数化方向 $\beta: \mathcal{M}_{Spin^c} \to \mathcal{K}$ 被构造为 $PU$-等变的 $\mathcal{P}$-谱映射，并在上同调理论层面诱导出经典的 $MSpin^c \to K$ 方向。
• 证明了 ex-谱 $\mathcal{M}_{Spin^c}$ 是一个关于 $BPU$ 的参数化环谱，其 $PU$-作用与结构映射通过 Thom 空间定义且相容。
• 该构造确保了 $\alpha$-扭曲类与 $\beta$-扭曲类的杯积结果为 $(\alpha + \beta)$-扭曲类，正确地建模了扭曲的加法。
• 同伦等价 $\psi_1$ 和 $\psi_2$ 的证明依赖于在路径空间上扩展同构，并利用了 $EPU$ 的主丛的连通性。