Can black holes form in a finite amount of time?

The conceptual key here is that time dilation is not something that happens to the infalling matter. Gravitational time dilation, like special-relativistic time dilation, is not a physical process but a difference between observers. When we say that there is infinite time dilation at the event horizon we don't mean that something dramatic happens there. Instead we mean that something dramatic appears to happen according to an observer infinitely far away. An observer in a spacesuit who falls through the event horizon doesn't experience anything special there, sees her own wristwatch continue to run normally, and does not take infinite time on her own clock to get to the horizon and pass on through. Once she passes through the horizon, she only takes a finite amount of clock time to reach the singularity and be annihilated. (In fact, this ending of observers' world-lines after a finite amount of their own clock time, called geodesic incompleteness, is a common way of defining the concept of a singularity.)

When we say that a distant observer never sees matter hit the event horizon, the word "sees" implies receiving an optical signal. It's then obvious as a matter of definition that the observer never "sees" this happen, because the definition of a horizon is that it's the boundary of a region from which we can never see a signal.

People who are bothered by these issues often acknowledge the external unobservability of matter passing through the horizon, and then want to pass from this to questions like, "Does that mean the black hole never really forms?" This presupposes that a distant observer has a uniquely defined notion of simultaneity that applies to a region of space stretching from their own position to the interior of the black hole, so that they can say what's going on inside the black hole "now." But the notion of simultaneity in GR is even more limited than its counterpart in SR. Not only is simultaneity in GR observer-dependent, as in SR, but it is also local rather than global.

Is there a connected solution of 3+1 dimensional general relativity with one space-like slice not have a singularity, and another space-like slice having one.

This is a sophisticated formulation, but I don't think it succeeds in getting around the fundamental limitations of GR's notion of "now." Figure 1 is a Penrose diagram for a spacetime that contains a black hole formed by gravitational collapse of a cloud of dust.[Seahra 2006]

enter image description here

On this type of diagram, light cones look just like they would on a normal spacetime diagram of Minkowski space, but distance scales are highly distorted. The upright line on the left represents an axis of spherical symmetry, so that the 1+1-dimensional diagram represents 3+1 dimensions. The quadrilateral on the bottom right represents the entire spacetime outside the horizon, with the distortion fitting this entire infinite region into that finite area on the page. Despite the distortion, the diagram shows lightlike surfaces as 45-degree diagonals, so that's what the event horizon looks like. The triangle is the spacetime inside the event horizon. The dashed line is the singularity, which is spacelike. The green shape is the collapsing cloud of dust, and the only reason it looks smaller at early times is the distortion of the scales; it's really collapsing the whole time, not expanding and then recontracting.

enter image description here

In figure 2, E is an event on the world-line of an observer. The red spacelike slice is one possible "now" for this observer. According to this slice, no dust particle has ever fallen in and reached the singularity; every such particle has a world-line that intersects the red slice, and therefore it's still on its way in.

The blue spacelike slice is another possible "now" for the same observer at the same time. According to this definition of "now," none of the dust particles exists anymore. (None of them intersect the blue slice.) Therefore they have all already hit the singularity.

If this was SR, then we could decide whether red or blue was the correct notion of simultaneity for the observer, based on the observer's state of motion. But in GR, this only works locally (which is why I made the red and blue slices coincide near E). There is no well-defined way of deciding whether red or blue is the correct way of extending this notion of simultaneity globally.

So the literal answer to the quoted part of the question is yes, but I think it should be clear that this doesn't establish whether infalling matter has "already" hit the singularity at some "now" for a distant observer.

Although it may seem strange that we can't say whether the singularity has "already" formed according to a distant observer, this is really just an inevitable result of the fact that the singularity is spacelike. The same thing happens in the case of a Schwarzschild spacetime, which we think of as a description of an eternal black hole, i.e., one that has always existed and always will. On the similar Penrose diagram for an eternal black hole, we can still draw a spacelike surface like the red one, representing a definition of "now" such that the singularity doesn't exist yet.

enter image description here

Figure 3 shows the situation if we take into account black hole evaporation. For the observer at event E$_1$, we still have spacelike surfaces like the blue one according to which the matter has "already" hit the singularity, and others like the red according to which it hasn't. However, suppose the observer lives long enough to be at event E$_2$. There is no spacelike surface through E$_2$ that intersects the cloud of infalling dust. Therefore the observer can infer at this time that all the infalling matter has hit the singularity. This makes sense, of course, because the observer has seen the Hawking radiation begin and eventually cease, meaning that the black hole no longer exists and its history is over.

Seahra, "An introduction to black holes," http://www.math.unb.ca/~seahra/resources/notes/black_holes.pdf


You are simply looking at it from an observer's viewpoint. Yes, looking from outside, matter tends to asymptotically approach but never reach the event horizon. If you were part of that matter spiraling into a black hole, there would be no problem reaching the horizon, crossing it, and going right down to the singularity. The event horizon is not a physical barrier. You could be free falling, and your time would not be infinitely dilated. So the answer is yes they can form easily in a finite time.


(this answer addresses the new question)

As a consequence of the singularity theorems, it is not only possible but (arguably) inevitable for singularities to form in a finite amount of "time" in a physically reasonable spacetime. The word "time" in this context means "proper time along a specific timelike geodesic". For example, if there is a trapped surface* in spacetime, then a singularity will appear within a finite amount of proper time (along a timelike geodesic) in the future of that surface; so, an observer sitting in a collapsing star will reach the singularity in finite time. Thus, the collapse of matter is one possible way to create a singularity "out of nothing". If your spacetime is globally hyperbolic and you foliate it by Cauchy surfaces you can say in a much more "universal" way that the singularity didn't exist at time [$t_{0}$] and came to exist at time [$t_{1}$].

I should point out that the singularities are a generic feature of physically reasonable spacetimes; take a look at the Hawking-Penrose theorem- it applies in very general situations.

Also, as the original question was about black holes and not singularities, I should advise you to make a clear distinction between the two concepts. Trapped surfaces form due to the condensation of matter (this is the famous Schoen-Yau theorem), and under a certain extra hypothesis, these surfaces will be hidden inside black holes. This extra hypothesis is the well-known (weak) Cosmic Censorship Conjecture (CCC). If it does not hold, gravitational collapse can create naked singularities, that is, singularities not "causally hidden" by the event horizon of a black hole. Much of what is known in general about black holes depend crucially on the CCC.

*A trapped surface is a two-dimensional spacelike compact surface such that the null geodesics departing from it are accelerating towards each other - mathematically, we say that the expansion of the congruence of future-directed null geodesics orthogonal to the surface is negative.