# How to thoroughly distinguish a coordinate singularity and a physical singularity

In a course on general relativity I am following at the moment, it was shown that the singularity $r=2M$ in the Schwarzschild solution is a consequence of the choice of coordinates. Introducing Kruskal-Szekeres coordinates $(u,v)$ resolves this problem: the singularity at $r=2M$ disappears, but if one draws a $(u,v)$ graphs with light cones and such, one still recognizes the event horizon at $r=2M$. The singularity at $r=0$ remains and is said to really be an essential singularity.

So in general: if you can find a coordinate transformation to get rid of a divergence in your metric, it is not a true singularity. However, it struck me that the Kruskal-Szekers coordinates were only discovered in 1960 (44 years after the Schwarzschild solution). This leaves me to wonder: is there a more systematic way of distinguishing physical vs. 'fake' singularities? In Carroll's book, I've read something about contractions of curvature quantities diverging at real singularities: E.g. $R^{\alpha \beta \gamma \delta}R_{\alpha\beta\gamma\delta}\propto r^{-6}$ such that $r=0$ is a real singularity (and $r=2M$ not). Could anyone make this ad-hoc rule more quantitative?

• Just a remark - curvature singularities, where various curvature invariants blow up as you approach the singularity, are not the only ones. E.g. if you look at geodesics on a cone, nothing weird involving diverging curvature happens until you reach the tip. That's why singularity definition is usually phrased in terms of geodesics which can't be infinitely extended. – twistor59 Jan 26 '13 at 16:38
• Echoing twistor59's above comment: en.wikipedia.org/wiki/Gravitational_singularity – Qmechanic Jan 26 '13 at 17:27
• What is it about the treatment in Carroll that you're not satisfied with? I don't see anything about it that's "ad hoc" or that's not "quantitative." Both Carroll and twistor59 have pointed out that not all singularities are curvature singularities. Are you worried about how to detect conical singularities? – Ben Crowell Apr 25 '13 at 2:15

If we include the Levi-Civita symbol $\varepsilon^{\mu \nu \rho \sigma}$ then we can also get $\det(g)$ ($\varepsilon^{\mu \nu \rho \sigma}$ is a pseudotensor but since the determinant has two of those, the quantity has a definite sign, independent of the handedness of your coordinates). I can't think of a good example illustrating how this quantity (~volume scale) tells us about singularities, or a reason for why it doesn't.
• Be careful about $\det g$. This is actually a scalar density (something which transforms not as scalar, but it multiplied by some power of Jacobian determinant when changing coordinate system). Therefore it is perfectly fine for it to be singular only due to coordinate singularity. – Blazej May 2 '16 at 19:28