[论文解读] On the Invariants of Matrices and the Embedding Problem

Francesco Vaccarino|ArXiv.org|Jun 9, 2004

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

一句话总结

该论文证明，任何在无限域 $Π$ 上的度数为 $n$ 的 Cayley-Hamilton $Π$-代数都是 $n\times n$ 矩阵的多项式不变量环的商环，利用 Donkin 和 Zubkov 定理在正特征下的不变量。关键结果确认了 Procesi 定理的特征无关推广，表明当 $R$ 满足形式 Cayley-Hamilton 条件时，普遍映射 $j_n^R$ 是同构。

ABSTRACT

Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the invariants of several square matrices of order n under the simultaneous conjugation.

研究动机与目标

• 将 Procesi 在特征零情形下关于矩阵嵌入的定理推广至任意无限域。
• 证明任何度数为 $n$ 的 Cayley-Hamilton $Π$-代数 $R$ 都可作为 $n\times n$ 矩阵的多项式不变量环的商环出现。
• 为证明普遍映射 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$ 对此类代数是同构奠定基础。
• 利用正特征下的不变量（Donkin-Zubkov）作为桥梁，实现特征无关的结果。

提出的方法

• 利用多项式律和除幂环来形式化 $Π$-模之间齐次多项式映射的概念。
• 应用 Donkin-Zubkov 定理于正特征下矩阵的不变量，以刻画 $n\times n$ 矩阵的多项式不变量环。
• 通过 $R \to M_n(B)$ 与 $A_n(R) \to B$ 之间的函子对应关系，构造普遍环 $A_n(R)$ 和映射 $j_n^R$。
• 使用上同调技巧，特别是 $H^1(GL_n(\u03a0), \cdot)$，分析 $GL_n(\u03a0)$-模的结构，并证明普遍映射的单射性。
• 应用 Good Filtration 理论，确保第一上同调群的消失，从而实现 $GL_n(\u03a0)$-模的正合序列的分裂。
• 将问题约化为证明 $J_{S'} = M_n(I_{S'}) \cap D_S(n)$，并利用 $B_{S'}(n) \cong B_S(n) \oplus \tilde{J}_{S'}$ 的分裂性来分析诱导映射的核与像。

实验结果

研究问题

• RQ1 在何种条件下，一个具有齐次多项式范数 $N$（度数为 $n$）的 $Π$-代数 $R$ 可嵌入到某个交换 $Π$-代数 $L$ 的 $M_n(L)$ 中？
• RQ2 对于任意 Cayley-Hamilton $Π$-代数 $R$（度数为 $n$），普遍映射 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$ 是否为同构？
• RQ3 能否通过正特征下的不变量，将 Procesi 在特征零下关于 Cayley-Hamilton 恒等式的结论推广至任意无限域？
• RQ4 如何利用 $n\times n$ 矩阵的不变量环来参数化所有度数为 $n$ 的 Cayley-Hamilton 代数？
• RQ5 GL_n(\u03a0)$-模的上同调在证明普遍映射 $j_n^R$ 的单射性中起什么作用？

主要发现

• 若范数 $N$ 满足形式 Cayley-Hamilton 条件，则任何度数为 $n$ 的 Cayley-Hamilton $Π$-代数 $R$ 同构于 $Π$ 上 $n\times n$ 矩阵的多项式不变量环的商环。
• 在 $R$ 满足形式 Cayley-Hamilton 恒等式的假设下，普遍映射 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$ 被证明是同构。
• 映射 $D_S(n) \to D_{S'}(n)$ 的核被证明为 $J_{S'} = M_n(I_{S'}) \cap D_S(n)$，其中 $I_{S'}$ 是投影 $A_S(n) \to A_{S'}(n)$ 的核。
• $GL_n(\u03a0)$-模 $B_{S'}(n) \cong B_S(n) \oplus \tilde{J}_{S'}$ 的分裂性允许构造一个截面，这对上同调论证至关重要。
• 通过 Good Filtration 理论，建立了某些模 $V$ 的 $H^1(GL_n(\u03a0), V)$ 消失，从而确保了上同调序列的正合性。
• 该结果确认了 Procesi 定理的特征无关推广，表明对于所有无限域上的 Cayley-Hamilton 代数，普遍映射 $j_n^R$ 都是同构。