Lech-Hironaka inequalities for flat couples of local rings
type: Item
instance of: scholarly article
title: Lech-Hironaka inequalities for flat couples of local rings
zbMATH Open document ID: 0709.13008
DOI: 10.1007/BF02568770
author: Bernd Herzog
published in: Manuscripta Mathematica
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/155533
review text: Let (A,m) be a local ring with Hilbert series \(H^ 0_ A=\sum^{\infty}_{0}\dim_{A/m}(m^ d/m^{d+1})T^ d \), and series of i-th sums \(H^ i_ A=(1-T)^{-i}H^ 0_ A\), and let f: (A,m)\(\to (B,n)\) be a flat local homomorphism of local rings. The general problem is to discover when \(H^ i_ A\leq H^ i_ B\) in the sense that the inequality holds between coefficients. This is a stronger inequality than the 1959 suggestion of \textit{C. Lech} [see Ark. Mat. 4, 63-86 (1960; Zbl 0192.139)] that the multiplicities satisfy e(A)\(\leq e(B)\). Lech sketches a proof of the stronger inequality for \(i=1\) when the fibre B/mB is a zero-dimensional complete intersection. Later \textit{H. Hironaka} [J. Math. Kyoto Univ. 10, 151-187 (1970; Zbl 0214.200)] proved the same inequality for \(B=A[x]/(F).\) In this note the author reconstructs a complete version of Lech's proof and gives a different proof, using Cohen's structure theorems and an inequality of Bennett, to establish \(H_ A^{d+1}\leq H^ 1_ B\) when d is the dimension of the complete intersection B/mB. Similar arguments are used to establish the same inequality in a more general setting.
Mathematics Subject Classification ID: 13D40
Mathematics Subject Classification ID: 13H15
Mathematics Subject Classification ID: 14M10
zbMATH DE Number: 4165030
zbMATH Keywords: Hilbert series
zbMATH Keywords: flat local homomorphism of local rings
zbMATH Keywords: complete intersection
reviewed by: David Kirby
MaRDI profile type: Publication
Wikidata QID: Q126270941
cites work: On the characteristic functions of a local ring
cites work: On the Macaulayfication of local rings
cites work: Note on multiplicities of ideals
cites work: Inequalities related to certain couples of local rings
cites work: Q3739243
cites work: Functors of Artin Rings
cites work: Ideals generated by \(R\)-sequences
Recommended article: Q5430227
Recommended article: The local Lehmer inequality for Drinfeld modules
Recommended article: Lech’s inequality for the Buchsbaum-Rim multiplicity and mixed multiplicity
Recommended article: The lex-plus-powers inequality for local cohomology modules
Recommended article: Lower bounds for Hilbert-Kunz multiplicities in local rings of fixed dimension
Recommended article: Local Bézout theorem for Henselian rings
Recommended article: New estimates of Hilbert-Kunz multiplicities for local rings of fixed dimension
Recommended article: A LeVeque-type inequality on the ring of p-adic integers
Recommended article: A generalized Dade's lemma for local rings
Recommended article: A length inequality for one-dimensional local rings
description: scientific article; zbMATH DE number 4165030