How to construct a gravitating quantum electron star
Motivated by the holographic study of Fermi surfaces, we develop methods to solve Einstein gravity coupled to fermions and gauge fields, with AdS boundary conditions and a chemical potential.