Many-body green function of degenerate systems.
A rigorous nonperturbative adiabatic approximation of the evolution operator in the many-body physics of degenerate systems is derived. This approximation is used to solve the long-standing problem of the choice of the initial states of H(0) leading to eigenstates of H(0) + V for degenerate systems. These initial states are eigenstates of P(0)VP(0), where P(0) is the projection onto a degenerate eigenspace of H(0). This result is used to give the proper definition of the Green function, the statistical Green function and the nonequilibrium Green function of degenerate systems. The convergence of these Green functions is established.