Currently, there is much interest in the development of geometric integrators, which retain analogues of geometric properties of an approximated system. This paper provides a means of ensuring that finite difference schemes accurately mirror global properties of approximated systems. To this end, we introduce a cohomology theory for lattice varieties, on which finite difference schemes and othe...