One century after its formulation, Einsteinʼs general relativity (GR) has made remarkable predictions and turned out to be compatible with all experimental tests. Most of these tests probe the theory in the weak-field regime, and there are theoretical and experimental reasons to believe that GR should be modified when Class. Quantum Grav. 32 (2015) 243001Topical Review physical laboratories to probe strong-field gravity are black holes and neutron stars, whether isolated or in binary systems. We review the motivations to consider extensions of GR. We present a (necessarily incomplete) catalog of modified theories of gravity for which strong-field predictions have been computed and contrasted to Einsteinʼs theory, and we summarize our current understanding of the structure and dynamics of compact objects in these theories. We discuss current bounds on modified gravity from binary pulsar and cosmological observations, and we highlight the potential of future gravitational wave measurements to inform us on the behavior of gravity in the strong-field regime.

We present a family of solutions of Einstein's gravity minimally coupled to a complex, massive scalar field, describing asymptotically flat, spinning black holes with scalar hair and a regular horizon. These hairy black holes (HBHs) are supported by rotation and have no static limit. Besides mass M and angular momentum J, they carry a conserved, continuous Noether charge Q measuring the scalar hair. HBHs branch off from the Kerr metric at the threshold of the superradiant instability and reduce to spinning boson stars in the limit of vanishing horizon area. They overlap with Kerr black holes for a set of (M, J) values. A single Killing vector field preserves the solutions, tangent to the null geodesic generators of the event horizon. HBHs can exhibit sharp physical differences when compared to the Kerr solution, such as J/M 2 > 1, quadrupole moment larger than J 2 /M and larger orbital angular velocity at the innermost stable circular orbit. Families of HBHs connected to the Kerr geometry should exist in scalar (and other) models with more general self interactions.

We consider the status of black hole solutions with non-trivial scalar fields but no gauge fields, in four dimensional asymptotically flat space-times, reviewing both classical results and recent developments. We start by providing a simple illustration on the physical difference between black holes in electro-vacuum and scalar-vacuum. Next, we review no-scalar-hair theorems. In particular, we detail an influential theorem by Bekenstein and stress three key assumptions: 1) the type of scalar field equation; 2) the spacetime symmetry inheritance by the scalar field; 3) an energy condition. Then, we list regular (on and outside the horizon), asymptotically flat BH solutions with scalar hair, organizing them by the assumption which is violated in each case and distinguishing primary from secondary hair. We provide a table summary of the state of the art.

Extended scalar-tensor Gauss-Bonnet (ESTGB) gravity has been recently argued to exhibit spontaneous scalarization of vacuum black holes (BHs). A similar phenomenon can be expected in a larger class of models, which includes, e.g., Einstein-Maxwell scalar (EMS) models, where spontaneous scalarization of electrovacuum BHs should occur. EMS models have no higher curvature corrections, a technical simplification over ESTGB models that allows us to investigate, fully nonlinearly, BH scalarization in two novel directions. First, numerical simulations in spherical symmetry show, dynamically, that Reissner-Nordström (RN) BHs evolve into a perturbatively stable scalarized BH. Second, we compute the nonspherical sector of static scalarized BH solutions bifurcating from the RN BH trunk. Scalarized BHs form an infinite (countable) number of branches and possess a large freedom in their multipole structure. Unlike the case of electrovacuum, the EMS model admits static, asymptotically flat, regular on and outside the horizon BHs without spherical symmetry and even without any spatial isometries, which are thermodynamically preferred over the electrovacuum state. We speculate on a possible dynamical role of these nonspherical scalarized BHs.

Using backwards ray tracing, we study the shadows of Kerr black holes with scalar hair (KBHSH). KBHSH interpolate continuously between Kerr BHs and boson stars (BSs), so we start by investigating the lensing of light due to BSs. Moving from the weak to the strong gravity region, BSs-which by themselves have no shadows-are classified, according to the lensing produced, as (i) noncompact, which yield not multiple images, (ii) compact, which produce an increasing number of Einstein rings and multiple images of the whole celestial sphere, and (iii) ultracompact, which possess light rings, yielding an infinite number of images with (we conjecture) a self-similar structure. The shadows of KBHSH, for Kerr-like horizons and noncompact BS-like hair, are analogous to, but distinguishable from, those of comparable Kerr BHs. But for non-Kerr-like horizons and ultracompact BS-like hair, the shadows of KBHSH are drastically different: novel shapes arise, sizes are considerably smaller, and multiple shadows of a single BH become possible. Thus, KBHSH provide quantitatively and qualitatively new templates for ongoing (and future) very large baseline interferometry observations of BH shadows, such as those of the Event Horizon Telescope.

Kerr black holes with scalar hair are solutions of the Einstein-Klein-Gordon field equations describing regular (on and outside an event horizon), asymptotically flat black holes with scalar hair [1]. These black holes interpolate continuously between the Kerr solution and rotating boson stars in D = 4 spacetime dimensions. Here we provide details on their construction, discussing properties of the ansatz, the field equations, the boundary conditions and the numerical strategy. Then, we present an overview of the parameter space of the solutions, and describe in detail the space-time structure of the black holes exterior geometry and of the scalar field for a sample of reference solutions. Phenomenological properties of potential astrophysical interest are also discussed, and the stability properties and possible generalizations are commented on. As supplementary material to this paper we make available numerical data files for the sample of reference solutions discussed, for public use. * herdeiro@ua.pt † eugen.radu@ua.pt 1 arXiv:1501.04319v2 [gr-qc] 4 May 2015

We establish that massive complex Abelian vector fields (mass µ) can form gravitating solitons, when minimally coupled to Einstein's gravity. Such Proca stars (PSs) have a stationary, everywhere regular and asymptotically flat geometry. The Proca field, however, possesses a harmonic time dependence (frequency w), realizing Wheeler's concept of geons for an Abelian spin 1 field. We obtain PSs with both a spherically symmetric (static) and an axially symmetric (stationary) line element. The latter form a countable number of families labelled by an integer m ∈ Z + . PSs, like (scalar) boson stars, carry a conserved Noether charge, and are akin to the latter in many ways. In particular, both types of stars exist for a limited range of frequencies and there is a maximal ADM mass, Mmax, attained for an intermediate frequency. For spherically symmetric PSs (rotating PSs with m = 1, 2, 3), Mmax ≃ 1.058M 2 P l /µ (Mmax ≃ 1.568, 2.337, 3.247 M 2 P l /µ), slightly larger values than those for (mini-)boson stars. We establish perturbative stability for a subset of solutions in the spherical case and anticipate a similar conclusion for fundamental modes in the rotating case. The discovery of PSs opens many avenues of research, reconsidering five decades of work on (scalar) boson stars, in particular as possible dark matter candidates.

Bekenstein proved that in Einstein's gravity minimally coupled to one (or many) real, Abelian, Proca field, stationary black holes (BHs) cannot have Proca hair. Dropping Bekenstein's assumption that matter inherits spacetime symmetries, we show this model admits asymptotically flat, stationary, axisymmetric, regular on and outside an event horizon BHs with Proca hair, for an even number of real (or an arbitrary number of complex) Proca fields. To establish it, we start by showing that a test, complex Proca field can form bound states, with real frequency, around Kerr BHs: stationary Proca clouds. These states exist at the threshold of superradiance. It was conjectured in [1,2], that the existence of such clouds at the linear level implies the existence of a new family of BH solutions at the non-linear level. We confirm this expectation and explicitly construct examples of such Kerr black holes with Proca hair (KBHsPH). For a single complex Proca field, these BHs form a countable number of families with three continuous parameters (ADM mass, ADM angular momentum and Noether charge). They branch off from the Kerr solutions that can support stationary Proca clouds and reduce to Proca stars [3] when the horizon size vanishes. We present the domain of existence of one family of KBHsPH, as well as its phase space in terms of ADM quantities. Some physical properties of the solutions are discussed; in particular, and in contrast with Kerr BHs with scalar hair, some spacetime regions can be counter-rotating with respect to the horizon. We further establish a no-Proca-hair theorem for static, spherically symmetric BHs but allowing the complex Proca field to have a harmonic time dependence, which shows BHs with Proca hair in this model require rotation and have no static limit. KBHsPH are also disconnected from Kerr-Newman BHs with a real, massless vector field. * herdeiro@ua.pt