The grand challenges of contemporary fundamental physics—dark matter, dark energy, vacuum energy, inflation and early universe cosmology, singularities and the hierarchy problem—all involve gravity as a key component. And of all gravitational phenomena, black holes stand out in their elegant simplicity, while harbouring some of the most remarkable predictions of General Relativity: event horizons, singularities and ergoregions. The hitherto invisible landscape of the gravitational Universe is being unveiled before our eyes: the historical direct detection of gravitational waves by the LIGO-Virgo collaboration marks the dawn of a new era of scientific exploration. Gravitational-wave astronomy will allow us to test models of black hole formation, growth and evolution, as well as models of gravitational-wave generation and propagation. It will provide evidence for event horizons and ergoregions, test the theory of General Relativity itself, and may reveal the existence of new fundamental fields. The synthesis of these results has the potential to radically reshape our understanding of the cosmos and of the laws of Nature. The purpose of this work is to present a concise, yet comprehensive overview of the state of the art in the relevant fields of research, summarize important open problems, and lay out a roadmap for future progress. This write-up is an initiative taken within the framework of the European Action on ‘Black holes, Gravitational waves and Fundamental Physics’.

The fate of Cauchy horizons, such as those found inside charged black holes, is intrinsically connected to the decay of small perturbations exterior to the event horizon. As such, the validity of the strong cosmic censorship (SCC) conjecture is tied to how effectively the exterior damps fluctuations. Here, we study massless scalar fields in the exterior of Reissner–Nordström–de Sitter black holes. Their decay rates are governed by quasinormal modes of the black hole. We identify three families of modes in these spacetimes: one directly linked to the photon sphere, well described by standard WKB-type tools; another family whose existence and time scale is closely related to the de Sitter horizon; finally, a third family which dominates for near-extremally charged black holes and which is also present in asymptotically flat spacetimes. The last two families of modes seem to have gone unnoticed in the literature. We give a detailed description of linear scalar perturbations of such black holes, and conjecture that SCC is violated in the near extremal regime.

We introduce a family of solutions of Einstein’s gravity minimally coupled to an anisotropic fluid, describing asymptotically flat black holes with “hair” and a regular horizon. These spacetimes can describe the geometry of galaxies harboring supermassive black holes, and are extensions of Einstein clusters to include horizons. They are useful to constrain the environment surrounding astrophysical black holes, using electromagnetic or gravitational-wave observations. We compute the main properties of the geometry, including the corrections to the ringdown stage induced by the external matter and fluxes by orbiting particles. The leading order effect to these corrections is a gravitational-redshift, but gravitational-wave propagation is affected by the galactic potential in a nontrivial way, and may be characterized with future observatories.

Recent work applying the notion of pseudospectrum to gravitational physics showed that the quasinormal mode spectrum of black holes is unstable, with the possible exception of the longest-lived (fundamental) mode. The fundamental mode dominates the expected signal in gravitational wave astronomy, and there is no reason why it should have privileged status. We compute the quasinormal mode spectrum of two model problems where the Schwarzschild potential is perturbed by a small “bump” consisting of either a Pöschl-Teller potential or a Gaussian, and we show that the fundamental mode is destabilized under generic perturbations. We present phase diagrams and study a simple double-barrier toy problem to clarify the conditions under which the spectral instability occurs.

It was recently shown that strong cosmic censorship may be violated in highly charged black-hole spacetimes living in a universe with a positive cosmological constant. Several follow-up works have since suggested that such a result, while conceptually interesting, cannot be upheld in practice. We focus here on the claim that the presence of charged massive scalars suffices to save strong cosmic censorship. To the contrary, we show that there still exists a finite region in parameter space where strong cosmic censorship is expected to be violated.

Black hole spectroscopy is a powerful tool to probe the Kerr nature of astrophysical compact objects and their environment. The observation of multiple ringdown modes in gravitational waveforms could soon lead to high-precision gravitational spectroscopy, so it is critical to understand if the quasinormal mode spectrum is stable against perturbations. It was recently shown that the pseudospectrum can shed light on the spectral stability of black hole quasinormal modes. We study the pseudospectrum of Reissner-Nordström spacetimes and we find a spectral instability of scalar and gravitoelectric quasinormal modes in subextremal and extremal black holes, extending similar findings for the Schwarzschild spacetime. The asymptotic structure of pseudospectral contour levels is the same for scalar and gravitoelectric perturbations. By making different gauge choices in the hyperboloidal slicing of the spacetime, we find that the broad features of the pseudospectra are remarkably gauge independent. The gravitational-led and electromagnetic-led quasinormal modes of extremal Reissner-Nordström black holes exhibit “strong” isospectrality: not only their spectrum coincides, but the whole pseudospectrum is the same for both classes of perturbations. We observe that a conformal duality between the extremal horizon and spacetime boundaries at infinity is responsible for such strong isospectrality property.