Resultant over the residual of a complete intersection

Laurent Busé 1, 2 Mohamed Elkadi 1 Bernard Mourrain 1
1 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 : In this article, we study the residual resultant which is the necessary and sufficient condition for a polynomial system F to have a solution in the residual of a variety, defined here by a complete intersection G. We show that it corresponds to an irreducible divisor and give an explicit formula for its degree in the coefficients of each polynomial. Using the resolution of the ideal (F:G) and computing its regularity, we give a method for computing the residual resultant using a matrix which involves a Macaulay and a Bezout part. In particular, we show that this resultant is the gcd of all the maximal minors of this matrix. We illustrate our approach for the residual of points and end by some explicit examples.
Type de document :
Article dans une revue
Journal of Pure and Applied Algebra, Elsevier, 2001, Effective methods in algebraic geometry (Bath, 2000), 164 (1-2), pp.35--57
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00099487
Contributeur : Laurent Busé <>
Soumis le : mardi 26 septembre 2006 - 09:27:57
Dernière modification le : vendredi 12 janvier 2018 - 01:49:33
Document(s) archivé(s) le : mardi 6 avril 2010 - 01:12:03

Fichiers

Identifiants

  • HAL Id : inria-00099487, version 1

Collections

Citation

Laurent Busé, Mohamed Elkadi, Bernard Mourrain. Resultant over the residual of a complete intersection. Journal of Pure and Applied Algebra, Elsevier, 2001, Effective methods in algebraic geometry (Bath, 2000), 164 (1-2), pp.35--57. 〈inria-00099487〉

Partager

Métriques

Consultations de la notice

294

Téléchargements de fichiers

157