Non-singular spacetimes with a negative cosmological constant: V. Boson stars

We prove existence of large families of solutions of Einstein-complex scalar field equations with a negative cosmological constant, with a stationary or static metric and a time-periodic complex scalar field.