OpenAI reports Lech’s multiplicity conjecture

Under every flat local homomorphism of nonzero Noetherian local rings, Hilbert–Samuel multiplicity of the source does not exceed that of the target.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

Under every flat local homomorphism of nonzero Noetherian local rings, Hilbert–Samuel multiplicity of the source does not exceed that of the target.

Why it matters

If correct, resolves Lech’s multiplicity conjecture in arbitrary dimension and characteristic.

What counts as progress

Can Hilbert–Samuel multiplicity decrease under a flat local map?

Website timeline

Publication dates and editorial changes.