[论文解读] Orbifolds as Groupoids: an Introduction

Ieke Moerdijk|ArXiv.org|Mar 11, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 154

一句话总结

本文通过李群胚的框架引入轨道丛，证明群胚为定义和研究轨道丛不变量（如同伦型、K-理论、层上同调与Bredon上同调）提供了全局统一的语言。关键贡献在于通过环路群胚构造惯性轨道丛，该构造自然编码了共轭类，并通过卷积代数与表示理论及非交换几何建立联系。

ABSTRACT

This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.

研究动机与目标

• 通过李群胚建立轨道丛理论的系统化、全局化框架，取代零散的局部坐标构造。
• 通过基于群胚的表述，阐明轨道丛与层上同调、K-理论及Bredon上同调等结构之间的关系。
• 将惯性轨道丛定义并表征为源自群胚环路空间的典范构造。
• 通过群胚的卷积代数将轨道丛不变量与非交换几何联系起来。
• 证明群胚的Morita等价对应于底层轨道丛的同构，确保在等价描述下的一致性。

提出的方法

• 将轨道丛表示为恰当的局部离散李群胚，其中对象为点，箭头编码局部群作用。
• 通过单纯复形构造定义群胚的分类空间，以捕捉轨道丛的同伦型。
• 利用群胚上等变层的导出范畴定义轨道丛的层上同调。
• 将惯性群胚 $\Lambda(G)$ 构造为环路空间 $S_G = \{g \in G_1 \mid s(g) = t(g)\}$ 上源映射与目标映射的拉回，形成 $S_G \rtimes G$。
• 应用Leray谱序列，将惯性群胚的上同调与各稳定子群及其中心化子的上同调联系起来。
• 通过群胚上紧支集光滑函数的卷积代数 $C^\infty_c(G)$ 定义非交换不变量，将其与周期性循环上同调及Chern示性类联系起来。

实验结果

研究问题

• RQ1 如何通过李群胚系统化地描述轨道丛，以统一其拓扑与几何不变量？
• RQ2 惯性群胚在轨道丛上同调中如何编码共轭类与表示论数据？
• RQ3 群胚的分类空间如何恢复轨道丛的同伦型？
• RQ4 沿投影 $\beta: \Lambda(G) \to G$ 的导出直接像如何与轨道丛的Bredon上同调相关联？
• RQ5 群胚的卷积代数如何与非交换几何及轨道丛K-理论中的Chern示性类相联系？

主要发现

• 惯性轨道丛 $\Lambda(\underline{X})$ 在Morita等价意义下是良定义的，且对任意表示 $\underline{X}$ 的群胚 $G$，其对应于由 $\Lambda(G)$ 表示的轨道丛。
• 在点 $x$ 处的高阶直接像 $R^i(q\beta)_*(\mathbb{C})$ 同构于稳定子群 $G_x$ 的共轭类 $(g)$ 上的群上同调 $H^i(Z(g), \mathbb{C})$ 的乘积，从而导出一个将惯性群胚上同调与这些不变量联系起来的谱序列。
• 对紧致轨道丛，Chern示性类诱导同构 $K^\nu(G) \otimes \mathbb{C} \to \prod_i H^{2i+\nu}(|G|, \underline{R}_{\mathbb{C}})$，其中 $\underline{R}_{\mathbb{C}}$ 为复表示环的层。
• 层 $R^0(q\beta)_*(\mathbb{C})$ 同构于稳定子群上的特征标层，可识别为表示环 $R_{\mathbb{C}}(G_x)$，从而建立起与Bredon上同调的联系。
• 非交换Chern示性类通过群胚卷积代数 $C^\infty_c(G)$ 的周期性循环上同调因子化，为连接非交换几何提供了桥梁。
• 在 $x$ 处的导出直接像 $R^i\beta_*(B)$ 同构于 $H^i(G_x, B_x)$，表明惯性构造自然捕捉了等变上同调数据。