On the Computation of Matrices of Traces and Radicals of Ideals

2 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : Let $f_1,\ldots,f_s \in \mathbb{K}[x_1,\ldots,x_m]$ be a system of polynomials generating a zero-dimensional ideal $\I$, where $\mathbb{K}$ is an arbitrary algebraically closed field. We study the computation of matrices of traces" for the factor algebra $\A := \CC[x_1, \ldots , 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,\ldots,m\}$ of the radical $\sqrt{\I}$. We first propose a method using Macaulay type resultant matrices of $f_1,\ldots,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 $\mathbb{P}^m_\CC$. 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,\ldots,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 $\sqrt{\I}$ are given in terms of Bezoutians.
Keywords :
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2012, 47 (1), pp.102-122. 〈10.1016/j.jsc.2011.08.020〉
Domaine :

Littérature citée [47 références]

https://hal.inria.fr/inria-00354120
Contributeur : Bernard Mourrain <>
Soumis le : lundi 19 janvier 2009 - 08:56:12
Dernière modification le : vendredi 12 janvier 2018 - 01:48:39
Document(s) archivé(s) le : mardi 8 juin 2010 - 20:39:50

Fichiers

hal.pdf
Fichiers produits par l'(les) auteur(s)

Citation

Itnuit Janovitz-Freireich, Bernard Mourrain, Lajos Ronayi, Agnes Szanto. On the Computation of Matrices of Traces and Radicals of Ideals. Journal of Symbolic Computation, Elsevier, 2012, 47 (1), pp.102-122. 〈10.1016/j.jsc.2011.08.020〉. 〈inria-00354120〉

Métriques

Consultations de la notice

420

Téléchargements de fichiers