Une approche combinatoire pour le résultant multivarié. Le résultant multivarié pour les enfants motivés
Authors:
Claude Quitté,
Claire Tête
Abstract:
We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables as of polynomials).
In a non classical way, we use the multiplicative structure of finite free resolutions, by applying it to the complex homogeneous components of the Koszul complex of the system, and this in any deg…
▽ More
We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables as of polynomials).
In a non classical way, we use the multiplicative structure of finite free resolutions, by applying it to the complex homogeneous components of the Koszul complex of the system, and this in any degree. Moreover, these complexes have Macaulay decompositions. These three pillars, multiplicative structure, Koszul complex, Macaulay decomposition, allow to establish, surprisingly to us, remarkable binomial relations between 3 families of scalars resulting from the differentials of that complexes. These binomial relations generate several notable results, like a determinantal expression of a certain denominator, depending only on the first differential, and provide in particular formulas expressing the resultant. We have explored more deeply the case of the critical degree delta. This degree produces a fundamental linear form on the homogeneous polynomial component of degree delta, including the resultant. And this fundamental linear form has allowed us to highlight a certain number of remarkable properties.
Key words: Elimination theory, homogeneous polynomial system, resultant, determinant of complexes, Cayley determinant, computational algebra, finitefree resolution, Koszul complex, Euler characteristic, Grade, Multiplicative structure, Macaulay decomposition, Fitting invariants, MacRae invariant, regular sequence.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
Résolutions libres finies. Méthodes constructives
Authors:
Thierry Coquand,
Henri Lombardi,
Claude Quitté,
Claire Tête
Abstract:
In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster, the Cayley complexes and their determinants, and the finite projective resolutions.
In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster, the Cayley complexes and their determinants, and the finite projective resolutions.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
