Deforming black holes with even multipolar differential rotation boundary

Motivated by the novel asymptotically global AdS4 solutions with deforming horizon in [21], we analyze the boundary metric with even multipolar differential rotation and numerically construct a family of deforming solutions with quadrupolar differential rotation boundary, including two classes of solutions: solitons and black holes. In contrast o solutions with dipolar differential rotation boundary, we find that even though the norm of Killing vector ∂t becomes spacelike for certain regions of polar angle θ when ε > 2, solitons and black holes with quadrupolar differential rotation still exist and do not develop hair due to superradiance. Moreover, at the same temperature, the horizonal deformation of quadrupolar rotation is smaller than that of dipolar rotation. Furthermore, we also study the entropy and quasinormal modes of the solutions, which have the analogous properties to that of dipolar rotation.


Introduction
According to uniqueness theorem of black holes [1][2][3][4] in classical general relativity, the four-dimensional, asymptotically flat black hole solutions of zero angular momentum is identically a family of Schwarzschild black holes, whose event horizon is a sphere surface. In four-dimensional anti-de Sitter (AdS) spacetime, one found that except for compact horizons of arbitrary genus, there exists the black holes with noncompact planar or negative constant curvature hyperbolic horizons. It is important to study physical properties and applications of the asymptotically AdS black holes, especially, such black holes have recently been of great interest in the context of the Anti-de Sitter/conformal field theory (AdS/CFT) correspondence [5][6][7].
Considering that asymptotically AdS black hole has a conformal boundary at infinity, one could deform the boundary metric of a black hole and obtain a black hole with deforming horizon, which means the curvature of the horizon is not a constant value. A family of the hyperbolic AdS black holes with deforming horizon has recently been constructed analytically [8] in four-dimensional spacetime by using the AdS C-metric [9][10][11][12][13][14][15][16][17][18][19]. In addition, a class of four-dimensional AdS black holes with noncompact event horizons of finite area is found and called as black bottle, which has a bottle-shaped horizon [20]. Besides analytical method to study the deforming vacuum black hole in four dimensional AdS spacetime, a family of deforming solutions with differential rotation boundary was constructed numerically in [21], including the soliton and black hole. This class of solutions has a nontrivial boundary metrics that have a dipolar differential rotation profile Ω(θ) = ε cos θ, (1.1)

JHEP06(2019)126
where the constant ε > 0 is the boundary rotation parameter and polar angle θ is restricted to the interval (0, π). It is obvious that there exists an anti-symmetric rotation profile with respect to reflections on the equatorial plane θ = π/2. The rotational boundary can yield the pulling forces, which are maximal at θ = π/4 and 3/4π and could deform the black hole horizon into two hourglass shapes. When the boundary deformation is larger than critical parameter ε = 2, the norm of Killing vector ∂ t becomes spacelike for certain regions of θ when ε > 2, which also are called as ergoregions. As a consequence, both solitons and black holes could develop hair due to superradiance. In [22], the authors found that spacetimes with ergoregions in AdS may be unstable due to superradiant scattering. So, one could generalize the above conclusions for that of nontrivial boundary metrics. Furthermore, a family of deforming vacuum solutions with a noncompact, differential rotation boundary metric was numerically studied in [23]. With the help of AdS C-metric, the authors in [24] studied how changes in the boundary metric affect the shape of the hyperbolic and compact AdS black holes. When the matter fields are introduced, one could construct the black holes with deforming horizon in D = 5 minimal gauged supergravity [25].
Besides the deforming solutions with dipolar differential rotation boundary, it will be interesting to see whether there exists the deforming solutions with multipolar differential rotation boundary. In the present paper, we would like to numerically solve Einstein equations and give a family of deforming black holes with even multipolar differential rotation boundary, which has the anti-symmetric rotation profile with respect to reflections on the equatorial plane and keeps total angular momentum of black hole to be zero. Especially, considering the configuration of quadrupolar rotation boundary, we obtain the numerical results of the deforming solitons and black holes. Comparing with the results of dipolar differential rotation, we find that the norm of Killing vector ∂ t becomes spacelike for certain regions of θ when ε ∈ (2, 2.281), however, black holes with quadrupolar differential rotation do not develop hair due to superradiance, which was different from the case of dipolar rotation. Using the isometric embedding of horizon, we can see the black hole horizon is deformed into four hourglass shapes. Furthermore, we also study the numerical solutions of entropy and quasinormal modes, which have the analogous properity to that of dipolar rotation boundary in [21].
The paper is organized as follows. In section 2, we introduce the model of the deforming black holes with even multipolar differential rotation boundary and the numerical DeTurck method. In section 3, soliton solutions with quadrupolar differential rotation boundary are constructed numerical, in addition, the numerical results of Kretschman scalar and quasinormal modes is shown. Numerical results of deforming black holes with quadrupolar differential rotation boundary are also shown in section 4. The conclusion and discussion are given in the last section.

Model and numerical method
Let us begin with the model of the four-dimensional Einstein-Hilbert action with a negative cosmological constant Λ

JHEP06(2019)126
where G is the gravitational constant, the cosmological constant is written in terms of the AdS radius L as Λ = − 3 L 2 , g is the determinant of the metric tensor and R is the Ricci scalar. The equations of motion derived from (2.1) take the following form The solution of Einstein equations (2.2), which can describe the static spherically symmetric black holes with mass, is the well-known Schwarzschild-AdS black hole with the metric given by where dΩ 2 is the metric on the sphere S 2 . Here, the constants M is the mass of black hole as measured from the infinite boundary. The horizon radius, denoted by r + , satisfies the equation and is the largest root, and Hawking temperature T H of Schwarzschild-AdS black hole is given by As near infinity, the metric (2.3) is asymptotic to the anti-de Sitter spacetime, and boundary metrics is conformal and given by In order to obtain the new asymptotic Anti-de Sitter solution, the author in [21] add differential rotation to the boundary metric, which is given by with a dipolar differential rotation Ω(θ) = ε cos θ. Therefore, the stationary solutions with boundary metrics of the form (2.7) is the axisymmetric, and the norm of Killing vector ∂ t is with the maximal value at θ = π 4 . In order to construct higher even multipolar differential rotation of the conformal boundary, we also adopt the axisymmetric metric with Kerr-like coordinates [21] within the following ansatz of Killing vector sin 2 (kθ), k = 2, 4, 6, · · · , (2.9) which correspond to the even multipole differential rotations  Figure 1. The differential rotation profile Ω as a function of θ with k = 4 (left panel) and k = 6 (right panel), respectively. In both graphs the arrow lines denote the orientation of differential rotation. The inset in the left panel shows the profile of the dipolar differential rotation.
where k = 2 is the dipolar differential rotation profile, and the norm of Killing vector ∂t with k = 4 (called the quadrupolar solution) and k = 6 (called the hexapolar solution) have the maximal value at θ = π 8 and θ = π 12 , respectively. In figure 1, we draw the graphs of the differential rotation Ω as a function of θ with k = 4 (left panel) and k = 6 (right panel), respectively. In both graphs the arrow lines denote the orientation of differential rotation. The inset in the left panel of figure 1 shows the profile of the dipolar differential rotation. We can see that the even multipoles differential rotation Ω are the anti-symmetric functions with respect to reflections on the equatorial plane θ = π/2, which guarantees that total angular momentum of black hole is zero.
In order to obtain the numerical solution of Einstein equation (2.2), we use the DeTurck method [26][27][28]. By adding a gauge fixing term to Einstein equation, we can obtain a set of elliptic equations, which are known as Einstein-DeTurk equation where ξ a = g bc (Γ a bc [g] − Γ a bc [g]) is the Levi-Civita connection associated with a reference metricg. It is noted that reference metricg should be choose to be as same boundary and horizon structure as g.
Using numerical methods for solving these equations of motion, we could obtain two classes of solutions: horizonless soliton solutions with r H = 0 and black hole solutions with r H > 0. The soliton solutions can be seen as deformations of the global Anti-de Sitter spacetime, while black hole solutions closely correspond to deformations of AdS-Schwarzschild black holes. For simplify, in our paper we only show the numerical results of the quadrupolar differential rotation k = 4, and the cases of higher even-multipole differential rotation have similar behaviour as that of quadrupolar solution.

Soliton solutions
In this section, it is convenient to compactify both the radial coordinate r and the polar angle coordinate θ using the change of variables r = Ly 2 − y 2 /(1 − y 2 ) and sin θ = JHEP06(2019)126 1 − x 2 , which implies that the new radial coordinate y ∈ [0, 1] and polar angle coordinate x ∈ [0, 1]. Thus the inner and outer boundaries of the shell are fixed at y = 0 and y = 1, respectively. In order to solve the above coupled equations (2.2) numerically with a quadrupole differential rotation (2.10), we choose the ansatz of solitonic solutions as where the functions U i (i = 1, 2, 3, 4, 5, 6) depend on the variables x and y. When U 1 = U 2 = U 3 = U 5 = 1 and U 4 = U 6 = 0, the metric (3.1) can reduce to Anti-de Sitter spacetime in global coordinates. Before numerically solving the differential equations instead of seeking the analytical solutions, we should obtain the asymptotic behaviors of the six functions U i (i = 1, 2, 3, 4, 5, 6), which are equivalent to know the boundary conditions we need. Because the solutions have properties of polar angle reflection symmetry θ → π − θ on the equatorial plane, it is convenient to consider the coordinate range θ ∈ [0, π/2], i.e. x ∈ [0, 1]. So, we require the functions to satisfy the following Neumann boundary conditions on the equatorial plane and set axis boundary conditions at x = 1, where regularity must be imposed Dirichlet boundary conditions on U 4 U 4 (1, y) = 0, (3.3) and Neumann boundary conditions on the other functions Moreover, expanding the equations of motion near x = 1 gives the condition U 3 (1, y) = U 5 (1, y). In addition, the asymptotic behaviors near the conformal boundary y = 1 are and finally, by expanding the equations of motion near y = 0 as a power series in y, we have Note that in the center y = 0 of soliton solutions, not all of the values of U i (x, 0) are the constants independent of polar angle x. According to asymptotic behaviors near y = 0, we obtain that  where the parameters c 1 , c 5 and c 6 can take arbitrary constant value, and U With the above boundary conditions, the ansatz of metric has the boundary forms of eq. (2.7) with the quadrupolar differential rotation Ω(θ) = ε(cos θ + cos 3θ). We can choose the reference metricg given by the line element (3.1) with U 4 = 0, U 6 = ε and In the top of figure 2, we show the typical soliton result of our numerical code for U 4 in the left panel and U 6 (4x 2 (2 − x 2 ) − 2) in the right panel with the quadrupolar boundary rotation, and the two figures in the top have the same parameter ε = 2.3. In order to explore the influence of the different boundary rotations on the metric, in the bottom left we show U 4 with the dipolar boundary rotation for the same paramter ε = 2.3. Furthermore, in the bottom right the distributions of U 4 as a function of the y coordinate at the equatorial plane x = 0 for various rotation parameters ε are shown, in this plot the curves U 4 with k = 2 and k = 4 are denoted by blue and red lines, respectively. Comparing with the results of the dipolar boundary rotation, we can see that the curve of U 4 with the quadrupolar boundary rotation have more twists and turns than that with the dipolar boundary rotation, and the minimum value of U 4 with the quadrupolar boundary rotation is larger than that with the dipolar boundary rotation. According to the numerical results, we find there exists stationary axisymmetric soliton solutions for ε < ε c = 2.518, where ε c is the maximal value and smaller than the value of dipolar boundary rotation. Moreover, the soliton solutions for each value of ε ∈ (2.281, 2.518) have two branchs.

Kretschman scalar
When one obtains a solution of Einstein equation, it is very important to know whether the spacetime of solution is regular or not. Ricci scalar is the simplest curvature invariant of a Riemannian manifold. But, considering that Ricci tensor R in our model is R = 2Λ, we need to choose the another invariant which can indicate the flatness of a chosen manifold. In general, one of the most useful ways is to check for the finiteness of the Kretschmann scalar, which sometimes is also called Riemann tensor squared and written as where R αβγδ is the Riemann curvature tensor. Because it is a sum of squares of tensor components, Kretschmann scalar is a quadratic invariant. Numerical results are presented in figure 3. In the left panel we present the Kretschmann scalar K for the quadrupolar solution with the boundary parameter ε ε c , and it is obvious that the spacetime is not flat. In the right panel, we exhibit the maximum of the Kretschmann scalar K versus the rotation parameter for the soliton solutions with k = 2, 4, represented by the blue and red lines, respectively, and the critical values

Quasinormal modes
In this subsection to study the linear stability of soliton solutions with the quadrupolar rotation k = 4, we will investigate the quasinormal modes (QNMs), which are characteristic to the background spacetimes. Following the method in papers [21,29,30], we consider a free, massless scalar field, obeying a massless Klein-Gordon equation where scalar field could be separated into the standard form where the constant ω is the frequency of the complex scalar field and n is the azimuthal harmonic index. With the ansatze of the soliton metric (3.1), the scalar field could be further decomposed intoχ where the powers of x and y were chosen to make function ψ(x, y) to be regular at the origin. In addition, the boundary condition at y = 1 is given by ∂ y ψ(x, y) = −|n| ψ(x, y). At y = 0 and x = ±1, we require that the function ψ(x, y) approaches the homogeneous solution with Neumann boundary conditions.
In the figure 4, we plot the normal mode frequencies ω as a function of the rotation parameter ε for the corresponding values of n, represented by solid lines. Meanwhile, we also show the numerical results of QNMs studied in [21], represented by dashed lines. We can see that normal mode frequencies ω with n ≤ 13 are always positive modes in the spectrum of perturbations, while, the frequency becomes negative at a specific value of ε when n ≥ n c = 14. One can expect some branches of soliton solution with scalar hair χ condensation can be found. Comparing with the results of the dipolar differential rotation k = 2, we see that the azimuthal harmonic index n c = 14 of the quadrupolar differential rotation is larger than the index n c = 13 of the dipolar differential rotation.

JHEP06(2019)126 4 Black hole solutions
In this section, it is convenient to compactify the radial coordinate r and polar angle coordinate θ with the change of variables r = Ly p /(1−y 2 ) and sin θ = 1−x 2 , respectively. In order to obtain the black hole solutions with quadrupolar differential rotation, we consider the ansatz of metric where the functions U i (x, y) (i = 1, 2, 3, 4, 5, 6) depend on the variables x and y. Providing that U 4 = U 6 = 0 and U 1 = U 2 = U 3 = U 5 = δ = 1, the metric (4.1a) reduces to the Schwarzschild-AdS black hole.
In the ansatz (4.1a), we have three parameters: ε, which sets the amplitude of the boundary rotation, and (y p , δ), which determine the black hole temperature. The Hawking temperature of the black hole with quadrupolar differential rotation is given by where the parameter δ is introduced to control the temperature to any values. If δ = 1, the temperature has a minimum at y p = 1/ √ 3, coinciding with the minimal temperature of a Schwarzschild-AdS 4 , occurring at T c ≡ √ 3/(2π) ≈ 0.2757. It is obvious that the black hole temperature with quadrupolar differential rotation in (4.2) is same as that with dipolar differential rotation. When δ have a fixed value, one can obtain two solutions with the same temperature, which we call as large black holes with larger y p , and small black holes with smaller y p .
The boundary condition is similar to the soliton case. At x = 0 and y = 0, the functions U i satisfy the following Neumann boundary conditions and at axis boundary x = 1 , we require that regularity must be imposed with U 4 = 0, At the conformal boundary y = 1, we set U 4 = 0, U 6 = ε , and U 2 = U 3 = U 5 = 1. Moreover, expanding the equations of motion near y = 0 gives U 1 (x, 0) = U 2 (x, 0). The reference metricg to be given by the line element (4.1a) with U 4 = 0, U 6 = ε and U 1 = U 2 = U 3 = U 5 = 1. In the left panels of figure 5, we show the typical quadrupolar rotation results of U 4 for large black hole in the right top panel and for small black hole in the right bettom panel, which correspond to ε = 2.215 and ε = 2.5, respectively. In order to compare with the results of the dipolar different boundary rotations for the large black hole, in the top right we show the distributions of U 4 as a function of the y coordinate at the equatorial plane x = 0 for various values of ε with quadrupolar (red lines) and dipolar ( blue lines) rotation, respectively. Meanwhile, in the bottom right the distributions of U 4 for small black hole are shown. From two plots in the left panels, we can see that the deformation of the curve of U 4 arose with the increasing ε, and the curves of the quadrupolar rotation have also more twists and turns than that with the dipolar rotation, which is similar to the soliton case.

Entropy
In this section we discuss the entropy of deforming black holes with quadrupolar differential rotation, which is proportional to the area of event horizon and given by In figure 6, we show entropy versus the parameter ε for the small and large branches of black hole solutions with the temperature T = 1/π. The large black hole with y p = 1 is shown in the left panel, where the red and blue lines correspond to black holes with quadrupolar and dipolar differential rotation, respectively. The vertical red dashed gridlines indicate the ε = 2.281 maximum value beyond which one cannot find axially symmetric black hole solutions with quadrupolar differential rotation. Meanwhile, the vertical black dashed gridlines indicates the ε = 2 maximum value of solutions with dipolar differential rotation. For the large black holes with quadrupolar differential rotation, the entropy always increases with the increasing of ε, which is similar as the case of dipolar differential rotation. For the small black hole with y p = 1/3 in the right panel, the red and blue lines correspond to solutions with quadrupolar and dipolar differential rotation, respectively. With the increasing of ε, the entropy of black hole with quadrupolar differential rotation decreases firstly and then reaches a maximum point of ε. Further decreasing ε, one can find another branch of small black holes in which the entropy continues to decrease. Comparing with the results of dipolar differential rotation, we find that the norm of Killing vector ∂ t in eq. (2.9) becomes spacelike for certain regions of θ when ε ∈ (2, 2.281), however, black holes with quadrupolar differential rotation do not develop hair due to superradiance, which was different from the case of dipolar rotation. At the fixed temperature T > T c ≡ √ 3/(2π) ≈ 0.2757, the entropies of the large and small black hole have the similar behaviors as those in figure 6. In order to study the solutions at T < T c ≡ √ 3/(2π), we fix the value of the temperature with δ < 1. When δ → 0, the deformed black holes can have a minimum temperature arbitrarily close to zero temperature.
In figure 7, the entropy against the deforming parameter for low temperature black holes with T < T c ≡ √ 3/(2π) is shown. The vertical black and red dashed gridlines indicate the ε = 2 and ε = 2.281, respectively, as well as the brown squares represent the small black holes with T = 1/π, which has been discussed in figure 6. The orange disks show black holes with the critical temerature T c 0.2757, and two branches of black holes at critical temperature begin to connect and form a curve. As the temperature continue to decrease, the turning point corresponds to higher values of ε.

Horizon geometry
Though the numerical results of the metric (4.1a) are obtained in last section, one typically has little information about the real geometry features of even horizons of deforming black hole in coordinate space. In order to see how the deforming boundary affects the geometric features of the event horizon, we can investigate the geometry of a two-dimensional surface in a curved space by using an isometric embedding in the three-dimensional space [32][33][34][35], 1 which has been introduced to study the horizon with dipolar rotation embedding in hyperbolic space [21,36]. In the polar coordinates, the metric of hyperbolic threedimensional space H 3 is given by where˜ is the radius of the hyperbolic space, and the induced metric on the horizon of the black hole with the metric (4.1a) is given by and with the pull back of line element (4.5) on the induced metric (4.6), one can obtain a embedding of two-dimensional line element, which is given by a parametric curve The numerical results of hyperbolic embedding of the cross section of the event horizons for several values of ε are presented in figure 8. In order to compare with the results of dipolar rotation in [21], we also adopt the same parameter˜ = 0.73. In the left panel, we fix the black hole temperature to be T = 1/π, the black line represents the curve of Schwarzschild-AdS black hole with ε = 0. The blue and red lines correspond to dipolar and quadrupolar rotation, respectively. As one increases ε, the horizon cross section begin to deform and has the four arms of the horizon cross section, which are taken further apart and form the quadrupolar structure. Comparing with the dipolar rotation, the deformation of quadrupolar rotation is small. In the right panel, at the temperature T = 2/π, we recalculate the embedding of the cross section and obtain the larger deformation of quadrupolar rotation.
In figure 9, we set a low temperature T = 0.2506, and find that the deformation of quadrupolar rotation is smaller with the decrease of temperature. Moreover, the geometry of the horizon cross section shrink to the interior. Comparing with the curve of the large black hole in the left panel, the small black hole have nearly circular curve. At the same temperature, the curve of quadrupolar rotation is closer to the interior than that of dipolar rotation.

Quasinormal modes
In this subsection we will discuss the linear stability of deforming black hole with quadrupolar rotation by studying the quasinormal modes. With the ansatze of the black hole metric (4.1a), the scalar field imposed regularity in ingoing Eddington-Finkelstein coordinates [37,38] could be decomposed into where the powers of x and y were chosen to make function ψ(x, y) to be regular at the origin. At y = 0 and x = ±1, we require that the function ψ(x, y) approach the homogeneous solution with Neumann boundary conditions. In addition, the boundary conditions at y = 1 are given by ∂ y ψ(x, 1) = 2i y p ω (1 + 3y 2 p ) ψ(x, 1). In the figure 10, for a small black hole at T = 1/π, we plot the real part of frequencies ω as a function of the deforming parameter ε for the corresponding values of n, represented by solid lines. In addition, we also plot the curve of QNMs with dipolar rotation studied in [21], represented by dashed hollow lines. The vertical black and red dashed gridlines indicate the ε = 2 and ε = 2.281, respectively, and the horizonal black dashed gridlines shows where Re ω = 0. From the figure, we can see that frequencies Re ω with n ≤ 13 are always positive values in the spectrum of perturbations, while the frequency begin to be negative at a specific value of ε when n ≥ n c = 14. The characteristic of Re ω against the boundary rotation parameter ε is similar to that of soliton solutions. For the first stable mode at n c = 14, one can expect some branches of black hole with scalar hair χ condensation can be found.

Conclusions
In this paper, we analyzed the conformal boundary of four dimensional static asymptotically AdS solutions in Einstein gravity and numerically constructed the solutions of compact objects with even multipolar differential rotation boundary, including solitons and black holes. Comparing with the dipolar differential rotation solutions in [21], we found that for high temperature black holes with T > T c 0.2757, the norm of Killing vector ∂ t becomes spacelike for certain regions of θ when ε ∈ (2, 2.281), however, solitons and black holes with quadrupolar differential rotation do not develop hair due to superradiance, which was different from the case of dipolar rotation. For the large black holes of JHEP06(2019)126 the high temperature, we did not find any solutions which could cross ε ∈ 2.281. Furthermore, with the isometric embedding of horizon, it is clearly seen that black hole horizon is deformed into four hourglass shapes. In addition, we also study the numerical solutions of the entropies of the large and small black hole, which have the similar behaviors as that of dipolar differential rotation. By studying the quasinormal modes, we discussed the linear stability of deforming solitons and black holes with quadrupolar rotation, respectively, and found that for some branches of solution with scalar hair χ condensation, the minimal azimuthal harmonic index n c = 14 of the quadrupolar differential rotation is larger than n c = 13 of the dipolar differential rotation.
It is interesting to find that even though the norm of Killing vector ∂ t becomes spacelike for certain regions of θ when ε > 2, solitons and black holes with quadrupolar differential rotation still exist and do not develop hair due to superradiance. We also check the numerical solutions with hexapolar differential rotation, which show very similar results to quadrupolar differential rotation. There exists the solution of hexapolar differential rotation when ε > 2.
There are several interesting extensions of our work. First, we have studied the deforming black holes with even multipolar differential rotation boundary, next, we will investigate black holes with odd multipolar differential rotation boundary, which has the symmetric rotation profile with respect to reflections on the equatorial plane. There exists a question whether total angular momentum of black hole is non-zero. The second extension of our study is to consider the action of Einstein-Maxwell gravity in AdS spacetime and construct the deforming charged black holes. Due to the existence of charges, at the same temperature, one finds that there are three branches of solutions and the phase diagram of solutions is more intricate than that without charges. Finally, we are planning to extend the study of the deforming black holes to the five-dimensional solutions in future work.