層係数コホモロジーは実多様体には考えられるの?