Clarifying the Mainstream Viewpoint on Singularities in GTR
marcus said:
I am glad that you find me reasonable, Chris. I'm not aware of having shifted my basic position---but I can't always account for how you take what I say.
Unfortunately, I am back to being flummoxed by something you just wrote which I consider to be
potentially seriously misleading.
You have consistently written statements in which I agree with the second half but not with the first half! So let me reverse the order of those statements:
The second halves of these statements are correct summaries of the current mainstream:
marcus said:
people are searching for a theory of spacetime and matter to replace Gen Rel---duplicating its impressive success where it does work and extending coverage to situations where Gen Rel breaks down.
marcus said:
the question is, what do you replace GTR with so that it will be just as good as GTR where GTR is a success but [be valid more generally than gtr].
I agree entirely! Furthermore, I think we all agree that
the search for a new theory of gravitation is a thoroughly mainstream activity. (In this context, it is amusing to note that the mathematician
John Baez, author of the semi-humorous Crackpot Index, has contributed to this effort.)
But the first halves of those statements are seriously misleading:
marcus said:
I see that a considerable number of smart people consider the old (1915) Gen Rel to be flawed because it suffers from singularities (such as the BB and BH, in particular)
marcus said:
we know GTR is wrong because it breaks down at a certain places and has these unnatural glitches called singularities.
My objection is that in statements like this you suggest the misleading conclusion that the object of the mainstream effort is to exorcise black holes and the Hot Big Bang Theory from astrophysics and cosmology.
This is quite untrue. As I thought everyone knew, the object of the mainstream effort is to
1. reconcile quantum mechanics with a classical field theory, general relativity,
2. elucidate some fascinating connections between the notion of black holes and notions of thermodynamics.
An important point regarding (2) is that it could well be that the next "gold standard theory of gravitation" might be more "thermodynamical" than "quantum". One of the fascinating trends in physics in the past few decades has involved growing recognition that mathematical techniques developed in the context of classical or quantum physics turn out to apply to the other arena. In addition, in the past decade there has been a good deal of work on nongravitational analogs of black holes which suggests that this notion may be best understood via thermodynamics.
Regarding the current mainstream view on the major technical issues within gtr itself, including dealing with various kinds of geometric singularities, I could give many citations, but one short book which I particularly like is the Chandrasekhar memorial volume edited by Robert Wald,
Black Holes and Relativistic Stars, University of Chicago Press, 1998. I'd highly recommend this to anyone who wants to know more about current mainstream views on theoretical issues in gtr and the search for a "better theory".
Before I say anything else, I need to stress something: your personal objections to the notion that black holes "really exist in Nature" seem to be based upon the prediction in gtr that
curvature singularities exist inside the horizons. It's important that newbies understand that historically, mainstream objections to the notion of black holes (pre 1975 or so) have really been
objections to the notion of "event horizon", which should be thought of as the
defining characteristic of "black hole"; as my list above should make clear, many exact solutions in gtr which are nothing like black holes, including plane waves, exhibit curvature singularities. Furthermore, many exact solutions which can be regarded as cosmological models (but certainly not as models which resmemble the Universe in which we live), such as the Goedel dust, contain no curvature singularities. So
the existence of curvature singularities is certainly not a defining characteristic of either black holes or cosmological models!
The above mentioned objections quickly moved to the fringe with the discovery of objects which can (according to the current mainstream viewpoint) only be interpreted as black holes in the sense of gtr. Vaguely similar objections are still promoted on the web, sometimes including PF; these should be regarded as
incorrect crank opinions which are greatly at variance with the current scientific mainstream.
OK, back to the book: the chapters are based upon talks delivered in 1996, subsequently revised by the various authors, but despite a major development in cosmology (the cosmological constant thing), the mainstream has not budged on the points which are most relevant here. Some particularly relevant chapters:
1. Martin Rees, "Astrophysical Evidence for Black Holes": Martin Rees recounts how and why it suddenly became universally accepted that black holes (think: event horizons) "really exist in Nature", modulo my comments above about the nature of physics. Rees certainly does
not say that mainstream researchers consider "Gen Rel to be flawed because it suffers from singularities (such as the BB and BH", or anything even close to that statement. Your statement does, however, somewhat resemble the early objections (c. 1960) to the Hot Big Bang Theory back when Continuous Creation was still regarded as viable, and to early objections to Black Holes (think "event horizons", not "curvature singularities") back when (c. 1975) the suggestion that
black holes are common objects in our Universe was considered highly speculative and dubious by most physicists.
2. Roger Penrose, "The Question of Cosmic Censorship": Penrose discusses some theoretical issues involving Cauchy horizons and geometric singularities in gtr, which have not yet been resolved within gtr (or by going beyond it). In particular, he discusses "thunderbolts". You will search in vain for any assertions that gtr is unworkable because of the mere existence of singularities, rather, Penrose and many others have put great effort into understanding the nature of generic solutions of the EFE within the context of gtr, effort predicated on the assumption that the theory, while clearly difficult, is not fundamentally flawed simply because singularities exist. You will search in vain for any statements to the effect that Penrose himself or other researchers consider "Gen Rel to be flawed because it suffers from singularities (such as the BB and BH)".
3. Werner Israel, "The Internal Structure of Black Holes": Israel discusses "mass inflation" and the question of what "generic" black hole models look like in gtr. That is, the maximal extension of the Schwarzschild and Kerr solutions are regarded as "physically unrealistic" due to simple but unrealistic choice of boundary conditions. Specifically, the black holes which apparently exist in nature are thought to have been formed by gravitational collapse and therefore have very different causal structure inside the horizon. Penrose, Israel, and others, working with gtr itself, have discussed theoretical considerations suggesting that the interior of black holes "as they really exist in Nature" is quite different from what the Schwarzschild and Kerr vacuum solutions would suggest. One line of attack on elucidating this issue involves the remarkable local isometry discovered by Chandrasekhar between the "shallow interior" of the Kerr vacuum and a certain CPW model, the Chandrasekhar-Xanthopolous vacuum. By perturbing the two incoming waves of this model one obtains exact solutions which are
locally isometric to a perturbation of the shallow interior of the Kerr vacuum. Again, one will search in vain for any statements to the effect that Israel himself or other researchers consider "Gen Rel to be flawed because it suffers from singularities (such as the BB and BH)".
In addition to these chapters, in Part I of the book, the entirety of Part II is devoted to survey articles on the motivations for the search for a new theory of gravitation. These survey articles can be readily supplemented by others available at the arXiv, including papers by Rovelli on the motivation for the seach for quantum gravity and the original paper by Jacobson on an important reinterpretation of the Einstein field equation. If anyone, after consulting these resources, is unconvinced that I am correctly describing the motivations for mainstream efforts working toward a quantum theory of gravity, I'd suggest posting a query in sci.physics.research specifically asking for responses from
John Baez, Steve Carlip and Ted Jacobson, all of whom read that newsgroup at least sometimes and all of whom have contributed to the search under discussion. (To prevent further misunderstanding, I'd request that anyone following this suggestion include the URL of this PF thread.)
marcus said:
If this search succeeds, which I expect it to, it will in a certain sense replace the singularities with a deeper understanding of what goes on in, and possibly also beyond, them.
Regarding this search, I feel your statements require some further qualifications. You used the phrase "replacement" and "better theory" in your posts. These are weasel words which could easily mislead students and the general public if left unaccompanied by suitable qualification.
You could say that Newtonian gravitation was "replaced" by gtr in 1919, when the first solar system test decisively agreed* with gtr and disagreed with Newtonian theory. But it is important for students and the general public to understand that
Newtonian gravitation is alive and well, and for good reason: it's much simpler to work with, so much so that it makes good sense to use it whenever you can get away with this. In particular, vacuum solutions in Newtonian theory are governed by harmonic functions, which are rather well understood mathematically. Contrast the solution space of the vacuum EFE, which after 90 odd years is still not well understood mathematically. (See again the articles by Penrose and Israel.) Or contrast the way in which Newtonian gravitation has been employed for many decades to study statistically the evolution of stellar clusters and note that relativistic elaborations have recently become popular topics of research. For all these reasons, I prefer to say that Newtonian gravitation is known to break down under certain circumstances. We know how to tell when we should work with gtr instead, and we have some theoretical arguments suggesting an upper bound for the curvatures/energies at which we think that gtr too must break down.
(*Modulo later assertions that Eddington's data analysis was flawed--- let's not get into that; suffice it to say that gtr has been tested very thoroughly and has held up very well indeed. There is no doubt that the four classical solar system tests, and some even more impressive tests as well, give results in excellent agreement with gtr.)
You could say that a quantum theory of gravitation will be a "better theory" than gtr, simply because gtr is a classical field theory, yet nothing has been better confirmed by twentieth century physics than the fact that Nature adores the quantum. This theoretical conflict at the very heart of physics is aesthetically objectionable, as I think almost everyone would agree. But it is important to stress that ultimately, the true test of which of two theories is "better" is which agrees better with observation and experiment. Here, we have a problem, because it is not yet clear that experimental tests of the long sought theory of quantum gravity which could decisively confirm the expected breakdown of gtr under certain conditions can be conducted in the forseeable future. This leads to discussion of some philosphical issues which arise from the prediction of event horizons in gtr, and the search for a self-consistent quantum theory of gravitation, issues which seem to challenge the Baconian notion of the scientific method. However, discussion of these issues should probably move to the philosophy subforum.
marcus said:
the conventional meaning of a singularity is where a physical theory breaks down.
There's more to it than that, I think! Context is everything. You are probably thinking of the broad usage described in such sources as
http://mathworld.wolfram.com/Singularity.html (which is discussing how the term is used in mathematics generally, especially analysis, including applied mathematics, including physics). For a previous discussion at PF, see
https://www.physicsforums.com/showthread.php?t=124016
marcus said:
So you could say that the singularity is removed or resolved when you get a new theory which does not break down there.
I agree that removing the
coordinate singularity in the Schwarzschild exterior chart by passing to a new chart, such as the ingoing Eddington chart, is analogous to removing a removeable singularity when studying some holomorphic function in complex analysis. I might even agree that geometric singularites in gtr are somewhat analogous to non-removeable singularities of holomorphic functions. One has to be very careful not to try to push this analogy too far, however. In particular, the natural smoothness requirement in gtr is C^\infty or less , depending on context. As has been hinted at above, the maximal real analytic extensions of the exterior Schwarzschild and Kerr vacuums are considered to be unrealistic; to obtain reasonable boundary conditions you must drop the assumption of analyticity. The reason is that analytic functions are much too "rigid"; knowledge of the derivatives at some point determines the function in an entire neighborhood. To deal with radiation and avoid undesirable asymptotic properties we generally need to work with functions built out of "bump functions", which are not analytic.
ADDENDUM: thanks for the link the Kavli Institute conference, Marcus!
The very first slide I examined, Slide 04 from the talk by Beverly Berger, obviously illustrates a piece of the issue I alluded to above, that the interior of astrophysical black holes is currently believed to be somewhat similar to the future interior of the Schwarzschild vacuum but utterly unlike the RN electrovacuum or Kerr vacuum. As I noted, even discussing this issue, while natural within the context of gtr, appears to raise some startling philosophical challenges to the Baconian model of the scientific method!
Slide 06 refers refers obliquely models (particularly the mixmaster model) with which I am familiar. In another recent post I wrote out the Bianchi II analog for the classical (Bianchi IX) mixmaster model. These are homogeneous but anisotropic exact dust solutions, expressed in terms of a certain ODE (a different one for each of the different Bianchi types) which feature a "Big Bang type"
strong spacelike scalar curvature singularity. The BKL conjecture originally arose the context of asserting that the approach to a generic curvature singularity in gtr would resemble the behavior of the mixmaster model.
Slide 11 illustrates the time evolution of the Kasner exponents for the vacuum limit of the Bianchi I model (aka Kasner dust). I have investigated this in detail for all the models. Slide 13 shows the result of computing the Kretschmann scalar; this confirms what I just said, that the singularity is a scalar curvature singularity.
And this is cool!

Slide 16 illustrates the vacuum limit of the very Bianchi II model I just mentioned. See my Post # 4 in the thread
https://www.physicsforums.com/showthread.php?t=168995 The investigation I just mentioned showed that the Bianchi II model is similar to the Bianchi IX model, but the others can exhibit rather different behavior. As she says, the fascinating thing about the Mixmaster model is the infinite sequence of "Kasner epochs", with transitions being governed (Slide 22) by the expansion of a simple continued fraction! Since continued fractions came up in my diss (on generalizations of Penrose tilings!) I have always found that fascinating!
Slide 30 is related to something I obliquely alluded to and have discussed elsewhere at much greater length--- adding a massless scalar field or massless radiation to a CPW model can drastically change the nature of the curvature singualarity. Recall that such models can be locally isometric to models of black hole interiors (at least, roughly speaking "the outer half").
Slide 65 is worth bookmarking as a good illustration of current thinking on the topic of the article by Werner Israel cited above
http://online.kitp.ucsb.edu/online/singular_m07/berger/oh/65.html The null singularity is thought to be weak and possibly survivable, in which case it would also function as a Cauchy Horizon (CH; no relation).
69 slides, wow--- how long did this talk last?! But a great set of slides, nonetheless. But unfortunately, there seems to be something wrong with the links to many of the slides; many of them seem to be duplicates, as if someone made a goof when uploading the slides by hand

I hope she turns these slides into a proper survey article.
marcus said:
But if you prefer, when that happens I suppose you could use the word in a slightly different way and say that *the singularity is still there, we just understand better what goes on there*
Some people call what replaces the former BB singularity in their models by the name "the Planck regime"-----I don't pretend to understand what is meant by that----allegedly in certain cases the model cranks along smoothly thru the former singularity, but usual ideas of space and time momentarily cease to apply.
The term
Planck regime generally refers to sectional curvatures (which have the same units as energy density in relativistic units) associated with energies approaching the Planck energy, which is generally regarded as the upper bound of the region where, in theory, gtr might be valid. This regime lies far, far beyond the limits of the regime where observation and experiment have determined that gtr is valid within current error bars. It is currently believed that gtr should ultimately turn out to be useful, as a fundamental theory of gravitation, well beyond the curvatures expected near the exterior/interior of stellar mass black holes, but also generally acknowleged that good models in the context of gtr might require appeal some "effective field theory" taking account of quantum effects (see also the semiclassical approximation for the exterior), and also that gtr might break down at smaller energies than the Planck energy.
I have offered above some citations which I feel will help interested lurkers to better understand the current mainstream viewpoint concerning both theoretical problems in gtr and the motivations for the "next generation gravitation theory". Since I've gone to considerable effort to try to clarify these issues, I hope that at least some lurkers with a serious interest in modern astrophysics will follow up by studying these citations. I stress that I hope and believe that the articles in the above cited book will make at least some sense to those lacking mathematical or physical background! I also feel that the horrified reaction in some segments of the general population to black holes and to modern cosmology are based largely upon serious misunderstandings of what these notions, and science generally, really concern.