当前位置: X-MOL 学术J. Symb. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Saturations of subalgebras, SAGBI bases, and U-invariants
Journal of Symbolic Computation ( IF 0.7 ) Pub Date : 2020-07-08 , DOI: 10.1016/j.jsc.2020.07.006
Anna Maria Bigatti , Lorenzo Robbiano

Given a polynomial ring P over a field K, an element gP, and a K-subalgebra S of P, we deal with the problem of saturating S with respect to g, i.e. computing Satg(S)=S[g,g1]P. In the general case we describe a procedure/algorithm to compute a set of generators for Satg(S) which terminates if and only if it is finitely generated. Then we consider the more interesting case when S is graded. In particular, if S is graded by a positive matrix W and g is an indeterminate, we show that if we choose a term ordering σ of g-DegRev type compatible with W, then the two operations of computing a σ-SAGBI basis of S and saturating S with respect to g commute. This fact opens the doors to nice algorithms for the computation of Satg(S). In particular, under special assumptions on the grading one can use the truncation of a σ-SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some U-invariants, classically called semi-invariants, even in the case that K is not the field of complex numbers.



中文翻译:

子代数、SAGBI 基和 U 不变量的饱和度

给定域K 上的多项式环P,一个元素Gķ -subalgebra šP,我们处理饱和的问题小号相对于,即计算星期六G()=[G,G-1]. 在一般情况下,我们描述了一个过程/算法来计算一组生成器星期六G()终止当且仅当它是有限生成的。然后我们考虑更有趣的情况,当S被分级时。特别地,如果S由正矩阵W分级并且g是不确定的,我们表明如果我们选择与W兼容的g - DegRev类型的项排序σ,那么计算Sσ -SAGBI 基的两个操作并且关于g通勤使S饱和。这个事实打开了用于计算的好算法的大门星期六G(). 特别是,在分级的特殊假设下,可以使用σ -SAGBI 基的截断并获得所需的结果。值得注意的是,即使在K不是复数域的情况下,这种技术也可以应用于直接计算一些U不变量的问题,经典上称为半不变量。

更新日期:2020-07-08
down
wechat
bug