Introduction to residues and resultants

This chapter is an expanded version of the lecture notes prepared by the second-named author for her introductory course at the CIMPA Graduate School on Systems of Polynomial Equations held in Buenos Aires, Argentina, in July 2003. We present an elementary introduction to residues and resultants and outline some of their multivariate generalizations. Throughout we emphasize the application of these ideas to polynomial system solving.

[1]  Alicia Dickenstein,et al.  Binomial Residues , 2000, math/0003178.

[2]  G. Henkin,et al.  Abelian differentials on singular varieties and variations on a theorem of Lie-Griffiths , 1999 .

[3]  Victor Y. Pan,et al.  Multivariate Polynomials, Duality, and Structured Matrices , 2000, J. Complex..

[4]  Marie-Françoise Roy,et al.  Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levine formula , 1996 .

[5]  Alicia Dickenstein,et al.  Analytic functionals annihilated by ideals , 1996 .

[6]  Alicia Dickenstein,et al.  Residues and Resultants , 1997, alg-geom/9702001.

[7]  On some generalizations of Jacobi's residue formula , 1999, math/9905044.

[8]  R. Bellman,et al.  Proceedings of Symposia in Applied Mathematics. , 1961 .

[9]  Peter F. Stiller,et al.  Solving the recognition problem for six lines using the Dixon resultant 1 Expanded version of talks , 1999 .

[10]  A. I. Barvinok,et al.  Computing the Ehrhart polynomial of a convex lattice polytope , 1994, Discret. Comput. Geom..

[11]  J. Jouanolou,et al.  Singularites Rationnelles Du Resultant , 1979 .

[12]  Carlos A. Berenstein,et al.  Une formule de Jacobi et ses conséquences , 1991 .

[13]  Haï Zhang,et al.  Calculs de résidus toriques , 1998 .

[14]  M. I. Syam.  The resultants method for approximating real fixed points of polynomials , 2001 .

[15]  Günter Scheja,et al.  Formulas on Resultants , 2001 .

[16]  Mirror Symmetry for Two Parameter Models - II * , 1994, hep-th/9403187.

[17]  Lenore Blum,et al.  Complexity and Real Computation , 1997, Springer New York.

[18]  C. D'Andrea.  Macaulay style formulas for sparse resultants , 2001 .

[19]  David Eisenbud,et al.  Resultants and Chow forms via exterior syzygies , 2001, math/0111040.

[20]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[21]  Henri Poincaré,et al.  Sur les résidus des intégrales doubles , 1887 .

[22]  James Pommersheim,et al.  Toric varieties, lattice points and Dedekind sums , 1993 .

[23]  C. Jacobi,et al.  De resolutione aequationum per series infinitas. , 1830 .

[24]  P. Griffiths,et al.  Infinitesimal variations of Hodge structure and the global Torelli problem , 2008 .

[25]  Dinesh Manocha,et al.  SOLVING SYSTEMS OF POLYNOMIAL EQUATIONS , 2002 .

[26]  Joe W. Harris,et al.  Principles of Algebraic Geometry , 1978 .

[27]  Bernd Sturmfels,et al.  On the Newton Polytope of the Resultant , 1994 .

[28]  C. Berenstein,et al.  Multidimensional residues and complexity problems , 1996 .

[29]  B. Mourrain,et al.  Algebraic Approach of Residues and Applications , 1996 .

[30]  C. D'Andrea,et al.  Explicit formulas for the multivariate resultant , 2000, math/0007036.

[31]  L. Aĭzenberg,et al.  Integral Representations and Residues in Multidimensional Complex Analysis , 1983 .

[32]  Bernd Sturmfels,et al.  Product formulas for resultants and Chow forms , 1993 .

[33]  M. Stark,et al.  THE THEORY OF ELIMINATION , 1964 .

[34]  P. Fuhrmann.  A Polynomial Approach to Linear Algebra , 1996 .

[35]  E. Ehrhardt,et al.  Sur un problème de géométrie diophantienne linéaire. II. , 1967 .

[36]  J. Jouanolou.  Formes d'inertie et résultant: un formulaire , 1997 .

[37]  Joe Harris,et al.  Cayley-Bacharach theorems and conjectures , 1996 .

[38]  Eecient Incremental Algorithms for the Sparse Resultant and the Mixed Volume , 1995 .

[39]  Victor Y. Pan,et al.  Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices , 2002, J. Symb. Comput..

[40]  F. S. Macaulay,et al.  The Algebraic Theory of Modular Systems , 1972 .

[41]  A G Khovanskii.  NEWTON POLYHEDRA AND THE EULER-JACOBI FORMULA , 1978 .

[42]  C. D'Andrea,et al.  Macaulay style formulas for toric residues , 2005, Compositio Mathematica.

[43]  Martin Kreuzer,et al.  Traces in strict Frobenius algebras and strict complete intersections. , 1987 .

[44]  Emmanuel Briand,et al.  MULTIVARIATE NEWTON SUMS: IDENTITIES AND GENERATING FUNCTIONS , 2002 .

[45]  A. Akritas,et al.  Fast Matrix Computation of Subresultant Polynomial Remainder Sequences , 2000 .

[46]  B. Sturmfels,et al.  Grbner Deformations of Hypergeometric Differential Equations , 2000 .

[47]  Alicia Dickenstein,et al.  Computing multidimensional residues , 1994, alg-geom/9404011.

[48]  Alicia Dickenstein,et al.  Multihomogeneous resultant formulae by means of complexes , 2003, J. Symb. Comput..

[49]  Bernard Mourrain,et al.  Resultant over the residual of a complete intersection , 2001 .

[50]  Bernard Mourrain,et al.  Generalized Resultants over Unirational Algebraic Varieties , 2000, J. Symb. Comput..

[51]  Bernard Mourrain,et al.  Using projection operators in computer aided geometric design , 2003 .

[52]  J.-M. Kantor,et al.  Une application du Théorème de Riemann-Roch combinatoire au polynôme d'Ehrhart des polytopes entiers de Rd , 1993 .

[53]  B. Mourrain,et al.  Algorithms for residues and Lojasiewicz exponents , 2000 .

[54]  Uwe Storch,et al.  Über Spurfunktionen bei vollständigen Durchschnitten. , 1975 .

[55]  F. S. Macaulay.  Some Formulæ in Elimination , 1902 .

[56]  J. Jouanolou,et al.  Le formalisme du résultant , 1991 .

[57]  B. Mourrain,et al.  Solving special polynomial systems by using structured matrices and algebraic residues , 1997 .

[58]  B. Mourrain.  Isolated points, duality and residues , 1997 .

[59]  Ron Goldman,et al.  Fast Computation of the Bezout and Dixon Resultant Matrices , 2002, J. Symb. Comput..

[60]  L. Aĭzenberg,et al.  Multidimensional analogues of Newton's formulas for systems of nonlinear algebraic equations and some of their applications , 1981 .

[61]  Arjeh M. Cohen,et al.  Editorial to Special Issue on Algorithms for algebra , 1997 .

[62]  Alexander Varchenko,et al.  The classification of critical points, caustics and wave fronts , 1985 .

[63]  Michele Vergne,et al.  Arrangement of hyperplanes. I. Rational functions and Jeffrey-Kirwan residue , 1999 .

[64]  Alicia Dickenstein,et al.  A global view of residues in the torus , 1997 .

[65]  V. Batyrev,et al.  Toric Residues and Mirror Symmetry , 2002, math/0203216.

[66]  Alicia Dickenstein,et al.  Duality methods for the membership problem , 1991 .

[67]  Mohab Safey El Din,et al.  New Structure Theorem for Subresultants , 2000, J. Symb. Comput..

[68]  George E. Collins,et al.  Subresultants and Reduced Polynomial Remainder Sequences , 1967, JACM.

[69]  Amit Khetan.  Exact matrix formula for the unmixed resultant in three variables , 2003 .

[70]  Xenia de la Ossa,et al.  Mirror Symmetry for Two Parameter Models -- I , 1993, hep-th/9308083.

[71]  Alicia Dickenstein,et al.  An effective residual criterion for the membership problem in C[z1,…,zn] , 1991 .

[72]  M. Brion,et al.  Residue formulae, vector partition functions and lattice points in rational polytopes , 1997 .

[73]  A. L. Dixon.  The Eliminant of Three Quantics in two Independent Variables , 1909 .

[74]  S. Sperber,et al.  Differential modules defined by systems of equations , 1996 .

[75]  R. Hartshorne.  Residues and Duality: Lecture Notes of a Seminar on the Work of A. Grothendieck, Given at Harvard 1963 /64 , 1966 .

[76]  Mikael Passare,et al.  Elimination Methods in Polynomial Computer Algebra , 1998 .

[77]  L. E. Lerer,et al.  Resultants of matrix polynomials , 1976 .

[78]  Amit Khetan.  The resultant of an unmixed bivariate system , 2003, J. Symb. Comput..

[79]  Bernard Mourrain,et al.  Computer Algebra Methods for Studying and Computing Molecular Conformations , 1999, Algorithmica.

[80]  John F. Canny,et al.  A subdivision-based algorithm for the sparse resultant , 2000, JACM.

[81]  J. Lipman.  Residues and traces of di erential forms via Hochschild homology , 1987 .

[82]  Manfred Minimair,et al.  Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case , 2002, J. Symb. Comput..

[83]  Alicia Dickenstein,et al.  Rational Hypergeometric Functions , 1999, Compositio Mathematica.

[84]  Jesús A. De Loera,et al.  Counting Integer Flows in Networks , 2003, Found. Comput. Math..

[85]  A. Dickenstein,et al.  Planar Configurations of Lattice Vectors and GKZ-Rational Toric Fourfolds in ℙ6 , 2004 .

[86]  I. M. Gelʹfand,et al.  Discriminants, Resultants, and Multidimensional Determinants , 1994 .

[87]  Matthias Beck,et al.  Counting Lattice Points by Means of the Residue Theorem , 2000 .

[88]  Nicolas R. Coleff,et al.  Les courants résiduels associés à une forme méromorphe , 1978 .

[89]  David A. Cox.  Toric residues , 1994, alg-geom/9410017.