2026-07-23 · 把固定点变成迹

0. 导读与元结构 (Orientation & Meta-structure)

起点问题。 Day 1 的 Burnside 公式说：有限群 $G$ 作用在有限集合 $X$ 上时，轨道数等于平均固定点数，

$$|X/G|=\frac{1}{|G|}\sum _{g\in G}|X^g|.$$

Day 2 的 Galois 对应说：在足够刚性的有限 Galois 扩张里，被子群逐点固定的量可以反推出子群与中间域。今天收束这条三日弧：把集合上的作用放进向量空间，固定点数会变成矩阵的迹 (trace)，平均固定点数会变成投影算子的迹，进而进入 character theory（特征标理论）。

对象与量词层。 今日的对象有四层：

1. 有限群 $G$；
2. 有限集合 $X$，以及作用 $G\times X\to X$；
3. 复向量空间 ${\mathbb{C}}^X$，其基向量记为 $e_x$，$x\in X$；
4. 线性表示 (linear representation)
   $${\rho }_X:G⟶\mathrm{GL}({\mathbb{C}}^X),{\rho }_X(g)e_x=e_{g\cdot x}.$$

这里的量词变化很重要：集合层面问“哪些点被 $g$ 固定”；线性层面问“矩阵 ${\rho }_X(g)$ 的对角线有多少个 $1$”。二者等价，正因为基向量仍由原集合逐点索引。

预备知识。 群作用、轨道—稳定子、Burnside 双计数；有限维线性代数中的迹、投影、直和；复数域上的基本内积。今天不要求已学一般环论，但会清楚标出 Maschke theorem（Maschke 定理）对特征的假设。

主证明引擎。

• 把置换矩阵的对角线逐项读出来，得到 ${\chi }_X(g)=|X^g|$；
• 用平均算子 $P=|G{|}^{-1}\sum _g\rho (g)$ 投影到不变量子空间；
• 用 irreducible characters（不可约特征标）的正交性，把一个表示分解为不可约块。

弧线位置。 本期是 exploration-2026-w30-symmetry-orbits 的 Day 3/3。它不是单纯复习 Day 1 的 Burnside 计数，而是把同一个固定点平均提升到“迹—投影—特征标”的线性语言；也不是继续 Day 2 的域论细节，而是解释为何“固定量”会在表示论中表现为不变量维数。由此，本弧闭合。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从群作用到置换表示

定义 1（finite-dimensional representation，有限维表示）。 设 $G$ 是群，$k$ 是域。$G$ 在 $k$-向量空间 $V$ 上的一个表示是群同态

$$\rho :G⟶\mathrm{GL}(V),$$

也就是说，完整量词为

$$\mathrm{\forall }g,h\in G,\rho (gh)=\rho (g)\rho (h),\rho (e)=I_V.$$

若 $V$ 有限维，则定义 character（特征标）

$${\chi }_V(g):=\mathrm{tr}(\rho (g)).$$

由于 $\rho (hg{h}^{-1})=\rho (h)\rho (g)\rho (h{)}^{-1}$，相似矩阵迹相同，所以

$${\chi }_V(hg{h}^{-1})={\chi }_V(g).$$

因此特征标是 class function（类函数）：它只依赖 $g$ 的共轭类。

定义 2（permutation representation，置换表示）。 若有限群 $G$ 作用在有限集合 $X$ 上，则定义

$${\mathbb{C}}^X=\{\sum _{x\in X}{a}_x{e}_x:a_x\in \mathbb{C}\},$$

并令

$${\rho }_X(g)e_x=e_{g\cdot x}.$$

这给出一个复表示，因为

$${\rho }_X(gh)e_x=e_{(gh)\cdot x}=e_{g\cdot (h\cdot x)}={\rho }_X(g){\rho }_X(h)e_x.$$

1.2 固定点数就是置换特征标的值

命题（permutation character fixed-point formula，置换特征标固定点公式）。 对任意 $g\in G$，

$${\chi }_X(g)=|X^g|,$$

其中

$$X^g:=\{x\in X:g\cdot x=x\}.$$

证明。 在基 $\{e_x:x\in X\}$ 下，${\rho }_X(g)$ 是置换矩阵。其第 $x$ 个基向量被送到 $e_{g\cdot x}$。矩阵在 $e_x$ 对应的对角位置出现 $1$，当且仅当 $g\cdot x=x$；否则该列的 $1$ 出现在别的行，对角位置为 $0$。因此

$$\mathrm{tr}({\rho }_X(g))=\sum _{x\in X}{\mathbf{1}}_{\{g\cdot x=x\}}=|X^g|.$$

这一步把 Day 1 的固定点计数完全线性化：固定点不是被类比成迹，而是逐对角线相加后正好等于迹。

1.3 平均投影：Burnside 是一个迹公式

设 $V$ 是有限群 $G$ 的复表示。定义平均算子

$$P_G:=\frac{1}{|G|}\sum _{g\in G}\rho (g).$$

命题（averaging projector，平均投影）。 $P_G$ 是到不变量子空间

$$V^G:=\{v\in V:\mathrm{\forall }g\in G,\rho (g)v=v\}$$

的投影；特别地，

$$\mathrm{tr}(P_G)=\dim V^G.$$

证明。 对任意 $h\in G$，

$$\rho (h)P_G=\frac{1}{|G|}\sum _{g\in G}\rho (hg)=\frac{1}{|G|}\sum _{u\in G}\rho (u)=P_G,$$

其中 $u=hg$ 遍历整个 $G$。故 $P_{G}v$ 总是 $G$-不变。反过来，若 $v\in V^G$，则

$$P_{G}v=\frac{1}{|G|}\sum _{g\in G}v=v.$$

所以 $P_G$ 在 $V^G$ 上为恒等，在某个补空间方向上投到 $V^G$；因此是投影，迹等于像空间维数。

把 $V={\mathbb{C}}^X$ 代入，得到

$$\mathrm{tr}(P_G)=\frac{1}{|G|}\sum _{g\in G}\mathrm{tr}({\rho }_X(g))=\frac{1}{|G|}\sum _{g\in G}|X^g|.$$

另一方面，${\mathbb{C}}^X$ 中的 $G$-不变量正是“在每条轨道上取常数的函数”：若 $x,y$ 同轨，则 $y=g\cdot x$ 迫使系数相同；不同轨道之间可独立选值。因此

$$\dim ({\mathbb{C}}^X{)}^G=|X/G|.$$

于是 Burnside 公式变成

$$|X/G|=\frac{1}{|G|}\sum _{g\in G}{\chi }_X(g).$$

Day 1 的双计数没有消失；它在这里被重写为“投影的迹可以先平均矩阵再取迹”。

1.4 Maschke：为什么可以谈“分解成不可约块”

线性化以后，一个自然问题是：表示 $V$ 能否拆成最小的不可再拆部分？答案依赖基域特征。

定理（Maschke theorem，Maschke 定理，复数情形）。 设 $G$ 是有限群，$V$ 是有限维复表示。若 $W\subseteq V$ 是子表示，则存在子表示 $W^{\prime }$ 使得

$$V=W\oplus W^{\prime }.$$

因此每个有限维复表示都是 irreducible representations（不可约表示）的直和。

证明架构。 先只在线性代数层面选一个任意补空间，从而得到投影 $p:V\to W$，满足 $p{|}_W={\mathrm{id}}_W$。这个 $p$ 未必与 $G$ 作用相容。于是做平均：

$$\bar{p}=\frac{1}{|G|}\sum _{g\in G}\rho (g)p\rho (g{)}^{-1}.$$

逐项检查可得 $\bar{p}\rho (h)=\rho (h)\bar{p}$，所以 $\bar{p}$ 是 $G$-equivariant（与 $G$ 作用相容）的投影；同时 $\bar{p}{|}_W={\mathrm{id}}_W$。于是

$$W^{\prime }:=\ker \bar{p}$$

是 $G$-不变补空间。这里 $1/|G|$ 能写出来，正使用了复数域中特征为 $0$；第 4 节会看到删去这点会怎样失败。

1.5 特征标正交与重数公式

在复表示论里，对 $G$ 的复值类函数定义内积

$$⟨f_1,f_2⟩=\frac{1}{|G|}\sum _{g\in G}{f}_1(g)\overline{f_2(g)}.$$

定理（orthogonality of irreducible characters，不可约特征标正交）。 若 $U,W$ 是不可约复表示，则

$$⟨{\chi }_U,{\chi }_W⟩=\{\begin{array}{ll}1,& U\cong W,\\ 0,& U\ncong W.\end{array}$$

更一般地，若

$$V\cong \underset{i}{⨁}{m}_i{U}_i$$

是不可约分解，则

$${\chi }_V=\sum _i{m}_i{\chi }_{U_i},m_i=⟨{\chi }_V,{\chi }_{U_i}⟩.$$

证明思想。 Maschke 定理保证每个表示可分解；Schur lemma（Schur 引理）说明不可约块之间的 $G$-同态空间极小；平均投影施加到 ${\mathrm{Hom}}_{\mathbb{C}}(W,U)$ 上，其迹同时等于特征标内积与 $\dim {\mathrm{Hom}}_G(W,U)$。因此“正交”不是形式上的幸运，而是 $G$-equivariant maps（等变映射）维数的影子。

1.6 例子：$S_3$ 的自然置换表示

令 $S_3$ 作用在 $X=\{1,2,3\}$ 上。共轭类按循环型分为三类：

$$1,\text{transpositions }(12),\text{3-cycles }(123),$$

类大小分别为

$$1,3,2.$$

自然置换表示的特征标为

$${\chi }_X=(3,1,0),$$

因为恒等元固定 $3$ 点，换位固定 $1$ 点，三循环固定 $0$ 点。

$S_3$ 的三个不可约复特征标可写为

$${\chi }_{\mathrm{triv}}=(1,1,1),$$

$${\chi }_{\mathrm{sgn}}=(1,-1,1),$$

$${\chi }_{\mathrm{std}}=(2,0,-1).$$

按类大小加权计算，

$$⟨{\chi }_X,{\chi }_{\mathrm{triv}}⟩=\frac{1\cdot 3\cdot 1+3\cdot 1\cdot 1+2\cdot 0\cdot 1}{6}=1,$$

$$⟨{\chi }_X,{\chi }_{\mathrm{sgn}}⟩=\frac{1\cdot 3\cdot 1+3\cdot 1\cdot (-1)+2\cdot 0\cdot 1}{6}=0,$$

$$⟨{\chi }_X,{\chi }_{\mathrm{std}}⟩=\frac{1\cdot 3\cdot 2+3\cdot 1\cdot 0+2\cdot 0\cdot (-1)}{6}=1.$$

所以

$${\mathbb{C}}^X\cong \mathbf{1}\oplus \mathrm{Std}.$$

其中 $\mathbf{1}$ 是常数函数子空间，对应唯一轨道；$\mathrm{Std}$ 可实现为

$$\{(z_1,z_2,z_3)\in {\mathbb{C}}^3:z_1+z_2+z_3=0\},$$

它记录“总和为零”的二维形变。于是同一件事有三种读法：群作用有一个轨道；置换表示有一维不变量；置换特征标与平凡特征标的内积等于 $1$。

1.7 Graduate / modern extension：从有限平均到 Fourier 视角

对有限群，特征标把表示压缩成共轭类上的函数。不可约特征标构成类函数空间的一组正交基，因此把表示分解成不可约块，类似于把函数分解成 Fourier modes（Fourier 模式）。若 $G$ 是 compact group（紧群），有限和

$$\frac{1}{|G|}\sum _{g\in G}$$

被 normalized Haar measure（归一化 Haar 测度）上的积分

$${\int }_G\rho (g)dg$$

取代，仍然得到到 $V^G$ 的平均投影。这里可以看见下一条可能路线：从有限对称的特征标，走向 Fourier transform（Fourier 变换）、Peter-Weyl theorem（Peter-Weyl 定理）和 Galois representations（Galois 表示）。

2. 固定模板习题 (Template Exercise)

题目

设 $G=S_3$，考虑它的 regular representation（正则表示）$\mathbb{C}[G]$，即 $G$ 通过左乘作用在基向量 $e_h$ 上：

$$g\cdot e_h=e_{gh}.$$

已知 $S_3$ 的三个不可约特征标按共轭类 $1,(12),(123)$ 排列为

$${\chi }_{\mathrm{triv}}=(1,1,1),{\chi }_{\mathrm{sgn}}=(1,-1,1),{\chi }_{\mathrm{std}}=(2,0,-1),$$

共轭类大小分别为 $1,3,2$。求 $\mathbb{C}[S_3]$ 的不可约分解。

模板识别

看到“给定表示 + 已知不可约特征标表”，优先先求该表示的 character（特征标），再用内积

$$m_i=⟨{\chi }_V,{\chi }_i⟩$$

求不可约重数。正则表示的特殊信号是：非单位元左乘没有固定基向量。

分级提示

1. Hint 1. 正则表示的维数是 $|S_3|=6$，所以 ${\chi }_{\mathrm{reg}}(1)=6$。
2. Hint 2. 若 $g\ne 1$，方程 $gh=h$ 在群中无解；因此左乘置换没有固定基向量。
3. Hint 3. 使用加权内积
   $$⟨f,h⟩=\frac{1}{6}(1\cdot f(1)\overline{h(1)}+3\cdot f((12))\overline{h((12))}+2\cdot f((123))\overline{h((123))}).$$
4. Hint 4. 分解后的总维数必须重新加回 $6$；这是最后的 sanity check。

3. 大家之言 (Mathematician in Their Own Words)

可核验语境。 Hermann Weyl 的 Space-Time-Matter 英译本由 Henry L. Brose 翻译，1922 年由 Methuen 出版；Project Gutenberg 电子版保留了前言与修订说明。在第四版序言中，Weyl 说明他新增了一个从 group theory（群论）观点讨论空间度量的问题，并把 Einstein 引力方程的唯一性与 Riemann 空间中的不变量联系起来。[2]

“the problem of space is formulated in conformity with the view of the Theory of Groups; we endeavour to arrive at an understanding of the inner necessity and uniqueness of Pythagorean space metrics based on a quadratic differential form.”

中译。 “空间问题按照群论的观点来表述；我们试图理解以二次微分形式为基础的 Pythagoras 式空间度量的内在必然性与唯一性。”

同一段随后还说：

“the scalar of curvature is the only invariant having a certain character in Riemann's space.”

中译。 “曲率标量是在 Riemann 空间中具有某种特征的唯一不变量。”

评论。 Weyl 这里不是在讲有限群特征标；不能把今天的 $\chi (g)=\mathrm{tr}\rho (g)$ 直接倒读进相对论几何。可迁移的是方法姿态：先明确允许的变换群，再问什么量在这些变换下保留下来，甚至问“具有某种 character 的不变量是否唯一”。今天的有限表示论是这一姿态的离散模型：固定点数被组织为迹，迹作为类函数压缩了对称作用，而平均投影从所有变换中筛出真正不变的部分。

这也解释了为何 representation theory 不只是“把群写成矩阵”：它把“结构允许什么量可见”变成线性代数中可计算的迹、内积和投影。

4. 反例与边界 (Counterexample & Boundary)

特征整除群阶时，平均投影会失效

Maschke 定理的假设不是装饰。令

$$G=C_2=\{1,s\},k={\mathbb{F}}_2,V=k^2.$$

取基 $e_1,e_2$，定义

$$\rho (s)=A=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right).$$

逐项检查：

1. 这确实给出 $C_2$ 的表示。 在特征 $2$ 中，令

   $$N=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),A=I+N.$$

   因为 $N^2=0$ 且 $2N=0$，所以

   $$A^2=(I+N{)}^2=I+2N+N^2=I.$$

   因而 $s^2=1$ 的关系被满足。

2. 存在非零真子表示。 子空间

   $$W={\mathrm{span}}_{{\mathbb{F}}_2}(e_1)$$

   不变，因为 $A{e}_1=e_1$。

3. 但没有不变补空间。 $W$ 的任意一维补空间必须由

   $$u=a{e}_1+e_2,a\in {\mathbb{F}}_2$$

   张成。若 $\mathrm{span}(u)$ 不变，则 $Au$ 必须等于 $u$，因为 ${\mathbb{F}}_2$ 中唯一非零标量是 $1$。但

   $$Au=(a+1)e_1+e_2\ne a{e}_1+e_2=u.$$

   所以任何补线都不稳定。

4. 失败的精确位置。 若照搬复数情形的平均投影，需要写

   $$\frac{1}{2}(I+A),$$

   但 $2=0$ 在 ${\mathbb{F}}_2$ 中不可逆。于是“任意投影平均成等变投影”的步骤根本无从开始。

这个例子暴露的边界是 modular representation（模表示）边界：当 $\mathrm{char}k$ 整除 $|G|$ 时，表示不必半单，Jordan block（Jordan 块）可以出现，普通迹函数也不再足以分类表示。今天的特征标正交与重数公式应读作复表示论、或更一般地 $\mathrm{char}k\nmid |G|$ 的半单情形；不可无条件搬到模表示中。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设有限群 $G$ 作用在有限集合 $X$ 上，${\chi }_X$ 是置换表示 ${\mathbb{C}}^X$ 的特征标。证明并解释：

$$\mathrm{\#}((X\times X)/G)=⟨{\chi }_X^2,\mathbf{1}⟩,$$

其中 $G$ 对 $X\times X$ 对角作用，$\mathbf{1}$ 是平凡特征标。

更进一步，若 $G$ 在 $X$ 上传递，左边称为 rank（秩，或 orbital 数）：它数的是有序点对在对称下的类型。请思考：为什么 $2$-transitive action（二重传递作用）恰好给出两个有序点对类型——对角线 $x=y$ 与非对角线 $x\ne y$？

定向提示。 先不要展开所有点对。先观察

$${\mathbb{C}}^{X\times X}\cong {\mathbb{C}}^X\otimes {\mathbb{C}}^X,$$

并使用张量积表示的特征标公式

$${\chi }_{V\otimes W}(g)={\chi }_V(g){\chi }_W(g).$$

然后把 Burnside 的“轨道数”翻译成“不变量维数”，即与平凡表示的重数。

数学地图。

$$\begin{array}{c}\text{群作用与固定点}\\ \Downarrow \\ \text{置换表示 }{\mathbb{C}}^X\text{ 与置换特征标}\\ \Downarrow \\ \text{平均投影 }{P}_G\text{ 与不变量维数}\\ \Downarrow \\ \text{Maschke 定理：半单分解}\\ \Downarrow \\ \text{特征标正交：重数由内积给出}\\ \Downarrow \\ \text{正则表示、诱导表示、张量积与 orbital 计数}\\ \Downarrow \\ \text{Fourier 分解、紧群 Haar 平均、Galois 表示}\\ \Downarrow \\ \text{随机图与组合结构中的重标号对称}\end{array}$$

本弧的三句话收束为：群作用说明“谁与谁等价”；Galois 对应说明“固定量何时反推结构”；特征标说明“固定点与不变量如何被线性代数读取”。同一主题三种语言，互相照明而不互相替代。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：先求表示特征标 $\to$ 与不可约特征标逐一取内积 $\to$ 用维数核验分解。

正则表示 $\mathbb{C}[S_3]$ 的基由群元素 $h\in S_3$ 标号。若 $g=1$，左乘固定所有 $6$ 个基向量，所以

$${\chi }_{\mathrm{reg}}(1)=6.$$

若 $g\ne 1$，则 $gh=h$ 蕴含 $g=1$，矛盾；因此左乘 $g$ 没有固定基向量。作为置换矩阵，它的迹为 $0$。所以按共轭类 $1,(12),(123)$ 排列，

$${\chi }_{\mathrm{reg}}=(6,0,0).$$

现在逐一计算重数。

平凡表示的重数为

$$⟨{\chi }_{\mathrm{reg}},{\chi }_{\mathrm{triv}}⟩=\frac{1}{6}(1\cdot 6\cdot 1+3\cdot 0\cdot 1+2\cdot 0\cdot 1)=1.$$

符号表示的重数为

$$⟨{\chi }_{\mathrm{reg}},{\chi }_{\mathrm{sgn}}⟩=\frac{1}{6}(1\cdot 6\cdot 1+3\cdot 0\cdot (-1)+2\cdot 0\cdot 1)=1.$$

标准二维表示的重数为

$$⟨{\chi }_{\mathrm{reg}},{\chi }_{\mathrm{std}}⟩=\frac{1}{6}(1\cdot 6\cdot 2+3\cdot 0\cdot 0+2\cdot 0\cdot (-1))=2.$$

因此

$$\boxed{{\displaystyle \mathbb{C}[S_3]\cong \mathbf{1}\oplus \mathrm{sgn}\oplus 2\mathrm{Std}}}.$$

最后做维数核验：

$$1+1+2\cdot 2=6,$$

与 $\dim \mathbb{C}[S_3]=|S_3|=6$ 相符。

这个结果是一般规律的一个实例：有限群的正则表示中，每个不可约表示 $U$ 出现 $\dim U$ 次。因此也得到平方和公式

$$|G|=\sum _{U\in \hat{G}}(\dim U{)}^2.$$

对 $S_3$，不可约维数为 $1,1,2$，确有

$$1^2+1^2+2^2=6.$$

资料与来源 (Sources)

1. Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Elena Yudovina, and Dmitry Vaintrob, Introduction to Representation Theory, MIT OpenCourseWare 18.712, Fall 2010. Lecture notes page and Chapter 3 “Representations of finite groups: basic results” were used to verify Maschke's theorem, the definition of characters, orthogonality of characters, the $S_3$ irreducible representation data, and the regular-representation decomposition principle: https://ocw.mit.edu/courses/18-712-introduction-to-representation-theory-fall-2010/pages/lecture-notes/ and https://ocw.mit.edu/courses/18-712-introduction-to-representation-theory-fall-2010/resources/mit18_712f10_ch3/ . Direct Chapter 3 PDF opened during this run: https://ocw.mit.edu/courses/18-712-introduction-to-representation-theory-fall-2010/0abca81c8a50d3d529fa0fc3d3e5319a_MIT18_712F10_ch3.pdf
2. Hermann Weyl, Space-Time-Matter, translated from German by Henry L. Brose, Methuen & Co., first English publication 1922; Project Gutenberg eBook No. 43006, released 2013-06-21 and last updated 2021-07-25. Section 3 quotations were checked against the Project Gutenberg LaTeX source, Preface to the Fourth Edition: https://www.gutenberg.org/ebooks/43006 and https://www.gutenberg.org/files/43006/43006-t/43006-t.tex