Mixed multiplicities of graded families of ideals (Q2240462): Difference between revisions

By the work of \textit{P. B. Bhattacharya} [Proc. Camb. Philos. Soc. 53, 568--575 (1957; Zbl 0080.02903)] the study of mixed multiplicities, an important subject in commutative algebra and algebraic geometry was initiated (see also the book by \textit{I. Swanson} and \textit{C. Huneke} [Integral closure of ideals, rings, and modules. Cambridge: Cambridge University Press (2006; Zbl 1117.13001)]. A graded family of ideals \(\mathbb{I} = \{I_n\}_{n \in \mathbb{N}}\) is a sequence of ideals such that \(I_0 = R\) and \(I_n I_m \subseteq I_{n+m}\). When \(I_{n+1} \subseteq I_n\) for all \(n \in \mathbb{N}\) it is called a filtration. Furthermore, if \((R,\mathfrak{m})\) is a local ring \(\mathbb{I}\) is called \(\mathfrak{m}\)-primary if all \(I_n, n \geq 1,\) are \(\mathfrak{m}\)-primary ideals. In the pioneering work of \textit{S. D. Cutkosky} et al. [Trans. Am. Math. Soc. 372, No. 9, 6183--6211 (2019; Zbl 1428.13040)] the authors study mixed multiplicities of not necessarily Noetherian \(\mathfrak{m}\)-primary filtrations. In the paper (see [\textit{Y. Cid-Ruiz} and \textit{J. Montaño}, ``Convex bodies and graded families of monomial ideals'', Preprint, \url{arXiv:2010.07918}]) the first author of the present paper and J. Montaña defined mixed multiplicities for arbitrary graded families of monomial ideals (that satisfy the mild condition of having a linear bound for the degree of the generators of the ideals), and showed that the mixed volumes of arbitrary convex bodies can be expressed in terms of the newly defined mixed multiplicities. In the present paper the authors introduce mixed multiplicities of arbitrary graded families of ideals under certain conditions. In the \(\mathfrak{m}\)-primary case, the conditions that they assume are automatically satisfied, and so they obtain an extension of the main result shown by Cutkosky, Sarkar and Srinivasan (see [loc. cit.]). An additional important result of their work is that they show a ``Volume = Multiplicity formula'' for mixed multiplicities of graded families.