[论文解读] The Geometry of Bundle Gerbes

Danny Stevenson|ArXiv.org|Apr 18, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 70

一句话总结

本文引入了束2-gerbe的概念，作为束gerbe的高维推广，定义了束2-gerbe联络与2-曲率。它为任意束2-gerbe建立了H⁴(M; ℤ)中的典范类，并证明该类的平凡性恰好对应于束2-gerbe是稳定平凡的，且推测束2-gerbe的稳定2-同构类与H⁴(M; ℤ)之间存在双射。

ABSTRACT

This thesis reviews the theory of bundle gerbes and then examines the higher dimensional notion of a bundle 2-gerbe. The notion of a bundle 2-gerbe connection and 2-curving are introduced and it is shown that there is a class in $H^{4}(M;\Z)$ associated to any bundle 2-gerbe.

研究动机与目标

• 开发束2-gerbe的几何理论，作为束gerbe的高维类比。
• 定义束2-gerbe联络与2-曲率，扩展束gerbe的微分几何结构。
• 为任意束2-gerbe关联一个H⁴(M; ℤ)中的典范特征类，并刻画其平凡性。
• 建立束2-gerbe的稳定2-同构类与H⁴(M; ℤ)之间猜想的双射。

提出的方法

• 使用单纯技巧与几何实现来建模高阶范畴结构。
• 通过单纯束gerbe与稳定态射定义束2-gerbe，推广束gerbe的概念。
• 利用微分形式与曲率数据引入束2-gerbe联络与2-曲率。
• 应用Čech、Deligne与de Rham上同调，比较与束2-gerbe相关的特征类。
• 构造分类映射，并将束2-gerbe与由sheaf C×_M所界定的2-gerbe联系起来。
• 使用对偶性与稳定束2-gerbe的张量积分析其特征类。

实验结果

研究问题

• RQ1 束gerbe在四维的正确几何与微分几何推广是什么？
• RQ2 如何为束2-gerbe定义联络与曲率（2-曲率）？
• RQ3 与束2-gerbe相关联的H⁴(M; ℤ)中的特征类是什么？它分类了什么？
• RQ4 何时一个稳定束2-gerbe是平凡的？它与特征类有何关系？
• RQ5 是否存在束2-gerbe的稳定2-同构类与H⁴(M; ℤ)之间的双射？

主要发现

• 束2-gerbe自然导出H⁴(M; ℤ)中的一个类，这是该对象的主要特征不变量。
• 根据推论13.1，一个稳定束2-gerbe是平凡的，当且仅当其关联的H⁴(M; ℤ)类为零。
• 对偶束2-gerbe Q* 的四类是Q类的相反数，而张量积Q₁ ⊗ Q₂ 的类是Q₁与Q₂类的和。
• 从稳定束2-gerbe构造2-gerbe的过程表明，H⁴(M; ℤ)中的类在此对应下保持不变。
• 本文提供了一个框架，用于比较与束2-gerbe相关的Čech、Deligne与de Rham类，表明它们在上同调意义下等价。
• 该猜想——即束2-gerbe的稳定2-同构类与H⁴(M; ℤ)之间存在双射——得到支持，因为H⁴(M; ℤ)中的每个类都可作为某个稳定束2-gerbe的类出现。