Mixed multiplicities of divisorial filtrations

DOI10.1016/J.AIM.2019.106842MaRDI QIDQ2335490zbMATH OpenOpenAlexWikidataFDO

Publication date 14 November 2019

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.01508

divisorial filtration mixed multiplicity valuation

Valuations and their generalizations for commutative rings (13A18) Multiplicity theory and related topics (13H15) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17)

Abstract: Suppose that

R

is an excellent local domain with maximal ideal

m_{R}

. The theory of multiplicities and mixed multiplicities of

m_{R}

-primary ideals extends to (possibly non Noetherian) filtrations of

R

by

m_{R}

-primary ideals, and many of the classical theorems for

m_{R}

-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrations, but the good conclusions that hold in the case of equality for

m_{R}

-primary ideals do not hold for filtrations. In this article, we consider multiplicities and mixed multiplicities of

R

by

m_{R}

-primary divisorial filtrations. We show that some important theorems on equalities of multiplicities and mixed multiplicities of

m_{R}

-primary ideals, which are not true in general for filtrations, are true for divisorial filtrations. We prove that a theorem of Rees showing that if there is an inclusion of

m_{R}

-primary ideals

I s u b s e t I^{'}

with the same multiplicity then

I

and

I^{'}

have the same integral closure also holds for divisorial filtrations. This theorem does not hold for arbitrary filtrations. We show that the Teissier Rees Sharp Katz theorem on equality in the Minkowski inequality holds for divisorial filtrations in an excellent domain of dimension two. We also show that the mixed multiplicities of divisorial filtrations are anti-positive intersection products on a suitable normal scheme

X

birationally dominating

R

, when

R

is an algebraic local domain.

Review text

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)].

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Mixed multiplicities of divisorial filtrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335490)