 The Euler characteristic in this case is a well-defined number by Grothendieck's finiteness theorem.This function is indeed a polynomial.For large "m" it agrees with dim formula_92 by Serre's vanishing theorem.