1 · The essentials
The result concerns a number called multiplicity that is attached to certain mathematical systems called rings. It says that this number cannot go down when one ring is connected to another in a particular way. The connection must satisfy conditions called “flat” and “local,” and both rings must be nonzero Noetherian local rings. Under these conditions, the conclusion is : the starting ring’s multiplicity is no larger than the destination ring’s. The manuscript presents this as a resolution of Lech’s multiplicity conjecture. It states that the result holds in every dimension, without restrictions on the residue fields or characteristics. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine moving between two floors by a route that is allowed to stay level or climb, but never descend. Multiplicity plays the role of height; the ring and map conditions are essential to the no-descent rule, not optional details.
Why it matters
The result gives a uniform comparison of multiplicities whenever the stated ring and map conditions hold. Its scope is broad: the manuscript imposes no dimension bound and no restrictions on residue fields or characteristics. The supplied summary identifies this as resolving Lech’s conjecture in its full stated generality.
2 · Going further
The precise problem is to compare Hilbert–Samuel multiplicities under a flat local homomorphism , where and are nonzero Noetherian local rings. Writing these multiplicities as and , Lech’s conjecture asks for . The manuscript states this inequality in arbitrary dimension, with no restrictions on the residue fields or characteristics.
The supplied abstract announces the result but does not describe the argument, its intermediate steps, or the techniques used. Consequently, no main mechanism of the argument can be extracted from this source. Only one manuscript is supplied, so there is no companion-manuscript relationship to explain. The main result has a Lean formalization, although the supplied material does not give a detailed account of its formalization scope.
Useful notions
- Rings and ring homomorphisms
- Nonzero Noetherian local rings
- Flat local homomorphisms
- Hilbert–Samuel multiplicity
- Dimension, residue fields, and characteristic
What was known before / what is new
Before
The source identifies the inequality as Lech’s multiplicity conjecture. It does not describe earlier partial results, previously settled cases, or the history of the conjecture.
New
The manuscript states that Hilbert–Samuel multiplicity cannot decrease under any flat local homomorphism of nonzero Noetherian local rings. Its stated conclusion covers arbitrary dimension and places no restrictions on residue fields or characteristics. The main result has a Lean formalization.
Limits and assumptions
The hypotheses remain essential to the stated result: the homomorphism must be flat and local, and both rings must be nonzero Noetherian local rings. The source gives no conclusion for maps or rings outside those conditions. The main result has a Lean formalization, but the supplied material does not specify which supporting claims are included in that formalization. It supplies neither an argument outline nor further open questions; it presents Lech’s conjecture itself as resolved.
Mini glossary
- Hilbert–Samuel multiplicity —
- The numerical quantity denoted by for a ring and compared in the stated conjecture.
- Flat local homomorphism —
- A ring map satisfying the flatness and locality conditions required by the result.
- Nonzero Noetherian local rings —
- The class of rings to which both the starting and destination rings must belong in the stated result.
- Lech’s multiplicity conjecture —
- The assertion that for every flat local homomorphism of nonzero Noetherian local rings.
Keywords : Lech’s conjecture · Hilbert–Samuel multiplicity · Flat local homomorphisms
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves 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.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Lech's multiplicity conjecture
23/09/2026We prove Lech's multiplicity conjecture: Hilbert–Samuel multiplicity cannot decrease under a flat local homomorphism of nonzero Noetherian local rings. The result holds in arbitrary dimension, with no restrictions on the residue fields or characteristics.