Distinguishing fuzzballs from black holes through their multipolar structure Massimo Bianchi1, Dario Consoli2, Alfredo Grillo1, Jos`eFrancisco Morales1, Paolo Pani3, Guilherme Raposo3 1 Dipartimento di Fisica, Universit`adi Roma \Tor Vergata" & Sezione INFN Roma2, Via della ricerca scientifica 1, 00133, Roma, Italy 2 Mathematical Physics Group, University of Vienna, Boltzmanngasse 5 1090 Vienna, Austria and 3 Dipartimento di Fisica, \Sapienza" Universit`adi Roma & Sezione INFN Roma1, Piazzale Aldo Moro 5, 00185, Roma, Italy Within General Relativity, the unique stationary solution of an isolated black hole is the Kerr spacetime, which has a peculiar multipolar structure depending only on its mass and spin. We develop a general method to extract the multipole moments of arbitrary stationary spacetimes and apply it to a large family of horizonless microstate geometries. The latter can break the axial and equatorial symmetry of the Kerr metric and have a much richer multipolar structure, which provides a portal to constrain fuzzball models phenomenologically. We find numerical evidence that all multipole moments are typically larger (in absolute value) than those of a Kerr black hole with the same mass and spin. Current measurements of the quadrupole moment of black-hole candidates could place only mild constraints on fuzzballs, while future gravitational-wave detections of extreme mass-ratio inspirals with the space mission LISA will improve these bounds by orders of magnitude. Introduction. Owing to the black-hole (BH) uniqueness serving as a genuine strong-gravity test of Einstein's grav- and no-hair theorems [1, 2] (see also Refs. [3{5]), within ity [10{16], along with other proposed observational tests General Relativity (GR) any stationary BH in isolation of fuzzballs (see, e.g., Refs. [17, 18]). In this context is also axisymmetric and its multipole moments1 satisfy it is intriguing that current gravitational-wave (GW) an elegant relation [6], observations (especially the recent GW190814 [19] and GW190521 [20, 21]) do not exclude the existence of ex- BH BH `+1 ` M` + iS` = M (iχ) ; (1) otic compact objects other than BHs and neutron stars. In GR, BHs have curvature singularities that are con- where M (S ) are the Geroch-Hansen mass (current) ` ` jectured to be always covered by event horizons [22{24]. multipole moments [6, 7], the suffix \BH" refers to the At the quantum level, BHs behave as thermodynamical BH metric, M = M is the mass, χ ≡ J =M2 the di- 0 systems with the area of the event horizon and its surface mensionless spin, and J = S the angular momentum 1 gravity playing the role of the entropy and temperature, (we use natural units throughout). Equation (1) implies respectively [25, 26]. In fact a BH can evaporate emitting that all Kerr moments with ` ≥ 2 can be written only Hawking radiation [27]. This gives rise to a number of in terms of the mass M and angular momentum J of paradoxes that can be addressed in a consistent quantum the spacetime. Introducing the dimensionless quantities `+1 `+1 theory of gravity such as string theory [28]. M` ≡ M`=M and S` ≡ S`=M , the nonvanishing moments are For special classes of extremal (charged BPS) BHs [29{ 31] one can precisely count the microstates that account BH n 2n BH n 2n+1 M2n = (−1) χ ; S2n+1 = (−1) χ (2) for the BH entropy. In some cases, one can even iden- tify smooth horizonless geometries with the same mass, for n = 0; 1; 2; :::. The fact that M` = 0 (S` = 0) when ` charges, and angular momentum as the corresponding is odd (even) is a consequence of the equatorial symmetry BH. These geometries represent some of the microstates of the Kerr metric. Likewise, the fact that all multipoles in the low-energy (super)gravity description. The exis- with ` ≥ 2 are proportional to (powers of) the spin { as tence of a nontrivial structure at the putative horizon well as their specific spin dependence { is a peculiarity arXiv:2007.01743v3 [hep-th] 28 Oct 2020 scale is the essence of the fuzzball proposal [32{35]. In of the Kerr metric, that is lost for other compact-object the latter, many properties of BHs in GR emerge from an solutions in GR [8, 9] and also for BH solutions in other averaging procedure over a large number of microstates, gravitational theories. or as a `collective behavior' of fuzzballs [36{40]. So far Testing whether these properties hold for an astrophys- it has been hard to find a statistically significant frac- ical dark object provides an opportunity to perform mul- tion of microstate geometries both for five-dimensional tiple null-hypothesis tests of the Kerr metric { for ex- (3-charge) and for four-dimensional (4-charge) BPS BHs. ample by measuring independently three multipole mo- Yet, several classes of solutions based on a multicenter ments such as the mass, spin, and mass quadrupole M2 { ansatz [41{46] have been found and their string theory origin uncovered [47{49]. Although in viable astrophysical scenarios BHs are ex- 1 For a generic spacetime the multipole moments of order ` are pected to be neutral, charged BPS BHs are a useful toy rank-` tensors, which reduce to scalar quantities, M` and S`, in model to explore the properties of their microstates. Ex- the axisymmetric case. See below for the general definition. tending the fuzzball proposal to neutral, non-BPS, BHs 2 3 in four dimensions and finding predictions that can be ob- reduce to the scalars M` ≡ M`0 and S` ≡ S`0. The servationally tested so as to distinguish this from other same holds for more general axisymmetric metrics. proposals and from the standard BH picture in GR [16] Here we consider fuzzball solutions of gravity in four remain an open challenge. dimensions minimally coupled to four Maxwell fields and In this letter and in a companion paper [50], we investi- three complex scalars. A general class of extremal solu- gate the differences in the multipolar structure between tions of the Einstein-Maxwell system is described by a BHs and fuzzballs. As we shall argue, already at the metric of the form [53{55] level of the quadrupole moments the nonaxisymmetric 3 geometry of generic microstates in the four-dimensional 2 X ds2 = −e2U (dt + w) + e−2U dx2; (7) fuzzball model leads to a much richer phenomenology and i to potentially detectable deviations from GR. i=1 Setup. Our method is based on Thorne's seminal work with on the multipole moments of a stationary isolated ob- 3 1 X ject [51]. The idea is to choose a suitable coordinate e−4U = L L L V − K1 K2 K3 M + KI KJ L L 1 2 3 2 I J system { so called asymptotically Cartesian mass cen- I>J tered (ACMC) { whereby the mass and current multipole 3 3 MV X 1 1 X moments can be directly extracted from a multipolar ex- − KI L − M 2V 2 − (KI L )2 ; 2 I 4 4 I pansion of the metric components. In an ACMC system, I=1 I=1 the metric of a stationary asymptotically flat object can 1 ∗ dw = V dM − MdV + KI dL − L dKI ; (8) be written as [50] 3 2 I I 2 2 2 where ∗ is the Hodge dual in 3-dimensional flat space, ds = −(1 − c00)dt + c0i dt dxi + (1 + c00) dxi + ::: (3) 3 I fV; LI ;K ;Mg are eight harmonic functions associated with xi = fx; y; zg, and c00 and c0i admitting a spherical- with the four electric and four magnetic charges, and harmonic expansion2 of the form [51] I;J = 1; 2; 3. Fuzzball solutions are obtained by distributing the 1 ` r X X 1 4π charges of the eight harmonic functions among N centers c = 2 (M Y + `0 < `) (4) 00 r1+` 2` + 1 `m `m in such a way that the geometry near each center lifts to `=0 m=−` a regular five-dimensional geometry. More explicitly, we 1 ` s take X X 1 4π(` + 1) c = 2 S Y B + `0 < ` 0i r1+` `(2` + 1) `m i;`m N N `=1 m=−` X va X ma V = v0 + ;M = m0 + ra ra B a=1 a=1 in terms of the scalar (Ylm) and axial vector (Yi;`m) spher- N I N ical harmonics. The expansion coefficients M and S X k X `I;a `m `m KI = kI + a ;L = ` + (9) are the mass and current multipole moments of the space- 0 r I I;0 r a=1 a a=1 a time, respectively. They can be conveniently packed into a single complex harmonic function with ra = jx − xaj the distance from the a-th center. Results. Comparing the metric (7) with the definition 1 ` r X X 1 4π of an ACMC metric (3), one can extract the multipole H = (M + iS ) Y : (5) r1+` 2` + 1 `m `m `m moments of the fuzzball solution (details are given in `=0 m=−` Ref. [50]). The fuzzball multipole moments are encoded in the multipole harmonic function In the case of the Kerr metric, H is simply given by N " 3 # 1 X X M H = V + iM + (L − i KI ) : (10) HKerr = q (6) 4 I 2 2 J 2 a=1 I=1 x1 + x2 + x3 − i M This complex harmonic function is a generalization of with two centers at positions z = ±J =M along the z- the Kerr case [Eq. (6)], the latter can be interpreted as axis. The harmonic expansion of Eq. (6) does not contain a two-center solution, with the Schwarzschild case cor- m 6= 0 terms, so that for each ` the moment tensors responding to a single center.