Abstract:Abstract. This paper defines mixed multiplicity systems; the Euler-Poincaré characteristic and the mixed multiplicity symbol of N d -graded modules with respect to a mixed multiplicity system, and proves that the Euler-Poincaré characteristic and the mixed multiplicity symbol of any mixed multiplicity system of the type (k 1 , . . . , k d ) and the (k 1 , . . . , k d )-difference of the Hilbert polynomial are the same. As an application, we obtain results for mixed multiplicities.
“…Filter-regular sequences are related to superficial sequences and (mixed) multiplicity systems, and are widely used in the study of Rees algebras and Hilbert functions of local rings. See for example [TV10], [RV10], [VT15] or [KR94].…”
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.
“…Filter-regular sequences are related to superficial sequences and (mixed) multiplicity systems, and are widely used in the study of Rees algebras and Hilbert functions of local rings. See for example [TV10], [RV10], [VT15] or [KR94].…”
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.
This paper defines the Euler–Poincaré characteristic of joint reductions of ideals which concerns the maximal terms in the Hilbert polynomial; characterizes the positivity of mixed multiplicities in terms of minimal joint reductions; proves the additivity and other elementary properties for mixed multiplicities. The results of the paper together with the results of [Thanh and Viet, Mixed multiplicities of maximal degrees, J. Korean Math. Soc. 55(3) (2018) 605–622] seem to show a natural and nice picture of mixed multiplicities of maximal degrees.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.