[论文解读] Linearization of Regular Proper Groupoids

Alan Weinstein|ArXiv.org|Jul 5, 2001

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

一句话总结

本文通过证明在轨道满足有限型条件时，正则完备李群胚局部同构于轨道法丛上同伦群作用的行动群胚，建立了正则完备李群胚的线性化定理。证明结合了截面定理与利用Crainic上同调消去定理的形变论证，将截面处的线性化推广至整个轨道。

ABSTRACT

Let G be a Lie groupoid over M such that the target-source map from G to M x M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G to some neighborhood U of O in M is isomorphic to a similar restriction of the action groupoid for the linear action of the transitive groupoid G|O on the normal bundle NO. The proof uses a deformation argument based on a cohomology vanishing theorem, along with a slice theorem which is derived from a new result on submersions with a fibre of finite type.

研究动机与目标

• 建立正则完备李群胚在有限型轨道附近的局部线性化定理。
• 将完备群作用的法形变推广至一般正则完备群胚。
• 证明群胚在轨道法丛上的线性作用群胚局部同构。
• 证明线性化在轨道的微分拓扑有限性条件下成立。
• 构建一个将局部线性化从截面推广至完整轨道的截面定理（正则情形）。

提出的方法

• 使用截面定理将问题约化为在轨道截面附近线性化群胚。
• 应用Crainic的上同调消去定理，将群胚结构形变至其线性近似。
• 利用群胚的正则性，确保截面限制本质上是étale的。
• 将线性近似构造为同伦群在轨道法丛上的作用群胚。
• 利用有限性条件（轨道上存在仅有有限个临界点的恰当函数）确保形变论证适用。
• 将截面结果与轨道的传递结构结合，将同构推广至轨道的邻域。

实验结果

研究问题

• RQ1 正则完备李群胚能否在有限型轨道附近实现线性化？
• RQ2 实现此类线性化的轨道所需条件是必要且充分的吗？
• RQ3 群胚的截面定理如何与群胚整体的线性化相关？
• RQ4 Crainic的上同调消去定理在多大程度上支持形变至线性模型？
• RQ5 轨道的有限型条件在此背景下是否为自然且必要的要求？

主要发现

• 正则完备李群胚在有限型轨道邻域的限制，同构于同伦群在轨道法丛上的作用群胚。
• 线性化通过依赖于Crainic上同调消去定理的形变论证实现。
• 截面定理确保在正则情形下，群胚在截面上的线性化可扩展至整个轨道。
• 有限型条件——轨道上存在仅有有限个临界点的恰当函数——在此背景下既必要又自然。
• 该结果将经典完备群作用的线性化推广至更广泛的正则完备群胚范畴。
• 证明表明正则完备群胚在局部上等价于线性作用，将法形变理论扩展至非传递群胚。