[论文解读] On the matrix units for the symmetric group

Alexander Molev|arXiv (Cornell University)|Dec 8, 2006

Advanced Topics in Algebra参考文献 7被引用 1

一句话总结

本文提供了简洁的证明，确立了对称群的两种矩阵单位公式之间的等价性：一种源自穆菲的构造，另一种源自切雷德尼克的融合过程。通过利用杨表的结构及相邻对换的作用，作者表明，这两种方法在群代数中产生相同的矩阵单位，统一了对称群表示理论中两种重要的构造方法。

ABSTRACT

We give a simple proof of the equivalence of the matrix unit formulas for the symmetric group provided by Murphy’s construction and by the fusion procedure due to Cherednik. 1 Young basis Let us fix some notation and recall some well known facts about the representations of the symmetric group Sn; see e.g. [3]. We write a partition λ as a sequence λ = (λ1,...,λl) of integers such that λ1 � · · · � λl � 0. We shall identify a partition λ with its diagram which is a left-justified array of rows of cells such that the top row contains λ1 cells, the next row contains λ2 cells, etc. Let us fix a positive integer n. If λ1 + · · · + λl = n then λ is a partition of n, written λ ⊢ n. A cell of λ is called removable if its removal leaves a diagram. Similarly, a cell is addable to λ if the union of λ and the cell is a diagram. We shall write µ → λ if λ is obtained from µ by adding one cell. A tableau T of shape λ (or a λ-tableau T) is obtained by filling in the cells of the diagram with the numbers {1,...,n} so that each cell contains exactly one number. We write sh(T) = λ if the shape of T is λ. A tableau T is called standard if its entries strictly increase along the rows and down the columns. The irreducible representations of Sn over C are parameterized by partitions of n. Given a partition λ of n denote the corresponding irreducible representation of Sn by Vλ. The vector space Vλ is equipped with an Sn-invariant inner product ( ,). The orthonormal Young basis {vT} of Vλ is parameterized by the set of standard λ-tableaux T. The action of the standard generators si = (i, i + 1) of Sn in the Young 1 basis is described as follows. If α is a cell of λ which occurs in row i and column j then the content of α is the number j − i. Now let a standard tableau T be given. We denote by ck = ck(T) the content of the cell occupied by the number k. Then for any i ∈ {1,...,n − 1} we have si · vT = dvT + √ 1 − d 2 vsiT, where d = (ci+1 − ci) −1, the tableau siT is obtained from T by swapping the entries i and i + 1, and we assume vsiT = 0 if the tableau siT is not standard. The group algebra C[Sn] is isomorphic to the direct sum of matrix algebras C[Sn] ∼ = ⊕ λ⊢n

研究动机与目标

• 在对称群的群代数中建立两种不同矩阵单位构造方法之间的等价性。
• 阐明穆菲的组合构造与切雷德尼克的融合过程在不可约表示背景下的精确关系。
• 提供一种简化且直接的证明，避免使用复杂的理论工具，同时保持数学严谨性。

提出的方法

• 采用由形状为 λ ⊢ n 的标准杨表参数化的标准杨基。
• 通过内容差 ci+1 − ci 的递推关系，利用相邻对换 si = (i, i+1) 作用于基向量 vT。
• 将矩阵单位的作用定义为 si · vT = dvT + √(1 − d²) vsiT，其中 d = (ci+1 − ci)−1，且当 siT 非标准时 vsiT = 0。
• 应用群代数同构 C[Sn] ≅ ⊕λ⊢n M_{fλ}(C)，将表示理论与矩阵代数联系起来。
• 利用杨表中单元格的内容定义关键参数 d，该参数是矩阵单位公式的核心。
• 比较两种构造产生的矩阵单位，并通过结构一致性和代数一致性证明其等价性。

实验结果

研究问题

• RQ1 穆菲的矩阵单位公式与切雷德尼克的融合过程是否在对称群的群代数中产生同构的矩阵单位？
• RQ2 对 Sn 表示的两种矩阵单位构造之间存在何种精确的代数关系？
• RQ3 能否以最小的技术复杂度证明这两种方法之间的等价性？

主要发现

• 穆菲构造的矩阵单位公式与切雷德尼克融合过程在群代数 C[Sn] 中是等价的。
• 相邻对换在正交标准杨基上的作用完全由内容差 ci+1 − ci 决定，其中 d = (ci+1 − ci)−1。
• 公式 si · vT = dvT + √(1 − d²) vsiT 正确编码了矩阵单位的作用，当 siT 非标准时该式为零。
• 该等价性在由分拆 λ ⊢ n 参数化的所有不可约表示 Vλ 中均成立。
• 该证明是自包含的，不依赖于更深层的表示理论工具，而是基于杨表的组合性质与群代数结构。
• 该结果证实了对称群代数中构造矩阵单位的两种主要方法的一致性。