The ringdown and shadow of the astrophysically significant Kerr Black Hole (BH) are both intimately connected to a special set of bound null orbits known as Light Rings (LRs). Does it hold that a generic equilibrium BH must possess such orbits? In this letter we prove the following theorem. A stationary, axi-symmetric, asymptotically flat black hole spacetime in 1+3 dimensions, with a non-extremal, topologically spherical, Killing horizon admits, at least, one standard LR outside the horizon for each rotation sense. The proof relies on a topological argument and assumes $C^2$-smoothness and circularity, but makes no use of the field equations. The argument is also adapted to recover a previous theorem establishing that a horizonless ultra-compact object must admit an even number of non-degenerate LRs, one of which is stable.

Hypothetical ultralight bosonic fields will spontaneously form macroscopic bosonic halos around Kerr black holes, via superradiance, transferring part of the mass and angular momentum of the black hole into the halo. Such process, however, is only efficient if resonant: when the Compton wavelength of the field approximately matches the gravitational scale of the black hole. For a complex-valued field, the process can form a stationary, bosonic field-black hole equilibrium state - a black hole with synchronised hair. For sufficiently massive black holes, such as the one at the centre of the M87 supergiant elliptic galaxy, the hairy black hole can be robust against its own superradiant instabilities, within a Hubble time. Studying the shadows of such scalar hairy black holes, we constrain the amount of hair which is compatible with the Event Horizon Telescope (EHT) observations of the M87 supermassive black hole, assuming the hair is a condensate of ultralight scalar particles of mass $\mu\sim 10^{-20}$ eV, as to be dynamically viable. We show the EHT observations set a weak constraint, in the sense that typical hairy black holes that could develop their hair dynamically, are compatible with the observations, when taking into account the EHT error bars and the black hole mass/distance uncertainty.

We consider a static, axially symmetric spacetime describing the superposition of a Schwarzschild black hole (BH) with a thin and heavy accretion disk. The BH-disk configuration is a solution of the Einstein field equations within the Weyl class. The disk is sourced by a distributional energy-momentum tensor and it is located at the equatorial plane. It can be interpreted as two streams of counter-rotating particles, yielding a total vanishing angular momentum. The phenomenology of the composed system depends on two parameters: the fraction of the total mass in the disk, $m$, and the location of the inner edge of the disk, $a$. We start by determining the sub-region of the space of parameters wherein the solution is physical, by requiring the velocity of the disk particles to be sub-luminal and real. Then, we study the null geodesic flow by performing backwards ray-tracing under two scenarios. In the first scenario the composed system is illuminated by the disk and in the second scenario the composed system is illuminated by a far-away celestial sphere. Both cases show that, as $m$ grows, the shadow becomes more prolate. Additionally, the first scenario makes clear that as $m$ grows, for fixed $a$, the geometrically thin disk appears optically enlarged, i.e., thicker, when observed from the equatorial plane. This is to due to light rays that are bent towards the disk, when backwards ray traced. In the second scenario, these light rays can cross the disk (which is assumed to be transparent) and may oscillate up to a few times before reaching the far away celestial sphere. Consequently, an almost equatorial observer sees different patches of the sky near the equatorial plane, as a chaotic "mirage". As $m\rightarrow 0$ one recovers the standard test, i.e., negligible mass, disk appearance.

We construct asymptotically flat, spinning, regular on and outside an event horizon, scalarised black holes (SBHs) in extended scalar-tensor-Gauss-Bonnet models. They reduce to Kerr BHs when the scalar field vanishes. For an illustrative choice of non-minimal coupling, we scan the domain of existence. For each value of spin, SBHs exist in an interval between two critical masses, with the lowest one vanishing in the static limit. Non-uniqueness with Kerr BHs of equal global charges is observed; the SBHs are entropically favoured. This suggests SBHs form dynamically from the spontaneous scalarisation of Kerr BHs, which are prone to a scalar-triggered tachyonic instability, below the largest critical mass. Phenomenologically, the introduction of BH spin damps the maximal observable difference between comparable scalarised and vacuum BHs. In the static limit, (perturbatively stable) SBHs can store over 20% of the spacetime energy outside the event horizon; in comparison with Schwarzschild BHs, their geodesic frequency at the ISCO can differ by a factor of 2.5 and deviations in the shadow areal radius may top 40%. As the BH spin grows, low mass SBHs are excluded, and the maximal relative differences decrease, becoming of order $\sim$ few % for dimensionless spin $j\gtrsim 0.5$. This reveals a spin selection effect: non-GR effects are only significant for low spin. We discuss if and how the recently measured shadow size of the M87 supermassive BH, constrains the length scale of the Gauss-Bonnet coupling.

There is an exciting prospect of obtaining the shadow of astrophysical black holes (BHs) in the near future with the Event Horizon Telescope. As a matter of principle, this justifies asking how much one can learn about the BH horizon itself from such a measurement. Since the shadow is determined by a set of special photon orbits, rather than horizon properties, it is possible that different horizon geometries yield similar shadows. One may then ask how sensitive is the shadow to details of the horizon geometry? As a case study, we consider the double Schwarzschild BH and analyse the impact on the lensing and shadows of the conical singularity that holds the two BHs in equilibrium -- herein taken to be a strut along the symmetry axis in between the two BHs. Whereas the conical singularity induces a discontinuity of the scattering angle of photons, clearly visible in the lensing patterns along the direction of the strut's location, it produces no observable effect on the shadows, whose edges remain everywhere smooth. The latter feature is illustrated by examples including both equal and unequal mass BHs. This smoothness contrasts with the intrinsic geometry of the (spatial sections of the) horizon of these BHs, which is not smooth, and provides a sharp example on how BH shadows are insensitive to some horizon geometry details. This observation, moreover, suggests that for the study of their shadows, this static double BH system may be an informative proxy for a dynamical binary.

We prove the following theorem: axisymmetric, stationary solutions of the Einstein field equations formed from classical gravitational collapse of matter obeying the null energy condition, that are everywhere smooth and ultracompact (i.e., they have a light ring) must have at least two light rings, and one of them is stable. It has been argued that stable light rings generally lead to nonlinear spacetime instabilities. Our result implies that smooth, physically and dynamically reasonable ultracompact objects are not viable as observational alternatives to black holes whenever these instabilities occur on astrophysically short time scales. The proof of the theorem has two parts: (i) We show that light rings always come in pairs, one being a saddle point and the other a local extremum of an effective potential. This result follows from a topological argument based on the Brouwer degree of a continuous map, with no assumptions on the spacetime dynamics, and hence it is applicable to any metric gravity theory where photons follow null geodesics. (ii) Assuming Einstein's equations, we show that the extremum is a local minimum of the potential (i.e., a stable light ring) if the energy-momentum tensor satisfies the null energy condition.

Spherically symmetric bosonic stars are one of the few examples of gravitating solitons that are known to form dynamically, via a classical process of (incomplete) gravitational collapse. As stationary solutions of the Einstein--Klein-Gordon or the Einstein--Proca theory, bosonic stars may also become sufficiently compact to develop light rings and hence mimic, in principle, gravitational-wave observational signatures of black holes (BHs). In this paper, we discuss how these horizonless ultra-compact objects (UCOs) are actually distinct from BHs, both phenomenologically and dynamically. In the electromagnetic channel, the light ring associated phenomenology reveals remarkable lensing patterns, quite distinct from a standard BH shadow, with an infinite number of Einstein rings accumulating in the vicinity of the light ring, both inside and outside the latter. The strong lensing region, moreover, can be considerably smaller than the shadow of a BH with a comparable mass. Dynamically, we investigate the fate of such UCOs under perturbations, via fully non-linear numerical simulations and observe that, in all cases, they decay into a Schwarzschild BH within a time scale of $\mathcal{O}(M)$, where $M$ is the mass of the bosonic star. Both these studies reinforce how difficult it is for horizonless UCOs to mimic BH phenomenology and dynamics, in all its aspects.

In a recent letter, arXiv:1509.00021, it was shown that the lensing of light around rotating boson stars and Kerr black holes with scalar hair can exhibit chaotic patterns. Since no separation of variables is known (or expected) for geodesic motion on these backgrounds, we examine the 2D effective potentials for photon trajectories, to obtain a deeper understanding of this phenomenon. We find that the emergence of stable light rings on the background spacetimes, allows the formation of "pockets" in one of the effective potentials, for open sets of impact parameters, leading to an effective trapping of some trajectories, dubbed quasi-bound orbits. We conclude that pocket formation induces chaotic scattering, although not all chaotic orbits are associated to pockets. These and other features are illustrated in a gallery of examples, obtained with a new ray-tracing code, PYHOLE, which includes tools for a simple, simultaneous visualization of the effective potential together with the spacetime trajectory, for any given point in a lensing image. An analysis of photon orbits allows us to further establish a positive correlation between photon orbits in chaotic regions and those with more than one turning point in the radial direction; we recall that the latter is not possible around Kerr black holes. Moreover, we observe that the existence of several light rings around a horizon (several fundamental orbits, including a stable one), is a central ingredient for the existence of multiple shadows of a single hairy black hole. We also exhibit the lensing and shadows by Kerr black holes with scalar hair, observed away from the equatorial plane, obtained with PYHOLE.

For an observer, the Black Hole (BH) shadow is the BH's apparent image in the sky due to the gravitational lensing of nearby radiation, emitted by an external source. A recent class of solutions dubbed Kerr BHs with scalar hair possess smaller shadows than the corresponding Kerr BHs and, under some conditions, novel exotic shadow shapes can arise. Thus, these hairy BHs could potentially provide new shadow templates for future experiments such as the Event Horizon Telescope. In order to obtain the shadows, the backward ray-tracing algorithm is briefly introduced, followed by numerical examples of shadows of Kerr BHs with scalar hair contrasting with the Kerr analogues. Additionally, an analytical solution for the Kerr shadow is derived in closed form for a ZAMO observer at an arbitrary position.

Using backwards ray tracing, we study the shadows of Kerr black holes with scalar hair (KBHsSH). KBHsSH 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)$ non-compact, which yield no multiple images; $(ii)$ compact, which produce an increasing number of Einstein rings and multiple images of the whole celestial sphere; $(iii)$ ultra-compact, which possess light rings, yielding an infinite number of images with (we conjecture) a self-similar structure. The shadows of KBHsSH, for Kerr-like horizons and non-compact BS-like hair, are analogous to, but distinguishable from, those of comparable Kerr BHs. But for non-Kerr-like horizons and ultra-compact BS-like hair, the shadows of KBHsSH are drastically different: novel shapes arise, sizes are considerably smaller and multiple shadows of a single BH become possible. Thus, KBHsSH provide quantitatively and qualitatively new templates for ongoing (and future) very large baseline interferometry (VLBI) observations of BH shadows, such as those of the Event Horizon Telescope.