Recent developments on Serre's multiplicity conjectures: Gabber's proof of the nonnegativity conjecture (Q1594935)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recent developments on Serre's multiplicity conjectures: Gabber's proof of the nonnegativity conjecture |
scientific article |
Statements
Recent developments on Serre's multiplicity conjectures: Gabber's proof of the nonnegativity conjecture (English)
0 references
30 January 2001
0 references
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.
0 references
non-negativity conjecture for intersection multiplicity
0 references
local rings
0 references
Hilbert-Samuel polynomial
0 references