P. B. Bhattacharya and J. J. Risler - B. Teissier proved that if I_{0},I_{1},...,I_{r} are m-primary ideals in a Noetherian local ring (R,m) of dimension d, then the function B(u_{0},u_{1},...,u_{r}) = l(R/I_{0}^{u0}I_{1}^{u1}...I_{r}^{ur}) is a polynomial function in u_{0},u_{1},...,u_{r} of degree d. The coefficients of the top degree term are called the mixed multiplicities of the ideals I_{0},I_{1},...,I_{r}. This result was generalized for ideals of positive height by D. Katz - J. K. Verma and D. Viet. D. Rees studied these numbers using complete and joint reductions of ideals.
Our algorithm requires computation of the defining ideal of the multi-Rees algebra of ideals. An expression of the defining ideal of the multi-Rees algebra of monomial ideals over a polynomial ring was given by D. Cox, K.-i. Lin and G. Sosa in (Multi-Rees algebras and toric dynamical systems. Proc. Amer. Math. Soc., 147(11):4605-4616, 2019). We use a generalization of their result for ideals over a polynomial ring.
The computation of mixed multiplicities helps compute mixed volume of a collection of lattice polytopes and also the sectional Milnor numbers of hypersurfaces with an isolated singularity.
Let Q_{1},...,Q_{n} be a collection of lattice polytopes in ℝ^{n} and t_{1},...,t_{n} ∈ℝ_{+}. Minkowski proved that the n-dimensional volume, vol_{n}(t_{1}Q_{1} + ... + t_{n}Q_{n}) is a homogeneous polynomial of degree n in t_{1},...,t_{n}. The coefficient of t_{1}...t_{n} is called the mixed volume of Q_{1},...,Q_{n}. N. V. Trung and J. K. Verma proved that the mixed volume of lattice polytopes in the above setup can be realized as a mixed multiplicity of the homogeneous ideals corresponding to the lattice polytopes.
Let origin be an isolated singular point of a complex analytic hypersurface H = V(f). The C-vector space dimension of C{x_{0},...,x_{n}}/(f_{x0},...,f_{xn}) is called the Milnor number of the hypersurface H at the origin. Let (X, x) be a germ of a hypersurface in C^{n+1} with an isolated singularity. The Milnor number of X ∩E, where E is a general linear subspace of dimension i passing through x is called the i-th sectional Milnor number of X. B. Teissier identified the i-th sectional Milnor number with the i-th mixed multiplicity of the maximal homogeneous ideal of the polynomial ring and the Jacobian ideal of f.
This documentation describes version 1.0 of MixedMultiplicity.
The source code from which this documentation is derived is in the file MixedMultiplicity.m2.