invariance conditions, gauge transformations, variational calculus