The chief correspondence that demonstrates this relationship between symmetries and invariance is, of course, Noether's theorem (see e.g. [1]}). The theorem states that if a quantity is conserved along a flow, then that quantity must itself be related to the generator of a symmetry. These ideas are conveniently expressed using HVFs and Poisson brackets.
