[论文解读] The Geometry of Orbifolds via Lie Groupoids

Alexander Amenta|arXiv (Cornell University)|Sep 24, 2013

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

一句话总结

本论文通过李群胚发展了轨道丛的几何理论，提出了一套现代框架，克服了经典轨道丛图册的局限性。通过将轨道丛建模为恰当的、局部平凡的李群胚，该研究为微分几何建立了坚实基础，涵盖德拉姆上同调、黎曼度量、联络、曲率以及陈-外尔理论，同时强调了惯性轨道丛与K-理论中的非局部陈特征标的作用。

ABSTRACT

The purpose of this thesis is to use the language of orbifold groupoids to describe the geometry and topology of orbifolds, highlighting advantages and disadvantages of this language as they arise.

研究动机与目标

• 通过李群胚为轨道丛提供一个全面的几何与拓扑框架，解决经典图册方法的局限性。
• 通过群胚结构将经典微分几何概念（如向量丛、微分形式、黎曼度量与联络）推广至轨道丛设定。
• 研究非有效轨道丛及惯性轨道丛在K-理论与示性类理论中的作用，特别是通过非局部陈特征标展开。
• 利用群胚形式化，为可表示轨道丛建立一致的K-理论与陈-外尔理论。
• 厘清有效与非有效轨道丛之间的区别，并证明群胚模型对于捕捉全局几何不变量的必要性。

提出的方法

• 将轨道丛表示为恰当的、局部平凡的李群胚，从而在局部图册之外实现轨道丛结构的全局描述。
• 利用李群胚的莫里塔等价性定义与图册选择无关的不变量，确保几何一致性。
• 在光滑映射的流形范畴中应用纤维积，并通过条件（如映射为浸没）确保积仍为流形。
• 通过群胚对切丛的作用引入$ abla$-联络与曲率，推广经典联络概念。
• 通过将形式与曲率上拉至群胚层面，并利用群胚源上的不变形式，构建轨道丛的德拉姆上同调与陈-外尔理论。
• 将惯性轨道丛定义为自同构元素的群胚，这对计算K-理论中的非局部陈特征标至关重要。

实验结果

研究问题

• RQ1 如何使用李群胚而非经典轨道丛图册系统地发展轨道丛几何？
• RQ2 惯性轨道丛在轨道丛的K-理论与示性类理论中扮演何种角色？
• RQ3 如何通过群胚结构将微分形式、联络与曲率推广至轨道丛设定？
• RQ4 非有效轨道丛在何种意义上要求从图册形式化转向群胚形式化？
• RQ5 非局部陈特征标如何自然地从轨道丛的群胚理论结构中导出？

主要发现

• 使用李群胚相较于经典轨道丛图册，为轨道丛几何提供了更稳健且全局一致的框架。
• 对于非平凡轨道丛，惯性轨道丛的构造是非平凡的，且在K-理论中定义非局部陈特征标时至关重要。
• 通过群胚源上的不变微分形式，可将德拉姆上同调与陈-外尔理论推广至轨道丛，所得示性类能捕捉轨道丛的奇点。
• 轨道丛上的黎曼度量与联络存在，且可通过群胚作用构造，推广了光滑情形。
• 紧致群作用在流形上的固定点集是无处稠密的，该结果由正交化引理与有效群胚作用导出。
• 当涉及的映射为浸没时，流形的纤维积仍为流形，这是构造群胚结构与丛的关键技术工具。