形式陈述
设 是连通 Lie 群公理库Lie 群Lie group · 李群群的乘法与求逆同时光滑;通过圆群、一般线性群与旋转群检验连续对称的流形结构。, 是万有覆盖公理库万有覆叠Universal covering space总空间单连通的覆叠空间,在标准局部条件下支配所有连通覆叠。,选定 。则 上存在唯一 Lie 群结构,使 为单位元、 为群同态和局部微分同胚。可把 的元素看成从 出发的路径的端点固定同伦类;两条路径逐点相乘,给出覆盖群的乘法。
核 是离散子群,而且位于中心。证明中心性时,固定 ,映射
连续地从连通空间 映入离散集合 ,只能恒定;在单位元处值为 。于是
中心子群正规,所以 首先是商群公理库商群Quotient group将正规子群压成单位元后,在其陪集商集上诱导出的群。;投影 是开满射,故其商拓扑公理库商拓扑Quotient topology由满射逆像判据定义的最细拓扑,用来把指定点族连续地粘合为点。也与 的拓扑一致,局部微分同胚再给出相应的光滑结构。这里讨论的 因而是带有相容群结构的万有覆盖。
这里基本群公理库基本群Fundamental group基点回路按端点固定同伦分类后形成的群。的群结构与覆盖核一致,因而连通 Lie 群的基本群必为阿贝尔群。
反过来,连通单连通 Lie 群的任一离散中心子群都能取商,得到具有同一Lie 代数公理库Lie 群的 Lie 代数Lie algebra of a Lie group用左平移把单位元切向量延拓为向量场,由向量场括号导出矩阵交换子和旋转的无穷小结构。的连通 Lie 群。Lie 理论的存在唯一性定理进一步说明,每个有限维实 Lie 代数都对应唯一的连通单连通群。因此,确定 Lie 代数后,连通群的整体形式要再选择离散中心商。
直觉
与 的局部加法一样, 与 的 Lie 代数也一样,为什么群仍不同?无穷小结构不记录绕一圈之后是否回到原点。覆盖群把这部分整体信息集中在一个离散中心子群里。
例子与边界
最小例子:直线绕成圆
同态
的核是 ,在每个长度小于 的适当区间上为局部微分同胚。所以
导数把实数方向映到圆在 处的切方向,是线性同构;它无法读出核中非零点的间距。这正说明“导数可逆”只保证局部结论。
到 的核逐项核验
每个 元素唯一写成
因而 作为流形就是 ,特别地它连通且单连通。取实三维空间 ,上面有正定内积
共轭保持这个内积,故伴随表示 Ad公理库Lie 群的伴随表示Adjoint representation of a Lie group把群共轭在单位元处微分成 Ad,并以 SU(2) 的实际矩阵计算解释 Ad(exp X)=exp(ad X) 与中心的关系。 给出正交变换;由于 连通且单位元映到行列式 的变换,像落在 。
在基 中, 是绕第 轴的无穷小旋转。这说明
的单位元微分是同构,因此像包含 中单位元的一个开邻域。像作为子群于是为开子群; 连通,所以像等于整个 。
若 在核中,它与所有 交换。先与对角的 交换,迫使 对角;再与 交换,迫使两个对角元相同。于是 。酉性要求 ,行列式为 要求 ,故
这不仅算出纤维有两个点,也与局部微分同胚一起说明 是二重覆盖。
一整圈的提升为什么没有闭合
绕第三轴旋转角 的路径,通过指数映射公理库Lie 群的指数映射Exponential map of a Lie group由唯一一参数子群定义指数映射,计算旋转的指数,并区分单位元附近的可逆性与全局满射性。在上层提升为
当 从 到 ,下层回到单位旋转,上层却从 到 。到 上层才回到 。因此一次整圈代表 的非零类,而 的基本群平凡。这是同一 Lie 代数掩盖的整体差别。
推论与应用
给定 的表示 ,它能降为 的表示,当且仅当 对所有 成立。必要性来自同一个陪集必须有同一个像;充分性则让 成为良定义。
例如 在 上的标准表示把 送到 ,因此不能降到 。伴随表示把 送到恒等,能够下降。只检查 Lie 代数的括号关系,无法看见这个离散障碍。
以上分类针对连通群。若再允许不连通群,还必须记录连通分支的离散群及其作用,不能仅靠给单连通群取中心商来穷尽。
参考资料