Hilbert Theory of Everything
Hilbert Theory of Everything
net/publication/355807649
When the mathematician David Hilbert tried in 1916 to build the first Theory
of Everything
CITATIONS READS
0 84
1 author:
Jean-Pierre Petit
Aix-Marseille Université
120 PUBLICATIONS 505 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Jean-Pierre Petit on 01 November 2021.
The present article is based on the two publications made by Hilbert in 1915
and 1916 ([1], [2]). Before entering into the heart of the matter, it is necessary to
specify the context in which these works were realized.
We are in 1915. At that time, only two forces at work in the universe were
known: the electromagnetic force and the force of gravity. The other two: the
strong interaction force, binding the components of the atomic nuclei, and the
weak force, responsible for beta radioactivity, would not be discovered until
much later.
The upheaval introduced by Albert Einstein, with his special relativity, was
finally accepted, at least by some advanced minds, since it is the only one to
account for the experiment initiated by the American Abraham Michelson in
1887, which concludes that the value of the speed of light is invariant, regardless
of the reference frame, fixed or immobile, in which we operate. No other credible
interpretation of the speed of light was found.
However, this idea took time to become one of the pillars of modern physics, so
much so that when the Nobel Prize was awarded in 1921 to its author, it was not
for this idea but for his interpretation of the photoelectric phenomenon. Einstein
is considered the inventor of the word "photon".
{x A
, yA , z A } et {x B
, yB , z B }
the distance between them is:
(x − xA ) + ( y B − yA ) + ( z B − z A )
2 2 2
L= B
As for the time t = 0, it obviously refers, in 1915, to the instant of the creation of
the universe, "by God". At that time, before the irruption of special relativity in
the mode of science and physics, the question "what is then the geometry of
space-time? It cannot be identified with a Riemanian mathematical space, defined
by a metric. Otherwise, what sense can be given to the following formula, defining
a "length » s :
(1) ds 2 = dx 2 + dy 2 + dz 2 + a 2 dt 2
What about time? It would never occur to anyone to imagine a negative time,
nor would it occur to anyone to imagine a retrochronic time flow. This variable t
therefore belongs to the set t ∈! + .
It is him who imposes this idea of a space-time continuum, defined by the way
in which expresses the length, according to a tool, qualified by the French
mathematician Henri Poincaré of pseudo-metric:
ds 2 = c 2 dt 2 − dx 2 − dy 2 − dz 2
dx 2 + dy 2 + dz 2
c 2 dt 2 − dx 2 − dy 2 − dz 2 ≥ 0 ou : v2 = 2
≤ c2
dt
This implies that the speed is less than c . To this metric, we associate its
signature, in the form of the sequence of its signs:
(+ − − − )
This choice appears for example in the article published in 1915 by Einstein,
referring to his calculation of the advance of Mercury's perihelion [3] .
4
It is easy to see that this choice of signature is ubiquitous in the papers of all
authors who published papers prior to Hilbert's 1916 paper. Let us quote
Schwarzschild, Weyl, Droste, etc.
A metric that is totally regular, whatever the values of the two variables. How
can we say, on the basis of this simple fact, that it is a 2-sphere? Well, we perform
a change of coordinate θ = arcsin(r / R) to shift from the set { θ , ϕ } to the set
{ r , ϕ } . Then we get :
R2
(2) ds = 2 2 dr 2 + r 2dϕ
2
R −r
We then notice that for r = R the first term has a zero denominator. We have
thus created a coordinate singularity. Another remark: for r < R the term ds2 is
negative. The element of length ds becomes pure imaginary. This is normal: we
are outside the sphere. For these 2D metrics, defining objects, surfaces, we see a
thread emerging. The metric is a polynomial of degree two, a bilinear form,
expressed with a certain set of coordinates, a priori real. If the length element is
also real, it is because our definition interval has been judiciously chosen.
5
R2
(2) ds = 2 2 dr 2 = dr 2 + dz 2
2
R −r
(3) r 2 + z 2 = R2
This surface is thus generated by the rotation of a circle centered at the origin
of the coordinates, around the oz axis. It is indeed a sphere S2. We could do the
same thing starting from two expressions of the metric of the torus T2:
dr 2
(4) ds 2 = rg 2 dθ2 + (Rr + rgcosθ )2 dϕ 2 et ds 2 = + r 2 dϕ 2
− r 2 + 2 r Rr + rg 2 − Rr 2
(5) r = R r + rg et r = R r - rg
Moreover the ds is real only if this denominator remains positive:
(6) R r - rg < r < R r + rg
otherwise we are outside the surface. An imbedding operation in the three-
dimensional Euclidean space allows to discover geometrical properties which
will make appear the mode of generation of the torus. But nobody is interested in
the geometrical properties of this object, for example for r < (Rr - rg) . If we
decided to do so, we would leave the mode of the real to enter a strange complex
geometry, which then has nothing to do with tangible 2D objects.
These are objects defined by metrics whose signs are all positive. We will call
them elliptic metrics. This is true for an unlimited number of dimensions, let's
consider for example the 3D object:
6
(8) ds 2 = dx 2 + dy 2 + dz 2
Thus we would find our familiar representation space. In (7) the points are only
marked in 3D polar coordinates. But, by studying the object with the help of a
family of surfaces with constant r, fitting together like Russian dolls, we could
"read" the object with the help of this folding method. This space has geodesics
which are the infinite number of lines that we can draw in this 3D space. Among
these are the straight lines coming from the origin, which are perpendicular to
these surfaces S2 which are spheres. The coordinates { r , θ , ϕ } are Gaussian
coordinates, a concept to which Hilbert will refer in what follows.
We can leave the 3D Euclidean by imagining 3D spaces, 3D hypersurfaces defined
by:
and we would have the same folding system by spheres. We will consider the
particular case:
dr 2
(10) ds =
2
+ r 2 ( dθ2 + sin 2θ dϕ 2 ) Rs > 0
R
1− s
r
For the moment there is no time variable. In the perspective of an extension of
what we said about 2D surfaces to 3D hypersurfaces, defined by their metric,
from which we can build their geodesic curves, we will consider the existence of
this hypersurface in its ds is real, so when ds2 > 0. This gives a defining space such
that r > Rs . By making r constant we can still leaf through the object with a family
of spheres nested one inside the other like Russian dolls. But there is then a
sphere of minimal area 4π Rs 2 which corresponds to the metric:
It is a throat sphere. But what happens in r = Rs? The denominator of the first
term of the second member becomes zero. Is this sphere singular? No, it is still a
coordinate singularity. We can eliminate it by changing the variable:
(12) r = Rs ( 1 + L n chρ )
1 + L n ch ρ 2
th ρ d ρ 2 + Rs2 ( 1 + L n ch ρ ) ( dθ )
2
(13) ds 2 = Rs2 2
+ sin 2 θ dϕ 2
L n ch ρ
7
There is then no limit in the definition space, and can vary from minus infinity
to plus infinity. The metric potentials are:
(14)
1 + L n ch ρ 2
g ρ ρ = Rs2 th ρ
L n ch ρ
gθθ = Rs2 ( 1 + L n ch ρ )
2
( 1 + L n ch ρ )
2
gϕϕ = Rs2 sin 2 θ
How did this operation make this metric regular? When the hyperbolic cosine
is unity and its logarithm is then zero. So the denominator in the first term of the
second member is always zero. Yes, but the same is true for the hyperbolic
tangent. If we do a series development in the neighborhood of ρ = 0 you will see
that g ρ ρ → 2 . This hypersurface is therefore perfectly regular. Its throat sphere
for ρ = 0 has a minimum area equal to 4π Rs 2 . To calculate this "2D volume" (a
surface) you must do:
(15) ∫∫ g dθ dϕ
But you can convince yourself that the non-contractibility of the object is still
present. All you have to do on this sphere is to make θ = π / 2 and to vary ϕ from
0 à 2π . You get a finite perimeter p = 2π R s . What happened? You are no
longer in your comfortable three-dimensional Euclidean representation space
(the only one you have in fact, to build a mental image).
This hypersurface is therefore a three dimensional manifold, equipped with an
elliptic Riemanian metric. In this new system of axes the determinant is never
zero. This means that this hypersurface is orientable. At any point one can define
a vector product and the "corkscrew rule", which goes with it, will be the same at
all points. It is obviously painful for the neurons to consider this kind of "space
bridge" which creates a passage between two Euclidean 3D spaces (which are like
"one inside the other"). We can call it a "3D diabolo". We will see later how the
mathematician Hermann Weyl created and studied this object, in 1917.
By the way, you can take these steps with the "2D diabolo", defined by the metric:
dr 2
(16) ds 2 = + r 2 dϕ 2 Rs > 0
Rs
1−
r
With the same change of coordinate you could check its regularity by obtaining:
1 + Logch ρ 2
th ρ d ρ 2 + Rs2 ( 1 + Logch ρ )
2
(17) ds 2 = Rs2 dϕ 2
Logch ρ
8
But then there is a much more "tangible" way to apprehend this surface. It is
enough to imbed it in a three-dimensional space and to build its meridian
( ϕ = cst ) . You then obtain, as for the sphere, the differential equation:
dr 2
(18) ds 2 = = dr 2 + dz 2
R
1− s
r
Its solution is the "lying parabola":
z2
(19) r = Rs +
4Rs
We will find this pattern in the analysis made in 1917 by Weyl, which we will
detail later.
Let's move on to the 3D hypersurface. Here, we can no longer draw, but the
idea of projection into a 3D Euclidean representation space is the same. This time,
the inhabitant of this space is you, it is me. It will be very difficult to consider
"that inside this throat sphere there is nothing", and that one cannot contract a
sphere by giving it an area lower than a finite value, in a word that this 3D space
is not contractible.
Through these 2D and 3D examples we see that the fact of using a Euclidean
space of representation (the only mental tool we have) to try to read, to
"understand" (etymologically "to take together") objects presenting themselves
in the form of sets of points leads us to imagine objects that, in fact, do not exist.
This is particularly striking for the 3D structure where we are totally unable,
mentally, to get rid of this idea of "the inside of the throat sphere".
(20) ds 2 = c 2 dt 2 − dx 2
(21) δ ∫ ds = 0
AB
dx
(22) v= < c
dt
What do the theorists do then? What do we find in all the books, the courses?
We find images like these, in 2D or 3D:
11
On the left a way to represent this hyperbolic space (t,x) in two dimensions. On
the right the classical "light cone". On the left figure the red curve is supposed to
represent a path corresponding to x = v t with v < c
The black curve represents a path with v > c . It is located in the "elsewhere".
But in doing so, what are we doing? We are trying to build a 2D image of a
hyperbolic space by projecting it into a 2D Euclidean space, of metric:
(23) ds 2 = c 2 dt 2 + dx 2
We thus create "something that does not exist", in this case this greyed-out
surface or volume "outside the light cone". This space does not exist any more
than this "interior of the throat sphere" that we create by trying to project the
structure of the 3D diabolo into a 3D Euclidean space. This "elsewhere" exists,
etymologically speaking, only in our imagination and stems from the image we
have created.
This preamble having been made, we will move on to the subject of the article,
to the way Hilbert created his own representation of space-time and hence of the
universe.
12
In 1915 Hilbert was 53 years old and already had an impressive record of
achievement behind him, which had made him known far beyond the German
borders. He loved abstraction and logic and was known, among other things, for
publishing a treatise in which he defined the axioms underlying Euclidean
geometry. All German and foreign mathematicians consider him a "beacon" in
the discipline and know that his name will go down in the history of mathematics.
He was not always interested in physics. An amusing anecdote is reported about
him. When he was asked to replace the mathematician Felix Klein, who every
year gave a lecture to the students of an engineering school in Göttingen, he
began his lecture with these words:
It should be noted that at that time a similar gap existed in the field of
experimental physics, at its fundamental level, where people who were physicists
and chemists were working on what would later be called nuclear physics.
Among them was the colorful New Zealand physicist Ernst Rutherford. Solicited
during the First World War by politicians, who asked him if he could not produce,
from his work, some new weapon that would allow England to overtake its
adversary, Germany, he had answered them, as he was laying the foundations of
the future nuclear physics:
to Einstein his vision of things: he thought he was on the verge of unifying the
only two forces known at that time, the electromagnetic force and gravitation.
Einstein worked differently, by trial and error. Great mathematics is not his forte.
Very intuitive, being above all a fantastic physicist, it is by trial and error that he
is about to arrive, after ten years of reflection, at what will be considered as the
key to a new theory, that of general relativity. But Hilbert beat him to the punch
on November 20, 1915 [1]. It was only five days later that Einstein sent to the
same journal: the Annals of the Prussian Academy of Sciences [4]:
Fig.9 : The Einstein field equation in its first form (25 nov. 1915).
Alas, four days earlier Hilbert wrote in his article this equation:
Translation :
⎡ g K⎤ + ∂ g L = 0
⎣ ⎦µ ν ∂g µ ν
⎡ g K⎤ = g ( K − 1 K g )
⎣ ⎦µ ν µν
2
µν
For Hilbert K µ ν is the Ricci tensor, which Einstein calls Rµ ν . K is the scalar
derived from it, the "Ricci scalar", which is designated by the letter R in Einstein.
Moreover, the:
∂ gL
= − g Tµ ν
∂g µ ν
1
(24) Rµ ν − R gµ ν = Tµ ν
2
It is indeed in this form, which lacks the term attached to the cosmological
constant:
Λ gµ ν
that Einstein will introduce later, on Hilbert's advice, to succeed in building the
first relativistic cosmological model, describing a stationary universe, that this
equation will enter history.
The equation in Einstein's paper, which is 5 days later than Hilbert's, is just
another equivalent form, where we can recognize, on the right, "the matter tensor
Tim » and « the Laue scalar» T, which derives from it 2 . But Hilbert adds a
construction of the equation by variational method by basing it on an action built
on what he calls a "function of the universe":
(25) H=K+L
2 Built from the matter tensor, in the same way that the Ricci scalar R derives
from the Ricci tensor Rim.
17
Indeed, Einstein and Hilbert were pursuing, at a time described as "hectic", two
parallel research programs, where Einstein focused on gravitation alone, while
Hilbert dreamed of uniting the two force fields, electromagnetic and gravitational.
In [3] you can read about these days of agitation and doubt. But finally Einstein
chose to calm down, writing to Hilbert on December 20, 1915 (see this reference,
page 48) :
- There was a certain resentment between us, the cause of which I do not
wish to analyze. I have fought against the bitterness associated with it,
and with complete success, I think of you again with unmixed friendship,
and I wish you would think the same way.
In all rigor the conclusion should have been to attribute this equation to both
authors. But at that time Einstein's steps were not yet completely assured. On the
other hand, Hilbert's brilliant career is a recognized fact. The elder one, very
sporty, leaves the premium to the younger one.
Spectroscopy was born in Germany, in Heidelberg, in 1859 with the first works
of Gustav Kirchhoff and Robert Bunsen, inventor of the gas burner of the same
name. It allows to identify the nature of a source on the basis of its spectral
signature. At the same time, with the help of a telescope installed on the roof of
the Vatican, Father Angelo Secchi pursued the idea that each star is linked to a
deceased person. But in the United States, in New England, at the same time the
astronomer Edward Pickering undertook a vast classification of the stars,
according to their spectrum, which will give birth to the Hertzprung-Russel
diagram in 1900. In 1865 the Scottish genius James Clerk Maxwell published the
equations that govern electromagnetism.
In 1916, the Englishman Eddington followed very closely both the experimental
and observational advances and the progress of the theory. He participated
closely in the movement that led to the understanding of the mechanisms of
energy production in the form of radiation within stars, which would exploit the
understanding of radioactivity, a theory that would only become functional in
1920.
Since 1840 we know the velocities of stars (and beyond their masses),
evaluated by the effect discovered by the Austrian Christian Doppler (1803-
1853) and the French Armand Fizeau (1819-1896).
Thanks to Newton, celestial mechanics had taken its bearings. Confronted with
the problem of the instability of the trajectories of the planets, he believed that,
19
from time to time, it was God who, operating behind the scenes, put them back
into their orbits. This idea was invalidated by the Frenchman Pierre Simon de
Laplace who solved the problem using mathematics. Questioned by Bonaparte,
who asked him what was the place of God in all this, he replied "that he did not
need this hypothesis in his calculations". In 1902, the Englishman James Jeans
formalized the mechanism of gravitational instability giving rise to stars and
planets.
The first elementary particle discovered was the electron, by the Englishman
J.J.Thomson in 1897, thus at the immediate dawn of the century. The idea results
from the interpretation of the experiments carried out by the Englishman
Crookes where a cathode placed in a vacuum tube projects its "cathodic
radiation", which is deflected by a magnetic field. In 1995 the Frenchman Jean
Perrin identified these "rays" as a jet of electrons. Very quickly the ratio mass-
charge and determined and the latter is measured in 1911 by the American
Millikan.
It remains that nobody imagines for a single second any evolution of the cosmic
scene, perceived as globally homogeneous and stationary. The idea of a creation
by God, at an "instant zero", is imposed in everyone's mind, whether explicitly
formulated or not.
Let us add that the very beginning of the discovery of the deep nature of the
force of gravity, reinterpreted in terms of geodesics of a very weakly curved
space, does not change the global nature of the cosmos.
In this year 1915, which was decidedly rich in scientific events of the first
magnitude, we saw that Einstein had published, on November 25, 1915, a paper
presenting the equation of the gravitational field [4]. But, on the same day, he
brings a second important contribution in the form of a first linear solution,
which gives a precise evaluation of the advance of Mercury's perihelion [5]. The
linearization is amply justified, the phenomenon, minimal, a few tens of seconds
per century, can be assimilated to a disturbance. This result sounds like a
thunderclap. Not only the approach of the sky phenomena with the help of a field
equation represents a major paradigmatic leap, but a solution of this same
equation brings the key of an enigma remained until now without solution. A
work which is confirmed a few weeks later when the Austrian Karl Schwarzschild
[6] , who writes to Einstein, in December 2015, that he has just constructed the
linear solution.
Of course, the general formalism of relativity shows that the points of this space
can be located by an infinite number of different coordinate systems, just as there
is an infinite number of ways to locate the points on a sphere, to map it. But
Hilbert keeps in mind that there must be a particular system, better than the
others, that he calls "true". (Eigentliche3). The underlying idea is that of a 4D
space layered by an infinity of 3D hypersurfaces stacked on top of each other.
3 That which is most suitable, most appropriate, most in tune with reality.
21
The mass points obviously follow geodesics of this time space. They go then
according to "time lines" (Zeitlinie). The drawing shows this family of time lines,
perpendicular to the 3D hypersurfaces representing space. Of course, if there
were no force, the 3D hypersurfaces of space would be 3D Euclidean spaces, and
the trajectories would be parallels, perpendicular to these parallel folds. And
nothing would happen. But the gravity forces result in a barely perceptible
warping of the 3D hypersurfaces. Correlatively, the time lines deviate slightly
from this family of parallel lines. This being the case, we remain very close to a
Euclidean structure. Hilbert therefore starts by introducing four coordinates
( w1 , w2 , w3 , w4 ) which he designates as "universal parameters" (Weltparameter).
The first three coordinates refer to space, while w4 refers to time. The instant
w4 = 0 represents, even if Hilbert does not formulate it explicitly, "the instant of
the creation of the world by God" (Hilbert comes from a protestant family, deeply
religious).
For Hilbert, time is of a different essence than space. The elegant way to
account for this is to imagine that the coordinate of time is purely imaginary,
which he does by writing, on the first page of his paper :
(26) w1 = x1 w2 = x2 w3 = x3 w4 = ix4
22
G ( X 1 , X 2 , X 3 , X 4 ) = ∑ gµ ν X µ X ν
µν
He does not specify his choice concerning this form until six pages later:
Hilbert then considers a curve whose points are marked with a parameter p :
(29) xs = xs ( p) ( s = 1, 2 , 3, 4 )
It specifies well that these coordinates the xs ( p) are real. He then divides his
curve into portions and considers the expression :
dxs
(31) G( )>0
dp
He then decided to call these portions of the curve segments (Strecke). He then
introduced a first "length of this segment", according to:
dxs
(32) λ = ∫ G( ) dp
dp
dxs
(33) G( )<0
dp
and the integral calculated along this other portion of the curve will be called the
proper time of this timelike curve:
dxs
(34) τ=∫ − G( ) dp
dp
dxs
(35) G( ) = 0.
dp
Thanks to the introduction of the minus sign under the root, Hilbert finds the
proper time of special relativity:
But now you have the origin of the change of signature, which has imposed
itself as a standard today, in cosmology as well as in theoretical physics, without
finding a trace of an article that justifies it.
He will not say more, in the rest of the article, about the nature of these
mysterious regions of his space-time where the lengths are measured with this
scalar. And this while he concentrates with great insistence on what can have,
according to him, a physical meaning (Physicalischer Natur).
A little further on, Hilbert defines the light cone (Null-kegel: the null cone)
which is in as = ( x1 , x2 , x3 , x4 ) (its vertex) and whose current point has
coordinates ( X 1 , X 2 , X 3 , X 4 ) satisfying the equation:
(39) G ( X 1 − x1 , X 2 − x2 , X 3 − x3 , X 4 − x4 ) = 0
And he specifies that all the time lines (timelike curves) resulting from the point
as are located inside this four-dimensional part of the world whose border is the
temporal separation of as .
All time lines (time-like curves) from the point as are located inside this four-
dimensional part of the world whose border is the temporal separation of as . He
then focuses on the problem of causality in physics, looking for a "true"
coordinate system.
On this subject he states :
- A space-time coordinate system is called "true" (Eigentliches Raum-
Zeitkoordinatensystem) if it is a system for which the following four
inequalities are satisfied, with the additional condition that the determinant
is negative.
25
(40)
dx4
(41) ≠0
dp
He deduces that along this time line, the "true" time coordinate x4 must be
systematically increasing and cannot decrease. Because a time line remains a
timeline under any transformation of the coordinates, two point events located
on the same time line can never correspond to the same value x4 of the time
coordinate, through a "true" space-time transformation. This means that these
two events cannot be simultaneous.
We thus see that the cause and effect relations underlying the principle of
causality (Kausalitätsprinzips), do not lead to internal contradictions in this new
physics, if we take into account the inequalities (31) as part of our basic
equations, which leads us to confine ourselves in "true" space-time coordinates.
Hilbert now introduces the important point of his presentation: the use of
coordinates that he decides to call Gaussian, because they represent a
generalization of the polar coordinate system used by Gauss in his theory of
surfaces. Figure (13) illustrates the concept, which is a foliation, where these
surfaces correspond to a constant value of x4. The family of orthogonal curves are
geodesics along which this coordinate runs. If we opt for a coordinate system
where g 44 = − 1 then the x4 coordinate is identified with the proper time . The
Gaussian coordinates then satisfy the relation (32) and correspond to:
(42) g14 = 0, g 24 = 0, g 34 = 0, g 44 = − 1 4
dxs
(46) τ = ∫ G( ) dp
dp
Hilbert's choice is less clear and forces him to situate the real, time-like
trajectories, in a representation such that G < 0. He must then introduce a change
of sign, and opt for the relatio:
dxs
(47) τ = ∫ − G( ) dp
dp
To this we can add the idea, singular, of endowing space with a second
measurement tool, giving a length, whose physical nature is not even touched
upon in the article, nor in the following ones, and which will give birth to the
myth of "spacelike curves".
space. Instead of rotating the object we can decide to observe it from a different
angle.
The objects of the space-time are movements, characterized by the energy E
and the impulse p which are associated to them 5 . The isometry group of
Minkowski space, the Poincaré group, has a subgroup, the Lorentz group, which
happens to be the equivalent of the group of rotations and symmetries, in the
Euclid group. The latter operates rotations and symmetries that preserve lengths
(isometry: same length). The Lorentz group "operates rotations in four
dimensions" and preserves a length, that of the impulse-energy quadrivector.
These who see things in this way, through this "group-view" are then tempted
to imagine that this x4 dimension is real and is measured in ... meters. What
creates these "hyperbolic rotations" then comes from the axiomatic construction
of the Lorentz group:
⎛ 1 0 0 0 ⎞
⎜ ⎟
0 −1 0 0
(48) LT G L = G with the Gramm matrix G =⎜ ⎟
⎜ 0 0 −1 0 ⎟
⎜⎝ 0 0 0 −1 ⎟⎠
( x1 , x2 , x3 )
These are tangible for him. Time is another matter. Nobody can take a second
between thumb and forefinger. So, Hilbert concludes, this one must be of another
nature, imaginary. Finally, another point, the universe has a beginning, in x4 = 0.
Before the play began, the author had to set the stage before the curtain rose.
All the objects were put in their place, the stars and their procession of planets,
ready to launch themselves into their orbits. The distances that separated them
being predefined and real.
Hilbert lists these data. These are the ten potentials gµ ν (µ ,ν = 1,2,3) which
emerge from the symmetrical tensor of format (4,4), representing the matter. To
this we must add, at any point, the components of the quadrivector
qs (s = 1,2,3,4) of electromagnetism. This makes a total of fourteen potentials.
But, when counting the equations, including those found in 1840 by the genius
Maxwell, Hilbert counts only ten, independent of each other.
Under such conditions, as is the case in this new physics of general relativity, he
concludes that it is not possible, from the knowledge of physical quantities at the
present moment, to determine future values in a unique way. Faced with this
impossibility of anchoring a logic of physics on a causality based on concrete
elements, Hilbert falls back on the opinion that "to follow the essence of this new
principle of relativity one must require the invariance, separately, of each postulate
of physics that has a physical meaning". And he adds "In physics, we must consider
everything that is not invariant by change of the system of coordinates, as devoid of
physical meaning". And, without any real mathematical argumentation, since he
adds "it is not mathematical problems that are important to discuss here". And he
29
g11 = 1, g 22 = 1, g33 = 1, g 44 = − 1
(49)
gµ ν = 0 (µ ≠ ν)
presents itself, for him, as the only alternative representing "the only regular
solution of the basic equations of physics", and that it represents, according to
him, "a solution, and even the only regular solution of the basic equations of
physics".
digital version! We had to pay 58 dollars to buy the two pdf's corresponding to
the two articles that serve as a basis for this paper, while they are working tools
for researchers. If readers want to consult these translations, they will have to
pay the same amount. Today, there are no scientists, presenting themselves as
experts in cosmology, who have read the fundamental texts, or even know of the
existence of a mass of capital texts, some of which have not yet been translated
from German.
In what follows we will highlight a glaring and indisputable error of David
Hilbert, the immense impact of which will be measured in all the development of
cosmology that followed.
This error was first identified by the Canadian L.S. Abrams [7] in 1989, after
examining the original text, published in German by Karl Schwarzschild in
January 1916 [6], and comparing it with Hilbert's article of December 1916, also
in German.
In 1999 a similar approach was taken by A.Loinger [8], always starting from
German texts, which he reads fluently.
Hilbert's error.
Let's go back to the chronology. On November 20, 1916 Hilbert published his
first paper entitled "Foundations of Physics" [1]. Five days later Einstein
published his own version of the field equation [4] as well as the first solution of
the linearized version of the equation, providing the first explanation of the
advance of Mercury's perihelion [5]. On December 22, 1915 the mathematician
Karl Schwarzschild, who avidly follows everything published in the section of the
Prussian Academy's annals devoted to mathematics, writes to Einstein
announcing that he has just constructed the non-linear solution of his equation,
which confirms his calculation. He announces to him that he will publish an
article in the same review. The text of this letter is available at the reference [3].:
31
R , θ , ϕ are not the coordinates "in use 7 », but it turns out that this
is the best way to express the metric.
We see that the genuine radial variable r is clearly visible. Schwarzschild
introduces an "intermediate variable" (Hilfsgröβe) R , according to the relation:
( )
1/3
R = r 3 + α3 ,
The metric potentials are independent of time x4 . To this he adds that they
present a central symmetry (zentrisch symmeytisch), with respect to the origin of
w1 = r cosϑ
w2 = r sinϑ cosϕ
w3 = r sinϑ sinϕ
w4 = l
We find a character l which translates the vision that Hilbert has of the universe.
These are four coordinates which are, let us refer to the beginning of his article,
universal parameters (weltparameter) ( w1 , w2 , w3 , w4 ) . What is extraordinary is
that Hilbert will conduct his calculation in this coordinate system. The time t will
appear only at the very end "when all the cosmic mechanics will start working".
In the Lagrange equations, which will follow, he does not manipulate the
dt dp
derivative mais la dérivée .
dp dp
This is a way for him to affirm that this metric "exists", that this geometry "pre-
exists" before God decides that l = it, before starting the time race. For Hilbert the
solar system exists, as it is, since the creation of the universe by God, since time
zero.
Another remark, in this following you will find g and not − g . So the
determinant of the metric is positive. We have to remember that for Hilbert the
curvature phenomena are exceptional accidents, almost imperceptible folds in a
practically Euclidean universe. The universe associated to these coordinates
( w1 , w2 , w3 , w4 ) is therefore Euclidean. Does it have a length? No, not yet. It is
only when this length (these lengths in the plural, if we stick to Hilbert's text,
which defines two of them) that the space becomes pseudo-Euclidean and that
the determinant becomes negative. Before God gives it a physical character, it is
an object of pure mathematics. We could call it "metaphysical"..
33
-> When Einstein produced his field equation, he created a tool with which
to interpret physical phenomena, accessible to astronomy. He is thus
already in a four-dimensional world ( x1 , x2 , x3 , t ) , concret. The
determinant of its metric is therefore negative and it must handle a −g .
-> When Hilbert produces his own version of the field equation he is in
another universe, which he wants to be more abstract, more fundamental,
the universe of ( w1 , w2 , w3 , w4 ) . You now have an explanation for the
presence of the g in its field equation, constructed and written in the
system ( w1 , w2 , w3 , w4 ) .
End of this digression. In his 1916 paper Hilbert puts the bilinear form in the
form :
(53) { w = x , w = x , w = x , w =l }
1 1 2 2 3 3 4 1
The passage in polar coordinates implies that its variable r is defined, as with
Schwarzschild [10]8; by :
We are thus in the coordinates (51). From (52) it is clear that Hilbert expresses
his bilinear form in the system:
(55) ( r , ϑ , ϕ, l )
8 What you can check in the English translation, not covered by a copyright
34
He then poses :
(56) r * = G(r)
Translation :
This bilinear form is a solution of the Einstein field equation without a second
member which then reduces to canceling the components of the Ricci tensor,
which Hilbert denotes by K µ ν . These are calculated on the basis of Christoffels
symbols. Note that Hilbert, as in his 1915 paper, does all his calculations with the
35
⎛ ⎛ dr ⎞ 2 2 2
⎛ dl ⎞ ⎞
2
2 ⎛ dϑ ⎞ 2 ⎛ dϕ ⎞
(58) δ ∫⎜ M ⎜ ⎟ +r ⎜ + r sin ϑ ⎜
2
+ W ⎜ ⎟ ⎟ dp = 0
⎜⎝ ⎝ dp ⎠ ⎝ dp ⎟⎠ ⎝ dp ⎟⎠ ⎝ dp ⎠ ⎟⎠
The type ' in these equations, and in what follows, refers to a derivation with
respect to r. The differential equations of the geodesic curves are:
d 2 ws ⎧ µ ν ⎫ dwµ dwν
(60) 2
+∑ ⎨ ⎬ =0
dp µν ⎩ s ⎭ dp dp
(61)
36
(62)
9In the English translation, under copyright, a sign error in the equation
giving K22 where the translator has put a plus sign instead of a minus sign in
the second term of the right member.
37
(63)
(64) g = M W r 2sinϑ
Then :
(65)
He poses
r r-m
(64) M= W = w2
r-m r
-> The letter w does not designate the modulus of the vector ( w1 , w2 , w3 , w4 )
It is an unknown function. By making the change (64) Hilbert will now have
two unknown functions to determine: m and w . Why such a change? It is inspired
by the equation in Schwarzschild's paper and these functions m and w will turn
out to be simple constants.
But, in passing, we discover the origin of lette m used to describe what has the
dimension of a length!
It comes from:
(65)
(66) δ ∫∫ ∫∫ K g dr dϑ dϕ dl = 0
38
(67) δ ∫ wm' dr = 0
r r−α 2
(69) G ( dr , dϑ , dϕ , dl ) = dr 2 + r 2sin 2 ϑ dϕ 2 + dl
r−α r
r r−α 2
(70) G ( dr , dϑ , dϕ , dt ) = dr 2 + r 2sin 2 ϑ dϕ 2 − dt
r−α r
In the original text we find a typographical error of Hilbert who leaves his
"universal variable" l in the first member 10.
10 Error also in the translation published by Springer (still under copyright): the
letter l must be replaced by the letter t in both members. Considering the number
of obvious errors in this translation, available since 2007, that is to say, at the
time of writing, since 14 years, it is doubtful that this translation has been read by
people mastering general relativity.
39
What is extraordinary is that this confusion between R and r, which is the basis
of Hilbert's error, has been a standard for more than a century, even though it
was obvious in Schwarzschild's result in equation (14), even to a non-German
speaker. The only possible explanation was that this misinterpretation spread,
like the misinterpretation of a founding text by people behaving like medieval
copyists.
In fact, the generations of theorists that followed were satisfied by the fact that
this solution fulfilled for them a consideration that could be considered as
fundamental: to identify with the Lorentz metric at infinity. In his article of 2003
[11], the Italian mathematician Salvatore Antoci analyzes with the greatest
precision the mechanism of construction, by Hilbert, of this error, putting in
perspective his calculation and that of Schwarzschild. In another paper [10] ,
Antoci and the German D.E. Liebscher show that Hilbert's error translates an
erroneous interpretation of the topology of the object.
40
To this we must add that for 43 years the only application that came to mind
concerned the linearized form of this metric. And this is the reason why
Schwarzschild himself does not provide the expression of its nonlinear solution
in his coordinates. In his paper, Schwarzschild takes the case of the Sun, where
the large α is then 3 km , noting:
Translation:
- Nevertheless, Mr. Einstein's approach to the calculation of the geodesics is
compatible with the exact solution, if we express it using r instead of:
1/3
⎛ α3 ⎞
( )
1/3
R= r +α 3 3
= r ⎜ 1+ 3 ⎟
⎝ r ⎠
since α/r is close to twice the square of the planetary speed (taking the
speed of light as the unit). For Mercury, the order of magnitude is 10-12.
Thus R is practically equal to r and Mr. Einstein's approach is sufficient,
beyond the needs of current practice.
If Schwarzschild had finalized his work, which he did not find necessary, which
he would have done by expressing the metric in the coordinates ( r , ϑ , ϕ, t ) this
would have led him to write the true solution, which is obtained immediately by
performing the change of coordinate, explicitly mentioned by Hilbert. An
operation which would have made appear this true metric solution of the
Einstein equation without second member.
41
(71)
( r 3 + Rs3 )1/3 − Rs 2 2 r4
ds 2 = c dt − dr 2 − ( r 3 + Rs3 )2/3 ( dθ2 + sin 2θ dϕ 2 )
( r 3 + Rs3 )1/3 3 3
⎡ 3 3 1/3
⎤
( r + Rs ) ⎣( r + Rs ) − Rs ⎦
r ≥0
( )
1/3
(72) R = r 3 + α3
Translation :
- In my opinion I will not recommend, as Schwarzschild does, this
transformation bringing the point r = α to the origin, especially
since there are simpler ways to achieve this.
( )
1/3
r=i R3 − α 3
42
In doing so, Hilbert does not realize that he has left the domain of definition of the
manifoold M4.
An error that will lead to floods of ink and the production of theorems
(Penrose, Hawking) referring to a "central singularity", existing only in the
imagination of scientists who have studied this question, thus taking for a reality
what belongs, mathematically speaking, to an imaginary space domain.
Coming back to this expression (71), by performing a series development we
obtain the values of the metric potentials when r tends to zero:
3r
(74) gt t → 0 gr r ! →0 gθθ → Rs 2 gϕϕ → Rs 2sin 2θ
Rs
Recall, as Hilbert notes, that these coordinates are Gaussian. We can therefore
consider a layering of the hypersurface where the variable with t as parameter.
This corresponds for these three-dimensional hypersurfaces to:
r4
(75) dσ 2 = dr 2 + ( r 3 + Rs3 )2/3 ( dθ2 + sin 2θ dϕ 2 )
( r + Rs ) ⎡⎣( r + Rs ) − Rs ⎤⎦
3 3 3 3 1/3
These are themselves subject to a new layering at r = Cst which gives a family of
nested spheres like Russian dolls having the minimal area, corresponding to r = 0:
4 π Rs
2
(75)
(77) r = Rs ( 1 + L n chρ )
(78)
Logch ρ 2 2 1 + Logch ρ 2
th ρ d ρ 2 − Rs2 ( 1 + Logch ρ ) ( dθ )
2
ds 2 = c dt − Rs2 2
+ sin 2 θ dϕ 2
1 + Logch ρ Logch ρ
The determinant is always zero because of the term gt t but now gρρ → 2 .
-> The fact, highly probable, that no cosmologist, starting from this
"founding article" had the curiosity to take a look at the original article, in
German, in which case the equation (14) of this paper should have attracted
their attention.
-> The fact that this curiosity came up against the fact that these German
texts were only available, until the advent of the internet and pdf files, in
books that were generally expensive.
-> The fact that Schwarzschild's article was only translated into English in
1999 [6], i.e. 86 years after its publication in its original form.
-> The fact that the translations of the documents that are essential to clear
up this matter were only translated into English in 2007 ([1], [2]), that is 91
years after their publication, and are still covered by a scandalous copyright.
-> To this we must add, for more than half a century, the illusory conviction
of a progress in the understanding of this solution, whereas the generalized
contagion of this flagrant error has made thousands of publications fall into
what is nothing but science fiction.
fact, it all started with an article published a few months earlier by R.C. Tolman,
then working at Caltech [16].
Moreover, by introducing the two functions e ν(r ) and e λ(r ) strictly positive, if we
are in a mode governed by reals, Tolman rejects a possible modification of the
hyperbolic signature which, for him, is ( - - - + ); or ( + - - -) according to the order
of the terms.
This remark signs the birth of the Black Hole model, according to the
following reasoning:
46
-> A star, no longer able to counterbalance the force of gravity with the
help of pressure, undergoes a free fall towards its center, which
nothing can counteract.
-> At the same time, the radiation emitted by the matter undergoes a
gravitational redshift effect which becomes infinite when this signal is
emitted from a point located on the Schwarzschild sphere of radius Rs.
Thus, a fortiori, no radiation can cross this sphere which will be
qualified as cosmological horizon.
An outside, distant observer will then perceive this object as a perfectly black
disk, which will be called a black hole.
This reasoning allows us to free ourselves from the description of the collapse
phenomenon by starting from the reasoning:
-> I do not feel obliged to describe a phenomenon which for me,
an outside observer, lasts an infinite time.
This also allows us to reduce the description of the geometry of the object to
the only geometry referring to the outside of the horizon sphere, thus to a
solution of Einstein's equation that refers to a portion of the empty universe.
Assuming that one can start from the solution of figure 21 to calculate the free fall
time of a witness particle up to the point r = 0 , supposed to be the "center" of the
object, one obtains a finite and brief value. We deduce, although we cannot carry
out any observation on what happens and has happened inside the horizon
sphere, that all the matter is concentrated in a central singularity.
(80) eλ = − n → λ = Ln n + iπ
47
The years have passed. No theorist cares to return to the founding texts, nor to
consider another model. Here are the arguments that appear in all the books and
manuals intended for the training of students. As an example, we reproduce
elements of section 6.8 of chapter 6 of the book of reference [18]. The choice of
the form of the metric introduced by Tolman [16] is then simply presented as
"reasonable".
When r becomes less than 2I (the Schwarzschild radius), the signs of the
components of the metric (potential metric referring to time) g11 ( metric
potential referring to the assumed radial coordinate) change, g11 becomes
positive ans g oo negative. This forces us to reconsider the physical meaning (...)
given to the variables t and r as a system of marking time and radius, inside the
Schwarzschild sphere. In fact a line of universe which is described according to a
t , that is to say with ( r , θ , ϕ ) constants, corresponds to ds 2 < 0 . It’s a spacelike
curve, while a line of universe for which ds 2 > 0 is a timelike curve.
And there you come across the consequence of another of Hilbert's errors, that
of endowing space-time with two systems of measurement, the second referring
to portions of curves that he calls "segments" and for which the sign of the
bilinear form is inverted.
Translation :
- A portion of a curve where (the form G is positive) will be called a
segment, while (the expression giving the scalar λ ) is the length of
this segment.
This vision of things is in total contradiction with the one of Einstein, K.
Schwarzschild, J. Droste, H.Weyl, and all the scientist-mathematicians who at that
time contributed to the construction of the general relativity. In the article of
Schwarzschild, for example, we read:
Translation :
- Consider a point that moves according to (the expressions in the
figure), where the variables are functions of the x variables
(coordinates of points of the space-time hypersurface) and where the
values of x must be considered as constant at the beginning and at
the end of the path followed for the integration. Clearly, the point will
have to move according to a geodesic of the variety (manifold)
characterized by the element ds.
How did Hilbert come to endow space-time with two lengths? Perhaps he had in
mind to create a metaphysics, with respect to the events occurring inside (...) the
Schwarzschild sphere.
- Let us take again the text of the reference It would thus appear
natural (...) to treat r as a time coordinate and t as a radial
49
And there we see, reproduced identically, the reasoning held by Hilbert in his
1916 paper, which shows that he is at the origin of this distortion of the true
Schwarzschild solution. In equation (6.9) the authors take up the introduction, in
1939, of two exponentials by Tolman [16] and Oppenheimer [14]. They even
specify that these functions are "intrinsically positive" and that "these
coordinates have a clear physical meaning", whereas, precisely, attributing a
physical meaning to coordinates is the first source of error.
Six pages later, on page 193, we find the result of their calculation:
51
2m 2m
(81) eλ = − 1− → λ = Ln 1 − + iπ
r r
r
(82) ξ = r + 2 m Ln −1
2m
1 − 2m / r
(83) F (ξ) =
f2
(84) F (ξ) = η2 e 2 ηξ
(85)
2mη
⎛ r ⎞
u=⎜ −1⎟ e η r ch ηx°
⎝ 2m ⎠
2mη
⎛ r ⎞
v=⎜ −1⎟ e η r sh ηx°
⎝ 2m ⎠
1− 4mη
2m ⎛ r ⎞
f = 2 ⎜
2
−1⎟ e −2η r
η r ⎝ 2m ⎠
Then:
This leads to the final expression of the new variables, in two configurations.
(86) r > 2m :
r x°
u= − 1 e r / 4m ch
2m 4m
r x°
v= − 1 e r / 4m sh
2m 4m
32 m3 r / 2m
f2= e
r
⎛ r ⎞ v x°
(87) u2 − v 2 = ⎜ − 1 ⎟ e r/ 2 m = th
⎝ 2m ⎠ u 4m
53
And
(88) r < 2m :
r x°
u= 1− e r / 4m sh
2m 4m
r x°
v= 1− e r / 4m ch
2m 4m
32 m3 r / 2m
f2= e
r
With :
⎛ r ⎞ r/ 2 m u x°
(89) v 2 − u2 = ⎜ 1 − e = th
⎝ 2 m ⎟⎠ v 4m
The metric then takes the form, equation (6.187) of the reference [18]:
Although this metric is not identified with the Lorentz metric at infinity, when
we form ds = 0 we have , see equation (6.188) of reference [18] :
2
⎛ du ⎞
(91) ⎜⎝ dv ⎟⎠ = 1
If one follows this diagram, where all quantities become real, with a real ds one
thus manages to penetrate "inside the Schwarzschild sphere". The points located
at constant r are on hyperbolas. The one on the right refers to the value r = 4m.
The path A is that of a particle with mass, which plunges towards the
Schwarzschild sphere. The half line x° = 2m evokes the way time evolves. In the
chosen coordinate system this mass reaches this sphere in an infinite time,
shown by the half line v = u . Then, assuming that this point-mass can penetrate
inside this sphere, it continues its way and reaches the point associated with a
zero value of r which is another hyperbola accompanied by hatching, which is
supposed to represent "the singularity". A similar reasoning is associated to the
trajectory B.
1
(92) F (ξ) = η2 e 2 ηξ = 2
e ξ/ 2 m
16 m
1 − 2m / r
(93) F (ξ) = <0
f2
Note all the calculation has been based on the hypothesis (82), which leads to:
r
(96) ξ = r + 2 m Ln − 1 = 2 m L n ⎡⎣16 m2 F (χ) ⎤⎦ − i π
2m
In 1915 Hermann Weyl was thirty years old. After having taught mathematics
at the University of Göttingen, where he was fascinated by the revolutionary
ideas introduced by Riemann and particularly by hyperbolic varieties, he found a
position in Zurich, at the Federal Polytechnic, where he was offered a chair. He
then met Einstein and quickly assimilated the basic concepts of relativity, first
special and then general. Discovering the exact nonlinear solution found by Karl
Schwarzschild, he published his interpretation in 1917 [19].
To access the German version of this article, published more than a century
ago but copyrighted by Springer in a 2012 republication which also includes the
English translation, it will cost you $49, regardless of the version. In this paper,
unlike Hilbert's, the letter R is used to designate the Riemann scalar:
The first equation shows that Weyl immediately integrated the technique of
derivation of the field equation by the variational method, with the introduction
of the Ricci tensor and the scalar R derived from it. At the bottom, we see the field
equation to which Einstein gave his name, in the form (equivalent to that of his
publication of November 25, 1916 [4]) that students know today. The first thing
that Weyl does is to remind us of the inequality which gives the solution a
physical character:
57
⎛ 2a ⎞ dr 2 ⎛ 2a ⎞
(98) ds 2 = ⎜ 1 − ⎟ dt 2 − − r 2 ( dϑ 2 + sin 2 ϑ dϕ 2 ) = ⎜ 1 − ⎟ dt 2 − dσ 2
⎝ r⎠ α ⎝ r⎠
1−
r
58
dr 2
(99) dσ =
2
+ r 2 ( dϑ 2 + sin 2 ϑ dϕ 2 )
2a
1−
r
But Weyl is not naive enough to consider that this solution could make physical
sense for r < 2a, where the length element would cease to be real. This variable r
(which is not the same as the one in the Schwarzschild paper) corresponds to a
ray vector with coordinates ( x1 , x2 , x3 ) . It is a 3-dimensional hypersurface which
we know "exists" only for r > 2a. Weyl will therefore push further, to pierce the
secret of its geometry, and more precisely of its topology. On these three space
coordinates he can always delete one of them. So he writes:
11 We recognize the metric of our "3D diabolo" from the beginning of the article.
59
Then he weites:
- In order to determine the geometry which is characterized by the
form of the metric giving dσ 2 , we will project in a corresponding
plane à x3 = 0 . If we introduce the polar coordinates:
x1 = r cosϑ x2 = r sinϑ
dσ 2 = h dr 2 + r 2 dϑ 2
⎛ 2a ⎞
dσ 2 = ⎜ 1 − ⎟ dr 2 + r 2 dϑ 2
⎝ r ⎠
In the following, it does exactly what we did for the 3D diabolo, i.e. it sets the
angle ϑ to determine the equation of the meridian, which gives it the differential
equation:
⎛ 2a ⎞
(100) dr 2 + dz 2 = ⎜ 1 − ⎟ dr 2
⎝ r ⎠
z2 z2
(101) z= 8a ( r − 2 a ) or r = 2 a + = Rs +
8a 4 Rs
We find the equation(19) of the lying parabola. The hypersurface is thus a "3D
diabolo" which is the projection of the 3D hypersurface in a Euclidean space
( x1 , x2 , x3 ) . And Weyl adds :
Là on voit poindre une idée tout à fait extraordinaire, assimilant les masses à
des singularités topologiques. On se rappellera que la topologie, à cette époque,
est en train de naître en tant que discipline mathématique. Les surfaces fermées
régulières 2D sont au nombre de quatre. On a la sphère, le tore, puis la bouteille
de Klein et la surface de Boy. Précisos que Félix Klein invente sa bouteille en
1882, tandis que Werner Boy, élève de Hilbert, créera sa propre surface en
1902. Comme Schwarzschild ce dernier s’engage à 35 ans, dès l’entrée en guerre
de l’Allemagne, en juillet 1914 et est tué en France, où il repose, en septembre
de la même année.
Weyl (who also joined the army, but was discharged for health reasons)
continued his analysis of the 3D hypersurface. He is thus the first to introduce the
isotropic form of the metric.
His variable r is not the previous one. Its formula (12) corresponds to equation
(6.69) of reference [18]. The last expression represents the linear expansion
coefficient (lineare Vergröberungsverhältnis).
It is clear that Weyl has perfectly integrated the fact that the various
coordinates are only representations of the objects defined by their metrics and
that the only object endowed with an intrinsic reality (invariant by any change of
coordinates) is the element of length s . These successive choices allow us to
discover their topology. Thus, in 1917 is the first to discover that the geometry
discovered by Schwarzschild is non-contractile.
61
The P-symmetry that goes with the passage of the throat sphere.
Weyl thus creates this concept of a representation space and a two-sheet
covering of a manifold. The homologous points of these two four-dimensional
sheets can thus be identified using the same coordinates xi. We can consider four
points in the vicinity of a point of coordinates xi which form a tetrahedron
consisting of four equilateral triangles having two common vertices. We can
define a positive orientation by defining a direction of travel of these triangles,
considered as positive. This one defines a normal vector. The following figure
shows what happens to this set of points when they cross the throat sphere. The
tetrahedron with black edges is supposed to belong to one of the two
tridimensional layers of the object. Let one of its faces ABC, the positive direction
of travel, arbitrary, being indicated by arrows. The tetrahedron with the shaded
edges A'B'C' belongs to the other layer. If we bring these two objects into
coincidence we can see that the two directions are the opposite of each other
We deduce that any object crossing the throat sphere of the Schwarzschild
geometry undergoes a P-symmetry.
⎛ Rs ⎞ dR 2
(102) ds = ⎜ 1 − ⎟ dx4 −
2 2
s = cτ x4 = ct
⎝ R⎠ R
1− s
R
dτ 1 R
(103) =±
dR c Rs
dt 1 R
(104) =±
dR c R - Rs
The witness particle reaches the throat sphere in a finite time, in terms of its own
time, but this path corresponds to an infinite time for a distant observer.
(105)
⎛ 2 mρ ⎞ 2 2 ρ 2 + a 2 cos 2 θ
ds = ⎜ 1 − 2
2
⎝ 2 2 ⎟
ρ + a cos θ ⎠
c dt − 2
ρ + a − 2mρ
2
dρ2 − (ρ 2
)
+ a 2 cos 2 θ dθ 2
⎡ 2 m ρ a sin θ ⎤ 4 m ρ asin θ
( )
2 4 2
− ⎢ ρ 2 + a sin 2 θ + 2 ⎥ dϕ 2
− c dt dϕ
⎣ ρ + a 2 cos 2 θ ⎦ ρ 2 + a 2 cos 2 θ
The parameter a figures the importance of the rotation. If it is zero we find the
Schwarzschild metric. In the plane this metric becomes:
(106)
⎛ 2m ⎞ 2 2 ρ2
ds = ⎜ 1 −
2
⎟ c dt − 2 dρ2
⎝ ρ ⎠ ρ + a − 2mρ
2
⎡ ⎤ 2 4m a
( )
2
2m a
− ⎢ ρ2 + a + ⎥ dϕ − c dt dϕ
⎣ ρ ⎦ ρ
⎛ 2m ⎞ 2 2 ⎡ 2m a ⎤
( )
2
4m a
0=⎜1− − ⎢ ρ +a + ⎥ dϕ − c dt dϕ
2 2
(107) ⎟ c dt
⎝ ρ ⎠ ⎣ ρ ⎦ ρ
The speed of light then takes two different values, depending on the direction
of emission:
(108) vϕ = c ⎡⎢ 2 m a ± 18m 2a 2 + 2m ρ 3 − ρ 2 a 2 − ρ 4 ⎤⎥
⎣ ⎦
13 https://fr.wikipedia.org/wiki/Johannes_Droste
64
He starts with the same assumptions as Schwarzschild, and here is his result:
Rs R
(109) t = t' + δ Ln ( −1) δ = ±1
c Rs
Which gives:
(110)
⎛ R ⎞ ⎛ R ⎞ R
ds 2 = ⎜ 1 − s ⎟ c 2 dt' 2 − ⎜ 1 + s ⎟ dR 2 − R 2 ( dθ2 + sin 2 dϕ 2 ) + 2δ s c dt' dR
⎝ R⎠ ⎝ R⎠ R
65
This situation was recently studied in [22]. The transit time along a radial
trajectory becomes:
(111) ν = − 1 : centripetal trajectory; ν = 1 : centrifugal path.
Rs h2 h2 Rs
λ R − δ ν Rs λ2 − 1 + − +
dt' 1 R R2 R3 δ = ±1
=
dR c R h 2
h2 Rs ν = ±1
ν( R − Rs ) λ2 − 1 + s − 2 +
R R R3
Rs
λ R − δ ν Rs λ2 − 1 + δ = ±1
dt' 1 R
=
dR c R ν = ±1
ν( R − Rs ) λ2 − 1 + s
R
In the conditions:
dt' ν R − δ ν Rs
(113) !
dR c R − Rs
⎛ R ⎞ ⎛ R ⎞ R
(114) ds 2 = ⎜ 1 − s ⎟ c 2 dt' 2 − ⎜ 1 + s ⎟ dR 2 − R 2 ( dθ2 + sin 2 dϕ 2 ) − 2 s c dt' dR
⎝ R⎠ ⎝ R⎠ R
⎛ R ⎞ ⎛ R ⎞ R
(115) ds 2 = ⎜ 1 − s ⎟ c 2 dt' 2 − ⎜ 1 + s ⎟ dR 2 − R 2 ( dθ2 + sin 2 dϕ 2 ) + 2 s c dt' dR
⎝ R⎠ ⎝ R⎠ R
A star in implosion would thus see its mass transferred into a second sheet,
according to a finite time.
66
Epilog.
To show the way the community of specialists perceives these questions, since the
sixties, the simplest way is to reproduce the main stream interpretation as it is
presented in page 223 of the reference [18], and which translates a unanimous
consensus within the community of cosmologists of today and the partisans of the
Black Hole model.
67
Références :
[1] D.Hilbert. Die Grundlagen der Physik (Esrte Mitteilung). Nachrichten von der
Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-ohysikalische
Klasse. (1915) 395-407.
English translation : The foundations of Physics (first communication). English
translation. Boston Series in Philosophy and Science. Copyright Springer, Vol.250
2007 ( 29$95 )
https://link.springer.com/chapter/10.1007/978-1-4020-4000-9_44
[2] D.Hilbert. Die Grundlagen der Physik (Esrte Mitteilung). Nachrochten von der
Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-ohysikalische
Klasse. (1916)
English translation : The foundations of Physics (second communication). English
translation. Boston Series in Philosophy and Science. Copyright Springer, Vol.250
2007 ( 29$95 )
https://link.springer.com/chapter/10.1007%2F978-1-4020-4000-9_45
[3] Tilman Sauer : The Relativity Discovery : Hilbert’s First Note on Foundations
of Physis. See page 48. Correspondance Einstein-Hilbert au jour le jour. Page 48
https://arxiv.org/pdf/physics/9811050.pdf
[4] A. Einstein : Die Feldgleichungen des Gravitation ( The Field Equation of
Gravitation). Sitzungsber. XLIV , 8 , 778 and XLVI s. 799 (25 nov 1915)
[5] A.Einstein : Erlklärung der Perihelbeweggung des Merkur aus allgemeinen
Relarivitätstheorie. Königlish Preubische Akademie der Wissenschaften (Berlin) ?
Sitzungberichet (25 nov. 1915) p. 831-838
[7] L.S.Abrams : Black Hole : the Legacy of Hilbert’s Error. Can. Jr. Phys. 67 , 9191
(1989). arXiv : gr-qc/01205055v1/13 feb 2001
68
[8] A.Loinger : The Black holes do not exist « Also sprach Karl Schawarzschild »
(« Ainsi parlait Karl Schwarzschild »). arXiv :physics/9905030 may 1999nb
[9] S.Antoci and D.E. Liebscher : Reconsidering Schwarzschild original solution.
Astronomische Nachrichten 322 (2001), 3, 137-174
[10] S.Antoci and D.E. Liebscher : The Topology of Schwarzschild Original
Solution. arXiv : gr-qc/0308005v3 26 sept 2005.
[11] S.Antoci . David Hilbert and the origin of the Schwarzschild Solution. (2003)
https/arxiv.org/abs/physics/0310104
[12] A.A.Vankov : Explanation of the Perihelion of Mercury From General
Relativity ». Gen.Sc.Jr. Researchgate.net. (2021)
[16] R.C.Tolman : Static Solutions of Einstein’s field equation for a sphere of fluid.
Phys. Rev. 1939 nol.55 ( 15feb. 1939)
https://authors.library.caltech.edu/4362/1/TOLpr39.pdf
[17] K.Schwarzschild : Über das Gravitationsfeld einer Kugel aus incompressibler
Flüssigkeit nach der Einsteinschen Theorie. Sitzund der Phys. Math. Klasse V.24
24 Februar 1916
[18] R.Adler, M.Bazin, M.Schiffer : Introduction to General Relativity, Mc Graw Hill
Books Cie, 1975. http://www.jp-petit.org/books/asb.pdf
[19] H.Weyl : Zu Gravitationstherie. Annalen der physik, Vol.35 n° 18 (1917)
https://onlinelibrary.wiley.com/doi/epdf/10.1002/andp.19173591804 : 49 $
On the Theory of Gravitation. Reprinted in Gen. Relat. And Gravit. Vol. 44 pp 779-
810 (2012).
https://link.springer.com/article/10.1007%2Fs10714-011-1310-7 : 49 $
[21] J Droste : The Field of a Single Centre in Einstein’s Theory of Gravitation and
the Motion of a Particle in that Field. Royal Netherland Academy of Arts and
Sciences (KNAW) Proc. 19 I , Amsterdam 1917 pp.197-215.
[22] P.Koiran : Infall Time in the Eddington-Finkelstein Metric, with Application
do Eddigton-Rosen Bridges. Inter. Jr. of Mod. Phys. D, 14 aug. 2021, to be
published. https://arxiv.org/abs/2110.05938
69