Cohomological Background on Point Counting