A Hairy Box in Three Dimensions
Chethan Krishnan, Rohit Shekhar, P. N. Bala Subramanian

TL;DR
This paper investigates the phases of gravity coupled to a U(1) gauge field and charged scalar in 2+1 dimensions with box boundary conditions, revealing unique phase transitions and the absence of black holes in flat space.
Contribution
It extends previous higher-dimensional results to 2+1 dimensions, showing the non-existence of hairy black holes and the presence of hairy boson stars under certain conditions.
Findings
Hairy black holes do not exist in 2+1D flat space with box boundary conditions.
A second order phase transition from empty box to boson star occurs at a critical charge density.
New features in the phase diagram are identified, differing from 3+1 dimensions.
Abstract
In this short note, we consider the phases of gravity coupled to a gauge field and charged scalar in 2+1 dimensions without a cosmological constant, but with box boundary conditions. This is an extension of the results in arXiv:1609.01208, but unlike in higher dimensions, here the physics has sharp differences from the corresponding AdS problem. This is because Einstein-Maxwell black holes cease to exist when the cosmological constant goes to zero. We show that hairy black holes also do not exist in the flat 2+1 dimensional box under some assumptions, but hairy boson stars do. There is a second order phase transition from the empty box to the boson star phase at a charge density larger than some critical value. We find various new features in the phase diagram which were absent in 3+1 dimensions. Our explicit calculations assume radial symmetry, but we also note that the absence…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
CHEP XXXXX
**A Hairy Box in Three Dimensions
**
Chethan KRISHNANa**[email protected], Rohit SHEKHARa*†††[email protected], and P. N. Bala SUBRAMANIANb‡‡‡[email protected]
a Center for High Energy Physics,
Indian Institute of Science, Bangalore 560012, India
b Institute of Mathematical Sciences,
Homi Bhabha National Institute (HBNI),
IV Cross Road, C. I. T. Campus,
Taramani, Chennai, 600113 Tamil Nadu, India
Abstract
In this short note, we consider the phases of gravity coupled to a gauge field and charged scalar in 2+1 dimensions without a cosmological constant, but with box boundary conditions. This is an extension of the results in arXiv:1609.01208, but unlike in higher dimensions, here the physics has sharp differences from the corresponding AdS problem. This is because Einstein-Maxwell black holes cease to exist when the cosmological constant goes to zero. We show that hairy black holes also do not exist in the flat 2+1 dimensional box under some assumptions, but hairy boson stars do. There is a second order phase transition from the empty box to the boson star phase at a charge density larger than some critical value. We find various new features in the phase diagram which were absent in 3+1 dimensions. Our explicit calculations assume radial symmetry, but we also note that the absence of black holes is more general. It is a trivial consequence of a 2+1 dimensional version of Hawking’s horizon topology argument from 3+1 dimensions, and relies on the Dominant Energy Condition, which is violated when (eg.) there is a negative cosmological constant.
1 Introduction
Anti-de Sitter space is often compared to a box [1], and recent work has shown that this analogy is quite robust: see [2, 3] for two very different points of view. In particular, [3, 4] showed that the phases of gravity coupled to a Maxwell field and a charged scalar in a flat space box are qualitatively very similar to that in AdS, if we are working in 3+1 (and presumably higher) dimensions.
However, in 2+1 dimensions, we expect that this close parallel must receive some qualifications. The reason is that in asymptotically flat 2+1 dimensions, there are neither Schwarzschild black holes nor Reissner-Nordstrom black holes, whereas BTZ black holes [5] and their charged generalizations [6] do exist in AdS2+1. One might then ask the question: since a box can function as a proxy for a negative cosmological constant, can we find new solutions for flat space gravity in 2+1 dimensional gravity coupled to Maxwell and a charged scalar, by putting the system in a box?
At first sight, it might seem that there is nothing to be said regarding the 2+1 dimensional box. After all, Einstein’s equations are local, and how can putting the system in a box far away, change anything that has to do with local physics? This non-argument misses a crucial point111Not to mention the fact that it has already been violated in 3+1 dimensions [3] (see also various related previous and follow-up works in eg. [7, 8, 9]). But we feel it is worth a clarification, because this question has been raised on a few occasions. which is that a box allows the possibility of non-trivial profiles for fields such that they have non-vanishing values at the boundary, thereby allowing the possibility of exotic new solutions. This is (often) impossible in asymptotically flat space, because it is natural for strong backreaction to result if the fields contribute too much energy-momentum in the asymptotic region. Indeed, in this paper we will see that it is possible to have new highly non-trivial solutions with lots of local structure in a 2+1 dimensional flat space box, for the Einstein-Maxwell-scalar system. The presence of the scalar is crucial, and without it there are no regular solutions. The solution space of these boson stars turns out to have interesting differences from higher dimensional cases. The study of their phase structure is the main goal of this paper.
But then one might even get bolder: since we know that allowing a box boundary provides a way to evade the no-hair theorems in 3+1 dimensions [3], is it conceivable that we could have a black hole supported entirely by hair in 2+1-d by putting it in a box? Despite the fact that we can put lots of localized matter and create boson stars, we will argue that having a black hole is impossible in a flat space 2+1-d box222Unless we allow potentials for the scalar, and effectively introduce a negative cosmological constant. We will discuss this caveat in more detail in section 5. under fairly broad assumptions. It is possible to see the origins of this explicitly by looking at the perturbative structure of the equations of motion near horizon, in the spherically symmetric case. The technical reason is that one can trace the vanishing of the piece in the metric (which can be viewed as necessary local requirement for the existence of a horizon) to a piece in the Einstein field equations: this piece is provided in AdS by the cosmological constant, but in -dimensional flat space it is provided by the curvature of the -sphere. In 2+1 dimensions the relevant sphere is the circle which has no curvature, and therefore it cannot support such a solution.
But the result is more general, and actually a trivial consequence of the 2+1 dimensional version of Hawking’s 3+1 dimensional theorem that fixes the topology of the horizon [10, 11]. With the same assumptions as in 3+1 dimensions, the theorem rules out horizons altogether in 2+1 dimensions! The fact that black holes are ruled out in 2+1 dimensions (under some assumptions) if the matter satisfies Dominant Energy Condition (DEC) has been noted before [12]. These results are consistent with the view that a hairy black hole should really be thought of as a hairless black hole with hair added on: the horizon itself is not to be viewed as being supported by this type of hair. See [13] for a related discussion.
Our main result in this paper is to show that there exist non-trivial solutions of the Einstein-Maxwell-scalar system in 2+1 dimensional flat space in a box, and show that the phase space has an intricate structure. Removing either the box boundary or the scalar removes all these solutions.
2 The Setup
The action for the Einstein-Maxwell-Scalar theory in 2+1-d is given by
[TABLE]
where is the boundary metric and is the extrinsic curvature.
We work with the metric ansatz [14, 15]
[TABLE]
with , and for the Maxwell field, we choose the gauge
[TABLE]
In this gauge, we find that the complex scalar can be chosen to be , where is some constant and doesn’t play a role in the analysis and is real. With this ansatz, we get the equations of motion
[TABLE]
where the first two are from the variation of the metric, third from variation of the gauge potential and the last one from the variation of the scalar.
We will specify the theory by specifying the boundary metric. In 2+1 dimensions, we will take it to be
[TABLE]
This is our box. Note in particular that is the boundary. Loosely speaking, specifying a boundary is necessary because gravity is a holographic theory, see [3] for some parallel explanations in 3+1 dimensions with some technical detail.
The scaling symmetries of the equations of motion are
- •
, , : with this the line element scales as , the scale is set such that .
- •
, , : this is used to set .
- •
, , : this we can use to set .
Versions of the first two scaling symmetries were present in both AdS as well as in the higher dimensional box, but the last scaling symmetry is unique to 2+1 dimensions.
3 Boson Star
We find that the boson star is obtained as a second order phase transition from the empty box background. For these solutions, we define the boundary conditions at to be
[TABLE]
These are just regularity conditions for the fields at the origin.
With this, we can do a Taylor series expansion around to get
[TABLE]
where , , and .
One thing worth noting here is that unlike in higher dimensions, we have a choice in 2+1 dimensions to pick a value for . In higher dimensions, the choice is forced on us by the equations of motion both in flat space as well as in AdS. This (among other things) means that the phase diagram of boson stars that we will see here has more parameters than in higher dimensions. The technical reason for this difference at the level of the equations of motion is that the angular direction of the geometry in the present case is a circle and therefore carries no curvature. However, with the scaling symmetry with which we can set , we can indeed study the boson star configurations for different values of . Also what the scaling symmetry allows is to map a configuration with arbitrary and to and an appropriate value of obtained by using the scaling.
We will not aim for an exhaustive study of the phase diagram, but we will explore a few different choices of , mainly . This is interesting because it helps us compare easily with higher dimensional examples: it is also interesting to study these phase diagrams where all quantities are fixed at the boundary, but we will not undertake this in this paper. But we emphasize that by using the re-scaling symmetries on our solutions, we can reach the full solution space. We will further restrict our attention to the case where the scalar field at the boundary is fixed (Dirichlet) to be zero: this is the case which can be naturally compared to a boson star with a non-trivial profile in the interior. This choice was also made in [3].333It will be interesting to also construct solutions that satisfy Neumann boundary conditions for the metric at the boundary, along the lines of [16, 17, 18].
3.1 Boson Star Instability
To find the parameters where the transition to boson star occurs, we analyse the scalar equation of motion as in a background where , and . The scalar eom in this probe limit is given by
[TABLE]
The solutions with the boundary condition and is obtained when we have
[TABLE]
where and is the Bessel Function of first kind with index 0. The function has zeroes at , when the argument is such that
[TABLE]
where is the critical value of gauge field where the boson star instability occurs, and is related to the critical charge density444Note that unlike in higher dimensions, the quantity we are holding fixed is a charge density and not a chemical potential, see [19]. The reason is that the gauge field in 2+1 dimensions goes asymptotically as : the leading behavior which is more naturally treated as the chemical potential goes as . for the instability .
The profiles for first 3 distinct solutions is given in Fig.1. The plot vs for the boson star instability is given in Fig.2. The thermodynamic stability of the solutions will be discussed when we look at the free energy.
3.2 Backreacted Solutions
The fully backreacted solutions are found by giving values to the free parameters and , for some given , and integrating out to the boundary. Now can be taken to be arbitrary, say , as we will rescale at the end using the scaling symmetry mentioned above. We also can set using the third scaling symmetry. So for a given value of , the free parameters at are and . The set of equations of motion are solved by numerical shooting. Here, for a given value of , for different values of , we tune such that . This process is then repeated for different choices of . The charge density is obtained as , after rescaling and such that .
The two interesting quantities at the boundary are and , a plot of which for different values of and 555We have looked at different as well, so that we can have a clearer picture of the system. are given in Fig.5. As we increase the value of , the value of also increases (while holding ), so increasing the value of can be understood as going up the corresponding curve in the vs plots.
The point to note is: suppose we work with, say and , then the profile of for is given in Fig.6. If we keep increasing , then at some point , and a further increase of would result in for some . Vanishing of indicates the breakdown of the box interpretation, so we will not allow it. This means there is a maximum value of that we can chose beyond which we fail to get a meaningful system.
What this means is that for a given , the charge density which supports a boson star phase is when is in between and , where is the charge density at which the boson star instability happens for the given , and is the charge density associated to the fully backreacted configuration where the is almost (but not) 0. The way to find is very easy given that we are doing an analysis on the probe scalar equations of motion, whereas is a bit challenging owing to that fact that one has to deal with the fully backreacted system and slowly tweak and such that we have , for each separately. Also one finds that, for such that , we will have . This phenomena is visible in Fig.5, where for each we can see that curves will be such that is in between and .
We could also work with solutions that have 1 or more nodes in the scalar profile. The vs plots for and different values of is given in Fig.7.
4 Phase Diagram
Since the solutions we consider do not have a well defined temperature666Note that in 3+1 dimensions (as well as here) the temperature of the boson star is fixed by the periodicity of the Euclidean circle which can be chosen arbitrarily. But in 3+1 dimensions, because of the existence of the black hole, at the phase transition line one could demand that the temperature of the boson star match that of the critical hairy black hole. Here, because of the absence of black holes, there is no such possibility., the phase diagram we study is the region in the space where boson star solutions can exist. As we have seen in the condensate plots (Fig. 5, 7), for a given the boson star configuration is present when is in between and . Hence, we can mark-out this region in a plot as shown in Fig.8.
The black dotted line is an approximate curve where we expect the to occur. This expectation is based on comparing the curves for the 0-node and 1-node case, the seems to be the same (or roughly the same) for both of them, and speculatively for boson stars with any number of nodes. The region where a boson star exists is the region between the instability curve and the .
4.1 Free Energy
To define the free energy, we look at the on-shell Euclidean action. The extrinsic curvature at the boundary for the metric ansatz we use is
[TABLE]
We can simplify the on-shell action using the fact that , where is the Lagrangian and the Einstein equation is written in the form . We also work in units, and the wick rotation is defined as . Trading for , and simplifying, we get
[TABLE]
Rescaling to get the boundary metric of the form (2.8), we get
[TABLE]
One thing to note is that the extrinsic curvature is invariant under the scaling of .
The extrinsic curvature of the empty box is , which we subtract from the action, so that the on-shell action for the empty box is 0. With this, we get the free energy directly from the on-shell Euclidean action,
[TABLE]
Now using the third rescaling symmetry, whereby , we can set and we get
[TABLE]
With this we can evaluate the free energy for arbitrary and , if we know the free energy in ensemble for the corresponding value of . The factor inside the parenthesis is the free energy of the ensemble.
Now, we can evaluate the free energy of different boson star configurations. When we look at the fixed ensemble (we will focus only on for the reasons mentioned earlier), the free energy of the boson star configurations are negative, meaning thermodynamically stable, only when the charge of the scalar is such that . In other words, this happens only for greater than the value at which the instability curve and the line cross-over777A similar phenomenon was also noted in 3+1 dimensions in [3].. This is checked to be true for the 0 and 1 node solutions. However, in the region where the boson star configurations are present, there always exist a 0-node boson star solution, which will be thermodynamically more stable. Hence, we can say that the only thermodynamically stable configurations are the 0-node solutions. In Fig.9, the green region marks out the parameter space where the 0-node boson stars that are thermodynamically stable exist.
5 Black Holes
We will first present the explicit calculation in a spherically symmetric setting to get some intuition about why a black hole might be forbidden in flat space even inside a box. Then we will present the more general argument which is an adaptation of Hawking’s horizon topology theorem to 2+1 dimensions.
5.1 Radially Symmetric Cases
To get some intuition for understanding the (lack of) existence of hairy black holes in the 2+1-d box, it is useful to work with a more general action that allows a symmetry-breaking potential for the scalar, as well as a cosmological constant. The basic reason for this is that the minimum potential energy of the scalar acts as a tunable contribution to the cosmological constant, enabling us to see the emergence of various features quite explicitly as we move from negative to positive . So we consider
[TABLE]
The boundary conditions at the horizon are given by , . By solving the equations of motion order by order
[TABLE]
where , and .
Now, let us look at the potential term more closely. The effective potential in the theory is
[TABLE]
The minima of this potential is at , and the value of the potential is
[TABLE]
Now we choose , such that we have 888Note that if we allow negative values for the minimum of at the horizon, we can introduce a local negative cosmological “constant” and violate the dominant energy condition. We wish to avoid this scenario in the present paper. Let us note however that if one allows negative potentials, a rich space of domain wall like black hole solutions can be found that interpolate between a negative potential value at the horizon and the maximum at the box [20]. This scenario is certainly interesting because belongs to this category. But we will not consider this case in the present paper, because if we take the box to infinity, the ground state is now AdS., which gives
[TABLE]
In the expansion of around given in (5.2), the coefficient of is
[TABLE]
Since we have imposed the condition that by the specific choice of , the second term is always non-positive. The first term is also non-positive, becoming 0 when . This means that the coefficient of is always non-positive, which is not desirable if we are to get a hairy black hole solution, as . We see very explicitly that when the effective cosmological constant becomes negative, a black hole can exist.
One might think that a possible way out of this, is to consider the possibility of an extremal black hole, where not just , but also . It is clear that if we try to set and in the above “near-horizon” series expansion, so that we get , the denominators of coefficients of of the functions and will go to zero and the series fails to make any sense. But is it possible that by trying a power-series expansion where from the outset, we could get a new form for the series expansion that bypasses this problem? We have checked this possibility as well, and it also does not lead to a viable perturbative solution.
5.2 The General No-Go Argument
The discussion above had a very “rigid” feel, even though it was restricted to the case of spherical symmetry, so one might wonder if there exists a theorem that rules out horizons altogether in 2+1 dimensions. In fact, it is clear from the explicit calculations that it is the (absence of) curvature contribution from the compact circle dimension that results in the difficulty in obtaining a horizon999In AdS, the AdS length scale acts as a proxy for this, and therefore the BTZ black hole manages to exist [5].. So one might suspect that an argument that ties together horizon topology and curvature via a positivity condition on energy might be at play here.
A natural place to look for such an argument is Hawking’s horizon topology theorem. In its original incarnation [10] it was used to show that under the dominant energy condition and a few other natural assumptions, horizon topologies in 3+1 dimensions must be 2-spheres. In [11] it was generalized to higher dimensions. A crucial and (promising, from our perspective) ingredient in these theorems is that they use dominant energy condition, and therefore naturally do not apply in asymptotically AdS geometries.
The basic strategy of these theorems is to show that under the assumption of dominant energy condition, the existence of a horizon one wishes to rule out, will imply the existence of a (marginally outer) trapped surface slightly outside the horizon, which is forbidden101010The idea here is that the horizon contains all that is not visible from asymptotic infinity, and therefore a trapped surface must also be within the horizon, and therefore cannot be outside it. This argument is clean when we work with asymptotically flat spaces, but since we have defined the box in a specific coordinate system, it is less clean in our case. However, since the argument leads to a trapped surface arbitrarily close to the horizon (but outside it), we expect that this cannot substantively change the conclusion that there are no black holes.. The key condition for our purposes is eq. (2.1) in [11]
[TABLE]
where the integral is over the event horizon, and the Ricci curvature is with respect to the induced metric on the horizon. Note that this condition is independent of dimension. In 3+1 dimensions, it leads to the restriction that the genus of the horizon must be zero, implying spherical horizons [10]. In higher dimensions, it leads to related but distinct constraints [11]. In 2+1 dimensions however, it is clear that this condition can never be satisfied for both compact or non-compact horizons, because the only 1-dimensional manifolds are lines and circles neither of which have curvature under any metric. This immediately rules out the possibility of black holes in 2+1 dimensions111111Let us emphasize again however, the caveats noted in the previous subsection.. A proof of this statement is known in the literature [12], but here we have emphasized the point of view that it is a horizon topology argument [10].
Note that the above argument is an effectively local argument around the horizon, if we do not allow trapped surfaces outside horizons. If it were violated, it would allow the possibility of trapped surfaces close to, but outside the horizon. This is consistent with our explicit calculations in the last section, where we came to similar conclusions via a near-horizon expansion without invoking any explicit statement about far-away regions, eg. the boundary. The AdS case evades the No-Go argument because it violates the dominant energy condition.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. W. Hawking and D. N. Page, Thermodynamics Of Black Holes In Anti-De Sitter Space , Commun. Math. Phys. 87 , 577 (1983).
- 2[2] C. Krishnan, “Bulk Locality and Asymptotic Causal Diamonds,” ar Xiv:1902.06709 [hep-th]
- 3[3] P. Basu, C. Krishnan and P. N. B. Subramanian, “Hairy Black Holes in a Box,” JHEP 1611 , 041 (2016), doi:10.1007/JHEP 11(2016)041, [ar Xiv:1609.01208 [hep-th]].
- 4[4] P. Basu, C. Krishnan and P. N. Bala Subramanian, “Phases of Global Ad S Black Holes,” JHEP 1606 , 139 (2016), doi:10.1007/JHEP 06(2016)139, [ar Xiv:1602.07211 [hep-th]].
- 5[5] M. Banados, C. Teitelboim and J. Zanelli, “The Black hole in three-dimensional space-time,” Phys. Rev. Lett. 69 , 1849 (1992) doi:10.1103/Phys Rev Lett.69.1849 [hep-th/9204099].
- 6[6] G. Clement, “Spinning charged BTZ black holes and selfdual particle - like solutions,” Phys. Lett. B 367 , 70 (1996), doi:10.1016/0370-2693(95)01464-0, [gr-qc/9510025].
- 7[7] S. R. Dolan, S. Ponglertsakul and E. Winstanley, Stability of black holes in Einstein-charged scalar field theory in a cavity , Phys. Rev. D 92 , no. 12, 124047 (2015) [ar Xiv:1507.02156 [gr-qc]].
- 8[8] S. Ponglertsakul, S. Dolan and E. Winstanley, Black hole solutions in Einstein-charged scalar field theory , ar Xiv:1507.02462 [gr-qc].
