[论文解读] THE BASIC GERBE OVER A COMPACT SIMPLE LIE GROUP

Eckhard Meinrenken|arXiv (Cornell University)|Sep 16, 2002

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

一句话总结

本文通过为等变丛联络的等变丛联络使用一种新颖的拼接构造方法，构建了在紧致、单连通、单李群 G 上的基本等变 gerbe。该研究提供了 $ H^3_G(G,\bbZ) $ 的生成元的有限维显式实现，将此前针对 SU(N) 的工作推广至所有此类群，借助共轭类与中心扩张，通过一种新的拼接规则解决了障碍问题。

ABSTRACT

Let $G$ be a compact, simply connected simple Lie group. We give a construction of an equivariant gerbe with connection on $G$, with equivariant 3-curvature representing a generator of $H^3_G(G,\Z)$. Technical tools developed in this context include a gluing construction for gerbes and a theory of equivariant bundle gerbes.

研究动机与目标

• 为任意紧致、单连通、单李群 G 构建一个显式、有限维的等变丛 gerbe，带有连接结构，并在共轭作用下保持等变性。
• 解决将 Gaw{\'e}dzki-Reis 构造从 SU(N) 扩展至一般紧致单李群时的障碍，其中 gerbe 拉回到共轭类时可能非平凡。
• 发展一种新的等变丛联络拼接构造方法，使得在收缩至共轭类的不变开集上定义的 gerbe 能够一致拼接。
• 通过几何与微分几何构造，将 $ H^3_G(G,\bbZ) $ 的 3-曲率显式表示为左-右不变的 3-形式。

提出的方法

• 定义 G 的一个不变开覆盖 $ \{V_j\} $，其中每个 $ V_j $ 通过等变重收缩映射同伦等价于一个共轭类 $ \mathcal{C}_j $，该共轭类对应于一个半单元素，其中心化子具有最大秩。
• 对每个 $ \mathcal{C}_j $，利用该半单中心化子的 $ \mathrm{U}(1) $ 中心扩张构造一个等变丛 gerbe，通过拉回诱导出 $ V_j $ 上的 gerbe。
• 提出一种新的等变丛联络拼接规则，确保在三重重叠区域上的相容性，利用覆盖结构与重收缩映射的性质。
• 利用结果 gerbe 的 3-曲率是左-右不变的 3-形式 $ \eta \in \Omega^3(G) $，其代表 $ H^3(G,\bbZ) $ 的生成元。
• 证明等变 3-曲率 $ \eta_G \in \Omega^3_G(G) $ 是闭的，并代表 $ H^3_G(G,\bbZ) \cong \bbZ $ 的生成元。
• 借助带误差形式的伪线丛理论分析共轭类的预量子化，将 gerbe 的曲率与伴随轨道上的辛形式联系起来。

实验结果

研究问题

• RQ1 如何在 SU(N) 之外，为一般紧致、单连通、单李群 G 显式且有限维地构造基本 gerbe？
• RQ2 当拉回到共轭类时，若 gerbe 的拉回非平凡，使用标准过渡线丛构造基本 gerbe 的障碍是什么？
• RQ3 能否发展一种一致的等变丛联络拼接构造，以拼接在收缩至共轭类的不变开集上定义的 gerbe？
• RQ4 所构造 gerbe 的 3-曲率如何与 G 上的典范左-右不变 3-形式及等变上同调类相关联？
• RQ5 半单中心化子的中心扩张在共轭类上构造等变 gerbe 的作用是什么？

主要发现

• 本文在任意紧致、单连通、单李群 G 上显式构造了一个有限维的等变丛 gerbe，其 3-曲率代表 $ H^3_G(G,\bbZ) \cong \bbZ $ 的生成元。
• 该构造通过使用一种新的等变丛联络拼接规则，克服了将 SU(N) 方法推广时的障碍，而非依赖于对轨道的平凡拉回。
• 覆盖中的每个 $ V_j $ 通过等变重收缩映射同伦等价于一个共轭类 $ \mathcal{C}_j $，且半单中心化子的 $ \mathrm{U}(1) $ 中心扩张在 $ \mathcal{C}_j $ 上诱导出一个等变丛 gerbe，从而在 $ V_j $ 上也诱导出一个 gerbe。
• 结果 gerbe 在 G 上的等变 3-曲率形式 $ \eta_G $ 被证明是闭的，并代表 $ H^3_G(G,\bbZ) $ 的生成元。
• 通过伪线丛分析共轭类的预量子化，表明曲率条件蕴含权重的整数性，从而与表示理论建立联系。
• 拼接构造通过归纳法构造具有不相交闭包的开集 $ U_I $ 来证明，确保在重叠区域的相容性，最终得到的 $ V_i' $ 构成一个覆盖，满足 $ \overline{V_i'} \subset V_i $。