[论文解读] Lie Groupoids and their Orbispaces

del Hoyo, L Matías|arXiv (Cornell University)|Dec 30, 2012

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

一句话总结

本文全面介紹李群胚作为建模轨道空间——一种推广了流形与轨道簇的几何对象——的基础工具。它建立了作为同一轨道空间的表示的李群胚之间的等价关系，并表明恰当群胚表示分离的轨道空间，其局部模型为紧致群的线性作用，为这一不断发展的理论提供了新颖且互补的视角。

ABSTRACT

This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for orbispaces. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids. Orbispaces are geometric objects which have manifolds and orbifolds as special instances, and can be presented as the transverse geometry of a Lie groupoid. Two Lie groupoids are equivalent if they are presenting the same orbispace, and proper groupoids are presentations of separated orbispaces, which by the linearization theorem are locally modeled by linear actions of compact groups. We discuss all these notions in detail. Our treatment diverges from the expositions already in the literature, looking for a complementary insight over this rich theory that is still in development.

研究动机与目标

• 提供李群胚及其在建模轨道空间中作用的清晰、自包含的导论。
• 阐明李群胚之间等价性的概念，即它们作为同一轨道空间的表示。
• 表征恰当李群胚作为分离轨道空间的表示。
• 建立恰当群胚与紧致群线性作用的局部模型之间的联系。
• 为现有文献提供互补视角，深化对微分几何中持续发展领域理解。

提出的方法

• 回顾李群胚的基础概念，包括源映射和目标映射，以及箭头空间的光滑结构。
• 通过莫里塔等价定义并分析群胚等价性，确保它们呈现相同的横截几何。
• 通过对角映射的恰当性引入恰当李群胚，以保证良好的几何行为。
• 应用线性化定理，表明恰当群胚在局部上由紧致李群的线性作用模型化。
• 利用横截几何将轨道空间解释为李群胚的商，推广了轨道簇的概念。
• 强调几何直觉与结构清晰性，而非技术形式化，与标准论述方式不同，从而提供新的洞见。

实验结果

研究问题

• RQ1 李群胚如何作为轨道空间的模型？在何种条件下可确保它们表示同一几何对象？
• RQ2 在轨道空间表示的语境下，两个李群胚之间的等价性由什么特征定义？
• RQ3 恰当李群胚在何种意义上表示分离轨道空间？这与局部结构有何关联？
• RQ4 线性化定理如何将恰当群胚与紧致群的线性作用联系起来？
• RQ5 相较于现有对轨道簇和轨道空间的处理方式，该方法提供了哪些新的几何与范畴论洞见？

主要发现

• 李群胚的等价性精确对应于表示同一轨道空间，从而确立了莫里塔等价的框架。
• 证明了恰当李群胚表示分离轨道空间，确保商结构的良好行为。
• 线性化定理表明，恰当群胚在局部上由紧致李群的线性作用模型化，提供了局部分类。
• 轨道空间推广了流形与轨道簇，李群胚是其自然的几何模型。
• 本文方法通过强调结构清晰性与几何直觉，与标准文献形成差异，为活跃研究领域提供了互补视角。
• 李群胚的横截几何捕捉了相关轨道空间的本质特征，使其成为该理论的核心工具。