On the computation of matrices of traces and radicals of ideals

DOI10.1016/J.JSC.2011.08.020MaRDI QIDQ654040zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Itnuit Janovitz-Freireich, Lajos Rónyai, Bernard Mourrain, Agnes Szanto

Publication date 21 December 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0901.2778

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to linear algebra (15-04) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Abstract: Let

f_{1}, ..., f_{s} i n m a t h b b K [x_{1}, ..., x_{m}]

be a system of polynomials generating a zero-dimensional ideal

I

, where

m a t h b b K

is an arbitrary algebraically closed field. We study the computation of "matrices of traces" for the factor algebra

A := C C [x_{1}, ..., x_{m}] / I

, i.e. matrices with entries which are trace functions of the roots of

I

. Such matrices of traces in turn allow us to compute a system of multiplication matrices

M_{x_{i}} | i = 1, ..., m

of the radical

s q r t I

. We first propose a method using Macaulay type resultant matrices of

f_{1}, ..., f_{s}

and a polynomial

J

to compute moment matrices, and in particular matrices of traces for

A

. Here

J

is a polynomial generalizing the Jacobian. We prove bounds on the degrees needed for the Macaulay matrix in the case when

I

has finitely many projective roots in

m a t h b b P_{C}^{m} C

. We also extend previous results which work only for the case where

A

is Gorenstein to the non-Gorenstein case. The second proposed method uses Bezoutian matrices to compute matrices of traces of

A

. Here we need the assumption that

s = m

and

f_{1}, ..., f_{m}

define an affine complete intersection. This second method also works if we have higher dimensional components at infinity. A new explicit description of the generators of

s q r t I

are given in terms of Bezoutians.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

This page was built for publication: On the computation of matrices of traces and radicals of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654040)