Algebra · Oct 6, 2026

Lech’s multiplicity conjecture

Proves e(R)≤e(S)e(R)\le e(S) for every flat local homomorphism of nonzero Noetherian local rings, where e is Hilbert–Samuel multiplicity. This resolves Lech's conjecture in every dimension and characteristic.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources