To fix the notation, let us begin by recalling the basic standard definitions
and properties pertaining to the translation symmetry.
Let denote a normalized Slater determinant
built of single-particle orbitals that are localized in space.
Since the total momentum operator
is the generator of translation, states
can be shifted by to an arbitrary location in
space as
The Slater determinant is, therefore, a normalized
wave packet built of non-normalizable center-of-mass plane waves
.
For a system described by a translationally invariant
Hamiltonian ,
, one can determine
the average energy
of each plane wave, which is called
the projected energy, as