# What is the definition of a timelike and spacelike singularity?

What is the definition of a timelike and spacelike singularity?

Trying to find, but haven't yet, what the definitions are.

A singularity is a condition in which geodesics are incomplete. For example, if you drop yourself into a black hole, your world-line terminates at the singularity. It's not just that you're destroyed. You (and the subatomic particles you're made of) have no future world-lines. A careful definition of geodesic incompleteness is a little tricky, because we want to talk about geodesics that can't be extended past a certain length, but length is measured by the metric, and the metric goes crazy at a singularity so that length becomes undefined. The way to get around this is to use an affine parameter, which can be defined without a metric. Geodesic incompleteness means that there exists a geodesic that can't be extended past a certain affine parameter. (This also covers lightlike geodesics, which have zero metric length.)

There are two types of singularities, curvature singularities and conical singularities.

A black hole singularity is an example of a curvature singularity; as you approach the singularity, the curvature of spacetime diverges to infinity, as measured by a curvature invariant such as the Ricci scalar. Another example of a curvature singularity is the Big Bang singularity.

A conical singularity is like the one at the tip of a cone. Geodesics are incomplete there basically because there's no way to say which way the geodesic should go once it hits the tip. In 2+1-dimensional GR, curvature vanishes identically, and the only kind of gravity that exists is conical singularities. I don't think conical singularities are expected to be important in our universe, e.g., I don't think they can form by gravitational collapse.

Actual singularities involving geodesic incompleteness are to be distinguished from coordinate singularities, which are not really singularities at all. In the Schwarzschild spacetime, as described in Schwarzschild's original coordinates, some components of the metric blow up at the event horizon, but this is not an actual singularity. This coordinate system can be replaced with a different one in which the metric is well behaved.

The reason curvature scalars are useful as tests for an actual curvature singularity is that since they're scalars, they can't diverge in one coordinate system but stay finite in another. However, they are not definitive tests, for several reasons: (1) a curvature scalar can diverge at a point that is at an infinite affine distance, so it doesn't cause geodesic incompleteness; (2) curvature scalars won't detect conical singularities; (3) there are infinitely many curvature scalars that can be constructed, and some could blow up while others don't. A good treatment of singularities is given in the online book by Winitzki, section 4.1.1.

The definition of a singularity is covered in WP and in all standard GR textbooks. I assume the real issue you were struggling with was the definition of timelike versus spacelike.

In GR, a singularity is not a point in a spacetime; it's like a hole in the topology of the manifold. For example, the Big Bang didn't occur at a point. Because a singularity isn't a point or a point-set, you can't define its timelike or spacelike character in quite the way you would with, say, a curve. A timelike singularity is one that is in the future light cone of some point A but in the past light cone of some other point B, such that a timelike world-line can connect A to B. Black hole and big bang singularities are not timelike, they're spacelike, and that's how they're shown on a Penrose diagram. (Note that in the Schwarzschild metric, the Schwarzschild r and t coordinates swap their timelike and spacelike characters inside the event horizon.)

There is some variety in the definitions, but a timelike singularity is essentially what people mean by a naked singularity. It's a singularity that you can have sitting on your desk, where you can look at it and poke it with a stick. For more detail, see Penrose 1973. In addition to the local definition I gave, there is also a global notion, Rudnicki, 2006, which is essentially that it isn't hidden behind an event horizon (hence the term "naked"). What's being formalized is the notion of a singularity that can form by gravitational collapse from nonsingular initial conditions (unlike a Big Bang singularity), and from which signals can escape to infinity (unlike a black hole singularity).

Penrose, Gravitational radiation and gravitational collapse; Proceedings of the Symposium, Warsaw, 1973. Dordrecht, D. Reidel Publishing Co. pp. 82-91, free online at http://adsabs.harvard.edu/full/1974IAUS...64...82P

Rudnicki, Generalized strong curvature singularities and weak cosmic censorship in cosmological space-times, http://arxiv.org/abs/gr-qc/0606007

Winitzki, Topics in general relativity, https://sites.google.com/site/winitzki/index/topics-in-general-relativity

• That's excellent. Yes, my main question was what you explained in your last two paragraphs, not what singular spacetime was, but that's also nicely written. – user23071 Apr 12 '13 at 17:05
• The claims such as "there are two types of singularities, curvature and conical ones", are truly outdated and while your intent was admirable, such comments teach much more wrong things than correct things. Many singularities, e.g. in conifolds, importantly mix the singular curvature and the conical structure, the singular curvature is nearly omnipresent, while the conical character may be so unusual that the singularity isn't conical in a useful sense. – Luboš Motl Apr 13 '13 at 7:12
• But the main reason why I downvoted this is that you pretended the curve-like definition of spacelikeness or timelikeness of singularities like manifolds (in the coordniate space) to be insufficiently rigorous and accurate - but what you actually replaced this self-evident definition by is pure handwaving about objects on the table and circular references to other phrases such as naked singularities. This explains and answers nothing. The OP and anyone else can't understand why you wouldn't place a big bang singularity or Schwarzschild singularity "on the table" or strip it naked. – Luboš Motl Apr 13 '13 at 7:14
• @LubošMotl: Thanks for your comments, but I disagree with them. Re your first comment, the definition of singularity you gave in your answer was incorrect, since it didn't define a conical singularity as a singularity. The one I gave fixes that problem. – Ben Crowell Apr 14 '13 at 17:35
• [...] Re your second comment, you gave an incorrect definition. I gave the correct one provided in the Penrose paper. The sentence where I explained the Penrose definition was this one: "A timelike singularity is one that is in the past light cone of some points in spacetime but in the future light cone of others." The later material about putting it on a table, etc., was presented as interpretation, not as a definition. The material about naked singularities was likewise interpretation, and its purpose was to explain why we would care about the notion of a timelike singularity. – Ben Crowell Apr 14 '13 at 17:36

Timelike and spacelike singularities are sets of points in the spacetime where some curvature invariant such as a scalar polynomial constructed out of the Riemann tensor diverges (but all the invariants are finite at all points in the vicinity of the singularity that don't belong to the singularity) so that the nearby points in the set are timelike-separated or spacelike-separated from one another, respectively.

So one may understand what a timelike or spacelike singularity is by understanding the words "timelike", 'spacelike", and "singularity" separately. There's nothing really new in the phrases; the whole is pretty much the sum of its parts. A singularity is a manifold – submanifold of the spacetime – and the spacelikeness and timelikeness is determined just like for any curves or surfaces etc. in the spacetime, from the sign of $ds^2$.

When the dimension of singular set is greater than one, the actual timelikeness or spacelikeness is more complicated and one must talk about the whole signature – number of positive, negative, and null directions in the space. It's still true that when at least some directions along the set are timelike, people will probably call it a timelike singularity although it's a mixed one.

• Thanks, that helps. My problem was that the name timelike singularity mislead me to expect that it refers to a singularity due to incompleteness of timelike geodesics for example the center of a Schwarzschild black hole, while everyone refers to these as spacelike. Thanks again. – user23071 Apr 12 '13 at 10:45
• One more question, what if it is just one point, then you cannot say that the nearby points in the set are spacelike/timelike? – user23071 Apr 12 '13 at 14:04
• A singularity isn't a manifold. E.g., a black hole singularity isn't a point set. Topologically, the singularity is something that's missing from the manifold. This is why you can't say that a singularity is a submanifold of the spacetime and describe its timelike or spacelike character the way you would with a point set. As explained in my answer, this is why the definition is a little more delicate, and has to be done in terms of light cones of nearby points. – Ben Crowell Apr 12 '13 at 15:25
• @user23071: Singularities aren't point-sets, so it doesn't make sense to talk about a singularity as being one point. However, it may be possible to formally define the dimension of a singularity: physicsforums.com/showthread.php?t=511813 Informally, a black hole singularity is clearly 1-dimensional on a Penrose diagram (not zero dimensional), and a Big Bang singularity is 3-dimensional. – Ben Crowell Apr 12 '13 at 15:30
• A couple of months after the above dialog, I came across a definition of a way of defining a singularity as a point set, by adjoining ideal points to the manifold. It was in the same paper by Penrose that I referenced in my answer, at p. 85. The definition is coordinate-independent, and involves a notion called terminal indecomposable past and future sets, defined by Geroch. – Ben Crowell Jun 6 '13 at 1:22