The static spherically symmetric (SSS) vacuum solution of Einstein"s field equations1 that we learned from the text books is actually the Hilbert form of the original Schwarzschild solution2
(1.1)
Birkoff"s theorem states that all static spherically symmetric vacuum solutions to Einstein"s equations are diffeomorphic to the Hilbert-Schwarzchild solution. There are an infinite number of metrics3,4 which are diffeomorphic but not isometric to the Hilbert form of the Schwarzschild2 solution. In particular, given an aerial radial function (in units), the metric
(1.2)
is diffeomorphic but not isometric to the Hilbert form of the Schwarzschild2 solution.
, and the solid angle infinitesimal element is
. The surface area at each point is now given by
so that
plays the role of an effective radius and hence the name of “areal-radial” function for
.
The metric (1.2) is diffeomorphic but not isometric to the Hilbert form (1.1) of the Schwarzschild solution2 because the area elements
are not equal, except in the trivial case when
. We have not relabelled the radial variable r by giving it another “name” and calling it , because
is itself a function of . Furthermore, one has not performed a naive change of radial coordinates because the metric (1.2) is still given in terms of . Therefore, the metric (1.2) is not the Schwarzschild metric rewritten in terms of new radial coordinates, but it is obtained after performing an active diffeomorphism via the mappings
. Under active diffeomorphism the points of the manifold are displaced (except for the fixed points) and must not be confused with passive diffeomorphisms that amount to mere coordinate transformations (like rotation, translation of the coordinate axes) leaving all the points fixed. Consequently, the metric (1.2) assumes the same values as the Schwarzschild metric (1.1) but at different values of
(at different radial locations). This is the reason why the horizon can be actively displaced from to the value
as we shall see below.
The boundary condition obeyed by the areal radial function
at the origin is
since the point mass location must reside at the center of spherical symmetry. At infinity, an asymptotically flat metric would require
. In particular, the metric solutions (1.2) are invariant under the transformations
for the particular choice of areal radial functions obeying the condition
. This allows us to extend the solutions to the
region.
The metric (1.2) leads to modifications of the Newtonian potential, and for this reason, it is very relevant to modified Newtonian dynamics (MOND) as described in the next section. One recovers the Newtonian potential in the regime when
. In the next section we will show why modified Newtonian dynamics (MOND)5,6 associated with galaxies can be obtained from Finsler gravity, and which in turn, can be modeled by metrics (1.2) which are diffeomorphic but not isometric to the Hilbert-Schwarzschild metric. The key point is that one will have to dispense with the asymptotic flatness condition, and introduce an infrared-cut-off for the metric at
in the form of
. Therefore, changing the boundary condition at
leads to MONDian dynamics.
To model the scenario when the horizon merges precisely with the singularity one needs an area radial function defined at
and at
, as follows3,4
(1.3)
Under
one has that
so one can ensure the invariance of the metric (1.2) under these transformations and extend the solutions to the
region.
is antisymmetric
, and as such it must vanish at
, and
, but
since a point mass must have zero area and zero volume. The horizon is located at
and the singularity at
. There is a discontinuity of
at
. The right
, and left
limits of
give respectively
, while
which is the arithmetic mean of and
. This is similar to the behaviour of the step function
defined by
.
can be realized as
which is an antisymmetric function, and as such, it must vanish at the origin, like the areal radial function in eq-(1.3).
Because a point mass is an infinitely compact source of infinite density, there is nothing wrong with the possibility of having a discontinuity of the metric at the location of the singularity
. Due to the boundary condition
, there is a curvature tensor singularity and the Kretschmann invariant
diverges at
. In this extreme case, when the location of the horizon merges with the singularity, there is a null-line singularity at
and a null-surface at
. This may sound quite paradoxical but it is a consequence of the metric discontinuity at
, the location of the point mass (singularity). This key fact may have important consequences for the resolution of the firewall problem and the complementarity controversye may label the null-line singularity at
as a firepoint, and the null-surface at
as a firewall. A recent discussion of the notion of a firepoint can be found in8 where they propose the singularity itself as a “firepoint" capable to break the entanglement between the “in" and the “out" states created through the Hawking process.
When the areal-radial function
has the actual form in eq-(1.3) there is no interior region beyond the horizon
, so that the metric (1.2) is truly static everywhere. The Fronsdal-Kruskal-Szekeres analytical continuation of the metric (1.1) inside the horizon is no longer static. Klinkhamer9 provided earlier on a regularization of the standard Schwarzschild solution with a curvature singularity at the center by removing the interior region of a ball and identifying the antipodal points on the boundary. The resulting four-dim manifold has now the topology
where
is a nonsimply-connected manifold, which up to a point (the center), is homeomorphic to the 3-dim real projective space
. In our case, there is no need to remove the interior region by surgery. The discontinuity
of the areal-radial function amounts to a sort of “point-splitting” creating a void (hole) in spacetime, isolating and expunging the curvature singularity at the center from the remaining region of space-time. The topology of the region free of the singularity at the center is
, where
is the punctured 3-dim space.
It has long been known that if one recurs to Newton"s inverse-square law of gravity, the observed baryonic matter cannot provide enough force to attract the matter (stars) present in the outer edges of the galaxies.10,11 Postulating that galaxies are surrounded by massive, non-luminous dark matter is one of the most widely accepted proposals to solve the problem. No dark matter has been detected yet. An extensive overview with a vast number of references of the tests and problems of the standard model in Cosmology.12
Some models have been built as an alternative to the dark matter hypothesis. The main ideas are based on assuming that the Newtonian gravity or Newton"s dynamics is invalid on galactic scales. In the MOND model (modified Newtonian dynamics) of Milgrom5,6 it assumes that the Newtonian dynamics does not hold on galactic scales. In Extended Theories of Gravity, like gravity13−17 it is shown that several gravitating structures like stars, spiral galaxies, elliptical galaxies and clusters of galaxies can be self-consistently described without dark matter. There are other MONDian theories, for example, by introducing several scalar, vector and tensor fields, Bekenstein18 rewrote the MOND model of Milgrom in a covariant formalism (the TeVeS model). There is the Einstein-aether theory admitting a preferred reference frame and broken local Lorentz invariance.19
The accurate measurement of the speed of gravitational waves (GW) compared to the speed of light in 2017 ruled out modified gravity theories, termed “dark matter emulators", which dispense with the need for dark matter by making ordinary matter couple to a different metric from that of GW. These models have the property that, in the extreme weak field regime relevant to cosmology, gravitational waves propagate on different geodesics from those followed by photons and neutrinos. Therefore, the differential Shapiro delay between GWs and photons/neutrinos is due to the gravitational potential of only the dark matter. Some examples of these Dark Matter (DM) emulator theories include Bekenstein"s TeVeS theory18 and Moffat"s Scalar-TensorVector gravity theory.20 It is important to understand that dark matter emulators constitute a special class of modified gravity theories which attempt to dispense with dark matter. Many modifications of gravity do not fall within this class,21 including Milgrom"s bi-metric formulation of MOND,22 nonlocal MOND,23−25 such as superfluid dark matter,26 or dipolar dark matter.27 Nor does it apply to certain types of Einstein-Aether theories28,29 whose vector kinetic terms are properly chosen. Therefore, other kinds of modified gravity theories which dispense with the need for dark matter and are still viable.21 Some recent studies on MOND,
gravity, clustering of galaxies, and large distance modification of the Newtonian potential.30−34
In this section we shall review the main ingredients of Finsler geometry;35−45 present a solution of the vacuum field equation in Finsler gravity, in the weak field approximation,46,47 and show how it reproduces the main results of MOND. The solution depends on the rotational velocity of the galaxy consistent with the relationship between the Tully-Fisher relation48 and MOND. We finalize by showing how this Finsler gravity solution leads to a metric that is diffeomorphic (but not isometric) to the Hilbert-Schwarzschild metric. The most salient feature is that the metric is not asymptotically flat due to the infrared cutoff of the areal radial function, and resulting from imposing different boundary conditions for the metric at
than in the Hilbert-Schwarzschild metric case.
We shall begin with a very brief discussion of Finsler geometry35−45 before discussing the gravitational vacuum field equations. Finsler geometry is based on a non-negative real function
, obeying
, and defined on the tangent bundle
represented by the coordinates
. The fundamental metric tensor is given as
(2.1)
The arc-length is
(2.2)
The Cartan tensor (which measures the deviation from a Riemannian manifold) is given by the third derivative
(2.3)
If
everywhere in the tangent space, the Finsler space becomes a metric space with
independent on the tangent space coordinates y (velocities). The geodesic equation on a Finsler manifold is given by
(2.4)
where the geodesic spray coefficients
(dropping the
dependence for convenience) are given by
(2.5)
The corresponding nonlinear connection
associated to the geodesic spray coefficients is defined by
(2.6)
The nonlinear connection allows decomposing the tangent space to the tangent bundle
at the point
into a vertical space spanned by
, and a horizontal space spanned by the so-called elongated derivatives
. The nonlinear curvature derived from
is
(2.7)
Regarding the tangent bundle
as an
-dim manifold of its own, one can construct linear covariant derivatives which are compatible with the structure induced by the nonlinear connection and which preserves the horizontal-vertical split of the tangent bundle
with basis
.
The nonlinear connection is unique, however the linear connections are not, and many different choices are possible.38−40 For example, the horizontal part of a torsionless linear connection is given in terms of the elongated derivatives
as
(2.8)
and the horizontal part of the curvature (dropping
) is
(2.9)
In Finsler geometry there is a geometrical invariant (under coordinate transformations) that only depends on the Finsler structure
and is insensitive to the choices of the linear connection. It is the Ricci scalar defined in terms of the geodesic spray coefficients as
(2.10)
With these geometrical ingredients the analog of the Newtonian limit in Finsler spaces based on the notion of “locally Minkowski" spacetime.46,47 A Finsler spacetime is “locally Minkowski" if there is a coordinate system x with induced tangent space coordinates y, such that F only depends on y, but not on x. A “locally Minkowski" spacetime is a solution of the Finslerian vacuum field equations.41-45 X Li et al.47 assumed a very small metric perturbation
to the locally Minkowski one
(2.11)
and found that to leading order in the post-Newtonian approximation the explicit form of the Finslerian line element which solves the vacuum field equations in a 4D Finsler spacetime is given by
(2.12)
where the radial coordinate in the locally Minkowski space-time of the galaxies is defined as
. In this spherically symmetric case, the radial function is denoted by
(which must not be confused with the scalar curvature R), and now it depends on both r, and the velocity v, due to functional dependence of
on both coordinates and velocities.
Li et al.46,47 have shown that Finsler gravity reduces to MOND if the spatial components of the locally Minkowski metric of galaxies is of the form
(2.13)
(2.14)
where
is the acceleration constant of MOND,5,6 and which is of the order of
, where
is the present-day Hubble scale.
In this particular case the radial coordinate in the locally Minkowski space-time of the galaxies becomes
(2.15)
and the modified Newtonian equations of motion associated with the Finslerian line element (2.12) are given by
(2.16)
One may recover the MONDian behavior from eq-(2.16) if
satisfies the following relation
(2.17)
upon inserting (2.17) into the last term of eq-(2.16) it allows to rewrite the scaling factor
in terms of
and r, leading finally to the desired result of MOND
(2.18)
where
(2.19)
is the interpolating function in MOND. From eqs-(2.18, 2.19) one learns
(2.20a)
The deep-MOND regime is characterized by
, such that
(2.20b)
and one recovers the Tully-Fisher relation
.
Introducing the following definitions in the deep infrared
(2.21a)
one can then rewrite (2.20b) in the following more familiar form
(2.21b)
Given that
is the definition of the Schwarzschild radius associated to a point mass M gravitational source, from eq-(2.21b) one arrives at the following scaling relations involving the Hubble radius
,
and
(2.22)
Below we shall see the importance of these scaling relations (2.22) within the context of Black Hole Cosmology49−53 and Born"s Reciprocal Relativity Theory.54−56
Given a galaxy of size
, from eq-(2.17) one can solve for
and obtain the rotational velocities for point test masses in the region
(2.23)
Eq-(2.23) is equivalent to the following expression
(2.24)
and
(2.25)
To sum up, given the range of scales
(2.26)
in the region
one has
leading then to the rotational velocities associated to MONDian dynamics. In the interior region of the galaxy, ordinary Newtonian gravity is assumed to be valid, and for spherical symmetric mass distributions one has
(2.27)
which just follows from Gauss theorem when the mass enclosed
s inside the spherical region of radius
is given by
.
Having gone through this Finsler geometric tour underlying MONDian dynamics, we can finally relate the results of this section with the previous one by noticing that in the regime
, a Taylor expansion yields
(2.28)
and the Finslerian line element (2.12) in this regime reduces to
(2.29)
leading then to a metric which is diffeomorphic (but not isometric) to the Hilbert-Schwarzchild one (after inserting the functional relation
given explicitly by eq-(2.23)) into the areal radial function
. In fact, the metric (2.29) is a solution to the vacuum Einstein field equations in a 4D spacetime for any functional form
with the provision that
as shown explicitly in the appendix a Lorentzian signature is used.
The particular form of
in eq-(2.23) was dictated to us by the empirical astronomical observations. Furthermore, from eq-(2.15) one learns that under the transformations
(2.30)
The areal radial function changes sign as it should be in order for the metric (2.29) to remain invarint.
Despite that the metric (2.29) is diffeomorphic (but not isometric) to the Hilbert-Schwarzschild one, it is not asymptotically flat. The Kretschmann invariant
is non-vanishing at
due to the fact that
as shown in eq-(2.20b). In the limit that
, the areal radial function becomes the trivial one
, and one recovers the asymptotically flat Hilbert-Schwarzschild metric associated with ordinary Newtonian mechanics (in the weak field and slow moving bodies limit).
In a nutshell, simply by rewriting
as
, in terms of an effective mass
enclosed in a spherical region of radius r, it leads to the relation
, since
, and such that the enhanced value of the “effective” mass
compared to M would seem as if non-luminous “dark matter" were present in the galaxies.
By simple inspection one can verify that eqs-(2.15-2.26) are scale invariant under
(3.1)
with = constant and which implies a flat rotation curve. Note the anomalous scaling of the macroscopic galactic mass as compared to the scaling of a fundamental particle (consistent with the scaling of the Compton wavelength ). Under these scalings (3.1) given by eq-(2.15) is invariant and the metric (2.29) scales
as it occurs in Weyl’s geometry under conformal transformations.
Another similar scaling occurs in Born’s Reciprocal Relativity theory. It was shown that54-56 how one can implement a maximal proper force principle within the context of Born’s Reciprocal Relativity theory, Mach’s principle and Black-Hole Cosmology54−57 by setting the following proper forces to be equal to the maximal proper force value b ( “b" stands for Born)
(3.2)
where is the Universe’s total mass inside the present-day Hubble radius are the Planck mass, and length, respectively. What (3.2) indicates is that the observed Universe’s total mass coincides with the product of the maximal proper force times the Hubble horizon scale (an infrared cutoff), and which in turn, is the black hole horizon radius corresponding to a Universe-mass black hole. The Planck mass is the product of the maximal proper force times the Planck scale (ultraviolet cutoff), and which in turn, is the black hole horizon radius corresponding to a Planck-mass black hole. And so forth, namely a black hole’s mass M coincides with the product of the maximal proper force b with its black hole horizon radius .
Eq-(3.2) is also invariant under the scalings (3.1). Milgrom5,6 long ago pointed out the importance of scale invariance for MOND phenomenology, it is still impressive how much of that phenomenology, (i.e. flat rotation curves and baryonic Tully Fisher) is a consequence of scale invariance alone.
The recent new hypothesis58 is that this scale invariance is due to the dark matter undergoing a second order phase transition in the region normally associated with MONDian behavior. It is based on the idea that dark matter has a super-fluid phase59 which, if successful, would explain the flattening of the rotation curves, the Tully-Fisher48 and acceleration relations and the relation between .
In this work we do not have to recur to these hypothesis.58 Eqs-(2.20, 2.21) lead to these acceleration relations. A proposal that advocates the fall of dark matter can be found in.60,61 Scale invariance is assumed in the empty regions of space. The Weyl gauge field of dilatations contributes to modifications of the Christoffel connection leading then to repulsive corrections to the geodesic equations. We have not invoked the role of Quantum Gravity in this work nor what are the asymptotic symmetries (if any).
What we find remarkable is how powerful is the diffeomorphism symmetry of Einstein’s vacuum field equations to account for the Finsler gravity solution described here, and which is able to model MOND by simply replacing the radial coordinate with the areal radial function . The key relation in eq-(2.21b) could be interpreted as a balance equation between an inward acceleration due to MOND, and an outward acceleration due to the accelerated expansion of the Universe (since the observed cosmological constant ). For this reason, it is warranted to find solutions of Finsler gravity which incorporate the cosmological constant, and see whether or not they can be recast in terms of diffeomorphic (but not isometric) solutions to the de Sitter-Schwarzschild metric.
In this Appendix we verify Birkhoff’s theorem by following closely the calculations of the static spherically symmetric vacuum solutions to Einstein’s equations in any dimension . Let us start with the line element with the Lorentzian signature
(A.1)
where the areal radial function
is now denoted by and which must not be confused with the scalar curvature R. Here, the metric corresponds to a homogeneous space and and the temporal and radial indices are denoted by 1,2 respectively. In our text we denoted the temporal index by 0. The only non-vanishing Christoffel symbols are given in terms of the following partial derivatives with respect to the r variable and denoted with a prime
(A.2)
and the only nonvanishing Riemann tensor are
(A.3)
The vacuum field equations are
(A.4)
(A.5)
and
(A.6)
where , depending if refers to positive or negative curvature. From the combination we get
(A.7)
The solution of this equation is
(A.8)
where C is an integration constant that one sets to zero if one wishes to recover the flat Minkowski spacetime metric in spherical coordinates in the asymptotic region .
Substituting (A.7) into the equation (A.6) we find
(A.9)
or
(A.10)
Where
(A.11)
The solution of (A.10) for an ordinary D-dim spacetime ( one temporal dimension ) corresponding to a D-2 -dim sphere for the homogeneous space can be written as
(A.12)
where is the appropriate solid angle in -dim and is the D-dim gravitational constant whose units are . Thus has a unit of as it should. When as a result that the 2-dim solid angle is one recovers from eq-(A.12) the 4-dim Schwarzchild solution. The solution in eq-(A.12) is consistent with Gauss law and Poisson’s equation in D-1 spatial dimensions obtained in the Newtonian limit.
For the most general case of the D-2-dim homogeneous space we should write
(A.13)
is a constant equal to
, where is the solid angle in the transverse dimensions to
and is given by .
Thus, according to (A.8) we get
(A.14)
we can set the constant to zero, and this means the line element (A.1) can be written as
(A.15)
One can verify, that the equations (A.4)-(A.6),leading to eqs-(A.9)-(A.10), do not determine the form
. It is also interesting to observe that the only effect of the homogeneous metric is reflected in the
parameter, associated with a positive (negative) constant scalar curvature of the homogeneous -dim space. corresponds to a spatially flat -dim section. The metric solution in eq-(1.2) is associated to a different signature than the one chosen in this Appendix, and corresponds to
and .62−73