On superG-bases (Q1173723)

By definition, given a certain term ordering \(\sigma\), a superG-basis is a finite set of polynomials all whose subsets are Gröbner bases with respect to \(\sigma\). Notation: \(Lt\) for leading term, \(GCD_ S(F)\) greatest common divisor of polynomials of \(F:=\{f_ 1,\ldots,f_ r\}\subseteq k[x_ 1,\ldots,x_ n]\) with indices in \(S\). \(LCM^ +_ S(F)=LCM\{GCD_ \Sigma(F):\Sigma\supseteq S\), \(|\Sigma|=| S|+1\}\), \(FACT_ S(F)=GCD_ S(F)/LCM^ +_ S(F)\). Characterizations given for \(F\) to be superG include: (1) Every 2-element subset of \(F\) is a \(G\)-basis. (2) \(Lt(GCD(f_ i,f_ j))=GCD(Lt(f_ i)\), \(Lt(f_ j))\). (3) \(Lt(FACT_ S(F))=FACT_ S(Lt(F))\) for every \(S\subseteq[r]\), \(S\neq\emptyset\). (4) For every \(S\subseteq[r]\) there exists a polynomial \(F_ S\) such that \(Lt(F_ S)=FACT_ S(Lt(F))\) and \(f_ i=\prod_{S\subseteq\{i\}}F_ S\) for every \(i=1,\dots,r\). Given interreduced terms \(m_ 1,\ldots,m_ r\), (4) proves the correctness of procedures for obtaining a (respectively all) superG- base(s) \(\{f_ 1,\ldots,f_ r\}\) for which \(Lt(f_ 1)=m_ 1,\ldots,Lt(f_ r)=m_ r\). Instructive examples are displayed. Next notions like \(H-\) or Macaulay bases, homogenization and lifting of ideals to \(k[x_ 0,x_ 1,\ldots,x_ n]\) are recalled. The following is proved: Let \(J=(f_ 1,\ldots,f_ r)\) with homogeneous \(f_ i\). Assume \(g_ i=f_ i+R_ i\) with \(\deg(R_ i)<\deg(f_ i)\) and span \({\mathcal A}:=(g_ 1,\ldots,g_ r)\), by indicated \(H\)-basis. Then \(I:={^ h{\mathcal A}},\) the homogenization of \({\mathcal A}\) with respect to \(x_ 0\) lifts \(J\). Given terms \(T_ 1,\ldots,T_ r\), polynomials \(\{D(T_ 1),\ldots,D(T_ r)\}\) are considered, each of which is typically defined by \(D(T)=\prod^ n_{i=1}\prod^{a_ i}_{j=1}(x_ i- \alpha_{ij})\) and has thus leading term \(T=x_ 1^{\alpha_ 1}\ldots x_ n^{\alpha_ n}\). These form a superG-basis, hence Gröbner basis, hence \(H\)-basis for the monomial ideal \(J=(T_ 1,\ldots,T_ r)\). The homogenization of \(J\) is radical. So every monomial ideal can be lifted to a radical ideal --- a result first shown by Hartshorne. Mistake on p. 284 (?). Read probably: \(f_ i:=\prod_{j\geq(i)}\varphi_ j\). For more selfcontained proofs of characterizations (1), (2) above we refer to the reviewer, in Lattices, semigroups, and universal algebra, Proc. Int. Conf., Lisboa/Port. 1988, 143-146 (1990; Zbl 0748.13010).