Result 193, Algebra

Serre’s intersection-multiplicity conjecture

Proves strict positivity of Serre's intersection multiplicity χR(M,N)\chi^R(M,N) for nonzero finitely generated modules over any regular local ring, provided M⊗RNM\otimes_R N has finite length and dim⁡M+dim⁡N=dim⁡R\dim M+\dim N=\dim R. This resolves the positivity conjecture, including ramified mixed characteristic.

Proof

The bigger picture

Why it matters

When two geometric pieces meet at an isolated point, algebra assigns their meeting an intersection multiplicity. This manuscript claims that, under precise dimension conditions, this number is always positive, settling the remaining cases of Serre's positivity conjecture.

What changes?

The unreviewed manuscript reports strict positivity for any regular local ring, an algebraic model of a nonsingular local space. The objects meeting are two nonzero finitely generated modules, finite packages of algebraic data describing the pieces. Their tensor product must have finite length, meaning their intersection is concentrated at the local point. Their dimensions must sum to the ring's dimension. Under exactly these assumptions, their Serre intersection multiplicity is positive, including over rings of ramified mixed characteristic.

What does that help mathematicians do?

The claim rules out an intersection that satisfies these hypotheses yet contributes zero or a negative number to Serre's multiplicity. Such an intersection would necessarily register a positive contribution in calculations using this invariant. Researchers could use that sign guarantee uniformly across regular local rings, including ramified mixed characteristic. The conclusion does not cover modules whose dimensions fail to add up as required.

Are there practical applications?

Its immediate value is foundational: it would strengthen the connection between geometric intersections and the numerical invariants used to study them. For a local intersection encoded by modules satisfying the hypotheses, positivity would become a guaranteed constraint. The supplied abstract claims no computational procedure or practical deployment beyond this mathematical result.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Positivity of Serre's Intersection Multiplicity

September 23, 2026 31 pages

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 LaTeX source
Cite (BibTeX) 
@misc{OAI:Positivity-of-Serres-Intersection-Multiplicity-September-23-2026,
  author = {{OpenAI}},
  title = {{Positivity of Serre's Intersection Multiplicity}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf}{OAI:Positivity-of-Serres-Intersection-Multiplicity-September-23-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.