In general relativity, on the other hand, it has no meaning to speak of a definite
localization of energy. One may define a quantity which is divergence free analogous to the
energy-momentum density tensor of special relativity , but it is gauge dependent: i.e., it
is not covariant under general coordinate transformations. Consequently the fact that it is
divergence free does not yield a meaningful law of local energy conservation. Thus one has,
as Hilbert saw it, in such theories ‘improper energy theorems’.
A key feature for physics of Noether’s I.V. paper is the clarity her theorems brought
to our understanding of the principle of energy conservation. As Feza Gursey wrote [18]:
“Before Noether’s Theorem the principle of conservation of energy was shrouded in mystery,
leading to the obscure physical systems of Mach and Ostwald. Noether’s simple and
profound mathematical formulation did much to demystify physics.” Noether showed in her
theorem I that the principle of energy conservation follows from symmetry under time translations.
This applies to theories having a finite continuous symmetry group; theories that are
Galilean or Poincar`e invariant, for example. In general relativity, on the other hand, energy
conservation takes a different form as will be shown below. Noether’s theorem II applies in
the case of general relativity and one sees that she has proved Hilbert’s assertion that in
this case one has ‘improper energy theorems’, and that this is a characteristic feature of the
theory. It is owing to the fact that the theory is a gauge theory; i.e., that it has an infinite
continuous group of symmetries of which time translations are a subgroup. Indeed generally
she defines as “improper” divergence relationships, which vanish when the field equations are
satisfied, which correspond to a finite continuous subgroup of an infinite continuous group.
Generally they do not have the required invariance or covariance properties under the larger
group. For example, in general relativity a divergence free energy-momentum (pseudo) tensor
can be constructed but it is gauge dependent (see below). Because it is not covariant
under general coordinate transformations, it is more properly called a pseudotensor. Such
pseudotensors are covariant with respect to the linear transformations of the Poincar`e group
and may be used in asymptotic spacetime regions far from gravitating sources to derive a
principle of energy conservation.