# Sufficient and necessary condition for being a black hole energy-momentum tensor

Is there any necessary and sufficient mathematical condition(s) so that a (general) energy-momentum tensor can possess an assemblage of black holes? Or in other words, if I'm given a general energy momentum tensor ($$T_{\mu\nu}$$) and minimum amount of some other property of the spacetime (like topology), can I determine whether it can possess assemblage of black holes or not?

R. Wald says

A strongly asymptotically predictable spacetime is said to contain a black hole if $$M$$ is not contained in $$J^-(\mathscr{I}^+)$$. The black hole region, $$B$$, of such a spacetime the set $$B = [M - J^-(\mathscr{I}^+)]$$ and the boundary of $$B$$ in $$M$$, $$H = M \cap J^-(\mathscr{I}^+)$$, is called the event horizon.

(1) Now as the General Theory of Relativity predicts, local geometry, curvature etc. of the spacetime is determined by the content in that region. So how can we achieve the aforementioned definition in terms of the energy momentum tensor of the content?

(2) Also, the aforementioned definition seems to be corresponded the existence of a single black hole in the spacetime. How can this definition be modified for corresponding an assemblage of blackholes?

• For Question 2, $B$ need not correspond to a single black hole. If it contained two black holes (that never merged) then you'd just have a situation where $B$ was not a connected region of spacetime. Commented Nov 22, 2022 at 1:40
• For Question 1, you may want to look into the hoop conjecture. It is also worth noting that it is still a conjecture 50 years after Thorne first thought it up. Commented Nov 22, 2022 at 1:42
• Actually I am looking for some modifications in Wald's definition to incorporate the notion of energy momentum tensor of the system (instead of the geometry, topology etc. of the spacetime).
– SCh
Commented Nov 22, 2022 at 1:45
• as the General Theory of Relativity predicts, local geometry, curvature etc. of the spacetime is determined by the content in that region” - This is incorrect. The equations are differential, so the curvature and geometry also are defined by the initial conditions and by the constants of integration. For example, the Schwarzschild black hole has no “content”, meaning the stress-energy tensor is zero everywhere. Commented Nov 22, 2022 at 3:07
• The left side of EFE ($G_{\mu \nu}$) describes gravity and the left side ($T_{\mu \nu}$) how it is affected by matter. You may like to read arxiv.org/abs/1803.09872v1, Dennis Lehmkuhl, "How Einstein saw the role of the energy-momentum tensor in GR", page 5. For gravity matter is merely an additional distortion of spacetime curvature.
– JanG
Commented Nov 22, 2022 at 8:22