Black hole Skyrmion in a generalized Skyrme model

We study a Skyrme-like model with the Skyrme term and a sixth-order derivative term as higher-order terms, coupled to gravity and we construct Schwarzschild black hole Skyrme hair. We find, surprisingly, that the sixth-order derivative term alone cannot stabilize the black hole hair solutions; the Skyrme term with a large enough coefficient is a necessity.


Introduction
Black holes are generally believed to be characterized by two properties at asymptotically far distances, namely their masses and their global charges. This is known is the weak nohair conjecture. The first stable counter example to this no-hair conjecture was made in the framework of the Skyrme model, i.e. a black hole with Skyrme hair [1][2][3][4][5][6][7] (for a review, see ref. [8]). The Skyrme model is a scalar field theory based on the chiral Lagrangian with the addition of a quartic derivative term, which is like a curvature term on the internal (target) space of the model [9,10]. In flat space the Skyrmion is a map from space (R 3 ) to an SU (2) target space, which is characterized by π 3 (S 3 ), giving rise to topological solitons; i.e. the Skyrmions. As implied by the fact that they are topological, their charges -called baryon charges -are integers in flat space. The Skyrmion with a black hole is interpreted as a black hole with scalar hair and the asymptotic behavior of the Skyrmion is very similar to that in flat space. Near the black hole the Skyrmion is deformed, nevertheless. Now when the black hole is formed with the Skyrmion surrounding it, the Skyrmion loses a fraction of its charge; this happens due to the fact that the profile function of the Skyrmion, which normally "winds" π to complete the 3-cycle, only "winds" π − . When the black hole horizon -and hence its mass -becomes larger than a certain critical value then the Skyrmion ceases to exist and the Skyrme hair becomes unstable.
Another twist to the Skyrmion solution in flat space is that when it is the hair of a black hole, two branches of solutions (fixed points of the action) open up [1]; one of these two branches of solutions contains, however, unstable Skyrmion solutions. The two branches bifurcate at the above mentioned critical mass or horizon radius, beyond which no stable solution exists. If we pick a point on the stable branch and take the limit of the black hole mass going to zero, then the solutions converge smoothly to that of the flat space. If we now pick a point on the unstable branch, the answer depends on whether the gravitational coupling is turned on or not; if it is turned on -which is tantamount to the gravitational backreaction being taken into account -then the conclusion remains the same; the solution converges to that of flat space. If the gravitational coupling is turned off, however, then the solution becomes discontinuous and ceases to exist -the limit is hence not well defined.

JHEP09(2016)055
Apart from the seminal result of Luckock et al. (ref. [1]), and the papers that followed; other variants of the Skyrme black hole hair system have been studied in the literature. The most natural generalization is to turn on a nonvanishing cosmological constant; in refs. [11,12] and [13] the black hole Skyrme hair was ported to anti-de Sitter and de Sitter spacetimes, respectively. The late-time evolution of the radiation emitted from the black hole with Skyrme hair was studied in refs. [14,15]. Gravitating sphalerons in the Einstein-Skyrme model have been constructed in ref. [16]. Quantization of collective coordinates in the Skyrmion black hole was carried out [17]. Another natural generalization of the black hole Skyrmion system, is to consider the Skyrmion surrounding the black hole to have a higher charge (winding); a particular class of axially symmetric solutions has been found in refs. [18,19] and quantization of collective coordinates was considered in such systems as well [20]. Recently, it has been contemplated that black holes do not necessarily violate the baryon number when the possibility of black hole Skyrme hair is taken into consideration [21].
An interesting question is: what is the foundation of the stabilizing mechanism of the black hole hair? If we turn off the Skyrme term, the scalar hair is not stable. In light of recent developments in the Skyrme model, which was motivated by a completely different effect -namely the large binding energy of the multi-Skyrmion, being too large for the Skyrmions to be interpreted as nuclei -a sixth-order derivative term has been introduced [22,23] and this model has been dubbed the BPS-Skyrme model (neutron stars have been studied in the framework of the BPS-Skyrme model [24,25] and we have recently found gravitating analytic and numerical Skyrmion solutions in the BPS-Skyrme model [26]). For the story of the binding energy, the sextic term has the interesting property that a saturable BPS bound exists in the subset of the model containing only said sextic term as well as a potential term. Using Derrick's theorem [27], any higher-order derivative term can stabilize the Skyrmion solution in flat space, by balancing the pressure with respect to that of the kinetic (Dirichlet) term and/or the potential. As for the hair of the black hole, however, it is far less trivial which kind of terms can stabilize the black hole hair. One may naively think that we can substitute the Skyrme term with the sixth-order derivative term and retain a similar black hole hair solution. Our findings, however, suggest otherwise. Although we can add the sextic term to the model and have stable black hole hair; the Skyrme term with a positive coefficient is a necessity. This is the main result of our paper.
Another result found in this paper concerns the unstable branches mentioned above. When the gravitational coupling is turned on in the Skyrme model without the sextic term -corresponding to taking gravitational backreaction into account -then the unstable branches of solutions smoothly converge back to the flat space Skyrmion solution in the limit of vanishing black hole size. Once we turn on the sextic term (sixth-order derivative term), there is a small, but finite, critical value for the coefficient of said term, for which the unstable branches end at a finite horizon radius: hence the limit is not smooth.
The paper is organized as follows. Section 2 introduces the model and the governing equations for the black hole in a Schwarzschild metric with Skyrme(-like) hair. Section 3 presents the numerical results and finally section 4 concludes with a discussion.

JHEP09(2016)055 2 The model
The model is a nonlinear sigma model of Skyrme-type with higher-derivative terms up to sixth order, coupled to gravity and the action reads where the n-th order Lagrangians are given by 3)

4)
where L µ ≡ U † ∂ µ U is the left-invariant current, U = σ1 2 + iπ a τ a , a = 1, 2, 3 is the Skyrme field with the constraint det U = 1, g is the determinant of the metric and we are using the mostly-negative signature of the metric. L 2 is the standard kinetic term, L 4 is the Skyrme term and L 6 is the baryon current density squared, which is inspired by the BPS Skyrme model [22]. In the remainder of the paper, we will use the terminology 2 + 4 model : 2 + 4 + 6 model : The symmetry of L S for V = 0 isG = SU(2) L ×SU(2) R acting on U as U → U = g L U g † R and thus L µ is manifestly covariant. Finite energy configurations require that U asymptotically takes on a constant value, e.g. U = 1 2 . Hence in the vacuumG is spontaneously broken down toH SU(2) L+R , which in turn acts on U as U → U = gU g † . The target space is thereforeG/H SU(2) L−R .
For concreteness we will use the potential which is sometimes called the modified pion mass term [28][29][30][31], see also refs. [32][33][34][35][36][37]. This potential breaksG to SU(2) L+R explicitly. The sixth-order term is written in a way where it is manifest that it is the baryon current squared. It is however slightly easier to work with the term after rewriting it in the following form [38] In this paper we will consider the Schwarzschild metric which is appropriate for studying a single Skyrmion -which is also spherically symmetric -for which we choose the so-called hedgehog Ansatz wherex is a spatial unit vector and a = 1, 2, 3. Using the hedgehog Ansatz, we can write the static mass of the Skyrmion as where f r ≡ ∂ r f and r h is the horizon radius. The mass of the Skyrmion is the energy density integrated from the horizon to infinity. We will now change variables to the dimensionless coordinate ρ ≡ c 0 c 2 r and rescale the coefficients c 4 → have rescaled the coordinates by the coefficient of the mass term, we insert a dimensionless mass, δ which can take the value 0 or 1. If δ = 0 then c 0 is still the unit of the would-be mass (c 0 can never vanish). In the case of δ = 0, c 0 can be adjusted such that c 4 = 1. We can now write the mass as follows where the dimensionless horizon radius is ρ h = c 0 c 2 r h and we define c 4 , c 6 and δ = 0, 1 are now dimensionless parameters. The baryon current is and integrating the time component of this gives the baryon charge and thus the total baryon charge B is less than unity for any f (ρ h ) < π (we have used the asymptotic boundary condition f (∞) = 0).

JHEP09(2016)055
The equation of motion for the Skyrme field profile f is given by The energy-momentum tensor can readily be calculated as Writing out the nonzero components, we have We are now ready to obtain the Einstein equations and defining α ≡ 8πGc 0 , we can write down the resulting equations by taking suitable linear combinations We can eliminate the field, N , by inserting eq. (2.24) into eq. (2.18) and simplify the coefficient of f ρ by using eq. (2.25). The resulting system of equations is then given by In order to find numerical solutions to the system of equations (2.26) and (2.25), it will be convenient to use a shooting method for ordinary differential equations (ODEs). For that we need boundary conditions at the horizon (at ρ h ) with a shooting parameter as well as boundary conditions at infinity. The boundary condition at the horizon is and hence µ(ρ h ) = ρ h /2. f (ρ h ) = f h is the shooting parameter and by taking the limit ρ → ρ h of eq. (2.26), we get (2.28) Now we need to evaluate C ρ at the horizon which follows straightforwardly from eq. (2.25). Summarizing, we have the boundary conditions at the horizon while at infinity they are f (∞) = 0, µ ρ (∞) = 0, (2.33) where the second condition follows from the first and corresponds to i.e., the metric is asymptotically Schwarzschild. In total there are exactly three boundary conditions on our system (which is what is necessary) and one shooting parameter. Note that the first derivative of the Skyrmion profile function, f ρ , is negative at the horizon (as it should be), only when is positive, because sin 2f h is negative for f h ∈ ( 1 2 π, π), which is the relevant range of the shooting parameter. When Ξ vanishes, the first derivative is not defined on the horizon and solutions cease to exist.

JHEP09(2016)055 3 Numerical solutions
We will now pursue finding numerical solutions to the black hole Skyrmion system. Eq. (2.28) implies that the coefficient of f ρρ vanishes at the horizon, which is problematic for a shooting algorithm, as we would like to make a dynamic system of equations as where M is some matrix (functional); the second row of the right-hand side is defined by eq. (2.26) and the last row by eq. (2.25). However the right-hand side of the second row is not well defined at the horizon (the coefficient of f ρρ in eq. (2.26) vanishes at the horizon). Therefore we start the shooting from a very small radius ρ and calculate the values of the fields at ρ h + ρ as where µ ρ (ρ h ) is given by eq. (2.29). This is a good approximation if ρ is extremely small. In the numerical calculations we have found that ρ 10 −5 is small enough for allowing for the linear approximation and large enough to start the shooting algorithm.
From ρ h + ρ we employ a standard fourth-order Runge-Kutta method to integrate the equations (2.25)-(2.26) up to an appropriately chosen cutoff.
We are now ready to present the numerical results. We start by reproducing the well-known results in the 2+4 model, which is simply the standard Skyrme model with the addition of the modified pion mass. After rescaling we have two free parameters: the gravitational coupling α and c 4 . Actually, if we were to consider the model without the potential term, then the rescaling would eliminate c 4 instead of the potential parameter (pion mass). 1 In figure 1 we show the stable and unstable branches in black solid lines and dashed red lines, respectively, and for all combinations of vanishing/nonvanishing gravitational coupling and vanishing/nonvanishing potential parameter δ (recall that δ after rescaling, can only take the values 0 or 1). The first thing we note is, as explained in the introduction, that with the gravitational coupling turned on, the unstable branch smoothly converges back towards the flat space Skyrmion solution as the horizon radius ρ h is sent to zero; whereas in the case of vanishing gravitational coupling it does not. The unstable branch continues down in the f h direction and in the limit of vanishing ρ h the solution is discontinuous and ceases to exist [1].
We now turn on a positive value for the coefficient of the sextic term, c 6 > 0; this corresponds to the 2+4+6 model. A priori one would not expect substantial differences with respect to the 2+4 model discussed above, because in flat space the soliton solutions (in this JHEP09 (2016)   parameter range; that is, when c 4 is of the same order of magnitude as c 6 or larger) are quite similar [36,37,39]. However, by inspection of figure 2   tational backreaction for decreasing horizon radius, ρ h . However, long before reaching the limit of vanishing black hole size, the unstable branches come close to the Ξ = 0 line in the diagram, where Ξ is defined in eq. (2.35). This phenomenon happens both with and without the potential term. The Ξ = 0 line is defined by the position of the pole in the first radial derivative of the Skyrmion profile function f ρ (ρ h ) at the horizon radius, and corresponds to a vanishing Hawking temperature. It is intuitively clear that when the Skyrmion profile blows up at the black hole horizon, no continuous stable black hole hair solution exists. It is also clear that if the Hawking temperature vanishes for a finite black hole mass, then the entropy would have to blow up; this should not happen in a physical system and hence it signals an instability of the black hole hair. We observe from figure 2 that the unstable branch of solutions ceases to exist slightly before Ξ = 0, but quite close to this line in the diagram.
As we know that in the 2+4 model, the unstable branch moves upwards in the (ρ h , f h ) phase diagram for decreasing horizon radius ρ h , there should be some critical value of c 6 for which the unstable branches start to end at a finite horizon radius ρ h > 0. We therefore consider taking the limit of c 6 → 0 and see when the unstable branches start to exist in the limit of ρ h → 0. Figure 3 shows the phase diagram with only the unstable branches for various values of the coefficient of the sextic term, c 6 , and we can see from the figure that for c 4 = 1, δ = 0, the critical value of c 6 is between 0.025 and 0.03.
In figure 4 we show the same physics, but in terms of c 6 and f h ; the different curves depict various horizon radii, ρ h . This figure clearly shows that if we turn off the sextic term, c 6 = 0, then all (the shown) horizon radii have solutions. Curiously, the lines open up in the limit of ρ h → 0 and allow for bigger c 6 than for example ρ h = 0.03, which is the most restricting radius in the diagram. From figure 3 we estimated that the critical value of c 6 for which the unstable branch ends at a finite horizon radius, ρ h > 0, is about 0.025-0.03; while from figure 4, we can confirm that it is slightly less than 0.03, so in accord with the previous estimate.
Our final numerical investigation considers turning off the Skyrme term for fixed coefficient of the sextic term c 6 = 1.  figure 5b where it is clear that the black hole Skyrme hair will cease to exist when the Skyrme term is turned off. The biggest difference between the two panels lies in the unstable branches, because in the 2+4 model the unstable branches return to the flat-space Skyrmion when the black hole horizon radius is sent to zero (ρ h → 0). Fixing c 4 we can read off the f h branch as function of the horizon radii by looking at a vertical line in the figure. Following a fixed horizon radius, ρ h , we can see at which value of the Skyrme term coefficient, c 4 , the solutions cease to exist. Interestingly -and this is one the main findings of this paper -all solutions cease to exists in the limit of c 4 → 0, even though we have the sextic term turned on. We can also see that the unstable branches cease to exist JHEP09(2016)055 quite before the stable branches (in the case of c 6 = 1, see figure 5a). We can physically understand that the bifurcation point -which is the maximal size of black hole that can support the Skyrme hair -simply goes to zero in the limit of c 4 → 0 for fixed c 6 = 1; we can perhaps say that the black hole eats the Skyrme hair if there is no Skyrme term turned on.

Discussion and conclusion
In this paper we have considered Schwarzschild black holes with Skyrme hair in a Skyrmelike model with the addition of a sixth-order derivative term as well as a potential term. We first reproduce the expected branches of solutions in the (ρ h , f h ) phase diagram for the Skyrme model with the sextic term turned off. Then turning on the sextic term, we find that the unstable branches are modified and end at finite horizon radii -beyond which no unstable solution exists, for all but very small values of the coefficient of the sextic term. This is due to the unstable branches coming too close to a line in the phase diagram (Ξ = 0) where the Hawking temperature vanishes. Furthermore, we find the quite surprising result that there is no stable or unstable Skyrme hair for any black holes -with or without the potential -in the limit of vanishing coefficient of the Skyrme term, c 4 → 0. This unexpected result implies that, although higher-derivative terms can stabilize Skyrmions in flat space, the sixth-order derivative term cannot stabilize the Schwarzschild black hole hair. In ref. [26] we observed that there are no black holes in the BPS-Skyrme submodel; i.e. in the case without a kinetic term and without the Skyrme term. This observation was made in the case of a particular potential and so it was not clear whether Skyrme hair solutions in the 2+6 model would be stable or not. Now we have the answer in the negatory. This interesting result begs for the question: under what circumstances does black hole hair exist? It is quite unlikely that any potential of any type will alter this conclusion as potentials tend to collapse the Skyrmions and the black hole already does that without the Skyrme term present -even with the sixth-order derivative term. Let us note that for small values of the Skyrme term coefficient (small c 4 ), the unstable branches come too close to the line in the phase diagram where the Hawking temperature vanishes. Furthermore, we observe that the critical point moves to smaller and smaller black hole horizons for decreasing values of c 4 and eventually leads to a vanishing black hole size even for the stable branches. This in turn means that the stable branch is approaching the line where the Hawking temperature is vanishing. Let us also note that the sixth-order derivative term itself -without the presence of the second-order kinetic term -leads to a theory described by a perfect fluid [40]. Combining these two facts, we can intuitively understand that the black hole Skyrme hair with a sixth-order derivative term -possessing the properties of a perfect fluid -cannot withstand the gravitational attraction: the black hole Skyrme hair collapses.
It is not clear at this point if all higher-order derivative terms higher than fourth order will be unable to stabilize black hole Skyrme hair. Higher-order terms may not yield a theory with the properties of a perfect fluid. We will leave this question for future studies. We conjecture that the sixth-order derivative term, due to its properties of a perfect fluid, is the only higher-order derivative term leading to a second-order radial equation of motion which cannot stabilize the black hole Skyrme hair. The proof thereof awaits to be found.