The \(j\)-multiplicity of monomial ideals (Q2449422): Difference between revisions

From the introduction: ``Let \(R\) denote the polynomial ring \(k[X_1,\ldots, X_d]\) over the field \(k\), \(\mathfrak{m}\) the homogeneous maximal ideal \((X_1,\ldots,X_d)\), and \(I\) a monomial ideal of \(R\). The Newton polyhedron of \(I\) is the convex hull of the points in \(\mathbb{R}^d\) that correspond to monomials in \(I\), which we will denote by \(\text{conv}(I)\). In this paper we generalize the classical result that describes the Hilbert-Samuel multiplicity of an \(\mathfrak{m}\)-primary ideal as the normalized volume of the complement of its Newton polyhedron in \(\mathbb{R}^d_{\geq 0}\), see \textit{B. Teissier} [Trav. Cours 37, 127--141 (1988; Zbl 0698.14001)]. If \(I\) is not \(\mathfrak{m}\)-primary, the complement of \(\text{conv}(I)\) is infinite, but we can define the analogue of this region in the general case by considering the truncated cone from the origin to the union of the bounded faces of \(\text{conv}(I)\). This truncated cone will be denoted by \(\text{pyr}(I)\). With this notation, we can state our main result: Theorem. Let \(I\subseteq R\) be a monomial ideal. Then \(j(I) = d! \text{vol}(\text{pyr}(I))\).'' \newline Here \(j(I)\) is the so-called \(j\)-multiplicity defined by \textit{R. Achilles} and \textit{M. Manaresi} [J. Math. Kyoto Univ. 33, No. 4, 1029--1046 (1993; Zbl 0816.13019)] as a numerical invariant that generalizes the Hilbert-Samuel multiplicity for arbitrary ideals. More precisely, \[ \displaystyle j(I)=\lim_{n \to \infty} \frac{(d-1)!}{n^{d-1}}\lambda(H_0^{\mathfrak{m}}(I^n/I^{n+1})). \] As pointed out by the authors, the dimension two case of this formula had already appeared in unpublished work of J. Validashti.