表示论

一个直觉：把摸不着的"对称"，变成算得了的矩阵#

"对称"是个抽象得让人头疼的词。一个正三角形，你可以转 $120°$、翻个面，它看起来一模一样——这些操作合在一起，构成了一个"对称群"。可问题是，群的元素是"旋转""翻转"这类动作，它们之间能相乘（先转再翻），却没有数字、没有坐标，你很难直接对它们做计算。

表示论的核心招数，是给每一个这样的抽象动作配上一个矩阵。"旋转 $120°$"对应一个具体的旋转矩阵，"翻转"对应一个具体的反射矩阵；动作的"先后相乘"，恰好对应矩阵的乘法。于是整个抽象的对称群，就被"翻译"成了一堆可以加减乘、可以求特征值的线性代数对象——本来无从下手的群论问题，瞬间落进了我们最熟悉、工具最齐全的线性代数地盘。形式地说，这个翻译就是一个保持乘法结构的同态 $\rho: G \to GL(V)$。

这里藏着一个深刻的洞见：同一个群，可以有许多种不同的"表示方式"，但其中存在一批无法再拆分的基本构件（不可约表示），所有表示都由它们搭建而成——就像质数之于整数、原子之于物质。看清一个对称结构有哪些不可约表示，往往就等于看清了它最深层的骨架。这也是为什么量子力学里的粒子分类、化学里的分子振动、晶体的能带结构，最终都要回到表示论来回答。

矩阵像只是入口。更干净的说法是：群 → 群代数 → 模。把有限群 $G$ 的元素当作一组形式基，允许它们带复数系数做线性组合，并用群乘法线性扩展成乘法，就得到群代数 $\mathbb{C}[G]$。$G$ 在向量空间 $V$ 上的线性表示，恰好等价于 $\mathbb{C}[G]$ 上的左模结构：抽象的"先乘哪个群元素"，变成代数元素在模上的作用。分类表示，于是变成分类半单代数的不可约模；线性代数不再是权宜的坐标把戏，而是代数表示论的母语。

定义#

表示论（Representation Theory）研究抽象代数结构（群、李代数、结合代数）如何作用于向量空间——即将抽象的代数对象"表示"为具体的矩阵和线性变换。表示论是将抽象代数与线性代数联系起来的桥梁。

群的线性表示：群 $G$ 在向量空间 $V$ 上的线性表示是一个同态：

$$\rho: G \to GL(V)$$

将每个群元素 $g$ 映为可逆线性变换 $\rho(g)$，满足 $\rho(gh) = \rho(g)\rho(h)$。

表示论的核心思想是用线性代数的语言理解抽象对称性。

一旦改用代数语言，同态条件 $\rho(gh)=\rho(g)\rho(h)$ 被吸收进模公理：对 $a\in\mathbb{C}[G]$、$v\in V$，要求 $(ab)\cdot v = a\cdot(b\cdot v)$。有限维半单情形下，Wedderburn–Artin 定理给出

$$\mathbb{C}[G] \cong \bigoplus_i M_{n_i}(\mathbb{C}),$$

每一块全矩阵代数对应一个不可约表示，且 $\sum_i n_i^2 = |G|$。特征标表正是把这套同构写成可计算数字网格的账本：共轭类为列，不可约特征标为行，表中的迹告诉你每一块有多大、如何正交。

核心内容#

基本概念#

不可约表示：没有非平凡不变子空间的表示——表示论的"基本粒子"。

完全可约性（Maschke 定理）：有限群在特征不整除 $|G|$ 的域上的每个表示都是不可约表示的直和。

等价表示：$\rho_1$ 和 $\rho_2$ 等价 $\Leftrightarrow$ 存在可逆 $T$ 使得 $T\rho_1(g) = \rho_2(g)T$ 对所有 $g$。

Maschke 定理的代数读法是：群代数在上述假设下半单，于是每个模都是不可约模的直和。特征整除 $|G|$ 时半单性失败，模表示论（Brauer 理论）必须另起炉灶——这正说明"群→代数"的视角能精确标出定理的边界，而不是把所有域上的表示当成同一套故事。

特征标#

特征标（Character）：$\chi_\rho(g) = \text{tr}(\rho(g))$——表示矩阵的迹。

特征标是表示论最强大的工具： - 特征标完全决定表示（在同构意义下） - 不可约特征标构成正交系：$\frac{1}{|G|}\sum_g \chi_i(g)\overline{\chi_j(g)} = \delta_{ij}$

正交关系给出把任意表示拆成不可约直和的具体内积：重数 $m_i = \langle \chi,\chi_i\rangle$。计算路线常常是：先列出共轭类，再构造中心幂等元或用诱导表示递推，而不是盲目搜索不变子空间。对称群的 Young 图把不可约表示与整数分拆一一对应，使分类变成组合操作——群、代数与组合在此交汇。特征标在共轭类上取常值，也与代数中心的作用方式一致：中心元在不可约模上只能以标量作用（见下节 Schur）。

Schur 引理#

Schur 引理：若 $\rho_1$ 和 $\rho_2$ 是不可约表示，$T: V_1 \to V_2$ 满足 $T\rho_1(g) = \rho_2(g)T$ 对所有 $g$，则 $T = 0$ 或 $T$ 是同构。

推论：在代数闭域上，不可约表示的自同态都是标量乘法。

把引理写成模语言：不可约模之间的同态空间维数至多为 1，自同态环在代数闭域上就是基域本身。于是中心元、Casimir 算子与许多"自然构造出的交织算子"都被逼成标量，特征值成为表示的不变量。从有限群走到结合代数与李代数时，同一杠杆反复出现：先证明某同态空间的维数受限，再推出完全可约、最高权唯一或中心特征标公式。

群代数#

群代数 $\mathbb{C}[G]$：以群元素为基的向量空间，乘法由群乘法线性扩展。$\mathbb{C}[G]$ 的表示等价于 $G$ 的表示。

Wedderburn-Artin 定理：$\mathbb{C}[G] \cong \bigoplus_i M_{n_i}(\mathbb{C})$——群代数分解为矩阵代数的直和。

诱导与限制把子群与大群的模范畴粘在一起。诱导 $\mathrm{Ind}_H^G V = \mathbb{C}[G]\otimes_{\mathbb{C}[H]} V$ 是沿着代数扩张 $\mathbb{C}[H]\to\mathbb{C}[G]$ 做的标量扩展；限制则是遗忘函子。Frobenius 互反律

$$\mathrm{Hom}_G(\mathrm{Ind}_H^G W,\, V) \cong \mathrm{Hom}_H(W,\, \mathrm{Res}_H^G V)$$

断言二者构成一对伴随。现代几何表示论把同类操作写成层或 $D$-模上的函子，但骨架仍是：先有代数（或层代数），再有模，群元素的矩阵实现只是选取基底之后的坐标。

李群与李代数的表示#

李代数表示：$\rho: \mathfrak{g} \to \mathfrak{gl}(V)$ 满足 $\rho([X,Y]) = [\rho(X), \rho(Y)]$。

最高权理论：复半单李代数的不可约表示由最高权分类——这是表示论最优美的结果之一。

Weyl 特征标公式：不可约表示 $V_\lambda$ 的特征标为：

$$\text{ch}(V_\lambda) = \frac{\sum_{w \in W} \text{sgn}(w) e^{w(\lambda+\rho)}}{\sum_{w \in W} \text{sgn}(w) e^{w\rho}}$$

此处同态条件从群的乘法保持换成括号保持。Cartan 子代数给出权空间分解，不可约有限维模由最高权的整性与支配条件分类；Weyl 群的交替和写出形式特征标，维数公式随之落地。量子力学中的角动量耦合，本质是 $\mathfrak{su}(2)$ 表示的张量积分解；粒子物理对内部对称的分类，问的仍是李代数有哪些有限维不可约模。群表示与李代数表示通过微分（取导数）与指数（在合适条件下积分）相连，但代数侧的权理论往往比流形侧的李群拓扑更先给出可计算的分类。

群代数视角还澄清一个常见误区：以为表示论只是"找漂亮矩阵"。真正被分类的是模的同构类；选基底只会改变矩阵实现，不改变特征标、不可约性与重数。因此计算特征标表、用 Young 对称化子投影、或对李代数写权图，都是在操作代数不变量，而坐标只是最后一步的书写习惯。把故事停在 GL(V) 的矩阵乘法，会漏掉半单分解、诱导伴随与最高权这些真正决定结构的层次。

历史演变#

表示论起源于19世纪末的群论。Frobenius（Ferdinand Georg Frobenius，1896—1897）创立了有限群的表示论——引入了特征标理论，证明了正交关系。Burnside（William Burnside，1904）用表示论证明了群论的重要定理（如 $p^aq^b$ 定理）。

Young（Alfred Young，1900—1901）发展了对称群的表示论——Young 图和 Young 表。Weyl（Hermann Weyl，1925—1926）将表示论推广到李群——这是量子力学的数学基础。他证明了 Weyl 特征标公式和完全可约性定理。

20世纪后半叶，表示论发展为现代数学的核心学科。Harish-Chandra（1950年代）发展了实约化群的表示论。Langlands（Robert Langlands，1967）提出了 Langlands 纲领——数论与表示论的统一框架，被称为"数学的大统一理论"。

贯穿这条历史的主线，不是"矩阵越来越多"，而是对象不断代数化：从有限群的特征标表，到群代数与半单代数的结构定理，再到李代数、包络代数、量子群与 $p$-进群的表示。每一次推广，都把"对称如何作用于线性空间"写成更一般的模论问题。

关键人物#

Frobenius（1849—1917）在1896—1897年创立了有限群的表示论。他引入了特征标理论，证明了正交关系，建立了表示论的基本框架。

外尔（Hermann Weyl，1885—1955）将表示论推广到李群和李代数。他的《经典群》（1939）系统地研究了经典群的不变量理论。他的工作将表示论与量子力学紧密结合。

朗兰兹（Robert Langlands，1936—）提出了 Langlands 纲领——数论、表示论和代数几何的宏大统一框架。这是当代数学最雄心勃勃的计划之一。

数学意义#

表示论的核心定理：

1. Maschke 定理：有限群的表示完全可约
2. Schur 引理：不可约表示之间的同态只有零或同构
3. 正交关系：不可约特征标的正交性
4. Weyl 特征标公式：半单李代数不可约表示的特征标——用根系和权完全确定
5. Peter-Weyl 定理：紧群的 $L^2(G)$ 分解为不可约表示的直和——傅里叶分析在紧群上的推广

这些定理共同描绘一幅图景：在半单或紧的良好条件下，对称性的线性作用可以完全分解，并且分解由特征标（或最高权）唯一标记。一旦离开半单性——模表示、$p$-进群、无限维酉表示——唯一性与完全可约性都会松动，研究前沿往往就在这些裂缝里。

核心概念辨析#

• 表示 vs 模：群 $G$ 的表示等价于群代数 $\mathbb{C}[G]$ 上的模——两种语言等价但视角不同
• 不可约 vs 完全可约：不可约是没有不变子空间，完全可约是可以分解为不可约直和——Maschke 定理说有限群表示完全可约
• 特征标 vs 维数：特征标 $\chi(g)$ 是 $g$ 的表示矩阵的迹，维数是 $\chi(e) = \dim V$——特征标包含更多信息
• 有限群表示 vs 李群表示：有限群表示是离散的（特征标表），李群表示是连续的（最高权理论）
• 诱导表示 vs 限制表示：诱导 $\text{Ind}_H^G$ 从小群到大群，限制 $\text{Res}_H^G$ 从大群到小群——Frobenius 互反律联系两者
• 代数表示 vs 几何表示：代数表示用矩阵语言，几何表示用向量丛语言——几何表示论是现代前沿

当代应用#

表示论在物理学和数学中有深远应用。在量子力学中，粒子的自旋和同位旋是 SU(2) 和 SU(3) 的表示——粒子物理的标准模型基于李群的表示论。在量子化学中，分子轨道的对称性分类使用点群的表示论。在编码理论中，群码和不变码基于群表示。在数论中，Langlands 纲领将 Galois 表示与自守形式联系起来——这是费马大定理证明的深层背景。在机器学习中，等变神经网络利用对称群的表示来设计具有对称性的网络架构。在信号处理中，傅里叶变换是阿贝尔群表示论的特例。

表示论的现代发展包括：几何表示论——用代数几何方法研究表示（Beilinson-Bernstein 局部化）；量子群表示——Drinfeld-Jimbo 量子群的表示理论与结不变量和共形场论相关；模表示论——特征整除群阶时的表示理论（Brauer 理论），比复表示复杂得多；$p$-进表示论——$p$-进数域上的表示理论，是 Langlands 纲领的核心组成部分。

若坚持群→代数的线索，这些应用更容易看清共性：物理里的对称算子生成李代数或其包络代数；化学点群的特征标表是有限群代数半单分解的显式账本；等变网络要求层映射与群代数作用交换；自守形式一侧则是更大的 Hecke 代数与 adelic 群代数在起作用。矩阵实现仍然有用，但问题的提法已经是模与函子。

核心公式汇编#

经典问题#

1. 不可约表示的分类：有限群的所有不可约表示如何分类？——对称群的 Young 图方法
2. Langlands 纲领：Galois 表示与自守形式的对应——数论与表示论的"大统一理论"
3. 分支律：$G$ 的不可约表示限制到子群 $H$ 时如何分解？——对称群限制到交错群的分支
4. 模表示论：特征整除群阶时的表示理论——Brauer 理论，比复表示复杂得多
5. 量子群表示：Drinfeld-Jimbo 量子群的表示——与结不变量和共形场论相关

与其他概念的关系#

表示论是连接代数与几何的桥梁： - → 群论：表示论是群论的"线性化"——通过矩阵理解群的结构 - → 线性代数：表示就是群到一般线性群的同态——特征值、对角化、Jordan 形的应用 - → 李代数：半单李代数的表示由最高权分类——Weyl 特征标公式 - → 数论：Langlands 纲领——Galois 群的表示与自守形式的对应 - → 量子力学：对称群的表示分类粒子态——角动量的耦合就是表示的张量积分解 - → 机器学习：等变神经网络利用群表示设计具有对称性的网络架构

跨域连接#

• 特征值与特征向量：若哈密顿量与对称群对易，本征空间必按不可约表示分块，而每一块上它只能是标量的倍数。推论是：简并度等于该表示的维数，简并不是巧合而是对称性的计数结果；见到反常简并，就该去找尚未察觉的对称。
• 能级分裂：加上外场把对称群压成子群，原来的不可约表示按子群重新分解，一条谱线随之裂成若干条。推论是：裂开的条数与强度比例可以在完全不解波动方程的情况下事先算出，只需要把表示做一次分解，因而是纯群论的可检验预言。
• 选择定则：跃迁强度是否恒为零，取决于跃迁矩阵元所属的表示里含不含全对称成分。推论是：同一个振动模式可能红外活跃而拉曼不活跃，反之亦然；对有对称中心的分子，两者互斥——每一张谱图都在检验这条判据。
• 变换的来源：有限交换群的不可约表示全是一维的，它们就是特征标，把函数按特征标展开正是离散傅里叶变换，卷积因此变成逐点相乘。推论是：换成不交换的群，表示维数大于一，卷积对应的是分块矩阵相乘而不再是逐点相乘。
• 隐子群问题：一批量子加速算法的共同骨架，是在群上做傅里叶采样以找出被隐藏的子群。推论是：交换群的情形有高效解法，而推广到不交换的置换群就对应图同构这类至今没有普遍高效算法的问题——加速的边界与群交不交换直接绑定。

参考文献#

1. F. G. Frobenius, "Über die Primfaktoren der Gruppendeterminante" (1896).
2. William Fulton & Joe Harris, Representation Theory: A First Course (1991).
3. Hermann Weyl, The Classical Groups (1939).
4. 丘维声, 《表示论》, 高等教育出版社, 2010.
5. Jean-Pierre Serre, Linear Representations of Finite Groups (1977).

表示论把抽象群（或代数）的元素表示为矩阵，从而用线性代数研究其结构。它是量子力学中角动量与粒子分类的数学语言，傅里叶分析可视为交换群表示论的特例，朗兰兹纲领更将其与数论深刻联系。

<!-- Additional notes: Character theory is the most computational part of representation theory --> <!-- The Langlands program is the deepest conjecture connecting number theory and representation theory --> <!-- Equivariant neural networks use group representations to encode symmetries -->