A generalization of an inequality of Lech relating multiplicity and colength

Craig Huneke, Ilya Smirnov, Javid Validashti

We study conjectured generalizations of a formula of Lech which relates the multiplicity of a finite colength ideal in an equicharacteristic local ring to its colength, and prove o…