Forum Index Register Members List Events Mark Forums Read Help

 International Skeptics Forum mathematics of black hole denialism

 Welcome to the International Skeptics Forum, where we discuss skepticism, critical thinking, the paranormal and science in a friendly but lively way. You are currently viewing the forum as a guest, which means you are missing out on discussing matters that are of interest to you. Please consider registering so you can gain full use of the forum features and interact with other Members. Registration is simple, fast and free! Click here to register today.
 Tags black holes , electric universe , Leonard Abrams , relativity , Stephen Crothers

 8th March 2012, 10:25 AM #2 Perpetual Student Illuminator     Join Date: Jul 2008 Posts: 4,852 Crothers aside, good luck finding anyone among the Electric Universe folk at the Thunderbolts web site that will bark math or scratch chickens. __________________ It doesn't matter how beautiful your theory is, it doesn't matter how smart you are. If it doesn't agree with experiment, it's wrong. - Richard P. Feynman ξ Last edited by Perpetual Student; 8th March 2012 at 10:32 AM.
 8th March 2012, 11:53 AM #3 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 some basic topology We're going to need some basic concepts from topologyWP. Intuitively speaking, topology is an abstraction of geometry that concentrates on the properties of geometric spaces that don't change when the space is subjected to certain kinds of continuous deformations. A topological spaceWP consists of an arbitrary set X of points together with a topology (defined below) that, intuitively speaking, gives us a way of talking about which points are nearby. More formally, a topology T is a collection of subsets of X such thatthe empty set is an element of T X is an element of T intersecting any finite number of elements of T gives you an element of T intersecting any number of elements of T gives you an element of T Example: Suppose X is the set of ordered pairs where both x and y are real numbers. For any point p in X and for any positive real number ε, let N(p,ε) be the set of points whose Euclidean distance from p is strictly less than ε. (N(p,ε) is said to be the neighborhood of radius ε around p.) Suppose T consists of every set that can be obtained by taking the union of a (possibly infinite) set of such neighborhoods. Then X with topology T is the important topological space known as Euclidean 2-space or R2.Example: Suppose X is the set of points on the surface of a globe. For any point p in X and for any positive real number ε, let N(p,ε) be the set of points whose great-circle distance from p is strictly less than ε. Suppose T consists of every set that can be obtained by taking the union of a (possibly infinite) set of such neighborhoods. Then X with topology T is another important topological space known as the 2-sphere.If X is the set of points belonging to a topological space, and T is its topology, then the elements of T are said to be the open sets of that topological space. If f is a mathematical function that maps one topological space into another, then f is said to be continuous if and only if: for every open set V of the second topological space, the set f-1V (consisting of the points in the first space that f maps into V) is an open set of the first space. (This definition of continuous functions is more general than the usual definition, but coincides with the usual definition on familiar metric spaces such as Euclidean 2-space and the 2-sphere.) If the continuous function f is also a one-to-one correspondence (aka bijection) between the two topological spaces, and its inverse is continuous, then f is said to be a homeomorphism, and the two spaces are said to be homeomorphic to each other. If two topological spaces are homeomorphic, then there exists a continuous function f that converts one of those spaces into the other, while its inverse function f-1 reverses that conversion. It is also possible to apply the inverse function first, and to reverse that conversion using f. That means the two homeomorphic spaces are topologically equivalent, and differ only with regard to the reversible stretching and squeezing that's performed by f. Example. A doughnut (torus) is homeomorphic to a coffee cup, but is not homeomorphic to the 2-sphere or to Euclidean 2-space.Example. The 2-sphere is homeomorphic to the surface of a cube, but is not homeomorphic to Euclidean 2-space.Example. If you remove any single point from the 2-sphere, the topological subspace that remains is homeomorphic to Euclidean 2-space.That last example is so important that I'm going to define an explicit homeomorphism for it. Let's think of the 2-sphere as a perfect sphere embedded in Euclidean 3-space, and let's think of the point we remove as the south pole. For any other point p, define r(p) as the great-circle distance from p to the north pole, define s(p) as the great-circle distance from p to the south pole, and define φ(p) as the longitude of p (with any prime meridian you like); if p is the north pole, then define φ(p) to be zero. Define f(p)=<(r(p)/s(p)) cos φ(p), (r(p)/s(p)) sin φ(p)>. Then f(p) defines a one-to-one correspondence between the 2-sphere without its south pole and Euclidean 2-space. It's easy to check that f(p) is continuous and has a continuous inverse. Euclidean 2-space is therefore homeomorphic to the 2-sphere without its south pole. Instead of omitting just the south pole, we could omit any closed disk that's centered on the south pole and define s(p) to be the great-circle distance from p to the circular boundary of that missing disk. With that modification, the definition of f(p) above would give us a homeomorphism between Euclidean 2-space and the 2-sphere without that closed disk. Topologically speaking, it doesn't matter whether you remove a single point from the 2-sphere or an entire closed disk. Either way, you get a topological space that's equivalent to Euclidean 2-space. In like manner, removing a single point from Euclidean 3-space gives you a topological space that's homeomorphic to what you get by removing an entire closed ball from Euclidean 3-space. That italicized fact is the topological fact we need to explain where Abrams went wrong. Later on, we will also use the fact that the 2-sphere is not homeomorphic to Euclidean 2-space.
 8th March 2012, 11:53 AM #4 Almo Masterblazer     Join Date: Aug 2005 Location: Montreal, Quebec Posts: 6,825 Quote: According to the Electric Universe folk at the Thunderbolts web site, black holes do not exist. According to the EU folk, black holes are not even consistent with Einstein's general theory of relativity. __________________ Almo! My Blog "No society ever collapsed because the poor had too much." — LeftySergeant "It may be that there is no body really at rest, to which the places and motions of others may be referred." –Issac Newton in the Principia
 8th March 2012, 12:03 PM #5 shadron Philosopher     Join Date: Sep 2005 Posts: 5,918 Crothers appears to be a rather argumentative sort of Australian who started getting a PhD in Physics at UNSW. Early on he got a bee in his bonnet about black holes, and it became an obsession such that he changed his topic to Relativity. Subsequently his iconoclastic ideas and his his crankiness about them, along with his rather unsweet personality caused the university to expel him and his thesis advisor to disown him. Since then he has been waging a war against the whole of physics and a goodly bit of mathematics, denouncing such as: Originally Posted by crothers I have also had some correspondence with a number of other sheepish relativists of no consequence. Not one offered any science, just the authority of Hawking, Penrose, Einstein, and others. All were rude, stupid and incompetent (precisely what they accused me of being, evidently taking umbrage for my return of the epithets). Other big-shots in black holes and big bangs, such as Thorne, Misner, Israel, Rees, Penrose, Hawking, Ellis, Wald, little-shots such as J. Moffat, J. Barrow, S. Carroll, R. d'Inverno, B. Shutz, some tiny-shots not worth a mention, and a few other scribblers of textbooks and popular science, simply ignore correspondence. Every person he corresponded with is "inept" or mendacious. He made a formal attempt to have the Australian government abort funding to the Australian International Gravitational Observatory. He had a short article to Sky and Telescope rejected; it is here, and forms a possible introduction to his work: http://www.sjcrothers.plasmaresources.com/Unicorns.pdf All this has come from his website at http://www.sjcrothers.plasmaresources.com . Last edited by shadron; 8th March 2012 at 12:15 PM.
 8th March 2012, 02:33 PM #6 Almo Masterblazer     Join Date: Aug 2005 Location: Montreal, Quebec Posts: 6,825 Ok, I'm with you so far on the homeomorphism. Interesting stuff; I always liked topology. __________________ Almo! My Blog "No society ever collapsed because the poor had too much." — LeftySergeant "It may be that there is no body really at rest, to which the places and motions of others may be referred." –Issac Newton in the Principia
 8th March 2012, 02:36 PM #7 Ziggurat Penultimate Amazing     Join Date: Jun 2003 Posts: 40,872 Originally Posted by shadron Originally Posted by Crothers All were rude, stupid and incompetent If everyone you know is a jerk, it's you. Meaning Crothers, just in case it wasn't obvious. __________________ "As long as it is admitted that the law may be diverted from its true purpose -- that it may violate property instead of protecting it -- then everyone will want to participate in making the law, either to protect himself against plunder or to use it for plunder. Political questions will always be prejudicial, dominant, and all-absorbing. There will be fighting at the door of the Legislative Palace, and the struggle within will be no less furious." - Bastiat, The Law
 8th March 2012, 05:12 PM #8 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 where Abrams went wrong Stephen J Crothers wrote this biography of Leonard S Abrams, based on information provided by Abrams's widow: Originally Posted by Stephen J Crothers Dr. Leonard S. Abrams was born in Chicago in 1924 and died on December 28, 2001, in Los Angeles at the age of 77. He received a B.S. in Mathematics from the California Institute of Technology and a Ph.D. in physics from the University of California at Los Angeles at the age of 45. He spent almost all of his career working in the private sector, although he taught at a variety of institutions including California State University at Dominguez Hills and at the University of Southern California. He was a pioneer in applying game theory to business problems and was an expert in noise theory, but his first love always was general relativity. His principle theoretical contributions focused on non-black hole solutions to Einstein’s equations and on the inextendability of the “Schwarzschild” solution. Dr. Abrams is survived by his wife and two children. Abrams was wrong about the inextendability of the Schwarzschild solution, but he did some good stuff. In what follows, all quotations attributed to Abrams come fromLeonard S Abrams. Black holes: the legacy of Hilbert's error. Canadian Journal of Physics 67, 1989, page 919ff. http://arxiv.org/abs/gr-qc/0102055The first paragraph of that paper's conclusion, with my editorial comments added in blue: Originally Posted by Leonard S Abrams We summarize the result of the preceding sections as follows. The K-F (Kruskal-Fronsdal) black hole is the result of a mathematically invalid assumption, explains nothing that is not equally well explained by SS (Schwarzschild spacetime), cannot be generated by any known process, and is physically unreal. Clearly, it is time to relegate it to the same museum that holds the phlogiston theory of heat, the flat earth, and other will-o’-the-wisps of physics. That's quite a conclusion. Although I'm not a physicist myself, it's my impression that many (most?) physicists think the "white-hole" half of Kruskal-Fronsdal spacetime is unlikely to be physically real. The controversial part of Abrams's conclusion is that he regards everything inside the gravitational radius (aka Schwarzschild radius, event horizon) as physically unreal and "the result of a mathematically invalid assumption." It turns out that the mathematically invalid assumption was made by Abrams in his section 6. The first half of his paper is pretty interesting, however, and most of his Appendix A is okay as well. Before we get to his central error, I'll summarize the good stuff. Several spacetime manifolds, all of them equivalent In 1916, Karl Schwarzschild found the first nontrivial exact solution to Einstein's field equations, for a static spherically symmetric spacetime around an isolated, non-rotating, neutral star of mass m, regarded as a point mass. This is known as Schwarzschild's exterior solution. (He wrote a second paper that describes a solution for the interior of a star that isn't regarded as a point mass, but that interior solution isn't so relevant here.) As is now well known, Schwarzschild's exterior solution suffers from a coordinate singularity at what is now called the Schwarzschild radius r=2m. That didn't seem terribly consequential at the time, because the Schwarzschild radius lay well inside all known stars. If you wanted to understand spacetime inside a star, you'd use the interior solution, which didn't have that particular coordinate singularity. What's less well known is that, using the notational conventions I've been using in other threads, Schwarzschild's line-element (pseudo-metric) was:  \begin{align*} ds^2 &= - \left[ 1 - \frac{\alpha}{\sqrt{C}} \right] dt^2 + \frac{{C^\prime}^2}{4 C (1 - \alpha / \sqrt{C})} dr^2 + C d \Omega^2 \\ \alpha &= 2m \\ C &= (r^3 + \alpha^3)^{2/3} \\ C^\prime &= \frac{2r^2}{(r^3 + \alpha^3)^{1/3}} \\ r &> 0 \end{align*}That's an algebraically inconvenient way to write the pseudometric, so Abrams uses the following equivalent form, which he attributes to Brillouin:  \begin{align*} ds^2 &= - \frac{r}{r + \alpha} dt^2 + \frac{r + \alpha}{r} dr^2 + (r + \alpha)^2 d \Omega^2 \\ r &> 0 \end{align*}Abrams defines that spacetime as SS, and refers to it as Schwarzschild's spacetime. Transforming the r coordinate above by adding the Schwarzschild radius α yields the equation that most of us think of as the Schwarzschild metric:  \begin{align*} ds^2 &= - \frac{r - \alpha}{r} dt^2 + \frac{r}{r - \alpha} dr^2 + r^2 d \Omega^2 \\ r &> \alpha = 2m \end{align*}Abrams refers to that as Flamm spacetime SF. Note well that, in Flamm spacetime, the origin of Schwarzschild spacetime has been transformed from r=0 to r=2m. According to Abrams, that means we must think of the entire 2-sphere at r=2m (and arbitrary t) as representing a single point, which he regards as the point mass. Note also, however, that the 2-sphere at r=2m lies outside the Flamm spacetime, just as the point mass at r=0 lies outside the Schwarzschild spacetime. Abrams is attaching some extra-mathematical mental baggage to the mathematical manifolds he's defining. Finally, Abrams defines Hilbert's spacetime as the spacetime that's mathematically identical to the Flamm spacetime, but with different mental baggage: Abrams accuses Hilbert of thinking the point mass lies at r=0, and explains how Abrams thinks Hilbert came to think that way. That's Hilbert's alleged error, as mentioned in the title of the paper. As a mathematician, I have to ask: So what? Hilbert's mental states are no more relevant than Abrams's. What matters here are the manifolds (spacetimes) themselves. The Flamm and Hilbert spacetimes are obviously isometric. Both end at the Schwarzschild radius. Neither includes any points at the Schwarzschild radius, so their spatial slices are missing either a point (Flamm) or a closed ball (Hilbert) at their centers. Does it matter whether the part that's missing is a point or a closed ball? Not at all: As noted at the end of my previous post, the topological space you get by removing a single point from Euclidean 3-space is homeomorphic to the space you get by removing a closed ball. In his section 5, Abrams observes that Hilbert spacetime can be extended to a larger manifold that includes the Schwarzschild radius and points inside that radius. That extension bypasses the well-known coordinate singularity at the Schwarzschild radius of the Hilbert/Droste/Weyl metric (which is more popularly known as the Schwarzschild metric). Unfortunately, Abrams thinks the corresponding coordinate singularity at the central point mass of the original Schwarzschild spacetime is an irremovable "quasiregular singularity". Abrams therefore believes he has discovered an important difference between the Schwarzschild and Hilbert spacetimes. In reality, the "quasiregular singularity" at the central point mass of the original Schwarzschild spacetime can be removed by allowing the radial coordinate r to go negative. You can understand why Abrams never considered that possibility, but he should have: Abrams calls the reader's attention to the fact that the radial coordinates of these spacetimes are not identical to the radial coordinates of Euclidean space. He should have realized that the usual assumptions we make about Euclidean coordinates may not apply. If you want to see exactly how the original Schwarzschild spacetime can be extended by allowing r to go negative, you can read this recent paper that DeiRenDopa cited in another thread:Christian Corda. A clarification on the debate on "the original Schwarzschild solution". http://arxiv.org/abs/1010.6031Where Abrams went badly wrong In the original version of Abrams's paper, section 6 begins as follows: Originally Posted by Leonard S Abrams If two space-times are to be equivalent, it is certainly necessary that they be isometric i.e., that there exists a diffeomorphism from one to the other that carries the metric of one into the metric of the other. And since the presence of singularities of the manifold geometry is unaffected by diffeomorphisms, it is also necessary that equivalent space-times have the same “singularity structure”, i.e., the same singularities as one approaches corresponding boundary points. Now, SS and SH are isometric under Tα, So far, so good. All of that is true. Note, however, that the mathematical definition of a spacetime manifold does not mention any explicit "singularity structure". The singularities and their structure must be inferred from the manifolds themselves. Since SS and SH are mathematically equivalent as manifolds, we must infer the same "singularity structure" for both of them. Originally Posted by Leonard S Abrams but as shown in the preceding section, SH has no singularity corresponding to the quasiregular singularity at r = 0 in SS. Consequently, SS and SH are inequivalent. Since it was shown in Sect. 2 that SS is the space-time of a point mass, it follows that SH and its analytic extension (SK−F ) are not. That's where Abrams goes off the rails. He's comparing the extensibility of SH (which is a mathematical fact) to the mental baggage he's attached to the Flamm and Schwarzschild spacetimes, which is a mistake. Abrams thinks the Flamm and Schwarzschild spacetimes are inextensible, but he never actually proved that, and he's wrong. Abrams must have realized there was something wrong with his section 6, because he published an erratum that replaces his entire section 6 with a paragraph that starts like this: Originally Posted by Leonard S Abrams By inspection, SS and SH are isometric via Tα and thus equivalent. Abrams should have stopped right there, and drawn the obvious conclusion. But he went on: Originally Posted by Leonard S Abrams However, it was shown above that due to the difference in the topology of their boundaries, they are associated with different singularity structures. Thus, the universes (US and UH) corresponding to SS and SH (with their indicated boundaries) are inequivalent... That's just wrong. The boundaries aren't part of the spacetime manifolds, so Abrams is discussing his mental baggage. Mathematically, it is more correct to imagine all of those boundaries as 2-spheres (for any t) than to imagine any of those boundaries as points, because all of those manifolds can be extended by attaching a 2-sphere (and points within). None of those manifolds can be extended by attaching a single point. The "singularity structures" aren't part of the spacetime manifolds either. Singularities must be inferred from the spacetime manifolds. Because these spacetime manifolds are equivalent, they have the same singularities. Full stop. Any differences that Abrams may think he perceives come from the mental baggage he's attached to these manifolds. In my next post, I'll point out some other assumptions that Abrams should not have made. We'll get to the Crothers papers eventually, which is where the real fun begins. Last edited by W.D.Clinger; 8th March 2012 at 05:17 PM. Reason: corrected a subscript
 8th March 2012, 06:29 PM #9 Perpetual Student Illuminator     Join Date: Jul 2008 Posts: 4,852 Thanks Clinger. I'm doing my best to follow this -- you've gotten my attention. __________________ It doesn't matter how beautiful your theory is, it doesn't matter how smart you are. If it doesn't agree with experiment, it's wrong. - Richard P. Feynman ξ
 8th March 2012, 07:39 PM #10 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 erratum 1 Oops. I wrote: Originally Posted by W.D.Clinger More formally, a topology T is a collection of subsets of X such thatthe empty set is an element of T X is an element of T intersecting any finite number of elements of T gives you an element of T intersecting any number of elements of T gives you an element of T Please replace the highlighted word with "Taking the union of". We're almost done with the hard stuff. Tomorrow I'll outline an explicit definition of a manifold that extends Flamm spacetime (which is better known as Schwarzschild spacetime) to include the Schwarzschild radius (event horizon) and part of its interior, and then I'll start on the fun stuff: identifying some of Crothers's more obvious mistakes.
 9th March 2012, 02:04 PM #12 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 mathematical proof that the Schwarzschild manifold can be extended As noted in my original post, many electric universe folk have been claiming that black holes are incompatible with the theory of general relativity. The most straightforward way to refute that claim is to present mathematical proof that a certain spacetime manifold exists and has all of the properties that define a black hole. I'll outline and then sketch that proof here. I'll leave some of the details as exercises, mainly because inclusion of all details would lengthen the proof and make it harder to read. If you're capable of understanding the details I omit, then you are probably capable of filling them in on your own, and many of you have already done homework of that sort. I'll give hints in blue. Outline of proof Define a differentiable manifold M.Define the points of M. Define a topology for M. Prove the properties required of a topological manifold:Hausdorff paracompact locally Euclidean Define a set of charts (coordinate systems) that cover M. Prove those charts comprise an atlas for M. Define a spacetime manifold M.Define a Lorentzian pseudo-metric on M. Prove the metric satisfies Einstein's field equations for empty space. Prove M has the properties that define a black hole. Definition of M as a differentiable manifold It's convenient to have a distinct name for every point of the manifold we're defining. There are too many points to list each name individually, so we'll use a systematic naming process based on coordinates. The points of the manifold can be arbitrary mathematical objects, so we'll identify each point with its name (which will be an ordered list of 4 coordinates). Let X0 be the set of all 4-tuples of the form <τ,r,θ,φ> where τ, r, θ, and φ are real numbers in the range-∞ < τ < ∞ 0 < r < ∞ 0 < θ < π -π < φ < π and π is the Greek letter pi (representing the ratio between a Euclidean circle and its diameter). Let X1 be the set of all <τ,r,θ,π> where τ, r, and θ are real numbers in the range-∞ < τ < ∞ 0 < r < ∞ 0 < θ < π Let X2 be the set of all <τ,r,0,0> where τ and r are real numbers in the range-∞ < τ < ∞ 0 < r < ∞ and let X3 be the set of all <τ,r,π,0> where τ and r are as above. DefineX = X0 ∪ X1 ∪ X2 ∪ X3 The existence of those sets is an immediate consequence of the usual axioms for set theory and mathematics. Except where noted, the existence of everything we define will be an obvious consequence of basic axioms.X0 will be the domain of our primary chart. We'll need a second chart whose domain is an open set that covers the meridian points in X1 and the polar points in X2 ∪ X3. Let the domain of that second chart be obtained by rotating the domain of the first chart as in exercise 7 of the exercises I formulated for Farsight. The domains of the two charts will then be connected by an obvious homeomorphism.For every point p=<τ,r,θ,φ> in X0 and for every positive real number ε, define the open neighborhood N(p,ε) to be the set of all points q=<τ',r',θ',φ'> in X0 such thatτ - ε < τ' < τ + ε r - ε < r' < r + ε θ - ε < θ' < θ + ε φ - ε < φ' < φ + ε These are square neighborhoods. The round neighborhoods you might have been expecting can be obtained by taking an infinite union of these square neighborhoods. Similarly, square neighborhoods can be obtained by taking an infinite union of round neighborhoods.We also need an analogous definition of open neighborhoods for points on the meridians and at the poles, but I'll leave that as an exercise for readers. Points on the meridians and poles add a lot of detail without adding much insight, so I'll basically ignore X1 ∪ X2 ∪ X3 from now on.Define the open sets of M as the set of all (finite and infinite) unions of open neighborhoods, together with the empty set (which can be regarded as a degenerate union of zero open neighborhoods). Exercise: Prove the intersection of any two open sets is an open set.The union of all open neighborhoods is X, so we have defined a topology on X. We must now prove that the topology is Hausdorff, paracompact, and locally Euclidean. Exercise: Prove the topology is Hausdorff. (You have to show that for every pair of distinct points p and q, there's an open neighborhood U around p and an open neighborhood V around q such that U and V don't overlap.)Exercise: Prove the topology on X is consistent with the usual Euclidean distance metric on X.Exercise: Prove the topology on X is paracompact. (Hint: Every metrizable space is paracompact, and the previous exercise says the topological space we've defined is metrizable, so this is just modus ponens. You don't even have to know what paracompactness means!)Let f: X0 → R4 be the function that maps <τ,r,θ,φ> to <τ,r,θ,φ>. Exercise: Prove that if V is an open subset of R4, then the set of points that f maps into V is an open subset of X.Exercise: Prove that if U is an open subset of X0, then f(U) is an open subset of R4Exercise: Prove that f defines a one-to-one correspondence between X0 and f(X0).Exercise: Prove that f is a homeomorphism between X0 and f(X0). (Hint: That's just a succinct summary of the three exercises above!)Exercise: Define an analogous function g for the subset of X obtained by rotating X0 as in exercise 7. (Hint: Define g as the composition of f with that rotation's inverse.)The exercises above prove that the topological space we have defined is locally Euclidean. They also provide us with two homeomorphisms f and g whose combined domains cover all of X. Exercise: Let U be the intersection of X0 with the domain of g, and define h: f(U) → g(U) by h(x) = g(f-1(x)). Prove that h is a one-to-one correspondence.Exercise: Prove that h is differentiable.Repeat both of the above exercises for h: g(U) → f(U) defined by h(x) = f(g-1(x)).The exercises above prove that f and g have the composition property required of charts. Taken together, the domains of f and g cover all of X. Define M to be the differentiable manifold whose set of points is X, whose topology is as defined above, and whose atlas consists of the two charts f and g. Definition of a Lorentzian manifold We have now defined a Riemannian (locally Euclidean) manifold M. What we really wanted, however, was a pseudo-Riemannian (locally Lorentzian) manifold M. Instead of repeating the above definition with the Minkowski pseudo-metric on R4 substituted for the Euclidean metric throughout, I'm going to leave that as an (uninteresting) exercise for the reader. Almost all of that definition is exactly the same as for a locally Euclidean manifold, and the few steps that aren't exactly the same are almost exactly the same. The more important fact is that we have not yet defined a metric (or pseudo-metric) on the manifold. Definition of M as a spacetime manifold To define a Lorentzian pseudo-metric tensor field on M, it suffices to define the tensor field for both the domain of the chart f (which is X0) and for the domain of the chart g. With f and g the same up to a spatial rotation, it's enough to define the tensor field on X0. Define the Lorentzian pseudo-metric tensor field on X0 by $ $ds^2 = - d \tau^2 + (dr + \beta d \tau)^2 + r^2 d \Omega^2$$where m is a non-negative parameter to be discussed later and  \begin{align*} \alpha &= 2 m \\ \beta &= \sqrt{\frac{\alpha}{r}} \end{align*}The definition above assigns a pseudo-metric tensor to every point of M. The nonzero components of that tensor are  \begin{align*} g_{00} &= g_{\tau \tau} = - (1 - \beta^2) \\ g_{01} &= g_{10} = g_{\tau r} = g_{r \tau} = \beta \\ g_{11} &= g_{r r} = 1 \\ g_{22} &= g_{\theta \theta} = r^2 \\ g_{33} &= g_{\phi \phi} = r^2 sin^2 \theta \end{align*}To prove that g is a pseudo-metric tensor, we must prove it's bilinear, symmetric, and nondegenerate. Bilinearity is obvious because we've written it as a 4x4 matrix with only 6 nonzero elements. Symmetry is obvious because the matrix is symmetric.Exercise: Prove g is nondegenerate. (Hint: Calculate the determinant of the matrix of coefficients, and show that it's nonzero everywhere in X0.)The pseudo-metric defined above is not static, because its coefficient for dτ dr is nonzero. The next step is to prove g satisfies Einstein's field equations for empty space: $ $R_{\mu \nu} - \frac{R}{2}g_{\mu\nu} = 0$$That's just a calculation, but it's a chore to do the straightforward way (by using g to calculate 40 Christoffel symbols, using those to calculate 20 components of the Riemann tensor, and using those to calculate the Ricci tensor Rμν and the Ricci scalar R). I'm going to cheat. In his paper cited earlier, Abrams proves that all metrics of a certain form satisfy the vacuum field equations. Similar proofs are found in standard references such as Misner/Thorne/Wheeler (section 23.2 and Box 23.3) or Wald (section 6.1). I'm not going to cheat very much, though. Exercise 25, in the "Black holes" thread, proves that the Painlevé-Gullstrand metric defined above is equal to the Schwarzschild metric outside the event horizon, and everyone seems to agree that the Schwarzschild metric satisfies Einstein's equations. That proof also reveals that the r, θ, and φ coordinates of our spacetime M are identical to the corresponding Schwarzschild coordinates. Exercise 26, in the "Black holes" thread, proves that the Schwarzschild manifold (when restricted to the part outside the Schwarzschild radius) is a proper submanifold of the spacetime manifold we've defined above. That completes our proof that the Schwarzschild manifold is extensible, contrary to the central claim made by Abrams and by Crothers. Proof that M has the properties of a black hole The free parameter m represents the total mass that's present at the center of each spatial slice of M. That can be confirmed by examining the asymptotically Newtonian gravitational field implied by the manifold M, or we can cheat again by using the meaning of m in the Schwarzschild metric, which is equivalent to the one we defined wherever both are defined. Let's calculate the coordinate speed of radial light at the event horizon of our manifold. (That coordinate speed of light is coordinate-dependent, but we already know that the r coordinate of our coordinate system is identical to the r of Schwarzschild coordinates, and we also know that a positive dτ represents a positive (future-directed) increment of time.) Light travels along null geodesics, so ds=0 for light. For radial light, dθ=dφ=0 as well. At the event horizon, β = 1. Hence  \begin{align*} 0 &= - d \tau^2 + (dr + \beta d \tau)^2 \\ &= dr^2 + 2 \beta dr d \tau + (\beta^2 -1) d \tau^2 \\ &= dr^2 + 2 dr d \tau \\ &= dr (dr + 2 d \tau) \end{align*}At the event horizon, therefore, dr=0 (for outgoing light) or dr=-2 dτ (for ingoing light). The coordinate speed of outgoing light is dr/dτ=0, and the coordinate speed of ingoing light is dr/dτ=-2. Outgoing light isn't making any outward progress at all. Looks like a black hole to me.
 9th March 2012, 02:16 PM #13 ctamblyn Data Ghost     Join Date: Nov 2009 Location: The Library Posts: 2,746 Fascinating thread, W.D.Clinger! (Sorry to make a content-free post like this, but it's the only way I know to subscribe to the thread ) __________________ Join Team 13232 - Folding@Home
 10th March 2012, 09:59 AM #15 Perpetual Student Illuminator     Join Date: Jul 2008 Posts: 4,852 Quote: Originally Posted by Stephen J Crothers Denote ordinary Efcleethean∗ 3-space by E3. Clinger, I am not doing well following your argument. Unfortunately, my fading mathematics skills are not up to the task but I am getting the drift of your conclusions. Thank you. By the way, Efcleethees as a transliteration of Ευκλείδης is pathetic in several ways. First, rendering Ευ as Ef is quite bizarre since in ancient Greek the υ here is sounded as something like oo in English (the f sound came into Greek during the middle ages). Similarly, δ as th is something that comes from Greek of the middle ages; ancient Greek sounded δ as d. Using c instead of k comes about because of our inheriting Euclid's name through Latin (this has happened to many words, like the prefix cardio_ = Greek kardio_). The use of ee has absolutely no basis whatsoever. If one were to be a stickler regarding ther transliteration of ancient Greek words, Ευκλείδης would be rendered as Eukleides. His scholarship seems to be as careless and lacking in this area as it is in his analysis of black holes. __________________ It doesn't matter how beautiful your theory is, it doesn't matter how smart you are. If it doesn't agree with experiment, it's wrong. - Richard P. Feynman ξ Last edited by Perpetual Student; 10th March 2012 at 10:21 AM.
 10th March 2012, 10:12 AM #16 geni Anti-homeopathy illuminati member     Join Date: Oct 2003 Posts: 28,185 Coming up with a non back hole solution to the orbit of S2 is somewhat difficult.
 10th March 2012, 10:45 AM #17 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 Stephen J Crothers has published 17 articles in Progress of Physics. One of those papers was co-authored by Jeremy Dunning-Davies, who edited an issue of The Open Astronomy Journal that's being discussed in the thread that asks "How did crackpot Electric Universe papers get published in a peer-reviewed journal?" Crothers was sole author of the other 16 papers. Today I'm going to discuss the very first of those papers:Stephen J Crothers. On the general solution to Einstein's vacuum field and its implications for relativistic degeneracy. Progress in Physics April 2005, Volume 1, pages 68-73. http://www.ptep-online.com/index_fil...5/PP-01-09.PDFThat paper contains four technical sections, plus a dedication to Leonard S Abrams and an epilogue that explains how Crothers became interested in general relativity through the Adams paper I discussed previously. The first two technical sections basically repeat what Adams wrote, adding only some snark and a sloppy reformulation (that I believe to be incorrect) of one relatively unimportant formula. In section 3, Crothers strikes out on his own. Here's what remains of the first half of section 3 after snark, redundancy, and irrelevancy have been excised: Originally Posted by Stephen J Crothers 3 Implications for gravitational collapse As is well known the gravitational potential Φ for an arbitrary metric is$ $g_{00} = (1 - \Phi)^2, \hbox{\hspace{72pt} (21)}$$from which it is concluded that gravitational collapse occurs at Φ = 1. ...snip... From (21),$ $\Phi = 1 - \sqrt{g_{00}} = 1 - \sqrt{1 - \frac{\alpha}{\sqrt{C(r)}}},$$so in the weak far field,$ $\Phi \approx 1 - \left( 1 - \frac{\alpha}{2 \sqrt{C}} \right) = \frac{m}{\sqrt{C}},$$and so$ $g_{00} = 1 - \frac{\alpha}{\sqrt{C(r)}} = 1 - \frac{\alpha}{[ (r - r_0)^n + \alpha^n ]^{\frac{1}{n}}}, \hbox{\hspace{18pt} (23)}$$...snip... According to (23), at r=r0, g00 = 0 and Φ = ½. The weak field potential approaches a finite maximum of ½ (i.e. ½c2), in contrast to Newton's potential. The conventional concept of gravitational collapse at rs = α is therefore meaningless. Several things: According to (23), at r=r0, g00 = 0. Equation (23) says nothing about Φ. If g00 = 0, then equation (21) says Φ = 1, not ½. I think Crothers got Φ = ½ by using his "weak far field" approximation under the assumption that C(r0)=(2m)2, but that weak field approximation is obviously the wrong formula to use for calculations in the strong field at r=r0. (Crothers takes that value of the radial coordinate r to be the location of the point mass, when it's actually the event horizon, but that doesn't matter here: it's a strong field either way). The correct calculation of Φ = 1 appears to refute the main point Crothers is trying to make here. (I'm not entirely sure what point Crothers is trying to make here. Perhaps a physicist could explain it to me. Crothers couldn't.) Finally, g00 is coordinate-dependent. (That's an observation, not a criticism, because the gravitational potential has to be coordinate-dependent.) Crothers thinks he's stuffed all of that coordinate-dependence into C(r), but that's true only for coordinate systems that satisfy a number of assumptions. Crothers made some of those assumptions explicit, but quite a few others are implicit. One of those assumptions is that the coordinates take advantage of spherical symmetry so he can ignore all but the time and radial coordinates; that's fine. Another assumption is that the metric is static. That rules out all coordinate systems that cover the event horizon and its spatial interior. So I don't even believe equation (21) can be true in general. The second half of section 3 is constructed atop that pile of fail. Some excerpts: Originally Posted by Stephen J Crothers Time stops at the Schwarzschild point-mass. The conventional concepts of the Schwarzschild sphere and its interior are meaningless. ...snip... Applying (31) to the Kruskal-Szekeres extension gives rise to the absurdity of an infinite acceleration at r = α where it is conventionally claimed that there is no matter and no singularity. It is plainly evident that gravitational collapse terminates at a Schwarzschild simple point-mass, not in a black hole. ...snip... The correct conclusion is that gravitational collapse terminates at the point-mass without the formation of a black hole in all general relativistic circumstances. That's an extraordinary claim, because it contradicts all mainstream research into the implications of general relativity for black holes. When I can identify obvious errors in the chain of reasoning that's alleged to support the claim, I'm inclined to regard the extraordinary claim as unproven. When I've done the math myself, and found that correct mathematics refutes most of what Crothers has to say, I'm inclined to regard the extraordinary claim as incorrect. When I survey a fair sample of the 17 papers Crothers has published in Progress in Physics, and look at the magnificent effort Crothers has put into resisting correction by knowledgeable relativists and mathematicians, I'm inclined to regard Crothers as a crackpot. Last edited by W.D.Clinger; 10th March 2012 at 10:46 AM.
 11th March 2012, 08:31 AM #18 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 Originally Posted by Perpetual Student By the way, Efcleethees as a transliteration of Ευκλείδης is pathetic in several ways....His scholarship seems to be as careless and lacking in this area as it is in his analysis of black holes. Yes, and thank you for pointing that out. As Crothers demonstrated, not everyone knows the Greek alphabet. Originally Posted by geni Coming up with a non back hole solution to the orbit of S2 is somewhat difficult. Thank you. I found this reference:S. Gillessen, F. Eisenhauer, S. Trippe, T. Alexander, R. Genzel, F. Martins, T. Ott. Monitoring stellar orbits around the massive black hole in the galactic center. http://arxiv.org/abs/0810.4674That gives me an excuse to discuss the least mathematical of the 17 papers Crothers has published in Progress in Physics:Stephen J Crothers. A brief history of black holes. Progress in Physics, April 2006, Volume 2, pages 54-57. http://www.ptep-online.com/index_fil...6/PP-05-10.PDFI quoted most of that paper's abstract in this thread's opening post. Here follow some excerpts from the paper itself. Originally Posted by Stephen J Crothers Black holes are now “seen” everywhere by the astronomers, even though no one has ever found an event horizon anywhere. Consequently, public opinion has been persuaded that the black hole is a fact of Nature and that anyone who questions the contention must be a crackpot. It has become a rather lucrative business, this black hole. Quite a few have made fame and fortune peddling the shady story. Yet it must not be forgotten that all the arguments for the black hole are theoretical, based solely upon the erroneous Hilbert solution and the meaningless Kruskal-Szekeres extension on it. One is therefore lead to wonder what it is that astronomers actually “see” when they claim that they have found yet another black hole here or there. Among other things, they see S2 orbiting a completely dark object of about 4 million solar masses. Originally Posted by Stephen J Crothers It has been recently proved that the black hole and the expanding Universe are not predicted by General Relativity at all [12, 13], in any circumstances. Crothers is citing himself. His reference [12] is the paper I discussed in post #17 above. His reference [13] generalizes the errors of reference [12] to a non-zero cosmological constant.
 11th March 2012, 12:09 PM #19 Perpetual Student Illuminator     Join Date: Jul 2008 Posts: 4,852 Originally Posted by W.D.Clinger ... At the event horizon, therefore, dr=0 (for outgoing light) or dr=-2 dτ (for ingoing light). The coordinate speed of outgoing light is dr/dτ=0, and the coordinate speed of ingoing light is dr/dτ=-2. Outgoing light isn't making any outward progress at all. Looks like a black hole to me. Since I am unable to follow the mathematical argument here, please indulge me to ask a question in (non-mathematical) layman's terms. There are many well established equations in physics that have been confirmed experimentally. Of course, this includes GR. However many of these equations are known to break down under extreme conditions. A naive example of this would be pV = k, which is valid for a wide range of pressures but breaks down at extreme pressures. When GR is applied at the extreme conditions of a black hole the mathematics may work, but is it not true that we have no way of knowing if it is actually valid under these extreme conditions? __________________ It doesn't matter how beautiful your theory is, it doesn't matter how smart you are. If it doesn't agree with experiment, it's wrong. - Richard P. Feynman ξ
 11th March 2012, 12:40 PM #20 Ziggurat Penultimate Amazing     Join Date: Jun 2003 Posts: 40,872 Originally Posted by Perpetual Student Since I am unable to follow the mathematical argument here, please indulge me to ask a question in (non-mathematical) layman's terms. There are many well established equations in physics that have been confirmed experimentally. Of course, this includes GR. However many of these equations are known to break down under extreme conditions. A naive example of this would be pV = k, which is valid for a wide range of pressures but breaks down at extreme pressures. When GR is applied at the extreme conditions of a black hole the mathematics may work, but is it not true that we have no way of knowing if it is actually valid under these extreme conditions? That is correct, we cannot yet know that with certainty. We have no reason to think it breaks down at the event horizon (though we do have reason to think it will break down at the Planck scale), but without experimental tests, we cannot be sure. But that's what it would take to prevent a black hole: for GR to be wrong. And if it is wrong, we have nothing to replace it with right now. Even if we did, it would need to agree with GR where we can test it, and we would still have no way of choosing between GR and such an alternative without testing those extreme conditions, which we can't yet do. __________________ "As long as it is admitted that the law may be diverted from its true purpose -- that it may violate property instead of protecting it -- then everyone will want to participate in making the law, either to protect himself against plunder or to use it for plunder. Political questions will always be prejudicial, dominant, and all-absorbing. There will be fighting at the door of the Legislative Palace, and the struggle within will be no less furious." - Bastiat, The Law
 11th March 2012, 01:29 PM #21 Reality Check Penultimate Amazing   Join Date: Mar 2008 Location: New Zealand Posts: 22,476 Originally Posted by W.D.Clinger Among other things, they see S2 orbiting a completely dark object of about 4 million solar masses. There is other evidence for black holes listed in the On the Physical Reality of Black Holes thread. Three years ago direct observation of the Sag* event horizon was being discussed. __________________ NASA Finds Direct Proof of Dark Matter (another observation) (and Abell 520) Electric comets still do not exist!
 11th March 2012, 01:45 PM #22 Perpetual Student Illuminator     Join Date: Jul 2008 Posts: 4,852 Originally Posted by Ziggurat That is correct, we cannot yet know that with certainty. We have no reason to think it breaks down at the event horizon (though we do have reason to think it will break down at the Planck scale), but without experimental tests, we cannot be sure. But that's what it would take to prevent a black hole: for GR to be wrong. And if it is wrong, we have nothing to replace it with right now. Even if we did, it would need to agree with GR where we can test it, and we would still have no way of choosing between GR and such an alternative without testing those extreme conditions, which we can't yet do. Is there any possibility that the Large Hadron Collider might shed some light on this question? __________________ It doesn't matter how beautiful your theory is, it doesn't matter how smart you are. If it doesn't agree with experiment, it's wrong. - Richard P. Feynman ξ
 11th March 2012, 02:11 PM #23 Ziggurat Penultimate Amazing     Join Date: Jun 2003 Posts: 40,872 Originally Posted by Perpetual Student Is there any possibility that the Large Hadron Collider might shed some light on this question? Unless something very surprising happens, I don't think so. __________________ "As long as it is admitted that the law may be diverted from its true purpose -- that it may violate property instead of protecting it -- then everyone will want to participate in making the law, either to protect himself against plunder or to use it for plunder. Political questions will always be prejudicial, dominant, and all-absorbing. There will be fighting at the door of the Legislative Palace, and the struggle within will be no less furious." - Bastiat, The Law
 11th March 2012, 04:28 PM #24 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 Originally Posted by Perpetual Student Originally Posted by W.D.Clinger ... At the event horizon, therefore, dr=0 (for outgoing light) or dr=-2 dτ (for ingoing light). The coordinate speed of outgoing light is dr/dτ=0, and the coordinate speed of ingoing light is dr/dτ=-2. Outgoing light isn't making any outward progress at all. Looks like a black hole to me. Since I am unable to follow the mathematical argument here, please indulge me to ask a question in (non-mathematical) layman's terms. Ziggurat answered your non-mathematical (scientific) question. The trouble you're having with the mathematical argument is likely to be my fault. The steps of that argument go as follows:The Painlevé-Gullstrand metric is equal to the familiar Schwarzschild metric outside the event horizon.That's exercise 25 in the "Black holes" thread. Given exercise 24, the proof of exercise 25 is just a trivial calculation using high school algebra. The r, θ, and φ coordinates of the Painlevé-Gullstrand metric are identical to the r, θ, and φ coordinates of the Schwarzschild metric (by exercise 25). The Painlevé-Gullstrand metric satisfies Einstein's field equations for empty space.(I didn't prove that, because the proof is both tedious and uncontroversial. Even Crothers agrees that the familiar Schwarzschild metric satisfies Einstein's field equations for empty space. Combined with exercise 25, that implies that the Painlevé-Gullstrand metric satisfies Einstein's field equations outside the event horizon. The coefficients of the metric are analytic in the coordinates, so the Painlevé-Gullstrand metric must satisfy the field equations at the event horizon as well. That's all we need for the following steps.) According to general relativity, light follows null geodesics. For null geodesics, ds=0. For radial geodesics, which are directed entirely toward or entirely away from the center of spherical symmetry, the conventional spherical coordinates θ (elevation) and φ (azimuth) don't change. For radial geodesics, therefore, dθ=dφ=0. At the event horizon, r=2m so β=1. Substituting ds=dθ=dφ=0 and β=1 into the Painlevé-Gullstrand metric, we find that null radial geodesics at the event horizon satisfy  0 = dr (dr + 2 d \tau) \end{align*} That means one of the two factors must be zero. That means dr=0 or dr=-2dτ. That means dr/dτ=0 or dr/dτ= - 2. That means the world line for inwardly directed radial light has coordinate velocity dr/dτ= - 2 at the event horizon. (The radial coordinate for inwardly directly radial light at the event horizon is decreasing as the time coordinate τ advances into the future.) That means the world line for outwardly directed light has coordinate velocity dr/dτ=0 at the event horizon. (The radial coordinate for outwardly directly radial light at the event horizon isn't changing.) That means a photon that's emitted radially outward at the event horizon never escapes beyond the event horizon. It stays forever at the event horizon. That also means a photon that's emitted radially inward at the event horizon proceeds rapidly toward the central singularity, contra Crothers and Farsight. If you don't understand how one of those steps follows from preceding steps, or you don't understand how one of those steps is derived, please let me know which steps require elaboration.
 12th March 2012, 06:36 AM #26 tensordyne Muse     Join Date: May 2010 Posts: 693 Oh, one note, the unfalsifiability of either the event horizon of singularity also has a practical side to it. Sure, you could go into a putative BH's horizon, but since you would not make it out (unless you think the wormhole models are correct), you would not be able to tell anyone, unless I guess there were no singularity or event-horizon, hmm, does that mean they are falsifiable after all? __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933
 12th March 2012, 07:09 AM #27 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 Originally Posted by tensordyne I would love to discuss in another thread perhaps why I think this is so, but for now it seems more worthwhile to go over what I make out to be the main claims of Crothers and why I either agree or disagree with those claims. Thank you. I have something to add to your third note. Originally Posted by tensordyne 3. He claims that the r in the Schwarzschild solution is the curvature of radius. Agreed. Calculated it myself and it is. How much emphasis you put into the significance of this fact is up for debate I suppose though. The radial coordinate r is defined in terms of the area of a 2-sphere whose center is that's symmetric around the central singularity; it is not defined as the Euclidean distance from that singularity to the 2-sphere. That fact is acknowledged by standard textbooks. In Misner/Thorne/Wheeler, r is defined by equation (23.9'). In Wald, r is defined by equation (6.1.3). As Wald wrote: Originally Posted by Robert M Wald In flat, three-dimensional Euclidean space, r would also be the value of the radius of the sphere, i.e., the distance from the surface of the sphere to its center. However, in a curved space, a sphere need not have a center...and even if it does, r need not bear any relation to the distance to the center. Nevertheless, we shall refer to r as the "radial coordinate" of the sphere. MTW's and Wald's textbooks were published long before Crothers published his first paper. When Crothers writes things like Originally Posted by Stephen J Crothers None of the relativists have understood this, including Einstein himself. he is either ignorant or lying. Crothers has written things like that in just about every paper he's published. (The quotation above comes from "A brief history of black holes", which I cited in the OP and again in post #18.) Last edited by W.D.Clinger; 12th March 2012 at 07:48 AM. Reason: added parens around equation numbers, text in gray
 12th March 2012, 08:26 AM #28 tensordyne Muse     Join Date: May 2010 Posts: 693 Hmm, I wonder though, do you have any references showing prior understanding by the physics community at large that the r in the Schw. Sol. is the Gaussian Curvature of radius (assuming you agree with that determination, but it is easy to check)? I find that the r in the S. Sol. being the curvature of radius an interesting notion myself. It tells you how spherical trigonometry should act for instance. Does one define the r as being the Aerial Coordinate, or any of its brethren, or as the Curvature of radius of the two-sphere about the central point. Both definitions of r will give the same answer for Schwarzschild Geometry, the interesting thing about interpreting r as radius of curvature is that it only works for spherically symmetric geometries. __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933
 12th March 2012, 08:27 AM #29 tensordyne Muse     Join Date: May 2010 Posts: 693 What about the other points??? __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933
 12th March 2012, 09:06 AM #30 DeiRenDopa Master Poster   Join Date: Feb 2008 Posts: 2,582 Originally Posted by Reality Check There is other evidence for black holes listed in the On the Physical Reality of Black Holes thread. Three years ago direct observation of the Sag* event horizon was being discussed. The object is SgrA*, as in a point source within the SgrA complex, which is the "A" (radio) source in the constellation of Sagittarius. "Sag" is used, sometimes, as an abbreviation for Sagittarius, in the name of (other) astronomical objects, e.g. the Sagittarius Dwarf Elliptical Galaxy (Sag DEG).
 12th March 2012, 09:22 AM #32 DeiRenDopa Master Poster   Join Date: Feb 2008 Posts: 2,582 Originally Posted by tensordyne 5. He challenges whether Astronomers have detected BH's or not because the test of a BH behaving as per current understanding is not whether there is a certain amount of energy-density in a given region (that does not test the predictions about BH's as per current consensus understanding), but tests of things like whether there is an event horizon or singularity (or singularities perhaps more realistically speaking?). Further, it is a complaint of his that both the event horizon and any singularities are unfalsifiable. I agree with the complaint that just because a region has such and such a density of energy does not show that there is a BH there acting in the way that BH's are supposed to act according to current consensus. The problem is that energy density in some region is not the same as observing a singularity or event horizon (or perhaps other putative aspect of BH's). This is true. I do agree that singularities are unfalsifiable, but I think that event horizons in principle constitute a falsifiable prediction. The aspect of light not being able to escape would probably be unfalsifiable, but it is asymptotically falsifiable to show that closer and closer to such a horizon things get smeared out as it were. Direct imaging of the SgrA* event horizon (or, if you prefer, object resolution below that of the Schwarzschild radius) is likely to be announced (and appropriate papers published) some time in the next five years or so. Ditto that of the SMBH in the nucleus of M87. How? By VLBI in the (sub-)mm part of the microwave spectrum, with various baselines, up to (and perhaps beyond) the Earth's diameter. Such imaging will certainly provide the possibility of good, almost direct, tests of various GR-based hypotheses concerning black holes (or at least their event horizons). Would you like some references? The current astronomical evidence for the existence of black holes is a good deal more extensive, and wider ranging, than merely "a region has such and such a density of energy"! For example, in (some) HMXB (high mass x-ray binaries) matter seems to be transferred from the lower-mass object (usually an O or B star) to the higher-mass one ... and then disappear. Estimates of the mass of the more massive of the pair, in such HMBXs, put them all over the limit for gravitational bound neutron stars; for those HMXBs in which the matter does not seem to disappear, the estimated mass of the compact object in the pair is below this limit. More direct evidence will come when the first unambiguous inspiral signal is observed by the likes of LIGO or VIRGO (probably within the next five years or so) ...
 12th March 2012, 09:31 AM #33 W.D.Clinger Illuminator     Join Date: Oct 2009 Posts: 3,420 Originally Posted by tensordyne Hmm, I wonder though, do you have any references showing prior understanding by the physics community at large that the r in the Schw. Sol. is the Gaussian Curvature of radius (assuming you agree with that determination, but it is easy to check)? As I understand the definition of Gaussian curvature, the Gaussian curvature of a Euclidean 2-sphere of radius r is 1/(r^2). I am not a physicist, and can't speak for the physics community at large. It's easy to show that, for at least the past 40 years, the relativists have been aware of this relationship between Gaussian curvature and the Schwarzschild radial coordinate r. That relationship is implied by statements such as Originally Posted by Hawking & Ellis The coordinate r in this metric form is intrinsically defined by the requirement that 4πr2 is the area of these surfaces of transitivity. In my previous post, I cited the equations given in MTW and in Wald, which make that relationship even more explicit than in Hawking&Ellis. I also quoted Wald's lucid explanation of the important distinction that must be made between the Schwarzschild radial coordinate r and the more intuitive notion of the distance between a 2-sphere and its center. Originally Posted by tensordyne What about the other points??? I think I agree with your four other points as stated. (In a couple of cases, you alluded to things on which we might disagree, but I'm not going to argue with things you haven't said.) Erratum 2: In post #17, I twice wrote "Adams" when I meant "Abrams". Brain fart.
 12th March 2012, 09:45 AM #34 tensordyne Muse     Join Date: May 2010 Posts: 693 Yeah, the mathematicians have known since Gauss that in a spherically symmetric geometry that there will be a sub-manifold that is given by a sphere about the symmetry point that has radius of curvature that is constant, and thus can be used as a coordinate. I do not care to debate about the relevant merits of using the differing definitions of r. I am glad I was careful enough not to step outside of any lines. It was hard at times. Maybe in a day or two now that this is covered I will cover why I think BH's are not a good prediction of physics as far as it is currently understood. Until then, its been enjoyable. __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933 Last edited by tensordyne; 12th March 2012 at 09:46 AM.
 12th March 2012, 10:16 AM #35 tensordyne Muse     Join Date: May 2010 Posts: 693 Originally Posted by DeiRenDopa Direct imaging of the SgrA* event horizon (or, if you prefer, object resolution below that of the Schwarzschild radius) is likely to be announced (and appropriate papers published) some time in the next five years or so. Ditto that of the SMBH in the nucleus of M87. How? By VLBI in the (sub-)mm part of the microwave spectrum, with various baselines, up to (and perhaps beyond) the Earth's diameter. Such imaging will certainly provide the possibility of good, almost direct, tests of various GR-based hypotheses concerning black holes (or at least their event horizons). Would you like some references? The current astronomical evidence for the existence of black holes is a good deal more extensive, and wider ranging, than merely "a region has such and such a density of energy"! For example, in (some) HMXB (high mass x-ray binaries) matter seems to be transferred from the lower-mass object (usually an O or B star) to the higher-mass one ... and then disappear. Estimates of the mass of the more massive of the pair, in such HMBXs, put them all over the limit for gravitational bound neutron stars; for those HMXBs in which the matter does not seem to disappear, the estimated mass of the compact object in the pair is below this limit. More direct evidence will come when the first unambiguous inspiral signal is observed by the likes of LIGO or VIRGO (probably within the next five years or so) ... That is pretty interesting news (at least to me). I have been to LIGO (the facility in Washington State). Pretty neat. Disappearing mass huh. Crazy! __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933
 12th March 2012, 10:20 AM #36 tensordyne Muse     Join Date: May 2010 Posts: 693 Oh yeah, I forgot, I would like some refs in answer to your previous question DRD. __________________ I learned much from the Order of the Jesuits. Until now, there has never been anything more grandiose, on the earth, than the hierarchical organization of the Catholic church. I transferred much of this organization into my own party. — Hitler, 1933
 12th March 2012, 11:15 AM #37 DeiRenDopa Master Poster   Join Date: Feb 2008 Posts: 2,582 Originally Posted by tensordyne Oh yeah, I forgot, I would like some refs in answer to your previous question DRD. Here's a good place to start: Sgr A*: The Optimal Testbed of Strong-Field Gravity (an astro-ph preprint) If you know how to use ADS - click on "NASA ADS" under References and Citations at the bottom right - you will find a bunch of others on this topic (click on "References in the article" and "Referred Citations to the Article"). In terms of popsci publications, Sky&Telescope's February 2012 issue carries an article on this topic (there are plenty of others too). Would you also like references on HMXBs? On the GWR signature of an inspiral?
 12th March 2012, 11:41 AM #38 shadron Philosopher     Join Date: Sep 2005 Posts: 5,918 Originally Posted by DeiRenDopa The object is SgrA*, as in a point source within the SgrA complex, which is the "A" (radio) source in the constellation of Sagittarius. "Sag" is used, sometimes, as an abbreviation for Sagittarius, in the name of (other) astronomical objects, e.g. the Sagittarius Dwarf Elliptical Galaxy (Sag DEG). Will the cloud approaching Sag A* help delineate it's nature? https://sigmaorionis.wordpress.com/2...it-on-gravity/
 12th March 2012, 01:51 PM #39 DeiRenDopa Master Poster   Join Date: Feb 2008 Posts: 2,582 Originally Posted by shadron Will the cloud approaching Sag A* help delineate it's nature? https://sigmaorionis.wordpress.com/2...it-on-gravity/ Possibly, but likely to tell us more about the gas cloud than the SMBH (supermassive black hole). If the numbers are correct (I didn't check them), the event horizon is ~3 light-hours in radius, but the closest the cloud will get is ~36 light-hours. At that distance I doubt there'd be any strong-field effects which could be easily teased out of any observations we might make of it. Oh, and that article uses both the correct name (SgrA*) and an incorrect one (SagA*)!
 12th March 2012, 03:38 PM #40 Vorpal Extrapolate!   Join Date: Jan 2005 Posts: 1,104 I don't think the Ricci scalar is a particularly natural generalization of Gaussian curvature. It's defined as the product of principal curvatures of a submanifold, and so in general not proportional to the Ricci scalar. Though this disagreement doesn't really affect the particular issue at hand. Originally Posted by W.D.Clinger It's easy to show that, for at least the past 40 years, the relativists have been aware of this relationship between Gaussian curvature and the Schwarzschild radial coordinate r. Yes. Additionally, some books (e.g., Weinberg's) also treat Gaussian curvature as synonymous with Ricci scalar with a 1/2 factor. __________________ For every philosopher, there exists an equal and opposite philosopher. They're both wrong.

International Skeptics Forum