[论文解读] Weak polynomial identities for a vector space with a symmetric bilinear form

Vesselin Drensky, Plamen Koshlukov|arXiv (Cornell University)|May 20, 2019

Advanced Algebra and Geometry参考文献 4被引用 7

一句话总结

本文为具有非退化对称双线性型的 $k$-维向量空间 $V_k$ 上的克利福德代数 $C_k$ 的配对 $(C_k, V_k)$ 建立了弱多项式恒等式的完整基。当 $k = \infty$ 时，证明所有弱恒等式均由 $[x_1^2, x_2] = 0$ 推出；当 $k < \infty$ 时，由该恒等式加上标准多项式 $S_{k+1}(x_1,\dots,x_{k+1}) = 0$ 推出，且证实了 $[x_1^2, x_2]$ 的 Specht 性质。结果通过一般线性群的表示理论及自由结合代数中的 $GL$-不变理想推导得出。

ABSTRACT

Let $V_k$ be a $k$-dimensional vector space with a non-degenerate symmetric bilinear form over a field $K$ of characteristic 0 and let $C_k$ be the Clifford algebra on $V_k$. We study the weak polynomial identities of the pair $(C_k,V_k)$. We establish that all they follow from $[x_1^2,x_2]=0$ when $k=\infty$ and from $[x_1^2,x_2]=0$ and $S_{k+1}(x_1,\ldots,x_{k+1})=0$ when $k

研究动机与目标

• 确定配对 $(C_k, V_k)$ 的弱多项式恒等式的完整基，其中 $C_k$ 是在具有非退化对称双线性型的 $k$-维向量空间 $V_k$ 上的克利福德代数。
• 研究自由结合代数 $K\langle X\rangle$ 中弱恒等式 $GL$-理想 $T(C_k, V_k)$ 的结构。
• 为弱恒等式 $[x_1^2, x_2] = 0$ 建立 Specht 性质，确保包含该恒等式的所有 $GL$-理想均为有限生成。
• 通过 $GL$-模的同构关系，将 $(C_k, V_k)$ 的弱恒等式与矩阵代数中的已知恒等式（特别是 $(M_2, \mathfrak{sl}_2)$）联系起来。

提出的方法

• 使用自由结合代数 $K\langle X\rangle$ 中 $GL$-不变理想的理论，重点研究弱恒等式的 $GL$-推论。
• 应用一般线性群 $GL$ 的表示理论，将商代数 $F = K\langle X\rangle / U$（其中 $U$ 是由 $[x_1^2, x_2]$ 生成的 $GL$-理想）分解为不可约 $GL$-模 $N_m(\lambda)$。
• 利用 $GL$-模的分支法则，分析不可约分量 $N_m(\lambda)$ 如何由 $[x_1^2, x_2]$ 和 $S_{k+1}$ 生成，特别是通过杨图与列长分拆。
• 使用从 $K\langle X\rangle$ 到 $F$ 的典范同态，将恒等式上移并验证：当 $k < \infty$ 时，$S_{k+1}$ 在 $(C_k, V_k)$ 上恒为零，而 $S_r \neq 0$ 对于 $r \leq k$ 在 $C_r$ 中成立。
• 通过 $\text{sp}(X)$ 中变量的代入，应用 $GL$-推论的概念，确保 $T(C_k, V_k)$ 是 $GL$-闭且在 Specht 性质下有限生成。
• 验证标准多项式 $S_{k+1}$ 是截断对应于超过 $k$ 列的分拆的 $GL$-模的必要且充分条件，从而完成基的构造。

实验结果

研究问题

• RQ1 对于具有非退化对称双线性型的 $k$-维向量空间上的克利福德代数 $C_k$，配对 $(C_k, V_k)$ 的弱多项式恒等式的完整基是什么？
• RQ2 $(C_k, V_k)$ 的弱恒等式如何与标准多项式 $S_{k+1}$ 和恒等式 $[x_1^2, x_2] = 0$ 相关联？
• RQ3 弱恒等式 $[x_1^2, x_2] = 0$ 是否满足 Specht 性质，即包含该多项式的每个 $GL$-理想是否均为有限生成？
• RQ4 $(M_2, \mathfrak{sl}_2)$ 的弱恒等式能否由 $[x_1^2, x_2] = 0$ 和 $S_4 = 0$ 推出？这与 $T(C_k, V_k)$ 的结构有何关联？

主要发现

• $V = V_\infty$ 时，配对 $(C, V)$ 的弱恒等式 $GL$-理想 $T(C, V)$ 仅由 $[x_1^2, x_2] = 0$ 生成，意味着所有弱恒等式均为该单一恒等式的 $GL$-推论。
• 当 $k$ 有限时，$(C_k, V_k)$ 的弱恒等式由 $[x_1^2, x_2] = 0$ 和标准多项式 $S_{k+1}(x_1, \dots, x_{k+1}) = 0$ 生成，后者因维数限制在 $V_k$ 上恒为零。
• $[x_1^2, x_2] = 0$ 满足 Specht 性质：包含该多项式的每个 $GL$-理想均为有限生成，此结论通过杨图的偏序结构及 $GL$-模的分支法则得到证明。
• 商代数 $F_m = K\langle x_1, \dots, x_m \rangle / (K\langle x_1, \dots, x_m \rangle \cap U)$ 可分解为不可约 $GL_m$-模 $N_m(\lambda)$ 的直和，其中 $\lambda$ 遍历至多含 $m$ 个部分的分拆。
• 标准多项式 $S_r(x_1, \dots, x_r)$ 在 $F_m$ 中生成非零 $GL$-模 $N_m(\lambda)$ 当且仅当 $r \leq k$（对 $V_k$），且当 $r > k$ 时恒为零，从而确认 $S_{k+1}$ 对 $k < \infty$ 为必要恒等式。
• $(M_2, \mathfrak{sl}_2)$ 的弱恒等式由 $[x_1^2, x_2] = 0$ 和 $S_4 = 0$ 生成，且这些恒等式均为 $[x_1^2, x_2] = 0$ 的 $GL$-推论，从而确认了克利福德代数与矩阵代数恒等式之间的联系。