Abstract :
We prove that computing the dimensions of the cohomology groups of a coherent sheaf on projective space, specified by the kernel, image, or cokernel of a graded matrix, is hard for Valiantʹs complexity class #P. The same is true of the Euler characteristic, defined as the alternating sum of dimensions.
