[论文解读] Quasi-identities on matrices and the Cayley-Hamilton polynomial

Matej Brešar, Claudio Procesi+1 more|arXiv (Cornell University)|Dec 19, 2012

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

一句话总结

本文研究了矩阵代数 $M_n(F)$ 上的准恒等式是否可由 Cayley-Hamilton 恒等式导出，表明虽然在许多情况下答案为肯定（尤其是当乘以常数项为零的中心多项式时），但一般情况下答案是否定的。作者构造了明确的反称准恒等式，这些恒等式无法由 Cayley-Hamilton 恒等式导出，并对这类恒等式的某一完整族提供了完整描述，揭示了准恒等式模 Cayley-Hamilton 理想的商空间的几何结构。

ABSTRACT

We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main issue is the question of whether such an identity is a consequence of the Cayley-Hamilton identity. We show that the answer is affirmative in several special cases, and, moreover, for every such an identity $P$ and every central polynomial $c$ with zero constant term there exists $m\in\mathbb{N}$ such that the affirmative answer holds for $c^mP$. In general, however, the answer is negative. We prove that there exist antisymmetric identities that do not follow from the Cayley-Hamilton identity, and give a complete description of a certain family of such identities.

研究动机与目标

• 确定 $M_n(F)$ 上的所有准恒等式是否均为 Cayley-Hamilton 恒等式的推论。
• 分析模 Cayley-Hamilton 恒等式导出的准恒等式空间的结构。
• 研究矩阵代数上函数恒等式是否存在非标准解，特别是反称解。
• 证明准恒等式理想作为 T-理想是有限生成的，从而解决该类恒等式的一个版本的 Specht 问题。

提出的方法

• 引入 $M_n(F)$ 上的准多项式代数，其中系数为任意多项式而非迹。
• 将准恒等式定义为该代数中在 $M_n(F)$ 上所有赋值下均消失的元素，从而推广多项式恒等式。
• 利用表示理论与对称代数，特别是 Schur 函子与 Cauchy 公式，分析准恒等式空间的结构。
• 应用最高权向量与基本协变量理论，证明准恒等式 T-理想是有限生成的。
• 采用归纳法与矩阵单位代入法，证明某些系数函数必须消失，从而得出结论 $P = \lambda_{0,\text{id}} Q_n$。
• 通过 $\mathrm{PGL}_n$ 在 $m$-元矩阵组上的作用分析商空间 $\mathfrak{I}_n / (Q_n)$，揭示其几何与模理论性质。

实验结果

研究问题

• RQ1 是否每个 $M_n(F)$ 上的准恒等式都是 Cayley-Hamilton 恒等式的推论？
• RQ2 是否存在不遵循 Cayley-Hamilton 恒等式的反称准恒等式？若存在，其结构如何？
• RQ3 商空间 $\mathfrak{I}_n / (Q_n)$ 的结构是什么？它与矩阵簇在群作用下的几何有何关联？
• RQ4 所有准恒等式的 T-理想是否可有限生成？若是，其变量数最多为多少？
• RQ5 对于常数项为零的中心多项式 $c$，是否存在 $m \in \mathbb{N}$，使得 $c^m P$ 成为 Cayley-Hamilton 恒等式的推论？

主要发现

• 存在 $M_n(F)$ 上的反称准恒等式，其无法由 Cayley-Hamilton 恒等式导出，从而对核心问题给出了否定回答。
• 对每个准恒等式 $P$ 及每个常数项为零的中心多项式 $c$，存在 $m \in \mathbb{N}$，使得 $c^m P$ 是 Cayley-Hamilton 恒等式的推论。
• 空间 $\mathfrak{I}_n / (Q_n)$ 同构于 $\mathrm{PGL}_n$ 作用下商簇奇异集上的一个模，揭示了其几何本质。
• 所有准恒等式理想 $\mathfrak{I}_n$ 作为 T-理想是有限生成的，其生成元至多依赖于 $2n^2$ 个变量。
• 有限生成性的证明依赖于 Cauchy 公式下的对称代数分解及无限一般线性群的表示理论。
• 作者通过归纳法与矩阵单位赋值，对一类不为 Cayley-Hamilton 恒等式推论的准恒等式族提供了完整描述。