Serre's multiplicity conjectures

Serre's multiplicity conjectures

In mathematics, Serre's multiplicity conjectures are certain purely algebraic problems, in commutative algebra, motivated by the needs of algebraic geometry. Since André Weil's initial rigorous definition of intersection numbers, around 1949, there had been a question of how to provide a more flexible and computable theory.

Let "R" be a (Noetherian, commutative) regular local ring and "P" and "Q" be prime ideals of "R". In 1961, Jean-Pierre Serre realized that classical algebraic-geometric ideas of multiplicity could be generalized using the concepts of homological algebra. Serre defined the intersection multiplicity of "R/P" and "R/Q" by means of the Tor functors of homological algebra, as

:chi (R/P,R/Q):=sum _{i=0}^{infty}(-1)^iell_R (Tor ^R_i(R/P,R/Q)).

This requires the concept of the length of a module, denoted here by "lR", and the assumption that

:ell _R((R/P)otimes(R/Q)) < infty.

If this idea were to work, however, certain classical relationships would presumably have to continue to hold. Serre singled out four important properties. These then became conjectures, challenging in the general case.

Dimension inequality

: dim(R/P) + dim(R/Q) le dim(R)

Serre verified this for all regular local rings. He established the following three properties when "R" is unramified, and conjectured that they hold in general.

Nonnegativity

: chi (R/P,R/Q) ge 0

Ofer Gabber verified this, quite recently.

Vanishing

If

: dim (R/P) + dim (R/Q) < dim (R)

then

: chi (R/P,R/Q) = 0.

This was proven around 1986 by Paul C. Roberts, and independently by Gillet and Soulé.

Positivity

If

: dim (R/P) + dim (R/Q) = dim (R)

then

: chi (R/P,R/Q) > 0.

This remains open.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Serre conjecture — In mathematics, Jean Pierre Serre has suggested a number of conjectural (or formerly conjectural) results:* The Serre conjecture concerning Galois representations; * The Quillen–Suslin theorem, formerly known as Serre s conjecture ; * Serre s… …   Wikipedia

  • Liste de conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, non exhaustive. Elles sont divisées en quatre sections, en accord avec leur état en 2011. Voir aussi : Conjecture d Erdős (en), qui liste des conjectures de Paul Erdős et de ses… …   Wikipédia en Français

  • Jean-Pierre Serre — Infobox Scientist name = Jean Pierre Serre birth date = birth date and age|1926|09|15 birth place = Bages, Pyrénées Orientales, France residence = Paris, France nationality = France field = Mathematics work institutions = Centre National de la… …   Wikipedia

  • List of conjectures — This is an incomplete list of mathematical conjectures. They are divided into four sections, according to their status in 2007. See also: * Erdős conjecture, which lists conjectures of Paul Erdős and his collaborators * Unsolved problems in… …   Wikipedia

  • Homological conjectures in commutative algebra — In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties …   Wikipedia

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”