1: \begin{abstract}

2: We continue the study of counting complexity

3: begun in~\cite{bucu:04, bucl:04a,bucl:04} by proving upper and lower bounds

4: on the complexity of computing the Hilbert polynomial of a homogeneous ideal.

5: We show that the problem of computing the Hilbert polynomial of a smooth equidimensional complex

6: projective variety can be reduced in polynomial time to the problem

7: of counting the number of complex common zeros of a finite set of multivariate polynomials.

8: Moreover, we prove that the more general problem of computing the Hilbert polynomial

9: of a homogeneous ideal is polynomial space hard. This implies polynomial space

10: lower bounds for both the problems of computing the rank and the Euler characteristic

11: of cohomology groups of coherent sheaves on projective space, improving the $\CP$-lower bound in Bach~\cite{bach:99}.

12: \end{abstract}

13: