[论文解读] Homotopy Transition Cocycles

James F. Wirth, Jim Stasheff|ArXiv.org|Sep 7, 2006

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

一句话总结

本文提出了一种同伦理论框架，通过使用满足更高阶同伦一致性条件的转移上链（而非严格的上链恒等式），对局部同伦平凡纤维丛进行分类。通过将转移函数建模为强同伦意义下的函子（即同伦一致函子），并利用同伦自同构群的分类空间实现，作者建立了纤维丛的纤维同伦类与映射到分类空间 BH(F) 的同伦类之间的 1-1 对应关系，将经典丛分类推广至同伦范畴。

ABSTRACT

For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db o H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only that $g\dab g\dbgam$ is homotopic to $g\dagam$ as a map of $U\da\cap U\db\cap U\dgam$ into $H$. Moreover on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The full theory was worked out by the first author in his 1965 Notre Dame thesis \cite{wirth:diss}. Here we present it using language that has been developed in the interim. We also show how this points a direction `on beyond gerbes'.

研究动机与目标

• 将经典纤维丛分类中基于转移函数的方法推广至同伦理论设定，其中上链条件被弱化为同伦一致性。
• 形式化多重交集上高阶同伦的作用作为分类纤维丛的必要数据，而非仅作为校正项。
• 使用同伦一致范畴与分类空间的工具，对 Wirth 于 1965 年的纤维丛论文提供现代化、语言优化的阐述。
• 将该理论与叠（gerbes）及高阶规范理论联系起来，表明叠是具有截断一致性的同伦转移上链的特例。
• 通过映射到 BH(F)（即纤维自同伦自同构群的分类空间）的同伦类，建立纤维丛的分类定理。

提出的方法

• 将转移函数 $ g_{\alpha\beta} : U_\alpha \cap U_\beta \to H(F) $ 建模为映射到纤维 $ F $ 的同伦自同构群 $ H(F) $，取代经典丛中的结构群 $ G $。
• 用同伦一致性条件替代严格的上链条件：在三重交集中有 $ g_{\alpha\beta}g_{\beta\gamma} \simeq g_{\alpha\gamma} $。
• 使用从拓扑范畴 $ \mathcal{U} $（由覆盖 $ \{U_\alpha\} $ 定义）到范畴 $ H(F) $ 的同伦一致函子概念，编码多重重叠上的高阶同伦。
• 将拓扑范畴 $ \mathcal{U} $ 实现为一个空间 $ |\mathcal{U}| $，其具有可数覆盖下基空间 $ B $ 的同伦型。
• 通过复合 $ B \simeq |\mathcal{U}| \to |H(F)| = BH(F) $ 构造一个分类映射 $ f: B \to BH(F) $，该映射由同伦一致函子诱导。
• 应用 Wirth 的粘贴/粘合定理（映射柱构造）从同伦一致转移数据重构一个纤维丛，确保所得对象为真正的纤维丛。

实验结果

研究问题

• RQ1 经典纤维丛的转移上链条件如何推广至结构映射仅在同伦意义下定义的纤维丛？
• RQ2 多重交集上的高阶同伦在纤维丛分类中起什么作用？如何系统地编码这些结构？
• RQ3 纤维自同伦自同构群的分类空间 $ BH(F) $ 是否可作为局部同伦平凡纤维丛的普遍分类空间？
• RQ4 同伦转移上链理论与叠理论有何关联？叠在何种意义上是该框架的特例？
• RQ5 Wirth 所形式化的纤维丛公理体系在多大程度上可用于统一不同几何与同伦背景下的分类结果？

主要发现

• 在可数覆盖上局部同伦平凡的纤维丛 $ p: E \to X $ 的纤维同伦等价类，与映射 $ X \to BH(F) $ 的同伦类之间存在 1-1 对应关系，其中 $ H(F) $ 为纤维的自同伦自同构群。
• 分类映射 $ f: X \to BH(F) $ 由同伦一致转移函数通过覆盖范畴 $ \mathcal{U} $ 的单纯复形实现构造，且从 universal fibration $ UE \to BH(F) $ 拉回可恢复原始纤维丛（至纤维同伦等价）。
• 从转移数据构造分类映射在同伦意义下是良定义的，且逆向构造（universal fibration 的拉回）给出与原始纤维丛同伦等价的纤维丛，从而确立了分类。
• 多重交集上的高阶同伦并非辅助校正项，而是定义同伦一致函子的必要数据，其一致性等价于纤维丛结构的存在性。
• 叠作为同伦转移上链的特例出现，其一致性数据为严格形式（通过可逆元素的共轭实现），而高阶叠对应于转移数据中更高层次的一致性。
• 该理论为‘追踪堆栈’及代数几何中的高阶结构提供了基础，同伦一致函子与分类空间的框架为高阶规范理论与导出几何中的下降理论提供了自然的语言。