[论文解读] On the theorem of Amitsur--Levitzki

Claudio Procesi|arXiv (Cornell University)|Aug 11, 2013

Advanced Topics in Algebra参考文献 5被引用 6

一句话总结

本文通过将阿米茨尔–列维茨基定理由典型多项式 $ S_{2n} $ 在 $ n \times n $ 矩阵上恒为零，重新诠释为泛 Grassmann 矩阵的 Cayley–Hamilton 恒等式，提供了一种新颖的证明。该证明将 Grassmann 变量内蕴地嵌入代数结构中，而非作为辅助工具。关键贡献在于建立代数 $ A_n = (\bigwedge M_n^* \otimes M_n)^{PGL(n)} $，作为研究矩阵代数上等变斜对称映射的一般理论的基础，证明其由 $ X $ 和迹 $ \operatorname{tr}(X^{2i-1}) $ 生成，满足 $ X^{2n} = 0 $ 及特定定义关系。

ABSTRACT

We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

研究动机与目标

• 通过将 Grassmann 变量内蕴地嵌入代数结构中，而非作为辅助工具，提供阿米茨尔–列维茨基定理的新颖、内在的证明。
• 确立代数 $ A_n = (\bigwedge M_n^* \otimes M_n)^{PGL(n)} $ 作为研究从矩阵到矩阵的等变多重线性反对称映射的自然框架。
• 证明阿米茨尔–列维茨基恒等式作为泛 Grassmann 矩阵 $ X $ 的 Cayley–Hamilton 恒等式。
• 为矩阵代数上交替等变映射的一般理论奠定基础，扩展带有迹的泛矩阵理论。

提出的方法

• 将标准多项式 $ S_h $ 表示为非交换单项式的反对称化，将其与 $ \bigwedge^h V^* \otimes A $ 中的楔积相联系。
• 定义泛 Grassmann 矩阵 $ X = \sum_{h,k} x_{hk} e_{hk} $，其属于 $ \bigwedge^1 M_n^* \otimes M_n $，并将 $ X^a $ 解释为 $ a $ 重楔积 $ X^{\wedge a} $。
• 利用 $ X^{2n} = 0 $ 在 $ M_n(\bigwedge^{\text{even}} M_n^*) $ 中成立的事实，通过证明对所有 $ i \leq n $ 有 $ \operatorname{tr}(X^{2i}) = 0 $，来证明阿米茨尔–列维茨基定理。
• 利用 Grassmann 代数的结构以及在 $ PGL(n, \mathbb{F}) $-共轭下的不变性，将代数 $ A_n $ 定义为 $ \bigwedge M_n^* \otimes M_n $ 中的 $ G $-不变子空间。
• 应用矩阵不变量的第一和第二基本定理，推导出 $ A_n $ 的结构，证明其为 Grassmann 代数上的自由模。
• 确立定义关系：$ X^{2n} = 0 $ 和 $ \operatorname{tr}(X^{2n-1}) = -\sum_{i=1}^{n-1} X^{2i} \wedge \operatorname{tr}(X^{2(n-i)-1}) + n X^{2n-1} $。

实验结果

研究问题

• RQ1 阿米茨尔–列维茨基定理如何可被重新诠释为泛 Grassmann 矩阵的 Cayley–Hamilton 恒等式？
• RQ2 矩阵到矩阵的 $ PGL(n) $-等变多重线性反对称映射的代数 $ A_n $ 的结构是什么？
• RQ3 Grassmann 变量如何内在地支撑矩阵代数中多项式恒等式的理论？
• RQ4 代数 $ A_n $ 的定义关系和生成元是什么？它们与迹恒等式有何关联？
• RQ5 代数 $ A_n $ 的等变结构如何推广带有迹的泛矩阵理论？

主要发现

• 阿米茨尔–列维茨基定理等价于恒等式 $ X^{2n} = 0 $，其中 $ X $ 是 $ \bigwedge^1 M_n^* \otimes M_n $ 中的泛 Grassmann 矩阵。
• 矩阵代数上 $ PGL(n) $-等变反对称映射的代数 $ A_n $ 由 $ X $ 和迹 $ \operatorname{tr}(X^{2i-1}) $（$ i = 1, \ldots, n $）生成。
• 元素 $ \operatorname{tr}(X^{2i-1}) $ 反交换，且 $ A_n $ 是由 $ \operatorname{tr}(X^{2i-1}) $（$ i = 1, \ldots, n-1 $）生成的 Grassmann 代数上的秩为 $ 2n $ 的自由模。
• 代数 $ A_n $ 的定义关系为 $ X^{2n} = 0 $ 和 $ \operatorname{tr}(X^{2n-1}) = -\sum_{i=1}^{n-1} X^{2i} \wedge \operatorname{tr}(X^{2(n-i)-1}) + n X^{2n-1} $。
• 证明依赖于证明对所有 $ i \leq n $ 有 $ \operatorname{tr}(X^{2i}) = 0 $，这由标准多项式在偶数次幂下的反对称性推出。
• 该框架为矩阵代数上等变斜对称映射的理论提供了系统的基础，扩展了经典的多项式恒等式理论。