On the computation of matrices of traces and radicals of ideals

DOI10.1016/J.JSC.2011.08.020zbMATH Open1230.13002DBLPjournals/jsc/Janovitz-FreireichMRS12arXiv0901.2778OpenAlexW2027553977WikidataQ57433998 ScholiaQ57433998MaRDI QIDQ654040FDOQ654040

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)

Abstract: Let $f_1,\mathrm{...},f_{s}inmathbbK[x_1,\mathrm{...},x_m]$ be a system of polynomials generating a zero-dimensional ideal $I$, where $mathbbK$ is an arbitrary algebraically closed field. We study the computation of "matrices of traces" for the factor algebra $A:=CC[x_1,\mathrm{...},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,\mathrm{...},m$ of the radical $sqrtI$. We first propose a method using Macaulay type resultant matrices of $f_1,\mathrm{...},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}_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,\mathrm{...},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 $sqrtI$ are given in terms of Bezoutians.

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

Recommendations

• Moment matrices, trace matrices and the radical of ideals
• Moment matrices, border bases and real radical computation
• Fast computation of the Bézout and Dixon resultant matrices
• Semidefinite characterization and computation of zero-dimensional real radical ideals
• Matrices in elimination theory

zbMATH Keywords

matrix of tracesradical of an ideal

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Combinatorics and commutative algebra.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving zero-dimensional systems through the rational univariate representation
• Title not available (Why is that?)
• Semidefinite characterization and computation of zero-dimensional real radical ideals
• Gröbner bases and primary decomposition of polynomial ideals
• Multivariate polynomials, duality, and structured matrices
• Solution of the truncated complex moment problem for flat data
• Introduction to the solution of polynomial systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On radical zero-dimensional ideals
• Résolution des systèmes d'équations algébriques
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing the isolated roots by matrix methods
• Solutions of systems of algebraic equations and linear maps on residue class rings
• Radical computations of zero-dimensional ideals and real root counting.
• Title not available (Why is that?)
• A unified approach to computing real and complex zeros of zero-dimensional ideals
• Computing Multidimensional Residues
• Title not available (Why is that?)
• Bezoutian and quotient ring structure
• On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals
• Approximate radical for clusters: A global approach using Gaussian elimination or SVD
• Approximate radical of ideals with clusters of roots (extended abstract)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residues and Resultants
• Title not available (Why is that?)
• Title not available (Why is that?)
• MULTIVARIATE NEWTON SUMS: IDENTITIES AND GENERATING FUNCTIONS
• Moment matrices, trace matrices and the radical of ideals
• Rational formulas for traces in zero-dimensional algebras

Cited In (5)

• Effective Computation of Radical of Ideals and Its Application to Invariant Theory
• An FGLM-like algorithm for computing the radical of a zero-dimensional ideal
• On generalized moment matrices
• Moment matrices, trace matrices and the radical of ideals
• A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals

Uses Software

• SINGULAR
• ISOLATE

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)