对称群的复不可约表示
我们简明快速地完成对称群的复不可约表示的分类．本文主要微调自 [1, section 4.2]，亦少量参考 [2, chapter 2]．推荐读者阅读前熟悉群的复表示的基本常识 [1, chapter 1–2] 和群代数模的观点．
- 本文为重构版本，旧版见 此处．
1 速览
一个 Young 图由一个整数分拆 \(\lambda \vdash n\) 唯一确定，一个 Young 表将一个 \(n\) 元置换填入 Young 图——本质上是一组信息 \(T = (\lambda \vdash n, \sigma \in \mathcal S_n)\)．如果 \(T\) 的各行各列均严格单增，则称 \(T\) 是标准 Young 表．
\[ \begin{matrix} \bullet & \bullet & \bullet & \bullet \\ \bullet & \bullet & \bullet \\ \bullet & \bullet \end{matrix} \]
\[ \begin{matrix} 2 & 3 & 9 & 8 \\ 5 & 4 & 6 \\ 7 & 1 \end{matrix} \]
置换 \(g \in \mathcal S_n\) 作用在全体形状为 \(\lambda\) 的 Young 表 \(T\) 上的方式为将数字 \(i\) 替换为 \(g(i)\)，即 \(gT := (\lambda, g \sigma)\)．易见对称群在固定形状 Young 表上的作用忠实且传递．作用在给定 Young 表 \(T\) 上的效果表现为对同行元素的置换的那些置换构成的群记为 \(P_T\)，置换同列元素的记为 \(Q_T\)．易见 \(P_T\) 和 \(Q_T\) 交平凡，两群之并生成整个 \(\mathcal S_n\)．
注记 (置换计算速记).
\(\sigma \mapsto g \sigma\)：对数字做置换，\((12)(23)\) 是先交换数字 \((2, 3)\)，再交换数字 \((1, 2)\)．
\(\sigma \mapsto \sigma g\)：对位置做置换，\((12)(23)\) 是先交换位置 \((1,2)\) 上的数字，再交换位置 \((2,3)\) 上的数字．
\(\sigma \mapsto g \sigma g^{-1}\)：对 \(\sigma\) 做字面上 \(g\) 的重标号．\((123)(1234)(123)^{-1} = (2314)\)
轮换计算技巧：\((2341) = (1234)=(12)(23)(34)\)，数字无交集可交换．
来刻画不同 Young 表行、列置换之间的关系：
- \(P_{gT} = g P_T g^{-1}\)
- \(Q_{gT} = g Q_T g^{-1}\)
设 \(\mathbb C[\mathcal S_n]\) 是 \(S_n\) 的复群代数，即其复正则表示．定义：
- 行对称化子 \(a_T := \sum_{g \in P_T} g \in \mathbb C[\mathcal S_n]\)
- 列对称化子 \(b_T := \sum_{g \in Q_T} \operatorname{sgn}(g) g \in \mathbb C[\mathcal S_n]\)
- Young 对称化子 \(c_T := a_T b_T\)
容易验证对称化子满足如下性质：
Young 表 \(T\) 诱导得到的 Specht 模 \(V_T\) 定义为 \(\mathbb C[\mathcal S_n] c_T\)，于是 \(\mathcal S_n\) 复不可约表示分类描述如下：
- 每个 Specht 模都是 \(\mathcal S_n\) 的不可约表示
- 两个 Specht 模同构当且仅当诱导它们的 Young 表具有相同的形状
- \(\mathcal S_n\) 的每个不可约表示都同构于某一 Specht 模
2 Schur 引理与正交关系
我们关心的所有 Specht 模的性质可以紧凑地写为如下命题：
即要求我们验证 Specht 模们满足 Schur 引理和特征标的正交关系——根据有限群表示论的基本结果，这将自动导出每个 Specht 特征标的不可约性和它们之间的同构情况．再利用对称群的共轭类数等于整数分拆数等于 Young 表形状数的事实，我们就完成了 \(\mathcal S_n\) 的复不可约表示的分类．
注意特征标内积是对称的，所以每对无序 Young 表只需要计算一次维数即可．
3 Hom 的新刻画
假定我们已经证明 \(c_T\) 是 \(\mathbb C[\mathcal S_n]\) 中的幂等元（或其常数倍），则上述 Hom 空间有更好的刻画：
这一结果由如下一般的命题提供：
证明. 这是因为每个 \(R e \to M\) 的 \(R\)-同态 \(\varphi\) 都由 \(e \mapsto \varphi(e)\) 唯一确定，且 \(\varphi(e) = \varphi (e^2) = e \varphi(e) \in e M\)．
于是 \[ \operatorname{Hom}_{\mathcal S_n}(V_T, V_S) = \operatorname{Hom}_{\mathcal S_n}(\mathbb C[\mathcal S_n] c_T, \mathbb C[\mathcal S_n] c_S) \cong c_T \mathbb C[\mathcal S_n] c_S \]
根据上述讨论，接下来的首要任务是研究 \(c_T\) 的幂等性和 \(c_T \mathbb C[\mathcal S_n] c_S\) 的维数．注意 \(c_T = a_T b_T\) 且 \(c_T x c_S = a_T (b_T x a_S) b_S\)，故两个问题都需要我们更详细地研究 \(a_T x b_S\) 的性质——更一般地，满足对任意 \(p \in P_T\), \(q \in Q_S\) 成立 \(p x q = \operatorname{sgn}(q) x\) 的元素 \(x \in \mathbb C[\mathcal S_n]\) 的性质．
4 同形状的情形
首先介绍一个必要的组合结果．
1 Same row, different column
证明. (1) => (2): 如图所示，将 \(T\) 中第一行全体元素取出，其在 \(S\) 中的对应元素必然在不同列．因此，可以通过 \(S\) 上的列置换将其移至 \(S\) 的第一行．随后对 \(T\) 的第一行元素做行置换即可使得 \(T\) 的第一行与 \(S\) 的第一行相同．顺次对第二行，第三行完成上述操作即可． \[ \begin{matrix} T & \begin{matrix} i & j & k & l \\ * & * & * \\ * & * \end{matrix} & \xrightarrow{p_1 \in P_T} & \begin{matrix} l & k & i & j \\ * & * & * \\ * & * \end{matrix} & \xrightarrow{p_2 \in P_T} & \dots \\ \\ S & \begin{matrix} l & * & * & j \\ * & * & i \\ * & k \end{matrix} & \xrightarrow{q'_1 \in Q_S} & \begin{matrix} l & k & i & j \\ * & * & * \\ * & * \end{matrix} & \xrightarrow{q'_2 \in Q_S} & \dots \end{matrix} \]
(2) => (3): 设 \(q' = g q g^{-1}\)，其中 \(q \in Q_T\)．则 \(pT = q'S = (g q g^{-1}) (gT) = gq T\)，即 \(p = gq\) 或 \(g = p q^{-1}\)．
(3) => (1): 考虑 \(T\) 中的某一行的数字．\(q\) 对 \(T\) 的作用将它们上下平移．\(p\) 对 \(qT\) 的作用再对它们做一个内部的置换．操作结束后，它们仍在不同列．
注记. 值得一提，\(P_T\), \(Q_T\) 并不互相交换，二者的乘积也不构成群．
证明. 不妨设 \(c = \sum_{g \in \mathcal S_n} n_g g\) 是满足对任意 \(p \in P_T\), \(q \in Q_T\)，有 \(p c q = \operatorname{sgn}(q) c\) 的某一 \(\mathbb C[\mathcal S_n]\) 中元素．对此式对比系数立得 \(n_{pgq} = \operatorname{sgn}(q) n_g\)．
注意我们已经知道满足这条件的 Young 对称化子 \[ c_T = a_T b_T = \sum_{p \in P_T} \sum_{Q \in Q_T} \operatorname{sgn}(q) pq \] 所以我们应当指望，也只需证明如下两个事实：
- 对任意 \(p \in P_T\), \(q \in Q_T\)，\(n_{pq} = \operatorname{sgn}(q)\) 乘上某个常数．
特取 \(g=1\) 得 \(n_{pq} = \operatorname{sgn}(q) n_1\)，相对 \(n_1\) 唯一．
- 对所有 \(g \notin P_T Q_T\)，有 \(n_g = 0\) 成立．
由 命题 4，此时存在对换 \(p := (i,j) \in P_T \cap Q_S = P_T \cap g Q_T g^{-1}\)．于是可取对换 \(q := g^{-1} p g \in Q_T\)，这样就有 \[ n_g = n_{pg(g^{-1}pg)} = n_{pgq} = \operatorname{sgn}(q) n_g = - n_g \] 因此 \(n_g = 0\)．
证明. 只需计算 \(\alpha\)．考察右乘线性变换 \[ \begin{aligned} \mathbb C[\mathcal S_n] &\to V_T \\ x &\mapsto x c_T \end{aligned} \] 已经知道它是投影变换的常数倍，因此这线性变换的迹 \(\operatorname{tr}(x \mapsto c_T x) = \alpha \dim V_T\)．考察 \(c_T g = a_T b_T g\) 的 \(g\) 分量对应系数，注意 \(P_T\) 和 \(Q_T\) 交平凡，故此系数为 \(1\)，于是 \(\operatorname{tr}(x \mapsto c_T x) = n!\)，因此 \(\alpha = n! / \dim V_T\)．
证明. 设 \(S = gT\)，则 \(c_T \mathbb C[\mathcal S_n] c_S = c_T \mathbb C[\mathcal S_n] c_T g^{-1}\)，因此只需考察 \(c_T \mathbb C[\mathcal S_n] c_T\) 的维数．这由 推论 1 保证．
5 不同形状的情形
受之前 命题 4 刻画同形状 Young 表间群作用关系的启发，我们可能也需要从组合上对 Young 表形状不同一事做一点文章．
在分拆上定义一个偏序 \(\trianglelefteq\)：\(\lambda \trianglelefteq \mu\) 当且仅当 \(\lambda\) 的每个前缀和都小于等于 \(\mu\) 的对应前缀和．注意字典序 \(\leq\) 是 \(\trianglelefteq\) 的一个细化版本．
下设 \(T,S\) 为形状分别为 \(\lambda, \mu \vdash n\) 的 Young 表．
证明. 上述命题中，(2) 是 (1) 的逆否命题，在 (2) 中取新的 \(S\) 为 \(gS\) 即可得 (3)，故只需证明 (1)．这是因为可以使用与 命题 4 类似的方法，在对 \(T\) 做行置换和对 \(S\) 做列置换后，确保对每个 \(i\)，\(T\) 的前 \(i\) 行元素都落在 \(S\) 的前 \(i\) 行．数数就得到 \(\lambda \trianglerighteq \mu\)．详细证明可参考 [2, lemma 2.2.4]．
证明. 设 \(c = \sum_{g \in \mathcal S_n} n_g g\)，对比系数仍有 \(n_{pgq} = \operatorname{sgn}(q) n_g\)．用 命题 6，取 \(p = (i,j)\), \(q = g^{-1} p g\) 就有 \[ n_g = n_{pg(g^{-1}pg)} = n_{pgq} = \operatorname{sgn}(q) n_g = - n_g \] 因此 \(n_g = 0\) 对任意 \(g\) 成立．
综上，我们完成了 \(\mathcal S_n\) 的复不可约表示的分类：它们恰为全体 Specht 模 \(V_T\)，其中 \(T\) 是形状为 \(\lambda \vdash n\) 的 Young 表．两个 Specht 模同构当且仅当诱导它们的 Young 表具有相同的形状．
注记 (关于使用到的复数域 \(\mathbb C\) 的特殊性质).
- 我们使用了 \(\mathbb C\) 特征不整除 \(n!\) 导致的群代数 \(\mathbb C[\mathcal S_n]\) 的半单性．
- 我们使用了群的复不可约表示数量等于群的共轭类的数量的结果．
- 其它论证没有用到 \(\mathbb C\) 的特殊性质．
注记 (关于对称化子的组合看法). \(P_T\) 中的元素在左作用到 \(g \in \mathcal S_n\) 时，是对 \(T\) 中同行的数字做字面上的数字置换；在右作用时是将 \(\sigma\)（从左到右，从上到下）排入 \(T\) 后做其上的行置换．\(Q_T\) 同理．
\(\mathbb C[\mathcal S_n]\) 可以看作 \(\mathcal S_n \to \mathbb C\) 的函数空间，配备双边群作用 \((g_1 \cdot \chi \cdot g_2)(h) = \chi(g_1^{-1} g g_2^{-1})\)．
- \(a_T \mathbb C[\mathcal S_n]\) 中的函数，交换两个出现在 \(T\) 中同行的数字，函数值不变；
- \(\mathbb C[\mathcal S_n] b_T\) 中的函数，交换 \(T\) 中同列的两个位置，改变符号．
- \(a_T \mathbb C[\mathcal S_n] b_T\) 中的函数同时满足以上两条性质．
其它经典的组合看法还有关于 \(a_T \mathbb C[\mathcal S_n]\) 是“tabloid”的看法 [2, Definition 2.1.4]，是诱导表示 \(1\uparrow_{P_T}^{\mathcal S_n}\) 的看法等．
注记 (关于 \(P_T Q_T \cap Q_T P_T\) 的一个错误猜想，已隐藏). \(\alpha\) 也应等于 \(c_T^2\) 在单位元处的系数 \[ [\operatorname{id}_{\mathcal S_n}] c_T^2 = \sum_{\substack{p_1,p_2 \in P_T \\ q_1, q_2 \in Q_T \\ p_1 q_1 p_2 q_2 = \operatorname{id}_{\mathcal S_n}}} \operatorname{sgn}(q_1) \operatorname{sgn}(q_2) \]
猜想求和中的每一项都满足 \(\operatorname{sgn}(q_1) = \operatorname{sgn}(q_2)\)，这样就有 \[ \alpha = |P_T Q_T \cap Q_T P_T| \] 然而这并不正确．使用如下 Sage 代码可以验证：
# Define the symmetric group
S = SymmetricGroup(8)
"""
1 2 3
4 5 6
7 8
"""
P_gens = [S((1,2)), S((2,3)),
S((4,5)), S((5,6)),
S((7,8))]
Q_gens = [S((1,4)),S((4,7)),
S((2,5)),S((5,8)),
S((3,6))]
# Create the subgroups P and Q
P = S.subgroup(P_gens)
Q = S.subgroup(Q_gens)
print("P", len(P))
print("Q", len(Q))
PQ = Set([p * q for p in P for q in Q])
QP = Set([q * p for q in Q for p in P])
print("PQ:", len(PQ))
print("QP:", len(QP))
# Compute the intersection of P and Q
cap = PQ.intersection(QP)
# Display the intersection
print("PQ cap QP:", len(cap))