A temporally varying discretization often features in discrete gravitational
systems and appears in lattice field theory models subject to a coarse graining
or refining dynamics. To better understand such discretization changing
dynamics in the quantum theory, an according formalism for constrained
variational discrete systems is constructed. While the present manuscript
focuses on global evolution moves and, for simplicity, restricts to Euclidean
configuration spaces, a companion article discusses local evolution moves. In
order to link the covariant and canonical picture, the dynamics of the quantum
states is generated by propagators which satisfy the canonical constraints and
are constructed using the action and group averaging projectors. This projector
formalism offers a systematic method for tracing and regularizing divergences
in the resulting state sums. Non-trivial coarse graining evolution moves lead
to non-unitary, and thus irreversible, projections of physical Hilbert spaces
and Dirac observables such that these concepts become evolution move dependent
on temporally varying discretizations. The formalism is illustrated in a toy
model mimicking a `creation from nothing'. Subtleties arising when applying
such a formalism to quantum gravity models are discussed.Comment: 45 pages, 1 appendix, 6 figures (additional explanations, now matches
published version