Abstract
We explore the classical Lech's inequality relating the Hilbert–Samuel multiplicity and colength of an m-primary ideal in a Noetherian local ring (R,m). We prove optimal versions of Lech's inequality for sufficiently deep ideals in characteristic p>0, and we conjecture that they hold in all characteristics.Our main technical result shows that if (R,m) has characteristic p>0 and Rˆ is reduced, equidimensional, and has an isolated singularity, then for any sufficiently deep m-primary ideal I, the colength and Hilbert–Kunz multiplicity of I are sufficiently close to each other. More precisely, for all ε>0, there exists N≫0 such that for any I⊆R with ℓ(R/I)>N, we have (1−ε)ℓ(R/I)≤eHK(I)≤(1+ε)ℓ(R/I).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
