next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiplicitySequence :: MultiplicitySequence

MultiplicitySequence -- multiplicity sequence of ideals

Description

The goal of this package is to compute the multiplicity sequence of an ideal $I$ in a standard graded equidimensional ring over a field $(R,m,k)$, where $m = R_+$. The multiplicity sequence is a generalization of the Hilbert-Samuel multiplicity for ideals that are not necessarily m-primary. This sequence is obtained by considering the second sum transform of the Hilbert polynomial in two variables of the bigraded ring grGr, which is the associated graded algebra of the extension of $m$ in the associated graded algebra of $I$.

The multiplicity sequence was defined by Achiles and Manaresi in intersection theory [AM97]. Its importance comes from applications to problems in singularity theory (Segre numbers [AR01]) and commutative algebra (numerical characterization of integral dependence [PTUV20, SH06]). Indeed, in [PTUV20] the authors show that in a equidimensional and universally catenary Noetherian local ring, two ideals $J\subset I$ have the same integral closure if and only if they have the same multiplicity sequence.

This package includes two different ways of computing the multiplicity sequence of an ideal. The first one uses the definition in terms of Hilbert polynomials, while the second uses a general element approach based on [AM97] (see also [PTUV20]). The package also contains a method that computes all of the coefficients of the Hilbert polynomial of a multi-graded module. These numbers can be seen as the generalizations of Hilbert coefficients for ideals that are not necessarily m-primary.

One of the terms of the multiplicity sequence is the j-multiplicity, another important invariant of an ideal in multiplicity theory. This package also contains a method jMult which computes the j-multiplicity of an ideal using Theorem 3.6 in [NU10], based on code written by H. Schenck and J. Validashti. There is also a method monjMult which computes the j-multiplicity of a monomial ideal via polyhedral volume computations, using a result of [JM13]. The package also includes several functions related to integral dependence of monomial ideals, such as Newton polyhedron, analytic spread, and monomial reductions.

The second author thanks D. Eisenbud, D. Grayson, and M. Stillman for organizing a Macaulay2 day during the special year in commutative algebra 2012-2013 at MSRI where he learned how to write a package.

References:

Authors

Version

This documentation describes version 0.5 of MultiplicitySequence.

Source code

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

Exports

  • Functions and commands
    • grGr -- the bigraded ring Gr_m(Gr_I(R))
    • hilbSequence -- the Hilbert sequence of a multi-graded module
    • jMult -- the j-multiplicity of an ideal
    • monAnalyticSpread -- the analytic spread of a monomial ideal
    • monjMult -- j-multiplicity of a monomial ideal
    • monReduction -- the minimal monomial reduction of a monomial ideal
    • multiplicitySequence -- the multiplicity sequence of an ideal
    • NP -- the Newton polyhedron of a monomial ideal
  • Methods
    • "grGr(Ideal)" -- see grGr -- the bigraded ring Gr_m(Gr_I(R))
    • "hilbSequence(Ideal)" -- see hilbSequence -- the Hilbert sequence of a multi-graded module
    • "hilbSequence(Module)" -- see hilbSequence -- the Hilbert sequence of a multi-graded module
    • "hilbSequence(Ring)" -- see hilbSequence -- the Hilbert sequence of a multi-graded module
    • "jMult(Ideal)" -- see jMult -- the j-multiplicity of an ideal
    • "monAnalyticSpread(Ideal)" -- see monAnalyticSpread -- the analytic spread of a monomial ideal
    • "monjMult(Ideal)" -- see monjMult -- j-multiplicity of a monomial ideal
    • "monReduction(Ideal)" -- see monReduction -- the minimal monomial reduction of a monomial ideal
    • "multiplicitySequence(Ideal)" -- see multiplicitySequence -- the multiplicity sequence of an ideal
    • "multiplicitySequence(ZZ,Ideal)" -- see multiplicitySequence -- the multiplicity sequence of an ideal
    • "NP(Ideal)" -- see NP -- the Newton polyhedron of a monomial ideal
  • Symbols

For the programmer

The object MultiplicitySequence is a package.