Abstract
Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of the coefficients. On the other hand, the global residue, which is defined as the sum of the local residues over all roots, has invariance properties which guarantee its rational dependence on the coefficients [9], [27]. In this paper we present symbolic algorithms for evaluating that rational function.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
I. A. Aĭzenberg and A. P. Yuzhakov: Integral representations and residues in multidimensional complex analysis. Translations of Mathematical Monographs 58. American Mathematical Society, 1983.
D. Bayer and D. Mumford: What can be computed in algebraic geometry?, In: “Computational Algebraic Geometry and Commutative Algebra” (eds. D. Eisenbud, L. Robbiano), Proceedings Cortona 1991, Cambridge University Press, 1993, pp. 1–48.
E. Becker, J.-P. Cardinal, M.-F. Roy, and Z. Szafraniec: Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levine formula, this volume.
E. Becker and T. Wörmann: On the trace formula for quadratic forms, Recent Advances in Real Algebraic Geometry and Quadratic Forms, Proceedings of the RAGSQUAD Year, Berkeley 1990—1991. W. B. Jacob, T.-Y. Lam, R. O. Robson (editors), Contemporary Mathematics, 155. pp. 271–291.
C. Berenstein and A. Yger: Une formule de Jacobi et ses conséquences. Ann. scient. Ec. Norm. Sup. 4e série,24 (1991) 369–377.
C. Berenstein and A. Yger: Effective Bezout identities in Q[zi,…, z n ] Acta Math 166 (1991) 69–120.
J.-P. Cardinal: Dualité et algorithmes itératifs pour la résolution de systèmes polynomiaux, Thèse Univ. Rennes I, Janvier 1993.
A. Dickenstein, N. Fitchas, M. Giusti, and C. Sessa: The membership problem for unmixed polynomial ideals is solvable in single exponential time. Discrete Applied Math. 33 (1991) 73–94.
A. Dickenstein and C. Sessa: An effective residual criterion for the membership problem in C[z1,…,z n ]. Journal of Pure and Applied Algebra 74 (1991) 149 158.
A. Dickenstein and C. Sessa: Duality methods for the membership problem, In: “Effective Methods in Algebraic Geometry” (eds. T. Mora, C. Tra- verso), Proceedings MEGA-90, Progress in Math. 94, Birkhäuser. 1991, pp. 89–103.
D. Eisenbud: Commutative algebra with a view toward algebraic geometry. To Appear.
D. Eisenbud and H. Levine: An algebraic formula for the degree of a C ∞ map germ. Annals of Mathematics 106 (1977) 19–44.
N. Fitchas, M. Giusti and F. Smietanski: Sur la complexité du théorème des zéros, Preprint, 1993.
P. Gritzmann and B. Sturmfels: Minkowski addition of polytopes: Computational complexity and applications to Gröbner bases. SI AM J. Discr. Math. 6 (1993) 246–269.
P. A. Griffiths and J. Harris: Principles of algebraic geometry. Wiley- Interscience, New York, 1978.
F. Junker: Über symmetrische Funktionen von mehreren Reihen von Veränderlichen, Mathematische Annalen, 43 (1893) 225–270.
M. Kalkbrener and B. Sturmfels: Initial complexes of prime ideals. Advances in Math., to appear.
A. G. Khovanskii: Newton’s polyhedron and the Euler-Jacobi formula. Uspekhi Mat. Nauk 33, no. 6 (1978) 245–246; English transl. inRussian Math. Surveys 33 (1978).
E. Kunz: Kähler differentials, Advanced Lectures in Mathematics, Vieweg Verlag, 1986.
E. Kunz and R. Waldi: Deformations of zero-dimensional intersection schemes and residues, Note di Matematica 11 (1991) 247–259.
P. Pedersen: Calculating multidimensional symmetric functions using Ja- cobi’s formula, Proceedings AAECC 9, (eds. H.F. Mattson, T. Mora, T.R.N. Rao), Springer Lecture Notes in Computer Science, 539, 1991, pp. 304–317.
P. Pedersen, M.-F. Roy, and A. Szpirglas: Counting real zeros in the multivariate case, In: “Computational Algebraic Geometry” (eds. F. Eyssette, A. Galligo), Proceedings MEGA-92, Progress in Math. 109, Birkhäuser, 1993, pp. 203–223.
G. Scheja and U. Storch: Über Spurfunktionen bei vollständigen Durchschnitten, J. Reine u. Angewandte Mathematik 278/9 (1975) 174–190.
J.-P. Serre: G.A.G.A, Annalesde l’lnstitut Fourier VI (1956),1–42.
A. K. Tsikh: Multidimensional residues and their applications. Translations of Mathematical Monographs 103. American Mathematical Society, 1992.
A. Weil: L’intégrale de Cauchy et les fonctions de plusieurs variables. Math. Ann. 111 (1935), 178–182.
A. P. Yuzhakov: On the computation of the complete sum of residues relative to a polynomial mapping in ℂn. Dokl. Akad. Nauk. SSSR 275 (1984), 817–820; English transl. in Soviet. Math. Dokl. 29(2) (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Cattani, E., Dickenstein, A., Sturmfels, B. (1996). Computing multidimensional residues. In: González-Vega, L., Recio, T. (eds) Algorithms in Algebraic Geometry and Applications. Progress in Mathematics, vol 143. Birkhäuser Basel. https://doi.org/10.1007/978-3-0348-9104-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9104-2_8
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-0348-9908-6
Online ISBN: 978-3-0348-9104-2
eBook Packages: Springer Book Archive