A cohomological stability result for projective schemes over surfaces

Let π : X → X 0 be a projective morphism of schemes such that X 0 is noetherian and essentially of finite type over a field K. Let i ∈ ℕ0, let ℱ be a coherent sheaf of -modules and let ℒ be an ample invertible sheaf over X. We show that the set of associated points of the higher direct image sheaf ultimately becomes constant if n tends to −∞, provided X 0 has dimensione ≦ 2. If , this stability result need not hold any more. To prove this, we show that the set of associated primes of the n-th graded component of the i-th local cohomology module of a finitely generated graded module M over a homogeneous noetherian ring which is essentially of finite type over a field becomes ultimately constant in codimension 2 if n tends to −