Mixed multiplicities of divisorial filtrations (Q2335490)

The theory of mixed multiplicities of $\mathfrak m$-primary ideals in a Noetherian local ring $(R,\mathfrak m)$ was established by \textit{P. B. Bhattacharya} [Proc. Camb. Philos. Soc. 53, 568--575 (1957; Zbl 0080.02903)]. It was developed by \textit{D. Rees} and \textit{R. Y. Sharp} [J. Lond. Math. Soc., II. Ser. 18, 449--463 (1978; Zbl 0408.13009)], J. J. Risler and \textit{B. Teissier} [Astérisque 7--8, 285--362 (1974; Zbl 0295.14003)]. It has applications in the theory of multiplicities, Rees algebras intersection multiplicities, number of generators of ideals, sectional Milnor numbers and mixed volumes of polytopes to name a few [\textit{Ngo Viet Trung} and \textit{J. Verma}, Trans. Am. Math. Soc. 359, No. 10, 4711--4727 (2007; Zbl 1121.52027)]. Many aspects of this theory have been generalised for non-noetherian filtrations. In this paper, mixed multiplicities of $\mathfrak m$-primary ideals of divisorial filtrations are studied. A filtration of ideals $\{I_n\}$ is called $\mathfrak m$-primary if $I_n$ is $\mathfrak m$-primary for all $n\geq 1$. The key result used to extend the theory for non-noetherian filtrations is the following result of the author [Adv. Math. 264, 55--113 (2014; Zbl 1350.13032)]. Let $(R,\mathfrak m)$ be a Noetherian local ring of dimension $d$. Let $N(\hat{R})$ denote the nilradical of the $\mathfrak m$-adic completion of $R$. Let $\ell(M)$ denote the length of an $R$-module $M$. Then $\lim_{n\to \infty}\ell(R/I_n)/n^d$ exists for any filtration $\mathfrak m$-primary filtration $\{I_n\}$ of $R$ if and only if $\dim N(\hat{R})< d$. Mixed multiplicities of filtrations are defined in [\textit{S. D. Cutkosky} et al., Trans. Am. Math. Soc. 372, No. 9, 6183--6211 (2019; Zbl 1428.13040)]. Let $\dim N(\hat{R})<d$ and $\mathcal{I}(1)=\{I(1)_n\}, \ldots, \mathcal{I}(r)=\{I(r)_n\}$ be $\mathfrak m$-primary filtrations and $M$ be a finite $R$-module. Then the function \[ P(n_1, \ldots, n_r)=\lim_{m\to \infty}\frac{\ell(M/I(1)_{mn_1}\ldots I(r)_{mn_r}M)}{m^d} \] is a homogeneous polynomial $G(n_1,n_2\ldots, n_r)$ of total degree $d$ with real co-efficients for all $n_1,n_2,\ldots, n_r$. Write \[ G(n_1,\ldots, n_r)=\sum_{d_1+\cdots+d_r=d} e(\mathcal{I}(1)^{[d_1]},\ldots, \mathcal{I}(r)^{[d_r]}; M)\frac{n_1^{d_1}\ldots n_r^{d_r}}{d_1!\ldots d_r !}. \] The real number $e(\mathcal{I}(1)^{[d_1]},\ldots, \mathcal{I}(r)^{[d_r]}; M)$ is called the mixed multiplicity of $M$ of the type $(d_1, d_2,\ldots, d_r)$ with respect to the filtrations $\mathcal{I}(1)\ldots, \mathcal{I}(r)$. Let $R$ be an excellent local domain of dimension $d$ with fraction field $K$. A valuation $v$ of $K$ is called an $\mathfrak m$-valuation of $K$ if the valuation ring $(R_v, m_v)$ satisfies (a) $R\subset R_v$,(b) $m_v\cap R=\mathfrak{m}$ and (c) $\text{trdeg }_{R/\mathfrak{m}} R_v/m_v=d-1$. An $\mathfrak m$-valuation gives rise to an $\mathfrak m$-primary filtration $\{I(v)_n\}$ where $I(v)_n=\{f\in R\mid v(f)\geq n\}$ for $n\in \mathbb{N}$. This filtration is not Noetherian in general. A divisorial filtration arises as $\{I_n\}$ where $I_n=I(v_1)_{a_1n}\cap \cdots\cap I(v_t)_{a_tn}$ where $a_i\in \mathbb{N}$ and $v_1, v_2,\ldots, v_t$ are $\mathfrak m$-valuations of $R$. A major result of this paper is that the Teissier-Rees-Sharp theorem, which established Minkowski inequalities for mixed multiplicities, is true for divisorial filtrations in excellent two-dimensional local domains. The following result is obtained as a consequence: Let $(R, \mathfrak m)$ be a two-dimensional excellent local domain and $v$ and $w$ be two $\mathfrak m$-valuations. Then $e(I(v)I(w))^{1/2}=e(I(v))^{1/2}+e(I(w))^{1/2}$ if and only of $v=w$. The mixed multiplicities of divisorial filtrations are identified as certain intersection multiplicities on the normalised blowup of Spec$R$ where $R$ is a normal local ring of a finitely generated algebra over an algebraically closed field. These results are proved using the method of volumes of convex bodies associated to semigroups due to \textit{A. Okounkov} [Prog. Math. 213, 329--347 (2003; Zbl 1063.22024)].