群表示论：一种描述对称性的语言

玻尔百科

核心要点

群表示将一个对称群的抽象规则转化为矩阵的具体作用，同时保持群的结构。
表示可以被分解为被称为不可约表示（irreps）的基本、不可分割的单元，它们如同对称性的“原子”。
表示的特征标，定义为其矩阵的迹，为识别和分类表示提供了一个简单而独特的指纹。
表示论强有力地约束了物理定律，解释了如电子自旋等量子现象，并催生了如拓扑量子计算等技术。

引言

对称性是宇宙中最基本的组织原则之一，它支配着从晶体结构到粒子物理定律的一切。描述对称性的数学语言是群论，但群本身通常是抽象的——它们是符号和规则的集合，没有内在的物理意义。我们如何在这类抽象的代数结构与它们所描述的具体物理系统之间架起一座桥梁？这正是群表示论所要解决的核心问题，它提供了一部强大的词典，将对称性的抽象语法翻译成线性变换的具象世界。

本文将探讨这一理论的核心概念和深远影响。在第一章“原理与机制”中，我们将解析表示论的机制，学习抽象群如何映射到矩阵，这些表示如何分解为其“原子”般的不可约部分，以及一个简单的“特征标”如何充当强大的指纹。随后，“应用与跨学科联系”一章将展示该理论的实际应用，揭示其严格的数学规则如何约束物理现实，解释诸如电子自旋之类的奇特量子现象，并为拓扑量子计算机等革命性技术铺平道路。

原理与机制

想象一下，你发现了一个有着奇怪规则的新游戏。比方说，你有三种移动方式：“原地不动”( $e$ )、“阿尔法”( $a$ )和“贝塔”( $b$ )。你从规则手册中得知，连续三次“阿尔法”操作会让你回到起点（ $a^3=e$ ），“贝塔”操作也一样（ $b^3=e$ ）。但这个游戏是抽象的，这些只是纸上的符号。你如何理解这些规则到底在做什么？

你可能会尝试模拟这个游戏。也许你决定将“原地不动”理解为“什么都不做”，将“阿尔法”理解为“将一个三角形旋转120度”。你检查这个模拟是否与规则一致。一次120度的旋转（ $a$ ）重复三次就是360度的旋转，这确实等同于什么都不做（ $e$ ）。你的模拟成功了！你刚刚创建了一个表示。

群论是物理学家和化学家描述对称性的语言，但群，就像我们的游戏一样，通常是元素和规则的抽象集合。一个群表示就是一种将这些抽象规则转化为一组具体、可感知的作用的方法，最有效的方式就是通过矩阵对向量的作用。它是一部词典，将一个群的抽象语法翻译成线性代数的具体语句。

从抽象规则到具体作用

矩阵表示的核心是一个映射，我们称之为函数 $\rho$ ，它为群 $G$ 中的每个元素 $g$ 分配一个唯一的可逆矩阵 $\rho(g)$ 。为什么是矩阵？因为矩阵是用于描述变换的数学算符——旋转、反射、拉伸和剪切。它们是描述对称操作的完美工具。

我们来看一个简单的例子，即旋转角度为 $120^\circ$ （ $2\pi/3$ 弧度）的倍数的群 $C_3$ 。这个群有三个元素： $e$ （旋转 $0^\circ$ ）， $c$ （旋转 $120^\circ$ ），和 $c^2$ （旋转 $240^\circ$ ）。我们可以用 $2 \times 2$ 矩阵来表示它们对平面上一个点 $(x, y)$ 的影响。一个角度为 $\theta$ 的旋转由以下矩阵给出：

R(\theta) = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}

所以，我们的词典，即表示 $\Gamma$ ，看起来是这样的：

\Gamma(e) = R(0) = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \quad (\text{单位矩阵})

\Gamma(c) = R(2\pi/3) = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix}

\Gamma(c^2) = R(4\pi/3) = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix}

这不仅仅是任意的矩阵分配。它必须遵守最关键的一条规则，即同态性质：群的结构必须被保持。如果在群中，先执行操作 $g$ 再执行操作 $h$ 等同于单个操作 $gh$ ，那么在表示中，矩阵 $\rho(g)$ 乘以矩阵 $\rho(h)$ 必须得到矩阵 $\rho(gh)$ 。

\rho(g)\rho(h) = \rho(gh)

对于我们的 $C_3$ 例子，群的规则是 $c \cdot c = c^2$ 。让我们检查一下我们的表示： $\Gamma(c)\Gamma(c) = \Gamma(c^2)$ 是否成立？如果你进行矩阵乘法，你会发现它完全成立。我们的词典是准确的。对于其他循环群，也可以构造类似的映射，例如使用 $60^\circ$ 的旋转生成 $C_6$ 的表示。

这个性质将一个真正的表示与一堆无用的矩阵区分开来。例如，如果我们试图将每个群元素都映射到零矩阵 $\mathbf{0}$ 会怎样？等式 $\mathbf{0} \times \mathbf{0} = \mathbf{0}$ 成立，所以规则似乎得到了满足。但这是一部“糟糕的词典”，因为零矩阵是不可逆的。你无法撤销一个将所有东西都映射到零的操作。表示中的矩阵必须属于一般线性群，记作 $GL(n, \mathbb{C})$ ，即所有可逆 $n \times n$ 矩阵构成的群。一个对称操作，比如旋转，总是可逆的；你总可以把它转回去。零矩阵打破了这一基本原则。群的单位元也必须映射到单位矩阵，即矩阵世界中的“什么都不做”操作。

表示的原子理论

现在，一个有趣的问题出现了。所有的表示都是基本的吗，还是说有些可以被分解成更简单的表示？这就引出了该理论中最强大的思想之一：可约表示和不可约表示之间的区别。

一个不可约表示（或irrep）就像一个原子：它是一个基本的、不可分割的构件。而一个可约表示就像一个分子：它是由这些原子般的不可约表示构建而成的。

一个表示是“可分的”意味着什么？想象一下我们的矩阵作用于一个向量空间（比如我们的二维平面）。如果我们可以找到那个空间中的一个更小的子空间（比如我们平面中一条穿过原点的直线），并且这个子空间在群的操作下是“封闭”的，那么这个表示就是可约的。也就是说，如果你取那个子空间中的任意一个向量，并对其应用表示中的任何一个矩阵，得到的向量仍然位于同一个子空间内。这个表示未能将这个特殊的子空间与空间的其余部分混合起来。如果不存在这样的子空间（除了平凡的子空间：零向量和整个空间本身），那么这个表示就是不可约的。它会彻底地打乱所有的向量；没有任何东西被遗漏或被限制在内部。

考虑一个等边三角形的对称性，即群 $D_3$ 。它包含旋转和反射。一个标准的二维表示将 $120^\circ$ 旋转 $r$ 和一次反射 $s$ 映射到以下矩阵：

\rho(r) = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix}, \quad \rho(s) = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}

这个表示在实数域上是可约的吗？要使其可约，必须存在一条直线（一维子空间）在 $\rho(r)$ 和 $\rho(s)$ 的共同作用下保持不变。一条直线由一个方向向量定义，而要让一个矩阵将一条直线映射到自身，该向量必须是其特征向量。矩阵 $\rho(s)$ 有两个实特征向量， $(1, 0)$ 和 $(0, 1)$ ，分别对应x轴和y轴。但 $\rho(r)$ 呢？正如我们所见，这是一个纯粹的旋转。它没有实特征向量——平面中没有任何一条直线在旋转 $120^\circ$ 后能映射到自身。既然对于所有群操作不存在一个公共的不变直线，这个表示就是不可约的。它是一个原子。

一个美妙的定理，Maschke定理，保证了对于一个有限群，任何表示（比方说在复数域上）要么是不可约的，要么可以完全分解为不可约表示的“直和”。我们总能将我们的分子表示分解成它们的组成原子。这就是表示的“原子理论”。事实上，从Schur引理得出的一个深刻结果证明，对于一个阿贝尔群（其中所有元素都可交换），任何不可约复表示必须是一维的。

特征标：一个简单的指纹

处理矩阵可能是一件令人头疼的事。它们很笨重，而且可能存在无限多个“等价”的表示，它们仅仅是基的变换（就像旋转你的坐标系）。我们需要一个更简单、更稳健的标签。这就是特征标。

一个表示的特征标，通常用 $\chi$ （chi）表示，是一个为每个群元素 $g$ 分配一个数字的函数。这个数字就是相应矩阵 $\rho(g)$ 的迹——即其对角元素之和。

\chi(g) = \mathrm{Tr}(\rho(g))

让我们来求循环群 $C_4 = \{e, a, a^2, a^3\}$ 的一个二维表示的特征标：

\Gamma(e) = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \implies \chi(e) = 1+1 = 2

\Gamma(a) = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \implies \chi(a) = 0+0 = 0

\Gamma(a^2) = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} \implies \chi(a^2) = -1-1 = -2

\Gamma(a^3) = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \implies \chi(a^3) = 0+0 = 0

这个表示的特征标是数值序列 $(2, 0, -2, 0)$ 。

这组简单的数字功能极其强大。迹在基变换下是不变的，所以等价的表示具有完全相同的特征标。这是一个真正的指纹。此外，任何处于同一共轭类（由对称性关联的一族元素）中的两个元素都具有相同的特征标。

不可约表示的特征标构成一个“正交集”，这为我们提供了一个检验纯度的数学方法。通过定义一个内积，我们可以检验一个表示是否是一个不可约的原子。对于任何特征标 $\chi$ ，我们计算它“与自身的内积”：

\langle \chi, \chi \rangle = \frac{1}{|G|} \sum_{g \in G} |\chi(g)|^2

其中 $|G|$ 是群的阶（元素数量）。如果结果恰好为1，那么该表示是不可约的！如果结果是大于1的整数，那么该表示是可约的，并且结果告诉你它所包含的不可约表示重数的平方和。让我们回到我们最初的 $C_3$ 例子。其特征标为 $(\chi(e), \chi(c), \chi(c^2)) = (2, -1, -1)$ 。其内积为：

\langle \chi, \chi \rangle = \frac{1}{3} \left( |2|^2 + |-1|^2 + |-1|^2 \right) = \frac{1}{3}(4+1+1) = 2

结果是2。这告诉我们，我们的二维表示不是一个原子；它是一个由两个不同的（因为 $1^2+1^2=2$ ）不可约部分组成的分子。

表示的基本定律

表示的原子理论由几条惊人地简单而优美的定律所支配，这些定律将不可约表示与群本身的结构联系起来。

第一定律：原子的数量。 一个群所拥有的非同构不可约表示的数量，恰好等于该群中共轭类的数量。这是一个深刻的联系。可以证明，任何阶为 $p^2$ （其中 $p$ 是素数）的群必定是阿贝尔群。在阿贝尔群中，每个元素自成一个共轭类。因此，一个阶为 $p^2$ 的群有 $p^2$ 个共轭类，所以它必须恰好有 $p^2$ 个不可约表示。

第二定律：维度的守恒。 这可能是所有规则中最引人注目的一条。如果 $d_1, d_2, \dots, d_k$ 是一个群 $G$ 的所有不同不可约表示的维度，那么它们的平方和等于该群的阶：

\sum_{i=1}^{k} d_i^2 = |G|

让我们看看这其中的魔力。考虑任何一个阶为6的群。它的不可约表示可能是什么样的？我们需要找到一组正整数，它们的平方和等于6。稍加思索就会发现只有两种可能性：

1^2 + 1^2 + 1^2 + 1^2 + 1^2 + 1^2 = 6

1^2 + 1^2 + 2^2 = 6

这个简单的公式告诉我们，任何阶为6的群，无论其规则如何，都必须具有这两种“骨架”之一。第一种情况，有六个一维不可约表示，对应于阿贝尔群 $C_6$ 。第二种情况，有两个一维不可约表示和一个二维不可约表示，对应于三角形对称性的非阿贝尔群 $D_3$ 。仅仅通过这一个方程，我们就推导出了所有可能的6阶宇宙的基本表示结构！

简而言之的宇宙：正则表示

最后，是否存在一个包含所有其他表示的主表示？是的。它被称为正则表示。它的构造非常直接：我们创建一个向量空间，其基向量由群元素本身来标记。一个元素 $g$ 的作用仅仅是根据群的乘法表来置换这些基向量。对于一个阶为 $|G|$ 的群，这会得到一组 $|G| \times |G|$ 的置换矩阵。这个表示的特征标 $\chi_R$ 再简单不过了： $\chi_R(e) = |G|$ ，对于任何其他元素 $g \neq e$ ， $\chi_R(g) = 0$ 。

根据Maschke定理，这个巨大的表示必定是一个由该群所有原子不可约表示构成的分子。但比例如何？答案是这幅拼图的最后一块完美碎片。一个不可约表示 $U_i$ 在正则表示中的重数等于它自身的维度 $d_i$ 。

一个一维不可约表示出现一次。一个二维不可约表示出现两次。一个三维不可约表示出现三次。

让我们用我们的维度公式来验证这一点。正则表示的总维度是 $|G|$ 。如果我们将它所有原子组分的维度相加，我们得到对所有不可约表示 $i$ 的 $(\text{重数}_i) \times (\text{维度}_i)$ 的总和，即：

\sum_{i=1}^{k} d_i \times d_i = \sum_{i=1}^{k} d_i^2

这等于什么呢？根据第二定律，它等于 $|G|$ ！一切都吻合了。这个理论不仅仅是工具的集合；它是一个单一、自洽且极其优美的结构。从为抽象规则制作一本“词典”的简单想法出发，我们发现了一个隐藏的原子世界，它有自己的基本法则，以一种全新而强大的方式揭示了自然界最深层的对称性。

应用与跨学科联系

我们花了一些时间来学习一个奇妙而复杂的游戏规则——群表示的数学。我们已经看到，对称性的抽象概念如何被具体的对象——矩阵——所捕捉，以及这些矩阵如何被分解成它们基本的、“不可约”的构件。这一切都非常优雅，但你可能会问：这有什么用？这种抽象的机制在现实世界中有什么好处？

答案是，这绝不仅仅是一个游戏。它描述的是大自然本身所遵循的规则。表示论的原理不仅仅是数学上的奇趣；它们是关于宇宙的深刻真理，其后果既深远又极其具有实践意义。在本章中，我们将驾驭我们这台新引擎，看看它能带我们去向何方。我们会发现，一个群的抽象结构对物理现实施加了惊人严格的约束，为理解量子世界的奇异本质提供了钥匙，并为革命性的新技术指明了方向。

宇宙的数字命理学：对称性如何约束现实

表示论最美的方面之一是其预测能力。事实证明，仅仅知道一个对称群的“大小”——其中操作的数量——就已经告诉我们大量关于可能存在的“对称性风味”（即不可约表示）的信息。

让我们从最简单的情形开始。假设一位物理学家发现了一种新的量子粒子，其相互作用由一个阶为素数（比如 $p$ ）的对称群 $G$ 所支配。关于它的基本状态，我们能说些什么呢？一个素数阶群必然是“阿贝尔群”，意味着它的所有操作都可交换。可以把它想象成一组旋转，其顺序无关紧要。表示论告诉我们一个非凡的事实：对于任何阿贝尔群，其所有不可约表示都必须是一维的。它们只是数字（复相位），而不是矩阵！所以，我们的系统必须可以用一组在任何对称操作下只改变一个相位因子的状态来描述。那么，存在多少种这样不同的状态类型呢？理论给出了一个清晰的答案：必须恰好有 $p$ 种。不是 $p-1$ ，也不是 $p+1$ ，而是恰好 $p$ 种。这不是一个选择，而是一条像万有引力一样严格的数学定律。

这引出了一个更普遍、更强大的规则，它适用于任何有限群，无论是否阿贝尔群。这是一种宇宙的核算原则，一种对称性的守恒定律。如果一个阶为 $|G|$ 的群 $G$ 有维度为 $d_1, d_2, d_3, \dots$ 的不可约表示，那么这些维度必须遵循以下严格的定律：

\sum_{i} d_i^2 = |G|

这就是著名的“平方和”定理。想一想这意味着什么。一个群的总“表示空间”等于它的阶。这个空间必须被其不可约部分维度的平方完美地分割。如果存在一个阶为10的非阿贝尔群，我们立刻就知道它不可能有一个维度为3的不可约表示，因为 $3^2=9$ 剩下余数1，而1无法写成其他平方数之和（除了 $1^2$ ，但这会意味着该群是阿贝尔群，产生矛盾）。稍作算术运算就会发现，对于这种大小的非阿贝尔群，唯一的可能性是拥有两个1维表示和两个2维表示，因为 $1^2 + 1^2 + 2^2 + 2^2 = 10$ 。仅仅通过知道对称性的数量，我们就推断出了其基本状态可能具有的精确“形状”。

从简单对称性构建世界

大自然很少向我们展示单一、孤立的对称性。更多时候，一个物理系统拥有多种独立的对称性。例如，自由空间中的一个分子具有某种旋转对称性，但其组成电子也具有一种独立的内部属性，称为“自旋”。我们的框架如何处理这种复合系统？

答案异常简洁优雅。如果一个系统的一种对称性由群 $G$ 描述，另一种独立的对称性由群 $H$ 描述，那么系统的总对称性由“直积”群 $G \times H$ 描述。神奇之处在于：复合系统的不可约表示就是各个群的不可约表示的“张量积”。

直观地说，这是一个混合搭配的原则。如果空间对称性允许状态类型 $A$ 和 $B$ ，而自旋对称性允许状态类型 $X$ 和 $Y$ ，那么整个系统将拥有“A与X”、“A与Y”、“B与X”和“B与Y”类型的基本状态。复合表示的维度是各维度之积。这个简单的规则是标准模型中粒子态分类以及理解分子电子结构的基础（至少在某些效应很小的情况下）。

这个思想在“正则表示”中得到了终极体现，你可以把它看作是一个群最完整、最民主的表示。它是通过让群作用于自身而形成的。值得注意的是，当你将这个主表示分解为其不可约部分时，你会发现它包含了该群的每一个不可约表示。而且，每个不可约表示出现的次数等于它自身的维度。就好像群自身的结构就是最终的蓝图，包含了它所有可能的对称表现形式，而那些更大、更复杂的表示在混合中自然地更为突出。

量子扭曲：无法直接看到的对称性

现在我们来到了一个量子世界为我们经典直觉带来一个奇妙转折的地方。让任何人将一个物体旋转360度。它会回到起始位置，对吧？一次完整的旋转，无论从哪个角度看，都等同于什么都不做。用群论的语言来说，一个 $2\pi$ 的旋转是单位元。因此，任何表示都应该将此操作映射到单位矩阵。

但是大自然留了一手。电子不是一个微小的旋转台球。它是一个量子物体，当你将它旋转360度时，它的波函数会变成原来的负值。需要整整720度的旋转才能让它回到起点！电子和其他半整数自旋粒子的这种奇特的“双值”性质似乎打破了我们表示游戏的规则。

一个物理对称操作在应用时，怎么会产生与原始状态不同的东西呢？关键在于，在量子力学中，波函数的总体相位是不可观测的。一个状态 $\psi$ 和一个状态 $-\psi$ 在物理上是无法区分的。量子力学为对称性提供了一个漏洞。代表群操作的矩阵不必精确地复合；它们只需要复合到相差一个相位因子即可。这引出了射影表示的概念。

物理学家和化学家有两种方法来处理这个优美的复杂情况。一种方法是直接使用射影表示。另一种通常更实用的方法是执行一个巧妙的数学技巧：我们发明一个新群，称为双群，其中我们正式区分旋转0度（ $E$ ）和旋转360度（ $\bar{E}$ ）。在这个更大的群中，操作 $\bar{E}$ 不再是单位元。这个框架使我们能够使用普通（线性）表示的所有机制来正确描述电子的“旋量”波函数。

这不仅仅是一个学术练习。在重原子和分子中，电子的自旋与其围绕原子核的轨道运动变得强耦合。简单的“混合搭配”张量积方法失效了。要理解能级并预测哪些光谱跃迁是允许的或禁戒的，人们必须使用分子对称性的双群。

这个形式体系还为一个深刻的物理原理——Kramers简并——提供了惊人的解释。Kramers定理指出，对于任何在没有外部磁场的情况下拥有奇数个电子的系统，每个能级必须至少是二重简并的。这是时间反演对称性的直接结果，而双群形式主义使其一目了然：描述这些系统的“旋量”表示本质上是二维（或更高维）的，从而保证了自然界中观察到的简并性。

时空的形状与计算的未来

到目前为止，我们讨论了空间中物体的对称性。但是，如果我们将这个想法推向极致呢？如果我们考虑时空本身的对称性呢？这个问题将我们带到了现代物理学的绝对前沿：对物质拓扑相的研究。

想象一层薄薄的电子膜，被冷却到接近绝对零度，并置于强磁场中。电子进入一个集体量子态，一种新的物质相，像固体或液体，但远为奇异。在这些拓扑相中，许多性质不依赖于局部细节，如原子的精确位置，而只依赖于它们所处的空间的全局形状——拓扑。

想象一个存在于球面上的二维宇宙，与一个存在于甜甜圈（环面）表面上的宇宙。这些形状在拓拓扑上是不同的。你无法在不切割或撕裂的情况下将一个变成另一个。事实证明，这种形状上的差异具有深远的物理后果。环面上拓扑相的基态（最低能量状态）是简并的——存在多个能量完全相同的状态——而在球面上，它是唯一的。

为什么？原因是一种新的对称性。对称群不是旋转或反射，而是所有可能在不撕裂表面的情况下对其进行变形的方式构成的群——映射类群（MCG）。对于一个环面，你可以想象两个基本的切割（一个环绕管子，一个穿过管子）。沿着这些切口扭曲并重新连接的形变构成了一个环面拓扑的对称群。

其关键在于：拓扑相的简并基态构成一个向量空间，而这个空间承载着该表面的映射类群的一个表示！物理学由它所处宇宙形状的表示所支配。这个基态空间的维度，它告诉我们存在多少个不同的基态，可以直接从底层的表示论数据中计算出来。

这种拓扑学、群论和凝聚态物理之间令人难以置信的联系，是拓扑量子计算的基础。其思想是将信息存储在拓扑相的简并基态中。然后通过在材料中物理地移动准粒子（奇异的类粒子激发）使它们相互环绕来进行计算。这个编织过程是映射类群元素的一种物理体现，它作为群表示中的一个矩阵作用于基态，从而变换存储的信息。因为整个系统受拓扑保护，它对局部噪声和错误具有极强的鲁棒性——这正是容错量子计算机的梦想。

从简单的计数规则到电子的自旋，再到量子计算机的架构，群表示论的旅程证明了抽象思维揭示物理世界最深层秘密的力量。这正是对称性用以书写宇宙法则的语言。