English

Moment matrices, trace matrices and the radical of ideals

Symbolic Computation 2009-01-23 v1

Abstract

Let f1,...,fsK[x1,...,xm]f_1,...,f_s \in \mathbb{K}[x_1,...,x_m] be a system of polynomials generating a zero-dimensional ideal \I\I, where K\mathbb{K} is an arbitrary algebraically closed field. Assume that the factor algebra \A=K[x1,...,xm]/\I\A=\mathbb{K}[x_1,...,x_m]/\I is Gorenstein and that we have a bound δ>0\delta>0 such that a basis for \A\A can be computed from multiples of f1,...,fsf_1,...,f_s of degrees at most δ\delta. We propose a method using Sylvester or Macaulay type resultant matrices of f1,...,fsf_1,...,f_s and JJ, where JJ is a polynomial of degree δ\delta generalizing the Jacobian, to compute moment matrices, and in particular matrices of traces for \A\A. These matrices of traces in turn allow us to compute a system of multiplication matrices {Mxii=1,...,m}\{M_{x_i}|i=1,...,m\} of the radical \I\sqrt{\I}, following the approach in the previous work by Janovitz-Freireich, R\'{o}nyai and Sz\'ant\'o. Additionally, we give bounds for δ\delta for the case when \I\I has finitely many projective roots in P\CCm\mathbb{P}^m_\CC.

Keywords

Cite

@article{arxiv.0812.0088,
  title  = {Moment matrices, trace matrices and the radical of ideals},
  author = {Itnuit Janovitz-Freireich and Agnes Szanto and Bernard Mourrain and Lajos Ronyai},
  journal= {arXiv preprint arXiv:0812.0088},
  year   = {2009}
}