Recent developments on Serre's multiplicity conjectures: Gabber's proof of the nonnegativity conjecture (Q1594935)

In his classic book ``Algèbre Locale -- Multiplicités'' [Lect. Notes Math. 11 (1957/58; Zbl 0661.13008)], \textit{J.-P. Serre} introduced a definition of intersection multiplicity in a general algebraic setting. In Serre's words this multiplicity ``is equal to some Euler-Poincaré characteristics constructed by means of the Tor functor of Cartan-Eilenberg''. This notion agrees with the classical intersection multiplicity considered in algebraic geometry (in the case of proper intersections). Because of this general setting some properties which should hold for the intersection multiplicity are not obviously satisfied. The author presents a recent proof of Gabber of the non-negativity conjecture for this intersection multiplicity: If \(R\) is a regular local ring and \(M,N\) finitely generated \(R\)-modules such that \(M\otimes_R N\) has finite length, then the Serre intersection multiplicity \( \chi(M,N)\) is non-negative. He also gives a new proof of the vanishing conjecture.