2019/12/09 by Luca Ghidelli, Ghidelli, Luca
Computer Science · Mathematics · #11J81 #13C15 #13D02 #13H15 #13P15 #14C17 #14L99 #16W50 (Secondary) #16W70 (Primary) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1912.04047
openalex publication_date 2019/12/09 · openalex created_date 2019/12/13 · openalex updated_date 2026/07/28
The Rémond resultant attached to a multiprojective variety and a sequence of multihomogeneous polynomials is a polynomial form in the coefficients of the polynomials, which vanishes if and only if the polynomials have a common zero on the variety. We demonstrate that this resultant can be computed as a Cayley determinant of a multigraded Koszul complex, proving a key stabilization property with the aid of local Hilbert functions and the notion of filter-regular sequences. Then we prove that the Rémond resultant vanishes, under suitable hypotheses, with order at least equal to the number of common zeros of the polynomials. More generally, we estimate the multiplicity of resultants of multihomogeneous polynomials along prime ideals of the coefficient ring, thus considering for example the order of p-adic vanishing. Finally, we exhibit a corollary of this multiplicity estimate in the context of interpolation on commutative algebraic groups, with applications to Transcendental Number Theory.