Mixed multiplicities of divisorial filtrations (Q2335490)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mixed multiplicities of divisorial filtrations
scientific article

    Statements

    Mixed multiplicities of divisorial filtrations (English)
    0 references
    14 November 2019
    0 references
    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)].
    0 references
    mixed multiplicity
    0 references
    valuation
    0 references
    divisorial filtration
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references