[论文解读] Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions

Murray R. Bremner, Sara Madariaga+1 more|arXiv (Cornell University)|Jul 14, 2014

Advanced Topics in Algebra参考文献 16被引用 9

一句话总结

本文利用对称群 $\mathbb{F}S_n$ 的群代数构建了一个计算框架，用于研究特征为 0 的域上八元数的多重线性多项式恒等式。通过应用 Clifton 算法与 Wedderburn 分解，作者验证了所有七次恒等式均为低次恒等式的推论，从而得出结论：七次恒等式中不存在新恒等式，并推测已知的六次及以下恒等式可生成特征为 0 时八元数的所有恒等式。

ABSTRACT

In part 1, we review the structure theory of $\mathbb{F} S_n$, the group algebra of the symmetric group $S_n$ over a field of characteristic 0. We define the images $ψ(E^λ_{ij})$ of the matrix units $E^λ_{ij}$ ($1 \le i, j \le d_λ$), where $d_λ$ is the number of standard tableaux of shape $λ$, and obtain an explicit construction of Young's isomorphism $ψ\colon \bigoplus_λM_{d_λ}(\mathbb{F}) o \mathbb{F} S_n$. We then present Clifton's algorithm for the construction of the representation matrices $R^λ(p) \in M_{d_λ}(\mathbb{F})$ for all $p \in S_n$, and obtain the reverse isomorphism $ϕ\colon \mathbb{F} S_n o \bigoplus_λM_{d_λ}(\mathbb{F})$. In part 2, we apply the structure theory of $\mathbb{F} S_n$ to the study of multilinear polynomial identities of degree $n \le 7$ for the algebra $\mathbb{O}$ of octonions over a field of characteristic 0. We compare our results with earlier work of Racine, Hentzel & Peresi, and Shestakov & Zhukavets on the identities of degree $n \le 6$. We use computational linear algebra to verify that every identity in degree 7 is a consequence of the known identities of lower degrees: there are no new identities in degree 7. We conjecture that the known identities of degree $\le 6$ generate all octonion identities in characteristic 0.

研究动机与目标

• 开发一种高效计算方法，利用群代数 $\mathbb{F}S_n$ 分析非结合代数中的多重线性多项式恒等式。
• 应用 $\mathbb{F}S_n$ 的结构理论——包括杨表、矩阵单位与 Wedderburn 分解——研究八元数的恒等式。
• 确定八元数代数 $\mathbb{O}$ 在七次中是否存在超出低次恒等式推论的新多项式恒等式。
• 与 Racine、Hentzel & Peresi 以及 Shestakov & Zhukavets 在六次及以下恒等式方面的先前工作进行比较。
• 推测已知的六次及以下恒等式可生成特征为 0 时八元数恒等式的完整 $T$-理想。

提出的方法

• 通过形状为 $\lambda$ 的标准表与矩阵单位 $E^{\lambda}_{ij}$ 构造 Young 同构 $\psi: \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F}) \to \mathbb{F}S_n$。
• 实现 Clifton 算法，计算所有 $p \in S_n$ 的表示矩阵 $R^{\lambda}(p) \in M_{d_\lambda}(\mathbb{F})$，从而高效计算群代数元素。
• 使用逆同构 $\phi: \mathbb{F}S_n \to \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F})$ 将恒等式分解为不可约 $S_n$-模。
• 应用计算线性代数方法，比较表示所有恒等式与结合律推论的矩阵的行空间，识别新恒等式。
• 使用有理数算术与矩阵秩比较，判断七次恒等式是否独立于低次恒等式。
• 验证七次所有恒等式对应的矩阵行空间维度与已知恒等式推论的行空间维度相同，表明不存在新恒等式。

实验结果

研究问题

• RQ1 八元数代数 $\mathbb{O}$ 是否存在不为低次恒等式推论的七次多重线性多项式恒等式？
• RQ2 已知的六次及以下恒等式——包括结合律、(R2)、(HP5) 以及 (HP6) 或 (SZ)——是否能生成特征为 0 时 $\mathbb{O}$ 满足的所有多项式恒等式？
• RQ3 在八元数的所有六次多重线性恒等式空间中，每个不可约 $S_6$-模 $[\lambda]$ 的重数是多少？
• RQ4 是否存在一个非形式 $[f(v,w,x,y,z), u] \equiv 0$ 的新六次恒等式，其中 $f$ 为一个中心多项式？
• RQ5 基于 $\mathbb{F}S_n$ 与群代数中矩阵单位的计算技术，如何实现对非结合代数中恒等式的验证？

主要发现

• 在七次中，表示所有多重线性恒等式的矩阵行空间维度与结合律、(R2)、(HP5) 以及 (HP6) 或 (SZ) 的推论行空间维度相同，表明不存在新恒等式。
• 在六次中，平凡 $S_6$-模 $[111111]$ 在所有恒等式空间中的重数为 40，而在已知恒等式推论空间中为 39，揭示该模中存在一个新恒等式。
• 显式构造了一个新六次恒等式：$\sum_{\sigma \in S_6} \epsilon(\sigma) \left(5x_1(x_2((x_3x_4)(x_5x_6))) - x_1(x_2(x_3(x_4(x_5x_6)))) \right) \equiv 0$，其形式并非 $[f, u] \equiv 0$。
• 恒等式 (7) 可替代 (HP6) 或 (SZ) 作为六次中的新生成元，因其与低次恒等式结合时可生成相同的 $T$-理想。
• 在五次中，$\lambda = 11111$ 的矩阵 $\mathrm{allmat}(\lambda)$ 的秩为 11，而 $\mathrm{oldmat}(\lambda)$ 的秩为 10，证实存在一个不被结合律所蕴含的新恒等式。
• 作者得出结论：已知的六次及以下恒等式可生成 $\mathbb{O}$ 的完整 $T$-理想，并推测该结论在特征为 0 的情况下普遍成立。