Analytical studies on the hoop conjecture in charged curved spacetimes

Recently, with numerical methods, Hod clarified the validity of Thorne hoop conjecture for spatially regular static charged fluid spheres, which were considered as counterexamples against the hoop conjecture. In this work, we provide an analytical proof on Thorne hoop conjecture in the spatially regular static charged fluid sphere spacetimes.


I. INTRODUCTION
One famous conjecture in general relativity is the Thorne hoop conjecture, which states that horizons appear when and only when a mass M gets compacted into a region whose circumference C in every direction is C 4πM [1,2]. This upper bound can be saturated in the case of Schwarzschild black hole with the horizon radius r 0 = 2M. If generically true, such conjecture would signify that black holes form if matter/energy is enclosed in a small enough region. At present, there are a lot of works addressing the hoop conjecture, see [3]- [29] and references therein.
Intriguingly, a few counterexamples against hoop conjecture were also presented [30,31]. In particular, Ref. [30] constructed the horizonless charged fluid sphere configurations with uniform charge densities. For M r0 = 0.65 and Q 2 r 2 0 = 0.39, the horizonless charged sphere satisfies a relation C(r0) 4πM ⋍ 0.769 < 1, where M is the total mass of the spacetime, Q is the sphere charge and r 0 is the sphere radius. According to the relation 4πM < 1 in the horizonless spcetime, the author claimed that Thorne hoop conjecture can be violated in horizonless charged fluid sphere spacetimes [30].
However, as stated by Hod, it is physically more appropriate to interpreted the mass term M in Thorne hoop conjecture as the gravitational mass M (r 0 ) contained within the radius r 0 and not as the total mass M of the entire curved spacetime [32]. In fact, there is electric energy outside the charged sphere. For the same parameters M r0 = 0.65 and Q 2 r 2 0 = 0.39 as [30], Hod reexamined the validity of hoop conjecture for charged fluid spheres and numerically obtained the relation C(r0) 4πM(r0) ⋍ 1.099 > 1, which is in fact in accordance with the hoop conjecture in charged spacetime [32]. Along this line, it is still meaningful to analytically examine Thorne hoop conjecture for spatial regular charged fluid spheres with generic parameters.
The rest of the paper is organized as follows. We shall introduce the gravity model of spatial regular static charged fluid spheres. We provide an analytical proof on Thorne hoop conjecture for horizonless charged fluid spheres with generic parameters. Finally, we will briefly summarize our results.

II. VALIDITY OF THE HOOP CONJECTURE FOR CHARGED FLUID SPHERES
It was widely believed that Thorne hoop conjecture is a fundamental property of classical general relativity.
A lot of works indeed support the hoop conjecture [3]- [18]. However, counterexamples against hoop conjecture were also presented in [30,31]. In particular, Ref. [30] constructed a gravity model of horizonless static charged fluid spheres. And the charged fluid sphere reads [33][34][35][36] The interior metric solution with uniform charge density was obtained in [30] as We define υ = r , where M is the total mass of the spacetime, Q is the sphere charge and r 0 is the sphere radius.
Thorne hoop conjecture states that horizons appear when and only when a mass M gets compacted into a region whose circumference C in every direction is C 4πM [1,2]. The author in [30] claimed that Thorne which is in accordance with the hoop conjecture in charged spacetime [32].
In the following, we provide an analytical proof on Thorne hoop conjecture for generic parameters. According to the weak energy condition (WEC), the energy density is nonnegative [33,34]. In this work, we can take a more general condition that the energy density is real (negative or nonnegative). The energy density of interior region is [30] It can be transformed into We put 1 − f 0 in the general form where a, b are real numbers.
Putting (9) into (8), we arrive at the relation At the center υ = r r0 = 0, (10) yields Since ρ m (0) is real, there is That is to say f 0 = 1 − 2M r0 + Q 2 r 2 0 is real according to (9), which yields In the case of 2M r0 − Q 2 = 0 and r 0 is horizon according to (4). Since we study horizonless sphere, the spacetime should satisfies There is electric energy outside the charged sphere. In order to calculate M (r 0 ), we should subtract the exterior electric energy E(r > r 0 ) from the total energy M. Outside the sphere, one has the Maxwell field energy density ρ(r) = Q 2 8πr 4 . The mass E(r > r 0 ) of the Maxwell field above the radius r 0 is given by So the mass M (r 0 ) within the radius r 0 is [32,43,44] With (14) and (16), we arrive at the relation It yields the inequality for the horizonless spacetime as in accordance with Thorne hoop conjecture, which states that horizons appear when and only when the mass M (r 0 ) and circumference C(r 0 ) satisfy the relation C(r 0 ) 4πM (r 0 ) [32]. We point out that relation (18) holds for generic parameters. Here we analytically prove Thorne hoop conjecture in spatial regular charged fluid sphere spacetimes.

III. CONCLUSIONS
We analytically examined the validity of Thorne hoop conjecture in spatial regular charged curve spacetimes.
We took the natural assumption that the matter energy density is real. On this real energy density assumption, with generic parameters, we found that horizonless charged fluid sphere should satisfy the relation (18) in accordance with Thorne hoop conjecture. In summary, we provided an analytical proof on Thorne hoop conjecture in the spatially regular static charged fluid sphere spacetimes.