next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
MixedMultiplicity :: MixedMultiplicity

MixedMultiplicity -- Calculate mixed multiplicities, mixed volume and sectional Milnor numbers

Description

P. B. Bhattacharya and J. J. Risler - B. Teissier proved that if I0,I1,...,Ir are m-primary ideals in a Noetherian local ring (R,m) of dimension d, then the function B(u0,u1,...,ur) = l(R/I0u0I1u1...Irur) is a polynomial function in u0,u1,...,ur of degree d. The coefficients of the top degree term are called the mixed multiplicities of the ideals I0,I1,...,Ir. 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 Q1,...,Qn be a collection of lattice polytopes in n and t1,...,tn ∈ℝ+. Minkowski proved that the n-dimensional volume, voln(t1Q1 + ... + tnQn) is a homogeneous polynomial of degree n in t1,...,tn. The coefficient of t1...tn is called the mixed volume of Q1,...,Qn. 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{x0,...,xn}/(fx0,...,fxn) is called the Milnor number of the hypersurface H at the origin. Let (X, x) be a germ of a hypersurface in Cn+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.

Authors

Version

This documentation describes version 1.0 of MixedMultiplicity.

Source code

The source code from which this documentation is derived is in the file MixedMultiplicity.m2.

Exports

  • Functions and commands
    • homIdealPolytope -- Compute the homogeneous ideal corresponding to the vertices of a lattice polytope in $\mathbb{R}^n$.
    • mixedMultiplicity -- Compute a given mixed multiplicity of ideals in a polynomial ring.
    • mixedVolume -- Compute the mixed volume of a collection of lattice polytopes
    • multiReesIdeal -- Compute the defining ideal of multi-Rees algebra of ideals
    • secMilnorNumbers -- Compute the sectional Milnor numbers of a hypersurface with an isolated singularity