Serre's nonnegativity conjecture for intersection multiplicities has recent
ly been proven by O. Gabber. In this paper we investigate Serre's positivit
y conjecture using the methods which he developed. We show in particular th
at the positivity conjecture has implications for properties of symbolic po
wers of prime ideals in regular local rings.