Serre’s intersection-multiplicity conjecture

1 · The essentials

When two mathematical objects meet, one can try to assign a number that measures their intersection. The supplied manuscript concerns a particular number introduced in Serre’s intersection-multiplicity conjecture. It claims that this number is strictly positive when the two objects satisfy specific conditions. Both objects must be nonzero and describable using finitely many generators, and their intersection must have a finiteness property. Their dimensions must also add up to the dimension of the surrounding setting, which must satisfy a regularity condition. The claim includes the case called ramified mixed characteristic. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine two pieces of material meeting inside a container, with a rule assigning a score to their contact. The claim is that, under carefully specified conditions, the score must be greater than zero; the image does not capture the algebraic definition of that score.

Why it matters

The manuscript presents its claim as a resolution of Serre’s positivity conjecture, including ramified mixed characteristic. Its scope is all regular local rings under the stated conditions, rather than a restricted class of such rings. The supplied abstract states the result but does not provide the argument needed to assess it.

2 · Going further

The precise claim concerns nonzero finitely generated modules $M$ and $N$ over a regular local ring $R$ . Assuming that $M \otimes_{R} N$ has finite length and that $dim M + dim N = dim R$ , the manuscript claims strict positivity of Serre’s intersection multiplicity: $χ^{R} (M, N) > 0$ . The dimension equality is the complementary-dimensions condition, and the finite-length condition is a separate hypothesis.

The repository summary and the abstract both identify this as Serre’s positivity conjecture and explicitly include ramified mixed characteristic. The supplied text does not give a formula for $χ^{R} (M, N)$ or explain the main idea of the argument. Consequently, an account of the method or its intermediate steps cannot be drawn from this material.

Only one manuscript, titled “Positivity of Serre’s Intersection Multiplicity,” is supplied. No companion manuscripts or relationships between companion results are described. The main result is not formalized in Lean and has not been formally verified.

Useful notions

Rings and modules
Finite generation
Tensor products
Module length
Dimension and regular local rings

What was known before / what is new

Before

The source identifies the target statement as Serre’s positivity conjecture. It provides no account of earlier partial results, established cases, or the history of the problem.

New

The manuscript claims strict positivity for every regular local ring when the modules satisfy the nonzero, finite-generation, finite-length, and complementary-dimensions hypotheses. It explicitly states that the claim includes ramified mixed characteristic. No new technique or intermediate result is described in the supplied abstract.

Limits and assumptions

The claim requires nonzero finitely generated modules over a regular local ring, a finite-length tensor product, and the equality $dim M + dim N = dim R$ . The supplied statement makes no assertion when these hypotheses fail. The abstract gives neither an argument nor technical details, and no remaining open questions are identified in the source. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Serre’s intersection multiplicity: The numerical quantity denoted $χ^{R} (M, N)$ whose strict positivity is the subject of the manuscript’s claim.
Complementary dimensions: The condition $dim M + dim N = dim R$ appearing in the claimed result.
Strict positivity: The assertion that the intersection multiplicity is greater than zero.
Finite-length tensor product: The hypothesis that the module $M \otimes_{R} N$ has finite length.

Keywords : Serre’s intersection multiplicity · Positivity conjecture · Regular local rings

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 strict positivity of Serre's intersection multiplicity $χ^{R} (M, N)$ for nonzero finitely generated modules over any regular local ring, provided $M \otimes_{R} N$ has finite length and $dim M + dim N = dim R$ . This resolves the positivity conjecture, including ramified mixed characteristic.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Positivity of Serre's Intersection Multiplicity

23/09/2026

To be verified

We prove Serre's positivity conjecture, including ramified mixed characteristic. If two nonzero finitely generated modules over a regular local ring have tensor product of finite length and complementary dimensions, then their intersection multiplicity is strictly positive.

PDF GitHub folder