Abstract
As noticed by Jouanolou, Hurwitz proved in 1913 ([Hu]) that, in the generic case, the Koszul complex is acyclic in positive degrees if the number of (homogeneous) polynomials is less than or equal to the number of variables†. It was known around 1930 that resultants may be calculated as a Mc Rae invariant of this complex. This expresses the resultant as an alternate product of determinants coming from the differentials of this complex. Demazure explained in a preprint ([De]), how to recover this formula from an easy particular case of deep results of Buchsbaum and Eisenbud on finite free resolutions. He noticed that one only needs to add one new variable in order to do the calculation in a non generic situation.
I have never seen any mention of this technique of calculation in recent reports on the subject (except the quite confidential one of Demazure and in an extensive work of Jouanolou, however from a rather different point of view). So, I will give here elementary and short proofs of the theorems needed—except the well-known acyclicity of the Koszul complex and the “Principal Theorem of Elimination”—and present some useful remarks leading to the subsequent algorithm. In fact, no genericity is needed (it is not the case for all the other techniques). Furthermore, when the resultant vanishes, some information can be given about the dimension of the associated variety.
As an illustration of this technique, we give an arithmetical consequence on the resultant: if the polynomials have integral coefficients and their reductions modulo a prime p defines a variety of projective dimension zero and degree d, then p d divides the resultant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
N. Bourbaki, Algèbre Commutative Chapitres 1 à 9, Masson 1983 et 1985.
M. Demazure, Une définition constructive du résultant, Notes Informelles de Calcul Formel 2, prépublications du Centre de Mathématiques de l’École Polytechnique, 1984.
W. Gröbner, Modem Algebraische Geometrie, Springer-Verlag Wien und Innsbruck, 1949.
A. Hurwitz, Über die Trägheitsformen eines algebraischen Moduls, Annali di Mathematica pura ed applicata (3) 20, 1913, pp. 113–151.
J.-P. Jouanolou, Le formalisme du résultant, Publication de l’IRMA 417/P-234, Université de Strasbourg, 1990.
J.-P. Jouanolou, Aspects invariants de l’élimination, Publication de l’IRMA 457/P-263, Université de Strasbourg, 1991.
F. S. Macaulay, The Algebraic Theory of Modular Systems, Stechert-Hafner Service Agency, New-York and London, 1964, (Originally published in 1916 by Cambridge University Press).
D.G. Northcott, Lessons on Rings Modules and Multiplicities, Cambridge University Press, 1968.
J.-P. Serre, Algèbre locale et multiplicités, Lectures Notes in Mathematics 11, 1965.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Birkhäuser Boston
About this paper
Cite this paper
Chardin, M. (1993). The Resultant via a Koszul Complex. In: Eyssette, F., Galligo, A. (eds) Computational Algebraic Geometry. Progress in Mathematics, vol 109. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-2752-6_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2752-6_3
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7652-4
Online ISBN: 978-1-4612-2752-6
eBook Packages: Springer Book Archive