Convex bodies and multiplicities of ideals (Q2514596)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convex bodies and multiplicities of ideals |
scientific article |
Statements
Convex bodies and multiplicities of ideals (English)
0 references
3 February 2015
0 references
The connection between multiplicities of monomial ideals in a polynomial ring and convex geometry is known by the work of Bernstein and Kouchnirenko. The aim of this article is to extend this connection to a more general setting. Let \((R, {\mathfrak m})\) be an analytically irreducible local domain of dimension \(n\), and \({\mathbf k}:=R/{\mathfrak m}\) the residue field. In this article it is proved that \(R\) has a ``good'' valuation, that is, a valuation \(v\) with values in \({\mathbb Z}^n\), satisfying some technical properties. On the other hand, let \(({\mathfrak a}_\bullet )\) be a \({\mathfrak m}-\) primary sequence of subspaces of \({\mathfrak m}\), such that \({\mathfrak a}_k {\mathfrak a}_m\subset {\mathfrak a}_{k+m}\) for any natural integers \(k,m\), and \({\mathfrak a}_1\) contains a power of \({\mathfrak m}\). The authors prove that the limit: \[ e({\mathfrak a}_\bullet ):=n!\lim_{k\rightarrow +\infty } \frac{\text{dim}_{\mathbf k}(R/{\mathfrak a}_k)}{k^n} \] exists. The number \(e({\mathfrak a}_\bullet )\) is called the multiplicity of \(({\mathfrak a}_\bullet) \). Let \(C\subset {\mathbb R}^n\) be the closure of the convex hull of the value semigroup \(S\) of the valuation \(v\). The authors define a convex region \(\Gamma ({\mathfrak a}_\bullet)\subset C\) such that \(C\setminus \Gamma ({\mathfrak a}_\bullet)\) is bounded. The main result in this paper is that \(e({\mathfrak a}_\bullet )=n! \text{vol}(C\setminus \Gamma ({\mathfrak a}_\bullet))\). As a consequence they get the Brunn-Minkowski inequality: \[ e({\mathfrak a}_\bullet )^{1/n}+ e({\mathfrak b}_\bullet )^{1/n}\geq e({\mathfrak a}_\bullet {\mathfrak b}_\bullet )^{1/n} \]
0 references
convex geometry
0 references
multiplicities
0 references
Samuel multiplicities
0 references
Hilbert-Samuel function
0 references
Newton polyhedra
0 references
Brunn-Minkowski inequality
0 references
0 references