跳转到内容
← 返回概念
群论与微分几何约 14 分钟阅读

李群与李代数

Lie Group and Lie Algebra

关键人物

liekillingcartanweyl
李群李代数连续对称指数映射规范理论

一个直觉：把"连续旋转"装进数学

拿起一个地球仪，让它绕轴慢慢转。每个时刻它都处在一个旋转状态，而所有可能的旋转连成一片——你可以从任意一个旋转平滑地滑到另一个旋转，中间不跳跃。这"一片连续的对称变换"，就是一个李群（Lie group）。

普通的群（比如骰子六个面的置换）是离散的，元素一个一个数得清。李群不同：它的元素填满了一个连续空间。三维空间里所有旋转构成的群 $SO(3)$ 是一个三维曲面（你需要三个角度才能指定一个旋转）；它既是群，又是流形——这就是李群的定义性特征。

那么"李代数"是什么？这里有一个极漂亮的想法：要研究一整片弯曲的对称空间太难，那就只看"单位元附近、刚刚开始动的那一瞬间"。 想象旋转刚启动的"初速度"——绕 x 轴转一点点、绕 y 轴转一点点、绕 z 轴转一点点。所有这些"无穷小旋转"构成一个普通的线性空间（向量空间），它就是李代数。

类比：李群是整条弯曲的赛道，李代数是你站在起点时所有可能的"出发方向"。神奇的是，起点的方向几乎决定了整条赛道——通过指数映射，无穷小的方向能"积分"成有限的运动。研究一个弯曲、难算的李群，就化归为研究一个平直、好算的向量空间。这是 19 世纪数学最深刻的化繁为简之一。

定义

李群是一个同时具有群结构与光滑流形结构的集合 $G$，且群运算

G×G→G, (a,b)↦ab与G→G, a↦a−1G \times G \to G,\ (a,b) \mapsto ab \qquad \text{与} \qquad G \to G,\ a \mapsto a^{-1}

都是光滑映射。直观说：它是一个"乘法和求逆都连续可微"的连续对称群。例子包括圆周 S1S^1（模 1 的实数加法）、旋转群 $SO(n)$、酉群 $U(n)$、一般线性群 GL(n,R)GL(n,\mathbb{R})。

李代数是与李群相伴的向量空间 g\mathfrak{g}，取作 $G$ 在单位元处的切空间 TeGT_eG，配上一个双线性、反对称且满足雅可比恒等式的运算——李括号 [⋅,⋅][\cdot,\cdot]：

[X,Y]=−[Y,X],[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0.[X,Y] = -[Y,X], \qquad [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0.

对矩阵李群，李括号就是对易子 $[X,Y] = XY - YX$，它度量了两个无穷小变换"先后次序是否可交换"——这正是对称性"弯曲程度"的代数刻画。

指数映射（exponential map）exp⁡:g→G\exp: \mathfrak{g} \to G 把李代数元素送回李群。对矩阵李群，它就是矩阵指数

exp⁡(X)=∑k=0∞Xkk!,\exp(X) = \sum_{k=0}^{\infty} \frac{X^k}{k!},

直观上是"沿初速度 $X$ 走单位时间到达的群元素"。它把"无穷小的方向"积分成"有限的对称变换"。

核心内容

so(3) 与 su(2)：自旋背后的代数。 三维旋转群 $SO(3)$ 的李代数 so(3)\mathfrak{so}(3) 由三个无穷小旋转的生成元 Jx,Jy,JzJ_x, J_y, J_z 张成，满足

[Jx,Jy]=Jz,[Jy,Jz]=Jx,[Jz,Jx]=Jy,[J_x, J_y] = J_z, \quad [J_y, J_z] = J_x, \quad [J_z, J_x] = J_y,

这正是物理里角动量的对易关系。一个深刻而微妙的事实：su(2)\mathfrak{su}(2)（2×22\times 2 反厄米无迹矩阵）与 so(3)\mathfrak{so}(3) 作为李代数同构，但对应的李群 $SU(2)$ 与 $SO(3)$ 并不相同——$SU(2)$ 是 $SO(3)$ 的"二重覆盖"。直观后果：把电子绕一个方向旋转 360∘360^\circ，它的量子态并不回到原样，要转 720∘720^\circ 才复原。这就是"自旋 $1/2$"的数学根源——李群层面的全局差异，在李代数层面是看不出来的。

李对应：群与代数的字典。 李群的局部结构（单位元附近）由它的李代数完全决定。这条"李对应"是整个理论的引擎：连通李群的子群、同态、表示，都可以翻译成李代数上的线性代数问题——而线性代数远比微分几何好处理。

单李代数的分类。 这是 20 世纪数学最壮美的成就之一。复半单李代数被完全分类为四个无穷系列 An,Bn,Cn,DnA_n, B_n, C_n, D_n（对应特殊线性、正交、辛等经典群）外加五个例外 G2,F4,E6,E7,E8G_2, F_4, E_6, E_7, E_8。分类工具是根系（root system）与 Dynkin 图——纯组合的对象，却把所有连续对称性的"基本粒子"一网打尽。E8E_8 是其中最大的例外李群（248 维），在弦论与可积模型中反复出现。

破除两个常见误解

误解一：李代数比李群"简单"，所以信息更少。 恰恰相反——李代数虽然是个平直的向量空间、好算得多，但它捕捉的是李群在单位元附近的局部结构，会丢掉全局信息。前面 $SU(2)$ 与 $SO(3)$ 的例子就是铁证：它们的李代数完全同构，李群却不同（$SU(2)$ 二重覆盖 $SO(3)$）。换句话说，李代数只能区分李群的"局部长相"，分不清它们在大尺度上是怎么"绕回来"的。电子要转 720∘720^\circ 才复原这一物理事实，正藏在李代数看不见的那层全局差异里。

误解二：李括号 $[X,Y]$ 是某种"乘法"。 它不是结合的乘法，更像是在度量"两个操作的次序能不能交换"。对矩阵群，$[X,Y]=XY-YX$ 恰好衡量先做 $X$ 再做 $Y$ 与反过来做的差别。如果所有李括号都为零（阿贝尔李代数），对应的群就是可交换的（如平移群、圆周群）；李括号非零的程度，正是这片对称空间"弯曲""不可交换"的代数刻度。把它误当成普通乘法，就会错过李理论的全部要点。

前沿与未尽之问

单李代数虽被嘉当彻底分类，李理论本身却仍在生长，并留下了深刻的开放问题。

无穷维的世界尚未驯服。 嘉当分类的是有限维单李代数。一旦走向无穷维——如物理中无处不在的 Kac–Moody 代数、Virasoro 代数（弦论与共形场论的核心）——分类与表示理论变得远为复杂，许多问题至今开放。有限维的优美图景，在无穷维只投下零星的光。

朗兰兹纲领：李群作为"罗塞塔石碑"。 当代数学最宏大的纲领之一——朗兰兹纲领（Langlands program）——把数论、调和分析与李群表示论编织在一起，其核心猜想正是用李群（及其"对偶群"）来沟通看似无关的数学世界。它统一了费马大定理证明背后的思想，被誉为"数学的大统一理论"，而绝大部分仍是猜想。

例外群 E8E_8 的余韵。 2007 年，由杰弗里·亚当斯（Jeffrey Adams）领衔的 Atlas 项目用超级计算机算出了 E8E_8 这个 248 维例外群（分裂实形式）的完整表示信息——结果是一个 453060×453060453060 \times 453060 的多项式矩阵，存满约 60 GB（远超存储一份人类基因组所需，这一对比当年被广泛报道）。E8E_8 是否、以及如何在自然界的基本对称性中现身，仍是理论物理热烈猜想的对象——李理论最抽象的造物，始终诱惑着人们去物理世界里寻找它的影子。

历史

理论始于挪威数学家索菲斯·李（Sophus Lie）。受伽罗瓦用群论解决代数方程可解性的启发，李在 1870 年前后试图为微分方程建立一套类似理论：用"连续变换群"刻画微分方程的对称性，从而系统地求解。他在 1873—74 年冬开始系统发展连续变换群理论，并提出了"无穷小群"的想法——这正是李代数的雏形。在近乎孤立地工作十余年后，他与德国数学家弗里德里希·恩格尔（Friedrich Engel）合作，于 1888—1893 年出版三卷本《变换群理论》（Theorie der Transformationsgruppen）。

李代数的抽象化与分类，则由后人接力。威廉·基灵（Wilhelm Killing）在 1880 年代独立于李，研究与李群相伴的代数，并率先尝试分类——他引入了根系思想，尽管证明有缺陷。埃利·嘉当（Élie Cartan）在 1894 年的博士论文中修正并完成了复半单李代数的分类，奠定了现代李理论。赫尔曼·外尔（Hermann Weyl）在 1920 年代用"整体"方法（而非纯局部的无穷小方法）研究紧李群的表示，证明了完全可约性与外尔特征标公式，把李理论与量子力学、表示论紧密结合。

关键人物

索菲斯·李（1842—1899）是这一理论的创始人。他最初的动机是"把伽罗瓦理论推广到微分方程"，由此发现：连续对称性本身值得作为独立对象研究。"李群""李代数"以他命名。他的工作长期被同时代人低估，因其几何语言艰深，直到嘉当、外尔将其代数化、全局化后才显出全部威力。

威廉·基灵（1847—1923）在与李几乎不相往来的情况下，独立提出了用根系分类单李代数的纲领，发现了例外李代数的存在。他的论文写得晦涩、含错误，但思想的原创性使他成为分类理论的真正先驱。

埃利·嘉当（1869—1951）被公认为李理论的集大成者。他完成了半单李代数分类、发展了活动标架法与微分形式、研究了对称空间与旋量（spinor）。他的工具后来成为微分几何、广义相对论与规范理论的通用语言。

赫尔曼·外尔（1885—1955）把李群理论从局部推向全局，建立紧李群的表示论，并最早系统思考"规范不变性"——这一思想经杨振宁、米尔斯发展为现代规范场论的核心。

跨域连接

  • 微分几何：李群既是群也是流形，单位元处的切空间配上括号运算就是李代数，指数映射再把这块线性空间送回群里。推论是：连通群的局部结构完全由一个有限维线性空间决定，连续对称的分类因此被化归为线性代数问题。
  • 规范场与胶子：规范场的分量数等于规范群的维数，而作用在三种色荷上的特殊酉群维数是八。推论是：胶子应有八种而不是九种——这个数不是从实验里拟合出来的，是从群的维数算出来的，因而是一条可以被计数否证的预言。
  • 自旋的演化：自旋在磁场中的演化是二维特殊酉群里的旋转，每一个射频脉冲相当于沿群里的一段路径行走。推论是：相位散开后施加一个翻转脉冲，各自的相位差被整体反号并随后自动重新对齐，回波的出现正是群运算可逆性的直接后果。
  • 等变网络：卷积之所以有效，是因为它对平移群等变——输入平移，输出跟着平移。推论是：把平移群换成转动群并强制等变，网络在旋转过的测试样本上不靠数据增强也该保持精度，这是能直接跑实验检验的判断。
  • 各向同性的禁戒：液体或无序介质在整个转动群下不变，而在这个群下不变的奇数阶张量只能恒为零。推论是：均匀液体不产生二次谐波，要看到倍频必须先破坏中心对称——这条禁戒纯由连续群论推出，与具体是哪种分子无关。

参考文献

  1. Brian C. Hall, Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, 2nd ed., Graduate Texts in Mathematics 222, Springer, 2015.
  2. Sophus Lie, Friedrich Engel, Theorie der Transformationsgruppen, B. G. Teubner, 1888–1893 (3 vols.).
  3. James E. Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, Springer, 1972.
  4. Hermann Weyl, The Classical Groups: Their Invariants and Representations, Princeton University Press, 1939.
  5. Élie Cartan, "Sur la structure des groupes de transformations finis et continus" (thèse), Paris, 1894.

延伸阅读

  1. Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002.
  2. 项武义, 《李群讲义》, 北京大学出版社.

李群是兼具群结构与光滑流形结构的对象，刻画连续对称性（如旋转群 $SO(3)$）；其李代数是单位元处的切空间，把曲折的群运算线性化为可计算的对易关系。二者是粒子物理标准模型规范对称性的数学语言。