[论文解读] Groupoids: unifying internal and external symmetry

Alan Weinstein|ArXiv.org|Feb 4, 1996

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

一句话总结

本文提出以群胚（groupoids）作为统一的代数框架，用于描述几何与分析结构中的内对称与外对称，尤其在传统群因缺乏全局自同构而失效的场景中。通过使用群胚——特别是李群胚及其无穷小对应物李代数丛——该文刻画了具有边界、奇异商空间及非本向作用的空间中的对称性，展示了其在微分几何、带边流形上的分析以及形变量子化中的实用性。

ABSTRACT

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.

研究动机与目标

• 证明群胚相较于群本身能更全面地描述对称性，特别是在不存在非平凡全局自同构的结构中。
• 展示群胚如何捕捉局部对称性与内对称性（如铺砖平面或带边流形中的对称性），而群作用在此类情形下会失效。
• 确立李群胚与李代数丛在建模几何与分析结构（如梅尔罗兹在带边流形上的b-分析）中的作用。
• 阐明群胚卷积代数在非交换几何与形变量子化中的实用性。
• 在群胚的统一框架下，整合微分几何、拓扑学、分析学与表示论等不同数学领域。

提出的方法

• 通过基本例子（如矩形铺满平面）引入群胚作为描述对称性的群的一般化。
• 引入空间X上的对偶群胚，其中态射为对 (x,y)，表示从x到y的对称性，推广了群作用。
• 应用李群胚及其关联的李代数丛概念来建模几何结构，如带边流形上的b-切丛bTM。
• 利用b-余切丛bT*M与b-伪微分算子分析带边流形上的微分算子。
• 通过爆破构造（如b(M×M)）将算子的核提升至群胚，实现基于卷积的分析。
• 证明群胚b(M×M)的卷积代数等价于b-伪微分算子代数，从而建立几何与分析之间的联系。

实验结果

研究问题

• RQ1 群胚如何描述缺乏非平凡全局自同构的对象（如有限铺砌的矩形）中的对称性？
• RQ2 李群胚与李代数丛在建模带边流形上微分算子的过程中起什么作用？
• RQ3 b(M×M)的群胚结构如何统一b-伪微分算子及其核的分析？
• RQ4 群胚卷积代数在非交换几何中如何推广在行为不良的商空间上的函数代数？
• RQ5 群胚与李代数丛的框架能否推广至其他几何结构，如旗流形上的布吕哈特-泊松结构？

主要发现

• 通过在M×M的角部进行爆破得到的群胚b(M×M)，同构于李代数丛bTM的泛包络代数。
• 群胚b(M×M)上的卷积运算精确再现了b-伪微分算子的复合法则。
• b-切丛bTM是一个李代数丛，其截面对应于在边界处相切且在无穷远处消失的向量场，其局部基由∂/∂yi与x∂/∂x在边界附近给出。
• 群胚b(M×M)在代数上可分解为M内部的对偶群胚与边界上一个群胚的不相交并，后者中的态射为法线的保向线性同构。
• bTM上的向量场x∂/∂x在边界处非零，代表一种‘无穷小边界层’的内向方向。
• 群胚与李代数丛的框架为梅尔罗兹的b-分析提供了几何基础，将伪微分算子理论扩展至带边流形，并暗示可推广至其他李代数丛（如布吕哈特-泊松结构所导出的李代数丛）。