# Serre’s intersection-multiplicity conjecture > Serre's intersection multiplicity is claimed to be strictly positive over every regular local ring. Plain-English explainer with sources. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-193/ Last updated: 2026-10-14 **Serre's intersection multiplicity is claimed to be strictly positive over every regular local ring.** **Trust:** Claimed, not checked · **Papers:** 1 · **First paper:** September 23, 2026 · **Field:** Algebra · **Entry:** 193 *Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error. Serre defined a number that counts how many times two shapes meet at a point, with touching counted extra. He conjectured it is always positive when the shapes have complementary dimensions. Earlier work proved it is never negative, but zero was not ruled out in one hard case. This paper claims to prove it is always positive. ## At a glance - **First step:** 1965 (Jean-Pierre Serre, Algèbre locale, multiplicités) - **Significance:** Major. It would settle a central conjecture of commutative algebra, open in ramified mixed characteristic for decades. - **Trust:** Claimed, not checked - **Field:** Algebra (1 paper) ## The explanation Draw the line y = 0 and the parabola y = x² on graph paper. They touch at the origin and nowhere else. Put y = 0 into the parabola's equation and you get x² = 0. That root x = 0 counts twice, so the curves meet twice at one point. The line y = x behaves differently. Near the origin it crosses the parabola once, with no touching. Algebra can count these meetings in any setting. Take all power series in x and y, the formulas that describe what happens very close to the origin. This is an example of a regular local ring: the algebraic model of the neighbourhood of a smooth point. A module is an algebraic object that plays the role of a shape through that point. The line and the parabola each give one. Each shape has a dimension, here 1, while the plane has dimension 2. Jean-Pierre Serre defined a number χ for two such shapes that meet only at the point. It is an alternating sum: a first term, minus a second, plus a third, and so on[1]. The first term is a length, the number of independent quantities left after imposing both shapes. For the line and parabola, setting y = 0 and y = x² leaves the series 1 and x, so the length is 2. The later terms are corrections called Tor. Here they are all zero, so χ = 2, matching the double meeting. Serre conjectured that χ is always at least 1 when the two dimensions add up to the dimension of the ring. This is the positivity conjecture. It is not automatic. The correction terms come with alternating signs and could in principle cancel the first term[2]. Serre himself proved it in many cases. His argument works in equal characteristic and in the unramified case[3]. Equal characteristic means that numbers behave the same way in the ring as at the point, as with power series over the rational numbers. Mixed characteristic means they differ, as in the p-adic integers, where a prime p acts like a small quantity. Ramified means p is especially small: it lies in the square of the ideal of quantities that vanish at the point. Roberts, and separately Gillet and Soulé, proved that χ is zero when the dimensions add up to too little[4]. Gabber proved that χ is never negative in the remaining mixed-characteristic case[5]. What was missing was ruling out exactly zero[6]. Later work covered special ramified cases. Skalit handled rings built smoothly over a two-dimensional base[7]. KC and Soto Levins handled shapes that satisfy a lifting condition[8]. This paper claims to prove the conjecture in full, with no limit on characteristic or ramification[9]. It does not require either shape to come from a simpler unramified ring[10]. The obstacle is the cancellation in the alternating sum. The paper attacks it with two recent tools[11]. One is a way of measuring size called normalized length, built from very large perfectoid rings. Under that measure, certain troublesome correction terms count as zero. The other is algebraic K-theory, which compares the ordinary count with the normalized one. The comparison only works after averaging over a group of symmetries[12]. The paper shows each term of a first average is positive using a second average[13]. That rules out zero. An earlier public post by Editan asserts a form of the same result[14]. The paper says it is credited to Editan, Copilot and Gemini[14]. It records that post as a claim, not an established theorem[14]. It also draws consequences for symbolic powers, a way of measuring how ideals grow[15]. How sure is this? The openai/math release has no Lean formalization for this result, so no computer has checked the proof. The argument relies on deep recent machinery from perfectoid methods and K-theory. No specialist review of the paper has been published. **What it doesn't show.** This does not give a formula for the intersection multiplicity; it only shows the number is at least 1. ## Where it came from This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026. ## Hype check Major if it holds. There is no Lean check, the proof uses heavy recent machinery, and no specialist review is published. ## Words used - **Regular local ring:** The algebraic model of the neighbourhood of a smooth point, such as power series in a few variables. - **Module:** An algebraic object over the ring that plays the role of a shape through the point. - **Length:** A count of independent quantities in a module, like the dimension of a vector space. - **Tor:** Correction terms that measure how far two shapes are from meeting cleanly. - **Intersection multiplicity:** Serre's alternating sum of the length and the Tor terms; it counts meetings with multiplicity. - **Mixed characteristic:** A ring where a prime number p is nonzero but vanishes at the point, as in the p-adic integers. - **Ramified:** Here, mixed characteristic where p lies in the square of the ideal of quantities vanishing at the point. ## The original paper - [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf) - September 23, 2026 ## Quoted lines from the paper (15) [1] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > For finite $R$-modules $M,N$ whose tensor product has finite length, Serre's intersection multiplicity is the integer \[ \chi^R(M,N)=\sum_{i=0}^{d}(-1)^i \length_R\Tor_i^R(M,N). \] [2] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Its positivity is not a formal consequence of the nonzero degree-zero term: the higher terms enter with alternating signs. [3] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > His reduction to the diagonal proves positivity in equicharacteristic and in the unramified setting; the same argument also treats formal power series rings over an arbitrary complete discrete valuation ring. [4] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Roberts and, independently, Gillet--Soul\'e proved vanishing when the tensor product has finite length and the sum of dimensions is smaller than the ring dimension. [5] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Gabber proved nonnegativity in the remaining mixed-characteristic case using alterations and an intersection calculation on a normal bundle. [6] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > For complementary-dimensional pairs, strict positivity must additionally rule out zero. [7] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Further progress in ramified mixed characteristic includes Skalit's positivity theorem for regular local rings essentially smooth over a two-dimensional regular local base. [8] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > KC and Soto Levins prove positivity for modules satisfying a Serre-liftability condition. [9] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Theorem … proves Serre's positivity conjecture without a restriction on characteristic or ramification. [10] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > In particular, it does not require either module to lift to an unramified regular local ring. [11] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > The proof combines normalized-length methods with algebraic $K$-theory. [12] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > First, rational $K$-theory with support at the closed point shows that ordinary and normalized Euler lengths agree after summing over all Galois conjugates. [13] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > The common annihilator and the positive limiting length of $M_n$ make this lower bound strictly positive. The second Galois average proves positivity for each value in the first average, completing the argument. [14] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > {A public post by Editan, dated December 9, 2025 and credited to Editan, Copilot, and Gemini, also asserts the prime-quotient form of Serre's positivity conjecture. We record this as a same-scope claim, not as an established theorem; see \href{https://note.com/editan/n/n35dec2c1ddbe}{the author's post}.} [15] From [Positivity of Serre's Intersection Multiplicity](https://github.com/openai/math/blob/main/preprints/Positivity-of-Serres-Intersection-Multiplicity-September-23-2026/paper.pdf): > Theorem … also has consequences for symbolic powers. ## Other sources - [J.-P. Serre, Local Algebra, translated by C. W. Chin, Springer Monographs in Mathematics (2000), Chapter V](https://doi.org/10.1007/978-3-662-04203-8) - [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model” ## Related - [Lech’s multiplicity conjecture](https://closedform.nishachay.tech/e/openai-math-2026-194/) - Algebra - [A counterexample to the small Cohen–Macaulay module conjecture](https://closedform.nishachay.tech/e/openai-math-2026-195/) - Algebra - [A counterexample to Kaplansky’s zero-divisor conjecture](https://closedform.nishachay.tech/e/openai-math-2026-196/) - Algebra - [Counterexamples to Auslander–Reiten, Tachikawa and related homological conjectures](https://closedform.nishachay.tech/e/openai-math-2026-199/) - Algebra - [The blockwise Alperin weight conjecture](https://closedform.nishachay.tech/e/openai-math-2026-202/) - Algebra - [Algebra](https://closedform.nishachay.tech/science/mathematics/algebra/) - Field · 18 results - [Named conjectures](https://closedform.nishachay.tech/topic/named-conjectures/) - Topic · 85 results - [Open since the 1960s](https://closedform.nishachay.tech/open-since/1960s/) - Era · 33 results - [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20193%5D%20)