[论文解读] A natural representation model for symmetric groups

Vijay Kodiyalam, Daya-Nand Verma|ArXiv.org|Feb 13, 2004

Advanced Algebra and GeometryMathematics参考文献 1被引用 18

一句话总结

本文在由对合元张成的向量空间上构造了对称群 $\Sigma_N$ 的一个自然复表示，表明该表示恰好包含 $\Sigma_N$ 的每一个不可约表示一次。该构造使用对合元上的带符号共轭作用，关键结果是该表示的自同态代数是交换的，且维数等于 $N$ 的整数分拆数，从而证实了其不可约表示的无重分解。

ABSTRACT

For any positive integer $N$, we describe a natural complex representation of the symmetric group $Σ_N$ on the vector space spanned by its involutions that contains each irreducible representation exactly once.

研究动机与目标

• 在由 $\Sigma_N$ 的对合元张成的向量空间上构造一个 $\Sigma_N$ 的自然复表示，使其恰好包含每个不可约表示一次。
• 为对称群提供一种替代现有 Gelfand 模型构造的方法，特别是基于微分算子或 Weyl 代数的构造。
• 为 $\Sigma_N$ 中对合元的数量与不可约表示的次数之和之间的数值巧合提供结构性解释。
• 刻画表示空间的自同态代数并证明其为交换代数，从而暗示无重分解。

提出的方法

• 在由 $j$ 个不相交对换的乘积张成的向量空间 $V_j$ 上定义 $\Sigma_N$ 的表示 $\pi_j$（即长度为 $j$ 的对合元）。
• 引入符号函数 $S(\sigma, \tau) = (-1)^{\#\{k : \sigma(p_{2k-1}) > \sigma(p_{2k})\}}$，以定义 $\sigma \in \Sigma_N$ 对基元素 $\tau \in X_j$ 的作用。
• 通过将其与商代数 $\mathrm{Sym}(\bigwedge^2 V)/I$ 的 $j$-阶分次分量联系起来，证明表示 $\pi_j$ 是良定义的，其中 $I$ 是一个单项式理想。
• 通过证明所有 $G$-交错算子均可由对称矩阵表示，证明自同态代数 $\mathrm{End}_G(V_j)$ 是交换的。
• 通过分析 $X_j \times X_j$ 上的同步共轭作用轨道，计算 $\dim \mathrm{End}_G(V_j)$，表明其等于 $N$ 的分拆数中具有 $N - 2j$ 个奇部的分拆数。
• 最终得出结论：$\mathrm{End}_G(A) = \bigoplus_j \mathrm{End}_G(V_j)$ 是交换代数，且维数等于 $N$ 的分拆数，因此 $A$ 恰好包含 $\Sigma_N$ 的所有不可约表示。

实验结果

研究问题

• RQ1 能否在 $\Sigma_N$ 的对合元张成的空间上构造一个自然的 $\Sigma_N$ 表示，使其恰好实现每个不可约表示一次？
• RQ2 对合元上的带符号共轭作用如何导致 $\Sigma_N$ 的无重表示？
• RQ3 对合元空间 $V_j$ 的自同态代数 $\mathrm{End}_G(V_j)$ 的结构是什么？
• RQ4 是否存在对恒等式 $\sum_{\text{对合元}} \dim \rho = \# \text{不可约表示}$ 的结构性解释，该恒等式由 RSK 对应已知？
• RQ5 在 $X_j \times X_j$ 上的同步共轭作用轨道如何分类 $G$-交错算子，并确定 $\mathrm{End}_G(V_j)$ 的维数？

主要发现

• 表示空间 $A = \bigoplus_{j=0}^{\lfloor N/2\rfloor} V_j$，其中 $V_j$ 是长度为 $j$ 的对合元张成的空间，赋予了 $\Sigma_N$ 的自然作用，且恰好包含每个不可约表示一次。
• 自同态代数 $\mathrm{End}_G(A)$ 是交换的，这意味着 $A$ 的不可约表示分解是无重的。
• $\mathrm{End}_G(V_j)$ 的维数等于具有恰好 $N - 2j$ 个奇部的 $N$ 的整数分拆数。
• $V_j$ 到自身的 $G$-交错算子由对称矩阵表示，这源于符号函数 $S(\sigma, \tau)$ 及同长度对合元对之间存在共轭对合元的事实。
• $X_j \times X_j$ 上的同步共轭轨道由一对的数值特征分拆分类，该分拆是具有 $N - 2j$ 个奇部的 $N$ 的分拆。
• $\mathrm{End}_G(A)$ 的总维数等于 $\Sigma_N$ 的共轭类数，这也等于不可约表示的数量，从而证实了所有不可约表示均出现在 $A$ 中。