Multigraded Koszul complexes, filter-regular sequences and lower bounds for the multiplicity of the resultant

TL;DR

This paper links multigraded Koszul complexes and filter-regular sequences to the computation and multiplicity bounds of the Rémond resultant, with applications in algebraic geometry and number theory.

Contribution

It introduces a new approach to compute the Rémond resultant via Cayley determinants of Koszul complexes and establishes lower bounds for its multiplicity.

Findings

Resultant computed as Cayley determinant of multigraded Koszul complex

Proved lower bounds for the order of vanishing of the resultant

Applied multiplicity estimates to interpolation on algebraic groups

Abstract

The R\'emond 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\'emond 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.