Convex bodies and multiplicities of ideals

DOI10.1134/S0081543814060169MaRDI QIDQ2514596zbMATH OpenFDO

Publication date 3 February 2015

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

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

Brunn-Minkowski inequality convex geometry Hilbert-Samuel function multiplicities Newton polyhedra Samuel multiplicities

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18) Deformations and infinitesimal methods in commutative ring theory (13D10) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Toric varieties, Newton polyhedra, Okounkov bodies (14M25)

Abstract: We associate convex regions in R^n to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Grobner bases and Newton polyhedra on one hand, and the theory of Newton-Okounkov bodies for linear systems on the other hand. We use this to give a new proof, as well as a generalization of a Brunn-Minkowski inequality for multiplicities due to Teissier and Rees-Sharp.

Review text

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} \]

Recommendations

Cites work

Cited in

(38)

This page was built for publication: Convex bodies and multiplicities of ideals

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