[论文解读] A Constructive Characterization of Solvable Polynomial Algebras

Huishi Li|arXiv (Cornell University)|Dec 25, 2012

Polynomial and algebraic computation参考文献 11被引用 4

一句话总结

本文通过自由代数中的Gröbner基，提供了可解多项式代数的构造性刻画，确立了此类代数可通过自由代数中与相容单项序相容的Gröbner基条件完全确定。关键贡献是定理2.5，其给出了通过自由代数中定义双边理想Gröbner基识别可解多项式代数的有效计算准则。

ABSTRACT

For the solvable polynomial algebras introduced and studied by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990)], a constructive characterization is given in terms of Gröbner bases for ideals of free algebras, thereby solvable polynomial algebras are completely determinable in a computational way.

研究动机与目标

• 通过自由结合代数中的Gröbner基理论，提供可解多项式代数的完整构造性刻画。
• 通过计算手段有效确定所有可解多项式代数，解决该问题的开放性难题。
• 通过Gröbner基识别必要与充分条件，将已知的二次可解多项式代数结果推广至一般情形。
• 确立此类代数的Gelfand-Kirillov维数、重数以及$K_0$-群可通过所提出的刻画进行计算。

提出的方法

• 本文将可解多项式代数定义为自由代数$K\langle X_1,\dots,X_n\rangle$关于由交换系统$Q$生成的双边理想$I$的商。
• 在自由代数基上引入一个单项序$\prec'$，使其扩展给定的在交换多项式基上的单项序$\prec$。
• 主要判别准则是：理想$I(Q)$满足条件(H)——即不包含非零交换多项式——当且仅当$Q$是关于$\prec'$的Gröbner基。
• 本文利用PBW基与单项序在代数上定义一个滤子结构，从而能够研究其对应的分次代数。
• 应用非交换Gröbner基理论与滤子环理论，分析Gelfand-Kirillov维数与$K_0$-群。
• 通过命题2.4与定理2.5之间的等价性验证了该构造，将代数结构与Gröbner基性质相联系。

实验结果

研究问题

• RQ1 能否通过自由代数中的Gröbner基，以构造性、算法化的方式完全刻画可解多项式代数？
• RQ2 在自由代数$K\langle X_1,\dots,X_n\rangle$中，何种条件下其双边理想使得商代数为可解多项式代数？
• RQ3 若定义理想$I(Q)$关于相容单项序$\prec'$存在Gröbner基，是否能保证$I(Q)$满足条件(H)？
• RQ4 能否利用该刻画计算任意可解多项式代数的结构不变量，如Gelfand-Kirillov维数与$K_0$-群？
• RQ5 满足命题2.4等价条件的代数类$\mathcal{A}_{\rm gpbw}$是否对张量积封闭，并在Koszul型性质下保持不变？

主要发现

• 定理2.5提供了完整的构造性刻画：可解多项式代数$A=K\langle X\rangle/I$当且仅当其定义理想$I$关于相容单项序$\prec'$具有Gröbner基$Q$，且$I$满足条件(H)。
• 可解多项式代数$A$的关联分次代数$G^\mathcal{F}(A)$是齐次可解多项式代数，从而可应用分次技巧。
• 通过单项序诱导的滤子，可计算循环模$A/L$的Gelfand-Kirillov维数及其重数。
• 此类代数的全局同调维数满足$\mathrm{gl.dim}\, A \leq n$，且$K_0$-群同构于$\mathbb{Z}$，推广了二次情形的结果。
• 满足命题2.4条件的代数类$\mathcal{A}_{\rm gpbw}$对张量积封闭，保持可解多项式代数结构。
• 属于$\mathcal{A}_{\rm gpbw}$的代数为齐次或非齐次Koszul代数，其Rees代数为齐次Koszul代数。