[论文解读] Invariants of unipotent transformations acting on noetherian relatively free algebras

Vesselin Drensky|ArXiv.org|May 21, 2004

Advanced Topics in Algebra参考文献 13被引用 10

一句话总结

本文证明了：当且仅当代数簇 $rak{V}$ 不包含 $2\times 2$ 上三角矩阵代数 $UT_2(K)$ 时，一个单峰变换作用在诺特性相对自由代数上所产生的不变量代数是有限生成的。证明方法结合了适当的多项式恒等式与分次分量的结构，将问题约化为有限维向量空间，利用了关于多项式不变量的魏茨恩鲍克定理，并将其推广至非交换情形。

ABSTRACT

The classical theorem of Weitzenboeck states that the algebra of invariants of a single unipotent transformation $g$ in $GL_m(K)$ acting on the polynomial algebra $K[x_1,...,x_m]$ over a field $K$ of characteristic 0 is finitely generated. Recently the author and C.K. Gupta have started the study of the algebra of $g$-invariants of relatively free algebras of rank $m$ in varieties of associative algebras. They have shown that the algebra of invariants is not finitely generated if the variety contains the algebra $UT_2(K)$ of $2 imes 2$ upper triangular matrices. The main result of the present paper is that the algebra of invariants is finitely generated if and only if the variety does not contain the algebra $UT_2(K)$. As a by-product of the proof we have established also the finite generation of the algebra of $g$-invariants of the mixed trace algebra generated by $m$ generic $n imes n$ matrices and the traces of their products.

研究动机与目标

• 确定单峰变换 $g$ 作用在相对自由代数 $F_m(\frak{V})$ 上时，不变量代数 $F_m(\frak{V})^g$ 有限生成的精确条件。
• 解决非交换不变量理论中单峰作用下不变量有限生成的开放问题。
• 将经典交换不变量理论中的结果（魏茨恩鲍克定理）推广至相对自由结合代数的非交换设定。
• 作为主结果的副产品，建立混合迹代数 $T_{nm}^g$ 的有限生成性。

提出的方法

• 使用斯佩希特引入的适当多项式恒等式，分析不含 $UT_2(K)$ 的代数簇中相对自由代数的结构。
• 根据换位子滤子将相对自由代数 $F_m(\frak{V})$ 分解为分次分量 $B_m^{(k)}(\frak{V})$。
• 利用若 $UT_2(K) \notin \frak{V}$，则 $F_m(\frak{V})$ 中适当多项式的空间为有限维这一事实，从而推出相关分次分量的有限生成性。
• 应用魏茨恩鲍克定理，证明在多项式代数上单峰作用下的不变量代数 $K[X]^\rho$ 是有限生成的。
• 将问题约化为证明每个分次商 $I_k/I_{k+1}$ 的不变量是 $K[X]^\rho$ 上的有限生成模，利用导子 $\delta = \log g$ 的幂零性。
• 将分次商中的 $\delta$-不变元素上移至原代数，并证明有限组此类提升元素可生成 $F_m(\frak{V})^\delta$。

实验结果

研究问题

• RQ1 在何种代数簇 $\frak{V}$ 条件下，单峰变换 $g$ 作用在 $F_m(\frak{V})$ 上时，不变量代数 $F_m(\frak{V})^g$ 是有限生成的？
• RQ2 若 $\frak{V}$ 中包含或不包含 $UT_2(K)$，对 $F_m(\frak{V})^g$ 的有限生成性有何影响？
• RQ3 能否使用与相对自由代数相同的方法结构，建立混合迹代数 $T_{nm}^g$ 的有限生成性？
• RQ4 经典魏茨恩鲍克定理在多项式不变量上的结果，可在多大程度上推广至非交换、相对自由结合代数的设定？

主要发现

• 当且仅当代数簇 $\frak{V}$ 不包含 $2\times 2$ 上三角矩阵代数 $UT_2(K)$ 时，不变量代数 $F_m(\frak{V})^g$ 是有限生成的。
• 对任意 $m > 1$，$F_m(\frak{V})^g$ 的有限生成性成立，当且仅当 $\frak{V}$ 满足幂零恒等式 $[x_2, x_1, \dots, x_1] = 0$，该条件等价于 $UT_2(K) \notin \frak{V}$。
• 当 $UT_2(K) \notin \frak{V}$ 时，$F_m(\frak{V})$ 中适当多项式的向量空间为有限维，从而可在证明中使用有限维方法。
• 对任意单峰 $g \in GL_m$，由 $m$ 个通用 $n\times n$ 矩阵及其乘积的迹生成的代数 $T_{nm}^g$ 是有限生成的。
• 在换位子滤子中，每个分次商 $I_k/I_{k+1}$ 的不变量是 $K[X]^\delta$ 上的有限生成模，这使得可构造出 $F_m(\frak{V})^\delta$ 的有限生成集。
• 该证明建立了一个结构性类比：$F_m(\frak{V})^g$ 与 $SL_2$-作用在混合张量代数上的不变量之间存在类比，将经典的魏茨恩鲍克框架推广至非交换设定。