Generally covariant theories: the Noether obstruction for realizing certain space-time diffeomorphisms in phase space

Relying on known results of the Noether theory of symmetries extended to constrained systems, it is shown that there exists an obstruction that prevents certain tangent-space diffeomorphisms being projectable to phase space, for generally covariant theories. This main result throws new light on the old fact that the algebra of gauge generators in the phase space of general relativity, or other generally covariant theories, only closes as a soft algebra and not as a Lie algebra. The deep relationship between these two issues is clarified. In particular, we see that the second one may be understood as a side effect of the procedure to solve the first. It is explicitly shown how the adoption of specific metric-dependent diffeomorphisms, as a way to achieve projectability, causes the algebra of gauge generators (constraints) in phase space not to be a Lie algebra-with structure constants-but a soft algebra-with structure functions.