Skyrmions around Kerr black holes and spinning BHs with Skyrme hair

We study solutions of the Einstein-Skyrme model. Firstly we consider test field Skyrmions on the Kerr background. These configurations -- hereafter dubbed Skerrmions -- can be in equilibrium with a Kerr black hole (BH) by virtue of a synchronisation condition. We consider two sectors for Skerrmions. In the sector with non-zero baryon charge, Skerrmions are akin to the known Skyrme solutions on the Schwarzschild background. These `topological' configurations reduce to flat spacetime Skyrmions in a vanishing BH mass limit; moreoever, they never become"small"perturbations on the Kerr background: the non-linearities of the Skyrme model are crucial for all such Skerrmions. In the non-topological sector, on the other hand, Skerrmions have no analogue on the Schwarzschild background. Non-topological Skerrmions carry not baryon charge and bifurcate from a subset of Kerr solutions defining an existence line. Therein the appropriate truncation of the Skyrme model yield a linear scalar field theory containing a complex plus a real field, both massive and decoupled, and the Skerrmions reduce to the known stationary scalar clouds around Kerr BHs. Moreover, non-topological Skerrmions trivialise in the vanishing BH mass limit. We then discuss the backreaction of these Skerrmions, that yield rotating BHs with synchronised Skyrme hair, which continously connect to the Kerr solution (self-gravitating Skyrmions) in the non-topological (topological) sector. In particular, the non-topological hairy BHs provide a non-linear realisation, within the Skyrme model, of the synchronous stationary scalar clouds around Kerr.


Introduction
The legendary simplicity of black holes (BHs), encapsulated in Wheeler's mantra "BHs have no hair" [1] has been challenged by many different models of hairy BHs -see [2][3][4][5] for recent reviews. Historically, the first physically relevant counter example to the no-hair conjecture, in the sense of occuring in a sensible physical model and yielding black holes which are not catastrophically unstable against losing their "hair", was found in the SU(2)-Skyrme model. This is a sigma model containing four real scalars subject to a constraint. In flat spacetime its solutions, named Skyrmions, provided also the very first explicit example of solitons in a relativistic non-linear field theory in four spacetime dimensions [6,7], and have found interesting applications, e.g. as an effective description of low energy Quantum Chromodynamics [8,9] and on the issue of proton decay [10]. These solutions possess a topological baryon charge being therefore topological solitons.
The Skyrme model started to play a role in the context of "hairy BHs" in 1986 when Luckock and Moss [11] (see also [12][13][14][15][16]) observed that a small BH may be superimposed at the center of a Skyrme soliton, yielding a regular, asymptotically flat BH solution, nonsingular on and outside the horizon -see also [13,[17][18][19][20]. These solutions are static and spherically symmetric.
As found in [21], however, the flat spacetime Skyrmions possess axially symmetric spinning generalizations, 1 which may, moreover, gravitate [22] (see also [23]). The existence JHEP10(2018)119 of spinning Skyrmions raises the question if four dimensional asymptotically flat spinning BHs with Skyrme hair exist. One of the purposes of this paper is to answer (positively) this question.
In a parallel development motivated by the linear analysis in [24], it has been shown that asymptotically flat rotating BHs (in various dimensions), can be endowed with "hair" of different bosonic fields as along as the field obeys a synchronisation condition, between the angular velocity of the BH horizon and a phase angular velocity of the matter field. The basic example of this mechanism is provided by Kerr BHs with scalar hair [25,26]. Further examples of fully non-linear solutions were constructed in [27][28][29][30][31][32][33]. In some of these cases, the hairy BHs bifurcate from a reference "bald" solution, such as in [25,28,[30][31][32][33], where the reference solution is Kerr BH. In some other cases the hairy BHs are not continuously connected to the reference bald solution, such as [27,29], where the reference BH is the five-dimensional Myers-Perry solution.
The construction of these fully non-linear solutions and, above all, a thorough scanning of their domain of existence is a lengthy and time consuming numerical task. As such, it was suggested in [34] one could probe the existence of these hairy BHs by considering nonlinear Q-clouds [35] on the "bald" BH background. In this way, it could be established, for instance that even black objects with topologically non-spherical horizons, such as black rings [36], can be endowed with synchronised scalar hair.
Q-clouds are a curved spacetime version of the flat spacetime (spinning) Q-ball solutions [37], describing a non-topological soliton in a model with a single, self-interacting, complex scalar field [38,39]. Amongst the physical differences between the topological spinning Skyrmions and the non-topological spinning Q-balls, we would like to point out that for spinning Skyrmions the angular momentum J is a continuous parameter that can be arbitrarily small, whereas for spinning Q-balls it is quantised in terms of their Noether charge, possessing a non-zero minimal value. Thus the spinning Skyrmions can rotate slowly and rotating configurations are continuously connected to static ones. This will play a role in the discussion below.
Following the strategy of [34] we shall, in this paper, study the existence of Skyrme hair on Kerr BHs, by firstly studying test field Skyrmions (i.e. non-backreacting) on the Kerr background. These solutions, hereafter dubbed Skerrmions, exist under the synchronisation condition discussed above. We shall consider Skerrmions that fall into two distinct sectors, according to the existence of a non-vanishing or vanishing baryon number.
In the topological sector, Skerrmions reduce to the usual flat spacetime Skyrmions when gravity is switched off. Such Skerrmions never become "small", in the sense of becoming solutions of a linear field theory on the Kerr spacetime. This contrasts to the behaviour of Q-clouds, that become linear solutions on an existence line of Kerr BHs, wherein the scalar field becomes small, the non-linearities become irrelevant and the Q-clouds reduce to the stationary scalar clouds found in [24] (see also, e.g. [40][41][42][43][44][45][46]). Such existence line defines the subset of Kerr BHs from which the fully non-linear "hairy" BH solutions bifurcate. The absence of an existence line anticipates that spinning BHs with topological Skyrme hair do not bifurcate from Kerr BHs, similarly to the aformentioned examples [27,29]. These Skerrmions also possess a non-zero baryon number, which in the limit of vanishing event horizon, becomes an integer -the topological charge.

JHEP10(2018)119
In the non-topological sector, Skerrmions trivialise in the limit when gravity is switched off. Such Skerrmions could only be found as linear solutions on an existence line of Kerr BHs, wherein the Skyrme model reduces to a linear field theory composed of a complex together with a real scalar fields, with these fields decoupled and massive, and carrying no baryon charge. Then, these non-topological Skerrmions, like Q-clouds, match the stationary clouds in [24], at the existence line. Moreover, the spinning BHs with non-topological Skyrme hair bifurcate from Kerr, similarly to the examples in [25,28,[30][31][32][33].
We also construct and discuss some basic properties of backreacting Skerrmions, yielding spinning BHs with Skyrme hair, both in the topological and non-topological sector, in particular verifying the results anticipated by the test field analysis.
This paper is organised as follows. In section 2 we present the basic formalism of the Skyrme model, including the definition of the topological charge, and some comments on the O(3) truncation that yields the non-topological sector. As a preparation for the presentation of Skerrmions, in section 3 we review the spherically symmetric non-backreacting Skyrme solutions on Minkowski as well as those on a Schwarzschild BH, wherein only the topological sector exists. The latter solutions have a branch structure for their global quantities in terms of a dimensionless coupling. In one of the limits of zero coupling the flat spacetime solutions are recovered. In another limit, Yang-Mills solitons are obtained. In section 4 we describe the topological Skerrmion solutions and in 5 we discuss the nontopological sector and backreacting Skerrmions that yield spinning BHs with Skyrme hair. Concluding remarks are presented in section 6.

The Skyrme model
Working in four spacetime dimensions with a metric tensor g µν , we consider the SU(2)-Skyrme Lagrangian, where κ, e and m π are input parameters, 2 m π being interpreted as the pion mass. K µ is the SU(2)-valued left-invariant current, associated with the Skyrme field, where τ a are the Pauli matrices and {σ, π a } spacetime fields that behave as σ → 1, π a → 0 in the spatial asymptotic limit r → ∞. The Lagrangian (2.1) contains three terms. The first term is the usual non-linear sigma model term; the second is known as 'the Skyrme term', being required by Derrick-type JHEP10(2018)119 scaling arguments [47] for the existence of finite mass solutions; the third is a mass term which is mandatory for rotating solutions, whereas it can be set to zero in the static case. A generalization of the Skyrme model, which includes an additional sextic in derivatives term, was suggested recently to construct weakly bounded multisoliton configurations [48][49][50].
The Skyrme field satisfies the equations Moreover, the fields {σ, π a } which enter the decomposition of the Skyrme field, (2.3), are subject to the sigma-model condition, Thus, in the absence of an event horizon, {σ, π a } map the compactified coordinate space S 3 to the SU(2) group space, which is isomorphic to the 3-sphere, S 3 . The homotopy group of this map is π 3 (S 3 ) = Z; consequently, each S 3 −→ S 3 map falls into an homotopy class indexed by an integer, which is identified with the topological charge B: The (static) solution found by Skyrme using numerical methods [6,7] and whose existence proof was given in [51], has B = 1. We emphasize that the topological charge B does not arise from an invariance of the matter Lagrangian under any symmetry transformation and is therefore not a Noether charge [52], unlike the charge of Q-balls. Its origin comes instead from the non-trivial topology of the Skyrmions.
In the case of the BHs with Skyrme hair, strictly speaking, the topology (i.e. the mapping between physical and internal spaces) is lost. Still, one defines a baryon charge B by performing the integration (2.6) in the exterior region. The numerical results in [13,[17][18][19][20] show that the BH horizon "absorbs" a part of the baryon charge, but B never vanishes for a static horizon and thus the vacuum BH is never approached. As we shall see below, the same holds for the topological sector of Skerrmions.
In the non-topological sector, on the other hand, corresponding to a particular O(3) truncation of the full Skyrme model, Skerrmions always have B = 0. In this case, moreover, Skerrmions become infinitesimally small. To better understand this point, let us consider small perturbations around the Skyrme vacuum state (thus B = 0, trivially 3 ); these perturbations are described by parameterising the {σ, π a } fields as

JHEP10(2018)119
where 1 and Σ = −Π a Π a /2 from the sigma-model condition (2.5). Then, defining the complex scalar field ψ and a real one χ as to leading order, the Skyrme Lagrangian (2.1) reduces to L S L ψ + L χ , where On a static BH, both ψ and χ vanish identically. However, the presence of a rotating horizon allows for nontrivial fields ψ, χ forming bound states for a particular set of Kerr backgrounds. These correspond precisely to the existence line discussed in [24,25]. Thus, at the linear level, stationary scalar clouds of a complex massive scalar field are solutions of the Skyrme model on a Kerr backround. At the non-linear fully backreacting model, the Skyrme model, in the non-topological sector, will provides a more fundamental context wherein hairy BHs supported by the synchronisation condition arise, akin to Kerr BHs with scalar hair [25]. We remark that for these nonlinear realizations of the complex field ψ, the real scalar field χ (which is infinitesimally small on the Kerr existence line) must vanishes identically to all orders. Otherwise, the energy-momentum tensor of the real scalar field χ would possess a dependence on both time and azimuthal coordinates and its backreacting version would not be compatible with a stationary, axi-symmetric geometry.

Spherical solutions
As a preparation for Skerrmions let us start by reviewing spherically symmetric solutions. Besides being much simpler, they possess already a number of basic properties of the corresponding rotating generalizations in the topological sector.
Working in spherical coordinates, we consider a general metric Ansatz: For the Skyrme field, we take the usual spherically symmetric Skyrme ansatz (2.3): 4 where n a are the components of the unit vector: and m is a positive integer, m ∈ N. Thus, in the probe limit, the problem reduces to solving a single ordinary differential equation for the Skyrme function F (r). In what follows we shall restrict our study to m = 1 solutions. For both Minkowski and Schwarzschild Skyrmions, the total mass of the solutions in the probe limit, M , is computed as the integral of the T t t component of the energy momentum tensor (as given by (5.3) below), while the topological charge, (2.6), for the Skyrme Ansatz (3.2), reduces to

Minkowski Skyrmions
For a Minkowski background, f 0 (r) = f 1 (r) = 1 in (3.1). Then, the near origin solution for F (r) is: while the far field expression reads Thus, from (3.4), the topological charge of the horizonless spherical Skyrmion with m = 1 is B = 1. The profile of the (fundamental, flat space) Skyrme soliton is shown in figure 1. One can see that F (r) interpolates smoothly between π and 0, without nodes. Here we use the same scaling and units as in the case of a Schwarzschild BH background (as discussed below).

Schwarzschild Skyrmions
Considering isotropic coordinates, the Schwarzschild BH can be written in the form (3.1) with (3.9) While the far field expression is still given by (3.6), the near horizon form of the solution is (3.10) The corresponding value of the baryon charge is In figure 1 we also show the profile of a typical Skyrmion on a Schwarzschild BH background. The Skyrme function F (r) is still monotonic, but F (r H ) = π. Observe that B = 0 and thus these Schwarzschild Skyrmions belong to the topological sector (there is no non-trivial non-topological sector on Schwarzschild).

Branch structure and the Yang-Mills limit
To understand how the mass and baryon charge of Skyrmions on Schwarzschild vary in the space of solutions, let us remark on scaling and units. The Skyrme model has a natural length scale in terms of the input constants of the model, L S ≡ 1/κe. Then, we define a dimensionless radial coordinate, x, as x ≡ r/L S = κer. For the BH backgrounds, we define the dimensionless "coupling constant" One defines also a dimensionless pion mass µ ≡ m π /(κ 2 e), while the relation between the (displayed) numerical value for the total mass-energy for Skyrmions, M (num) , and the dimensionful one M , is The variation of the Skyrmions mass M and baryon charge B with the coupling constant α is shown in figure 2 for illustrative values of the pion mass. Given a set of input parameters in the Skyrme Lagrangian, BHs able to support Skyrmions cannot be arbitrarily large, with the existence of a maximal value for the BH mass. Moreover, for any allowed value of α, one notices the existence of two branches of solutions which merge for the maximal α. The baryon charge B decreases along both branches, approaching the minimal value for the limiting solution on the second branch. Due to the branch structure, there are two ways to approach the limit α → 0. Firstly, it can be approached as r H → 0 (i.e. a flat spacetime background). These are the solutions which form the fundamental branch (since they can be smoothly connected to the flat space Skyrmions). They are of special interest, being stable. Secondly, it can be approached along a branch of excited configurations which emerge from the fundamental branch, at the maximal value of α. In this case, the limit α → 0 is approached as κ → 0, corresponding to the absence of the quadratic term in the Skyrme Lagrangian. The Skyrmion mass M (num) diverges in this limit, but the product αM (num) approaches a finite value independent of µ. 5 In order to understand this behaviour we introduce a new dimensionless radial coordinate y, withr = r H κy i.e. r = r H ey , (3.14) the length scale being fixed here by the horizon radius r H . Then, after taking the limit κ → 0 (with fixed µ) one finds that the system is described by the reduced effective Lagrangian with w 0 (y) = cos F (y). One recognizes (3.15) as corresponding to the SU(2)-Yang-Mills (YM) effective Lagrangian. Here one considers the usual YM spherical connection with w 0 corresponding to the magnetic gauge potential (and a vanishing electric potential). Then the limiting solution corresponds to a spherically symmetric YM configuration on a fixed Schwarzschild background. The (fundamental) exact solution has been found long time ago [56], 6 its expression in isotropic coordinates being (3.16) 5 An interesting different branch structure is observed in the modified twelfth-order Einstein-Skyrme model [57]. 6 Historically, this largely unknown paper, describes the first example of hair on Schwarzschild BH (in the probe limit).

JHEP10(2018)119
From (3.4), this implies a value of the baryon charge B 0.668518 which provides a minimum for all solutions. The total mass in this limit (after multiplying with κ) is M 16πM Schw 0.9587. (3.17) These results are independent of the presence of a mass term in the Skyrme Lagrangian.

Topological Skerrmions
We now turn our attention to the solutions of the Skyrme model on a fixed Kerr BH geometry with non-trivial baryon charge (topological sector). In quasi-isotropic coordinates, the Kerr line element is and contains two input parameters, the event horizon radius r H and the BH mass M Kerr . The event horizon angular velocity is determined by these parameters: The fields {σ, π a } in the Skyrme field Ansatz (2.3), are defined by three real functions φ a , subject to a constaint [21,22], where w is the harmonic frequency of the Skyrme field. The spherical limit is recovered for φ a = n a F (r).
This condition implies that there is no net flux of the Skyrme field across the horizon and also that the components T t t and T t ϕ of the energy-momentum tensor are finite at the horizon. Second, the same approximate solution in r − r H implies the following horizon boundary conditions: ∂ r φ 1 r=r H = ∂ r φ 2 r=r H = ∂ r φ 3 r=r H = 0, which are imposed in the numerical procedure. Also, all solutions in this work possess a reflection symmetry along the equatorial plane (θ = π/2), which implies 8 ∂ θ φ 1 θ=π/2 = φ 2 θ=π/2 = ∂ θ φ 3 θ=π/2 = 0.
For the Ansatz (4.4), the baryon charge is Skerrmion solutions are found by using the same scaling and units as in the static limit, together with w → wκe , Most of the non-spherical solutions 9 reported in this work were found by using a selfimplemented finite difference method based on Newton-Raphson method with PARDISO as a linear solver [58]. In numerics, a compactified radial coordinate x was introduced with x = (r − r H )/(1 + r). Most of the results have been obtained for an equidistant grid in (x, θ), with 100 × 50 points. The sigma-model constraint 3 a=1 φ a φ a = 1 is imposed by using the Lagrange multiplier method, as explained e.g. in [61,62].
The profile of a typical solution is shown in figure 3, using a choice of the (scaled) pion mass µ = 1 and winding number m = 1. One can see that e.g. the deformation from sphericity of the energy density is rather small, while the angular momentum density is localized in a torus around the equatorial plane. The properties of these topological Skerrmions are summarised in the following.
Firstly, we have observed that any (spinning) solitonic solution appears to possess generalizations with a small horizon at its center, provided the Skyrme field and the horizon are in synchronous rotation. The field frequency (i.e. the event horizon angular velocity) 7 These boundary conditions result from an approximate construction of the solution on the symmetry axis as a power series in θ (or π − θ) and are compatible with the finiteness of T t t and T t ϕ -components of the energy-momentum tensor. 8 The imposed conditions on the boundaries of the domain of integration are compatible with those imposed both in the static limit (see (3.1) and (3.6), (3.10)) and in the spinning, solitonic limit of the solutions (as given e.g. in [22]). 9 Some of the solutions were also constructed by using a professional package [59,60], which also uses the Newton-Raphson method. We have found a very good agreement between the results obtained within these different approaches.  cannot be arbitrary large. A linearization in the far-field of the field equation for ψ = π 1 + iπ 2 yields where ∇ 2 0 is the Laplace operator on Euclidean 3-space R 3 , which imposes the boundstate condition w µ. Therefore, similarly to other examples of spinning solutions with scalar fields [62], the presence of a mass term in the action is a necessary condition for the existence of localized configurations.
Secondly, topological Skerrmions are found only for a limited set of Kerr backgrounds -see figure 4, with a maximal BH size defining the critical backgrounds, similarly to what  is observed in the static case, cf. figure 2. In the BH mass vs. horizon angular velocity diagram, the domain of existence of Skerrmions is bounded by a set of Schwarzschild BHs (w = Ω H = 0), the flat spacetime solutions (M Kerr = 0 -not seen in the plot), the maximal frequency line w = Ω H = µ, and the set of critical backgrounds, wherein the solutions stop to exist, as in the static limit [11]. Thirdly, we have also studied the domain of existence in a Skerrmions mass-energy or angular momentum or baryon number vs. the BH mass (or coupling constant) M Kerr κe diagram, as shown in figure 5. Figure 5 shows, for a given value of w, two branches which exists up to some maximal value of the dimensionless parameter M Kerr κe (the maximal value increasing with w). The limiting behaviour on these two branches is similar to the static case (w = 0). The solutions on the fundamental branch are connected to flat space spinning Skyrmions, while the limit of the excited branch is approached as κ → 0 and corresponds to the YM model on a fixed Schwarzschild background. In particular, the angular momentum vanishes in this limit, and the above discussion for static solutions is recovered. However, the second α → 0 limit is difficult to approach numerically.

JHEP10(2018)119
Fourthly, the solutions tend to delocalize in the limit w → µ, with the mass rapidly increasing, while the numerics becomes challenging.
Finally, the value of the baryon charge B decreases from B = 1 (the flat space limit) to a minimal nonzero value 10 which is approached along the second branch as α → 0. Thus, even in the presence of rotation, the BH cannot "absorbe" the entire Skyrmion, i.e. the Skyrme field does not complete trivialise outside the horizon.
In particular, as seen in figure 4, we do not find any indication for the occurrence of an existence line.

Spinning BHs with Skyrme hair and non-topological Skerrmions
We shall now consider the coupled Einstein-Skyrme system, by supplementing (2.1) with the Einstein-Hilbert term. The action of the full model reads The spinning gravitating solutions are found for the same Skyrme field Ansatz (4.4) and line element (4.1); this time, however, the metric functions F i and W are different from those in the Kerr limit, being found by solving numerically a boundary value problem. Thus, in addition to the Skyrme equations (2.4), we also solve the Einstein equations with the stress-energy tensor The boundary conditions in the matter sector are similar to those employed in the probe limit, while for the metric functions we impose F i r=∞ = 1, W r=∞ = 0, ∂ θ F i θ=0,π = ∂ θ W θ=0,π = 0, ∂ r F i r=r H = 0, W r=r H = Ω H . The ADM mass M and the total angular momentum J of the solutions are read off from the asymptotics of the metric functions, Similarly to the test field case, one defines a dimensionless radial coordinate, frequency and a pion mass in terms of the input parameters κ, e. However, the presence of the Newton's constant G in the theory's action (5.1) introduces a new length scale. Thus, the gravitating model possesses a dimensionless coupling constant Consequently, the numerical problem has five input parameters. The first two are geometrical: i) the event horizon angular velocity Ω H ; ii) the event horizon radius r H in the metric ansatz (4.1); the next two characterizes the model: iii) the coupling constant α and iv) the (scaled) pion mass µ. The last input parameter 11 is v) the winding number m. All displayed numerical results were found for a choice of (scaled) pion mass µ = 1 and winding number m = 1.

The topological sector
The solutions with B = 0 define the topological sector of spinning BHs with Skyrme hair. The emerging picture in the backreacting case is more complicated than in the probe limit, with new qualitative features, which we have only started to unveil. Its basic features can be summarize as follows.
All known static BHs with Skyrme hair [18] possess rotating generalizations, which are found by increasing gradually the event horizon velocity Ω H . Alternatively, a different route to construct the spinning BH solutions with topological Skyrme hair is to start with the spinning gravitating solitons in [22] (with a given set of relevant parameters) and to slowly increase the horizon size via the parameter r H .
Similarly to the test field limit, the synchronous condition (4.5) must hold, with w = mΩ H . Then, the spinning hairy BHs are found for all range 0 w < µ, where w, µ are the scaled Skyrme field frequency and mass.
Rotating BHs with Skyrme hair inherit from the solitonic limit [22] a complex branch structure in terms of α, a full analysis of which is beyond the scope of this work. Some basic aspects are as follows. For a given value of the (scaled) frequency w and a given horizon size, one set of solutions form the fundamental branch. The limit α → 0 corresponds to the test field Skerrmions. One finds also a branch of excited solutions ending in the (static) Einstein-YM system as α → 0 (which corresponds along this branch to κ → 0). This is the behaviour found already in the static limit [18]; the arguments therein also applying for w = 0. However, in the rotating case there exist (at least) two more branches of excited solutions within the full ansatz (4.4), which do not possess a well-defined static limit, nor a Kerr-probe one.
Some basic properties of solutions with a generic value of α as a function of the hairiness parameter p = M H /M can be seen in figure 6. One can notice e.g. the existence of a  two branch structure of solutions in terms of A H (or, equivalently the horizon radius r H ), with a maximal value of the horizon area. Again, the properties of the static, spherically symmetric case (w = 0) appear to be generic. The lower branch emerges from the (fundamental branch of) gravitating Skyrmions in [22] with a given α. There is also a second branch of (excited) solutions which coalesces with the first one for a maximal value of the hairiness parameter p. However, in this case the limit A H → 0 is approached as κ → 0. Then, after a suitable rescaling the fundamental spherically symmetric Bartnik-McKinnon particle-like solution of the Einstein-YM system (as reviewed e.g. in [64]) are recovered.
Most importantly in the context of this work, no indication is found for the presence of an existence line. That is, for all branches, the Skyrme field never trivializes (p < 1) and the baryon charge B is always strictly positive, see figure 6 (right panel).

The non-topological sector
The B = 0 solutions discussed in the previous subsection were found starting with (topologically nontrivial) Skyrme solitons. Disconnected branches of configurations with a vanishing baryon charge B also exist. These solutions are found for a consistent truncation of the Skyrme model with The existence of this Ansatz has been noticed already in [22], the corresponding solitons being dubbed pion clouds. Since π 3 ≡ 0, the topological charge vanishes identically in this case, B = 0. With this truncation, the Skyrme model collapses to the O(3)-Fadeev-Skyrme sigma-model [62]. The small field linearization of the model (5.7) around the vacuum state σ = 1 results in the Lagrangean (2.10) with χ = 0 and ψ = φ 1 (r, θ)e i(mϕ−wt) . 'scalar clouds' can be promoted to fully non-linear solutions of the Einstein-Skyrme model, provided one uses the truncated Skyrme Ansatz (5.7). Following the same approach (and the same boundary conditions) as for the topological sector, we have studied BH solutions with non-topological Skyrme hair, within this particular model. Rather surprisingly, they are akin to the Kerr BHs with scalar hair found in [25,26], sharing most of their features, not to solutions of the full Skyrme model. For example, in strong contrast to the Skyrme case, their existence requires an Einstein term in the action (this holds both for BHs and solitons). As such, they do not possess a flat space limit; moreover, no other solutions on a fixed Kerr background is found apart from the scalar clouds along the existence line. Figure 7 shows the BH horizon area for these hairy BHs (normalised as A H Ω 2 H ) vs. the hairiness parameter p = M H /M . One observes, for instance, that in the limit of a vanishing horizon mass (a p = 0 hairiness parameter) all solutions reduce to the solitonic 'pion clouds' discussed in [22]. These are a more complicated version of the well-known spinning boson stars [66]. In contrast to the case of solutions of the full model (B = 0), one notices the existence of branches of solutions which end on vacuum Kerr BHs (p = M H /M = 1). This feature occurs for a range of field frequencies 0.95 < w/µ < 1. As such those sets of solutions interpolate between solitons and Kerr BHs on the existence line, and they can be considered as nonlinear realizations of the stationary scalar clouds first discussed in [24] within the Einstein-Skyrme system. Branches of BH solutions interpolating between two different solitons with the same field frequency exist as well for small enough values of w (cf. the inset in figure 7). In this case p is always smaller than one.
Finally, the spinning BHs with non-topological Skyrme hair do not possess a static limit, w = Ω H = 0. Below a minimal value of the field frequency no hairy BHs are found.

Conclusions
Static, spherically symmetric BHs with Skyrme hair are a pioneering counter-example to the "no-hair" conjecture, at least in its strongest version. But up to now, the effect of BH rotation upon this "hair" had not been considered. In this work, we have shown the existence of solutions of the Skyrme model on the Kerr BH background, as test field solutions -Skerrmions -, and also constructed four dimensional spinning BHs with Skyrme hair, which may be regarded as back reacting Skerrmions (see [67] for higher dimensional spinning BHs with Skyrme hair, where a technical advantage occurs).
For the existence of spinning BHs with Skyrme "hair" the synchronisation condition (4.5) is crucial. 12 We have found there are two sectors of such hairy solutions. The first one is a topological sector qualitatively similar to that found in the static case. The second one is a non-topological sector, qualitatively different from the solutions found in the static case, and more akin to Kerr BHs with synchronised scalar hair [25,26]. The exploration performed in this work has really just scratched the surface of the rich structure of solutions of the Skyrme-Einstein model, which certainly merits to be analysed in greater depth.