[论文解读] Multiplicative structures on homotopy spectral sequences II

Daniel Dugger|ArXiv.org|May 13, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 17

一句话总结

本文通过应用导出函子技巧和符号修正的上积，建立了若干经典同伦谱序列（如Postnikov/Whitehead、Bockstein、同伦固定点和Leray-Serre谱序列）上的乘法结构。关键贡献在于对谱序列配对中符号惯例的系统性处理，确保通过Koszul符号规则与分次环结构相容，且明确建立了$E_2$-项与层上同调或奇异上同调群之间的同构关系。

ABSTRACT

The paper summarizes the construction of pairings on some standard spectral sequences in algebraic topology.

研究动机与目标

• 为标准同伦谱序列上的乘法结构提供一个严格的框架，修正经典构造中的符号模糊性。
• 通过将定理6.1应用于[D1]的结果，推导出具有受控符号的谱序列配对。
• 通过全局同构结构，将谱序列的$E_2$-项与熟悉的上同调群（如奇异或层上同调）相联系。
• 利用分次上链复中的Koszul符号惯例，解决谱序列之间上积配对中的符号问题。
• 证明Leray-Serre谱序列继承了一个与纤维化空间外部积相容的乘法结构，仅相差一个符号因子。

提出的方法

• 使用导出函子和符号$\underline{\wedge}$处理谱范畴中导出 smash 积。
• 应用符号修正的微分与上积公式：$\delta\alpha = -(-1)^n \alpha(\partial c)$ 与 $(\alpha \cup \beta)(c \otimes d) = (-1)^{qp} \alpha(c) \cdot \beta(d)$，确保符合Koszul符号规则。
• 通过预层$V \mapsto \mathcal{E}^{-p}(S^q \wedge V_+)$的层化处理，利用层上同调识别下降谱序列的$E_2$-项。
• 利用自然变换$\eta_{p,q}$建立$E_2$-项与上同调群之间的全局同构，确保与外部积相容。
• 应用超覆盖$|U_*|$的骨架过滤构造计算$\operatorname{\mathcal{F}}(X, H\mathbb{Z})$的谱序列，当$X$局部可缩时，与奇异上同调相联系。
• 使用悬垂同构与对角映射，将$E_2$-项上的配对与层上同调积联系起来，校正因子为$(-1)^{t(p+q)}$。

实验结果

研究问题

• RQ1 如何在来自过滤空间、塔结构和纤维丛的谱序列上一致地定义乘法结构？
• RQ2 需要何种符号惯例，才能确保$E_2$-项上的上积与上同调中的经典外部积相对应？
• RQ3 下降谱序列的$E_2$-项如何与层上同调相关联？其配对的精确形式是什么？
• RQ4 Leray-Serre谱序列能否被赋予与纤维积配对相容的乘法结构？
• RQ5 超覆盖与骨架过滤在将谱序列实现为奇异上同调的导出函子方面起什么作用？

主要发现

• 当通过Koszul规则修正符号后，Atiyah-Hirzebruch谱序列具有乘法结构，且$E_2$-项作为双分次环同构于$\oplus_{p,q} H^p(X; E^q)$。
• 与超覆盖$U_*$相关的下降谱序列的$E_2$-项，全局同构于$H^q_{\text{shf}}(X, \mathcal{G}^{p,q})$，其中$\mathcal{G}^{p,q}$是预层$V \mapsto \mathcal{E}^{-p}(S^q \wedge V_+)$的层化。
• 对于Leray-Serre谱序列，$E_2$-项同构于$H^q_{\text{shf}}(B, \mathcal{H}^{-p-q}(F))$，且$E_2$-项上的配对由带符号因子$(-1)^{t(p+q)}$的层上同调积给出。
• 当$X$和$Y$局部可缩时，$X \times Y$的下降谱序列恢复了$|\pi_0(U)|$的Atiyah-Hirzebruch谱序列，表明不同构造之间的一致性。
• $E_2$-项上Leray-Serre谱序列的配对与层上同调积全局同构，仅相差一个符号校正，确保与上同调中外部积相容。
• Leray-Serre谱序列上的乘法结构源于谱序列配对与对角映射的复合，符号校正来自悬垂同构与Koszul规则。