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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    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