Equilibrium states of gravitational systems

We formulate the equilibrium correlation functions for local observables of an assembly of non-relativistic, neutral gravitating fermions in the limit where the number of particles becomes infinite, and in a scaling where the region , to which they are confined, remains fixed. We show that these correlation functions correspond, in the limit concerned, to states on the discrete tensor product, where the are copies of the gauge invariantC*-algebra of the CAR overL²(R³). The equilibrium states themselves are then given by, where, is the Gibbs state on for an infinitely extended ideal Fermi gas at density , and where ₀ is the normalised density function that minimises the Thomas-Fermi functional, obtained in [2], governing the equilibrium thermodynamics of the system.