跳转到内容
← 返回概念
代数约 16 分钟阅读

表示论

Representation Theory

关键人物

frobeniusburnsideyoungweyl
代数表示论群论线性代数李代数

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

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

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

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

定义

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

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

ρ:G→GL(V)\rho: G \to GL(V)

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

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

核心内容

基本概念

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

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

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

特征标

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

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

Schur 引理

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

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

群代数

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

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

李群与李代数的表示

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

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

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

ch(Vλ)=∑w∈Wsgn(w)ew(λ+ρ)∑w∈Wsgn(w)ewρ\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}}

历史演变

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

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

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

关键人物

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

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

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

数学意义

表示论的核心定理：

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

核心概念辨析

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

当代应用

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

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

核心公式汇编

概念公式
表示ρ:G→GL(V)\rho: G\to GL(V)，ρ(gh)=ρ(g)ρ(h)\rho(gh) = \rho(g)\rho(h)
特征标χ(g)=tr(ρ(g))\chi(g) = \text{tr}(\rho(g))
正交关系$\frac{1}{G}\sumg\chii(g)\overline{\chij(g)} = \delta{ij}$
特征标表$\sumi ni^2 =G$（nin_i 为不可约表示维数）
Schur 引理HomG(Vi,Vj)=0\text{Hom}_G(V_i,V_j) = 0（i≠ji\neq j），EndG(Vi)=C\text{End}_G(V_i) = \mathbb{C}
诱导表示IndHGV=C[G]⊗C[H]V\text{Ind}_H^G V = \mathbb{C}[G]\otimes_{\mathbb{C}[H]} V
Weyl 特征标公式ch(Vλ)=∑wsgn(w)ew(λ+ρ)∑wsgn(w)ewρ\text{ch}(V_\lambda) = \frac{\sum_w\text{sgn}(w)e^{w(\lambda+\rho)}}{\sum_w\text{sgn}(w)e^{w\rho}}

经典问题

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

与其他概念的关系

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

跨域连接

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

参考文献

  1. F. G. Frobenius, "Über die Primfactoren 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 -->