[论文解读] Bundle gerbes: stable isomorphism and local theory

Michael K. Murray, Daniel Stevenson|ArXiv.org|Aug 26, 1999

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

一句话总结

本文引入了丛丛的稳定同构，建立了流形 M 上丛丛的稳定同构类与第三整上同调群 H^3(M, Z) 之间的双射对应。通过发展局部理论并利用 Gajer 关于 BC^x 丛的工作，作者构建了丛丛的分类理论，提供了清晰的上同调分类，阐明了其整体结构与等价关系。

ABSTRACT

We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles.

研究动机与目标

• 定义并分析丛丛的稳定同构，这是同构的一种推广，尊重张量积与平凡化。
• 通过引入稳定同构，澄清丛丛的局部结构，简化其分类。
• 利用 Gajer 关于 BC^x 丛的结果，建立丛丛的分类理论。
• 证明丛丛的稳定同构类与 H^3(M, Z) 之间存在双射对应，提供一个上同调不变量。

提出的方法

• 将稳定同构定义为尊重张量积与平凡化的丛丛上的等价关系。
• 使用局部平凡化与过渡数据，分析开覆盖上丛丛的结构。
• 应用 Gajer 的 BC^x 丛理论，构建丛丛的分类空间。
• 通过稳定同构类证明丛丛平凡化的障碍位于 H^3(M, Z) 中。
• 使用 Čech 上同调与丛丛上链，建立稳定同构类与 H^3(M, Z) 之间的双射。
• 利用稳定同构保持 Dixmier-Douady 类这一事实，该类对丛丛在稳定同构下的分类起决定性作用。

实验结果

研究问题

• RQ1 如何定义丛丛上的等价关系，以捕捉其本质的几何与拓扑不变量，而不仅限于严格同构？
• RQ2 稳定同构在简化丛丛的局部理论中起什么作用？
• RQ3 能否使用上同调不变量对丛丛进行分类？如果是，哪个上同调群对它们进行分类？
• RQ4 Gajer 工作中使用的 BC^x 丛如何促进丛丛的分类理论的建立？
• RQ5 丛丛的稳定同构类与其在 H^3(M, Z) 中的 Dixmier-Douady 类之间的确切关系是什么？

主要发现

• 流形 M 上丛丛的稳定同构类与第三整上同调群 H^3(M, Z) 的元素之间存在双射对应。
• 稳定同构为理解丛丛的局部结构（特别是过渡数据与平凡化）提供了自然框架。
• 利用 Gajer 关于 BC^x 丛的结果，构建了丛丛的分类理论，使得 H^3(M, Z) 中的上同调类得以几何实现。
• 丛丛的 Dixmier-Douady 类在稳定同构下保持不变，确认了其作为完整不变量的角色。
• 本文证明，丛丛可平凡化的障碍在稳定同构下精确地由其在 H^3(M, Z) 中的类所度量。
• 该理论表明，稳定同构是分类丛丛至几何与拓扑等价关系的正确等价关系。