A Conceptual Deficiency for the Use of Christoffel Connection in Gravity Theories ()
1. Introduction
Christoffel connection (also known as Levi-Civita connection) is undoubtedly the dominant affine connection in gravitational physics. Einstein’s General theory of Relativity is the leading paradigm of gravitational theories and is constructed out of this connection. In recent years, there was a renewed interest and activity in generalizations or modifications of Einstein gravity. In one direction, various functions of the Ricci scalar acted as Lagrangians, instead of merely the Ricci scalar itself ( [1] [2] [3] [4] and references therein). Alternative gravitational theories built up from higher-order curvature corrections, other than the Ricci scalar, have also appeared. Namely, using scalar quantities of the Riemann tensor, new theories were constructed [5] [6] [7] [8]. The Gauss-Bonnet term is a particular combination of such curvature invariants and appears in low-energy effective action of string theory [9] [10]; when this term is coupled to a scalar field, non-singular cosmological solutions arise [11] [12] [13]; a function of Gauss-Bonnet term can also serve as Lagrangian to construct viable models [14] [15] [16]. Greater-than-fourth-order theories, containing derivatives of curvature invariants, were another option [17] [18]. Non-relativistic toy model theories of quantum gravity were also proposed [19] [20]. Scalar fields were included in various scalar-tensor theories [21] [22] [23]. In addition, higher-dimensional gravity theories of the Kaluza-Klein form [24] [25] or of the braneworld scenario [26] [27] have attracted much interest over the years. In all the above theories, the standard approach for deriving the field equations is the metric formalism, where the Christoffel connection is used (the Palatini formalism, where the connection is treated as independent variable, is another approach which is also adopted sometimes).
For positive-definite metrics of Riemannian geometry, the geodesics of the Christoffel connection provide the curves of minimal (sometimes maximal) length
as is manifested by the variation of the length action
for some parameter
along the orbits
. Similarly, in spacetime physics, the action
extremizes the proper time (or the length in some sense) of
timelike curves, which are the curves of massive particles, and provides the geodesics of the Christoffel connection as the corresponding orbits. However, for massless particles the proper time is zero, a photon orbit on the null cone has zero length, so a similar action is not defined. Therefore, the axiom of minimum length for massive particles is accomplished by another axiom, that of continuation of the geodesic equation of massive particles to be also valid in the massless case. This fact does not mean that the geodesic equation for all particles does not arise from an
action. It arises e.g. from the action
, where m is the particle mass and e a one-dimensional vierbein. This last action is meaningful even in the massless case, where now the nullity constraint
provides through multiplication with the Lagrange multiplier e a meaningful (off-shell) Lagrangian to be varied (actually in agreement with the method of the theory of constraints). However, this last action is still an axiom with purpose to get the geodesic equation of the Christoffel connection as providing the orbits of all particles. In a similar way the minimal surface action of string theory is assumed. The fact that the Christoffel connection is the simplest one, which only contains the metric part and not extra degrees due to torsion or non-metricity, does not necessarily declare it as the physical connection to describe the universe (anyway, our job is not topography to stick to the notion of minimal length). A lot of modifications of General Relativity contain various extra fields in the action without enriching the Christoffel connection with extra fields, therefore the economy argument of the Christoffel connection is immediately canceled. Moreover, people today are more concerned about the particle content of gravity theories built up from the Christoffel or other connections and rarely follow Einstein’s spirit that principles on particle kinematics could provide a connection to build up a theory. In a sense, string theory is closer to this spirit since it starts with the motion of the string to construct the theory. At the opposite end is the first order formulation of various gravity theories, where the metric (or the vierbein) and the connection are considered quite independent; the cost however from this approach is that the connection (or equivalently the torsion or non-metricity) carry in general a large number of new components and it is difficult to believe that all of them have some physical meaning. An intermediate situation probably looks more promising.
Christoffel connection entered physics through Einstein, who certainly did not adopt it axiomatically or in a geometric manner, but he had to be convinced for its virtue out of physical arguments. Of course, one can still keep on using the Christoffel connection even without any justification, but our aim here is to try to reduce its physical significance out of theoretical reasons which invalidate Einstein’s arguments in some probably realistic spacetime regions. To be more precise, the geodesics of the Christoffel connection as the orbits of all particles arise by the identification of the local inertial frame/freely falling frame (ingeniously discovered by Einstein refining the notion of weak equivalence principle) with the local Lorentz frame/local Minkowski frame (today the existence of such a frame probably does not need any justification since the notion of a spacetime metric which generalizes the Minkowski metric is considered fundamental, but it seems as well that it can consistently be introduced through what is called Einstein equivalence principle concerning the non-gravitational laws of physics).
In this work, we prove that in the presence of only massless particles (massive particles do not exist) the above identification is meaningless and does not lead to any connection. In an alternative construction of a connection, responsible for providing the orbits of all particles, the existence of the above two frames can usually be adopted, but not their identification. Our proof is based on the existence of projectively equivalent connections and the absence of proper time for massless particles. The fact that the relevant group for massless particles is the conformal group does not affect the validity of our result since the Lorentz group is still present. We argue that this result is probably relevant in our world. It seems that the most direct and solid regime for the applicability of the above result is the early universe. In the early universe, the standard approach is to consider the contributions from loops and thermal corrections at finite temperature. As a result, all particles are expected to be massless before the electroweak symmetry breaking. Even for theories with phase transitions at higher energy scales, before these scales all particles are still expected massless. If these massless particles have to decide about their motion in a gravitational environment out of some kinematical principles (at least as long as semiclassical notions such as orbits are still defined), they cannot be based on the notion of a massive particle which arises later in time. Thus, the Christoffel connection in this regime is not the result of physical arguments on particle kinematics, thus probably losing its overall reliability (in this same spirit, even the axiom of continuation to the purely massless case of the minimal length geodesics of the massive particles appeared later in time, is also insufficient). On the contrary, if another connection could be defined out of physical arguments concerning the kinematics of all particles, which arguments will equally well be meaningful everywhere in spacetime, we consider that this new connection could be a more appropriate and realistic connection to be valid everywhere in spacetime. Moreover, the existence of the notion of orbit (either classical or semiclassical) seems still reasonable around the TeV scale since the full strong quantum gravity regime is normally expected at much higher energies. Another case where the insufficiency of the Christoffel connection may occur is in spacetime regions of very high energy and temperature where only massless particles may exist, which regions are causally disconnected from the rest of spacetime where massive particles are also present (deep interior of supermassive astrophysical objects or even black holes are not impossible to be such regions). The above thoughts could also be relevant in the presence of extra dimensions with some fundamental mass scale.
2. The Local Inertial Frames
The local indistinguishability of gravitational and inertial forces, which is an essential step for the derivation of Einstein’s General Relativity (and therefore of other theories as well), is described by the axiom that there exists a coordinate system
around the event p (local inertial frame or freely falling frame) and a parameter
, such that the orbits
of freely falling test particles obey
(2.1)
The orbit
has locally the form of a straight line up to terms of order
. Equation (2.1) is an infinitesimal version of the law of inertia and implies the universality of free fall. It encapsulates some form of the weak equivalence principle as refined by Einstein due to his epiphany by October 1907: “I was sitting in a chair in the patent office at Bern ...’’. It turns out that
is an affine parameter of a geodesic. In arbitrary coordinates
, Equation (2.1) takes the form
(2.2)
at p, where
(2.3)
The quantity
(symmetric in
) is easily seen that forms the components of a connection and is given by the functions
. Formally, the analytical expression (2.3) is defined not only at p but at other points as well. However, the correct is that the expression (2.3) is meaningful and gives the values of the connection only at the point p. At another point a corresponding expression will be valid for the corresponding
, and depending on what assumptions one adopts, the form of the connection will arise at all points. Indeed, if Equation (2.3) was valid in a neighborhood of p, applying this equation for the specific system
, it would give a vanishing (flat) connection with vanishing curvature, which certainly is not the situation that one wants to describe. For the same reason, Equation (2.1) cannot be true in a whole neighborhood around p (something that sometimes is misunderstood). However, Equation (2.2) for
provides with the use of (2.1) that at the point p the components of the connection in the system
vanish. So, basically the system
defines the connection at p, such that at p the components of the connection in its own coordinates
vanish.
It is a crucial point that for massive particles the parameter
of (2.1) has for consistency to be the proper time
along the orbit of the particle (or more generally equal to
, with
constants), defined by
. This is an assumption inside Equation (2.1), and therefore, for massive particles the only affine parameter is assumed to be the proper time. If this was not assumed, we will see that inconsistency would appear even in our everyday world and the Christoffel connection would never arise. For massless particles there is no proper time, so a parameter
is assumed to exist such that Equation (2.1) is still valid. In the massless case, the parameter
can be the temporal coordinate
since if
is different than
, one can define the new coordinate system
such that its spatial coordinates are
, while
, and then
. We will let a general
satisfying Equation (2.1) without some
other specification, except if stated otherwise explicitly. Another point to be noticed is the following: the arbitrary system
can equally well describe the motion of either massive or massless particles (for example, the standard coordinates
of a spherically symmetric configuration describes all particles). Intuitively, this is so since the orbit of a massless particle is very close to the orbit of a massive particle chasing the first one very closely. Since the connection is a spacetime function, independent of the orbits, the inertial system
of (2.3) describes all particles.
If, instead of
, an arbitrary parameter
is used, then Equation (2.1) becomes
(2.4)
where
(2.5)
while Equation (2.2) becomes
(2.6)
at p. The connection
remains unchanged when we pass from the affine parameter
to the non-affine
. Equation (2.2), Equation (2.6), as known, transform tensorially under coordinate transformations with f unchanged. As for the function f, it could in principle be different from geodesic to geodesic, depending on the selected parametrization on each one.
If a coordinate system
satisfies
, while the parameter
obeys
, then
. Thus, it seems that
may not
be unique around p with the property that “eats up’’ gravity, but other systems
could also exist with the same property. Indeed, for example, the globally rotated systems
, where
a general invertible constant matrix, are also locally inertial with the same affine parameter
, and satisfy (2.1), (2.3). In the following of this section, we will show the existence of other non-trivial such systems and construct them more systematically using two methods. In the first method, from an arbitrary system
, another local inertial system
will be constructed for any sort of particles being present, such that
satisfies (2.1) and also
can replace
in (2.3). In this sense, another system
will define its own local inertial frame
, different in general from
, such that again
satisfies (2.1), (2.3), and so on. The system
can also be expressed in terms of
as
. The inertial systems and the way they are constructed in the first method do not lead to any inconsistency even if only massless particles are present. They rather convince us in a more direct and manifest manner about the multiplicity of inertial frames and they lead to the Christoffel connection. In the second method, from an arbitrary but specific system
, in the case where only massless particles are present, we will construct an infinity of local inertial frames
such that each one of them, along with its appropriate parameter
, satisfies (2.1), i.e.
satisfies (2.1), while it also satisfies a deformation of (2.3). The systems
are different in general from the systems
because the affine parameter
is different than
. If a massive particle is present, the systems
reduce to
, since a
has to describe both massive and massless particles. The existence of the systems
in the purely massless case is the root for the proof of the claimed inconsistency.
For an arbitrary coordinate system
, we define the coordinate system
by the relation
(2.7)
Maybe a few
are defined, and not just one, due to the quadratic form of the defining equation. As
, the system
, due to Equation (2.7), is also valid for all particles. The components
of the connection in the coordinates
are easily seen to have
. Therefore, since Equation (2.2), Equation (2.6) hold for any system, applying them for
we get the corresponding of (2.1), (2.4), i.e.
(2.8)
(2.9)
Moreover, a direct calculation shows that the expression (2.3) is also valid with
playing the role of
, i.e. it is
(2.10)
at p.1 Obviously, due to (2.10), the connection at p defined by a system
coincides with
. These mean that for each coordinate system
, a corresponding local inertial system
can be defined with the same affine parameter
. It can be noticed that Equation (2.7) defining
can be written equivalently in exactly the same form if
is replaced by
,
by the corresponding components
of the same connection in the
coordinates, and
by
. The system
satisfies (2.8), (2.9), while
,
,
satisfy (2.10). Therefore, the (trivial) globally rotated frames of
are locally inertial with the same affine parameter
and arise from the class of the globally rotated systems of
, still within the formula (2.7). Since Equations (2.8)-(2.10) are analogous to Equation (2.1), Equation (2.4), Equation (2.3), someone might think that the systems
are not something new, but they coincide with
(or their rotations
). However, this is not true in general. Moreover,
is not the rotation of
in general. Therefore, various
exist, which are different from
and different from each other. To see this, let
defines through (2.7) the system
, while another system
defines
. Let us suppose that
coincides with
and
coincides with
, where
are invertible constant matrices. Then,
, where
. This relation between
is shown not to be generic, even if
are not related to
. Indeed, Equation (2.7) is a quadratic algebraic equation for
and its solution for
is some algebraic expression containing square roots. Similarly, we solve the second equation with
for
; it will have another form with square roots with some differences due to the different values of the connection in the
system and the possible existence of the free parameters
wandering around. Equating the two expressions for
we get that the system
is related to the system
through a specific algebraic expression with square roots, containing also various numerical values. Of course, such an expression does not exhaust an arbitrary coordinate system
, so the above relation of
,
only rarely occurs. Therefore, formula (2.7) defines the first method mentioned above for the determination of various inertial frames.
There are two non-trivial things happening for the geodesic Equation (2.6) with an arbitrary
. First, Equation (2.6) is quasi-form invariant under changes of the parameter
, something that does not happen in all ordinary differential equations, although a change of the independent variable is always a permissible transformation. This precisely means that the form of Equation (2.6) does not
change if
is replaced by
and f by
, where
(and to be more precise
by
). Therefore, when we have a connection
at hand (in a coordinate system), the choice of the function f does not affect the geodesics (their point sets). So, while the new geodesic equation with
to be solved is different than the original one with f, the geodesics are the same. The above expression for
is in agreement with (2.5) setting
and
.
Second, if
is an arbitrary vector field, then
(2.11)
defines another torsionless connection. The value of
at p depends on the value of
at p and no differentiation of
or
will appear. However, the values of
along the geodesic will be used in order to make changes in the parameter
or
, similarly to the fact that the various coordinate systems are also defined around p. The geodesic Equation (2.6) for
is written as
(2.12)
at p, where
(2.13)
Moreover, defining
by the equation
(2.14)
Equation (2.12) becomes
(2.15)
at p. Alternatively, Equation (2.15) can arise by first performing a parameter change from
to
in (2.6) and then introducing
from (2.11). In the context of geometry, the previous equations for
are valid not only at p as here, but along the whole curves, and then, since (2.12) is also the geodesic equation of
, this means that the geodesics of
,
coincide (
is called projectively equivalent to
). So, two projectively equivalent connections have different f’s with the same parametrization (i.e.
), or alternatively, they can have the same f with different parametrizations (i.e.
). In practice, Equation (2.15) for suitable
can facilitate the finding of the geodesics. Hence, the connection
defined by (2.11) is in some loose sense a sort of “gauge’’ transformation for the geodesics. For our purposes here, the validity of the previous equations at p will be enough. The inverse is also true, which means that any two connections which have all their geodesics the same are necessarily
related by an equation of the form (2.11) [28] [29]. Indeed, if
, the geodesic equations of the projectively equivalent connections
are written as
,
for some appropriate functions
. Therefore
, where
,
. The above algebraic condition for
implies that there are vector fields
,
, such that
. The symmetry property of
implies
, and thus Equation (2.11) arises.
We now focus to the case where only massless particles are present. We will find other local inertial frames, for which the equivalence principle holds, in a different way. Namely, using a single coordinate system
, we will define various systems
(other than the global rotations of the corresponding system
) such that still gravity is locally eliminated. If in particular we attach with such a
the appropriate affine parameter
, we will have the form (2.1) for
. Indeed, we have defined in (2.14) the parameter
, such that the geodesic equation for
at p takes the specific form (2.15). Define now the parameter
by the equation
(2.16)
and we get
(2.17)
at p. The coordinate system
defined by
(2.18)
has vanishing components at p of the
connection in the
system, i.e.
, quite similarly to what happens with Equation (2.7). Due to (2.18), the system
is valid for all particles, massive and massless, similarly to what happens with the systems
. Since Equation (2.17) holds for any system, applying it for
, we get the corresponding of (2.1), i.e.
(2.19)
Moreover, it arises
(2.20)
at p. These mean that various local inertial coordinate systems
, each one with an appropriate affine parameter
, arise from the projectively equivalent connections
(as parametrized by
). Due to (2.20), the connection at p defined by a system
coincides with
.
Since the role played by the parameter
is crucial, it is enlightening to simplify the previous analysis in order to make the situation even more clear. We consider in (2.12) the affine parameter
instead of the general parameter
and get
(2.21)
at p. Equation (2.21) also arises directly from (2.2) introducing the quantity
. Then, we define directly the parameter
from the equation
(2.22)
Equation (2.22) also arises from the previous equations, since for
in (2.16), a solution can be
, and Equation (2.14) provides (2.22). Finally, changing in (2.21) from
to
according to (2.22), we get (2.17). We can summarize by saying that adding in (2.2) the
terms in order to get the projectively equivalent connection
as in (2.21), a non-affine geodesic arises which can be changed into the affine one (2.17) through (2.22). Equations (2.19), (2.20) follow exactly as before. The parameter
is different from
(2.or
with
constants), otherwise Equation (2.22) would be inconsistent. So, the process is that a
defines a
through (2.11) and a
through (2.22), then a
is defined through (2.18) and satisfies Equation (2.19), Equation (2.20). The above description shows that instead of changing the coordinate systems to get other local inertial frames, we can stay at a single coordinate system and just flip to projectively equivalent connections in order to get new local inertial frames. Therefore, formula (2.18) defines the second method mentioned above for the determination of inertial frames in the purely massless case.
As in the case with the systems
, also here, Equation (2.18) defining
can be written equivalently in exactly the same form if
is replaced by
,
by the corresponding components
of the
connection in the
coordinates,
and
by
. The system
satisfies (2.19), while
,
,
satisfy (2.20). Therefore, the (trivial) globally rotated frames of
are locally inertial with affine parameter
and arise from the class of the globally rotated systems of
, still within the formula (2.18). The systems
are different in general (i) from the systems
or
, and (ii) from
and from each other. As for (i), this is seen by combining Equation (2.7), Equation (2.18) and
, from where it arises
. There is no
such that the last equation is valid, since the left hand side is quadratic in
while the right hand side is linear, and also
depends on
. The same fact can also be seen as follows. The solution of Equation (2.22)
will in general have both
,
non-vanishing, since the opposite is a very special initial condition for the differential Equation (2.22), which means a very special choice for the solution
. If
, then Equation (2.19), (2.8) would give
, which is incompatible in general. As for (ii), let
a
defines
and
, while another
defines
and
. If
and
, then
, where
. This relation between
is not generic, even if
are not related to
. Indeed, from Equation (2.18) applied twice for
, we get
. As before, there is no
such that the last equation is valid, since the left hand side is quadratic in
while the right hand side is linear, and also
depends on
. The same conclusion is also derived from Equation (2.22) applied twice for
, and we get
. If
, then Equation (2.19) applied twice for
provides
, and therefore
, which is inconsistent in general.
When massive particles are not present, the root of the claimed inconsistency lies on the existence of the local inertial frames
which give rise to the projectively equivalent connections
according to (2.20). If, however, massive particles are present, the existence of proper time for the massive particles changes completely the situation and the systems
reduce to
. Equation (2.17), Equation (2.19) for the massive particles should have
(or
) since the weak equivalence principle in the form (2.1) has embedded the assumption of proper time. Although the affine parameters between massive and massless particles are different, the system
should be the same for both. Equation (2.22) for a massive particles provides
, thus
and
. Therefore, if massive particles are present, the Christoffel connection arises normally and no inconsistency occurs. The same conclusion arises, although in a little more complicated way, if we think the presence of massive particles in terms of the general non-affine parameter
instead of the proper time. Indeed, Equation (2.16) defines the parameter
. Since
, Equation (2.16), Equation (2.5) coincide, and thus
(up to a possible additive constant). Hence, from Equation (2.14) it arises
and (2.13) gives
. In other words, a general
, different than
, satisfies for massive particles Equation (2.21) with a non-vanishing right hand side, in contrast to Equation (2.2), which means that
satisfies (2.19) and not the axiom of the weak equivalence principle for massive particles in the form (2.1). Finally, let us finish with a hypothetical comment: If
for timelike particles was different than
for null particles (which is not the case), then the construction of the systems
would invalidate the derivation of the Christoffel connection even in the presence of massive particles.
3. The Local Lorentz Frames
Given a spacetime metric
, for a given point p there is a surrounding coordinate system
, such that the corresponding components have
. This is an issue of linear algebra since the matrix
can always be diagonalized and
can be constructed such that the vectors
at p coincide with the orthonormal vectors of diagonalization. Therefore, an infinite number of such systems
exist. Indeed, any system
, such that
equals
plus quadratic or higher powers of
, has
. While the weak equivalence principle intents to embody gravity, a metric with spacetime signature intends to embrace special relativity. Although the local Minkowski structure is always present (basically through the tangent space) and a coordinate system exists such that the metric locally coincides with the Minkowski metric, obviously there are coordinate systems around p with
. In an arbitrary coordinate system
it holds
(3.1)
at p. This equation cannot be true in a whole neighborhood around p, since then, the space would be Minkowski in a whole neighborhood, which certainly is not the situation that one wants to describe. Today, a metric
is considered as a fundamental object, but it was not always obvious that such a
should exist and generalize the Minkowski metric in the presence of gravity. It seems that what is called Einstein equivalence principle implies the existence of a
which is locally Minkowski2. This principle extends the weak equivalence principle and requires the independency from the direction and spacetime position for any freely falling frame (where inhomogeneities of the external fields are ignorable) of any local non-gravitational test experiment. Thus, the metric arises as a direct result of the existence of the freely falling frames together with their direction insensitivity (local Lorentz invariance of the non-gravitational laws of physics) and position independency (see [32], p. 23 for more details). However, the selection of the Christoffel connection is not automatic and has to be justified.
Another coordinate system
, more specific than
, can be defined through the relation
(3.2)
where
are the components of the Christoffel connection in the system
. Then, it is easily seen that
and
has vanishing
first derivatives at p, i.e.
,
(the small circle above the
corresponding symbols reminds us notationally of these zero values). Also, Equation (3.1) holds at p with
taking the place of
. These are simple geometrical facts which are generally true and are sometimes useful for performing proofs in tensor analysis. A system
is called local Lorentz frame (or local Minkowski frame) around p. Therefore, gravitation, which is manifested through
(and possibly other fields), is a second-order effect. Certainly the existence of coordinate systems such as
, or even more
, expresses the fact that a gravity theory agrees locally with special relativity to a good approximation. In an arbitrary coordinate system
it is
(3.3)
Differentiation of (3.3) gives
(3.4)
at p.
If we consider the (global) Lorentz transformation
of
, then the corresponding metric
also has the property
. Accordingly,
the systems
satisfy
,
, so they define
other local Lorentz frames. Equation (3.2) defining
can be written equivalently in exactly the same form if
is replaced by
,
by the corresponding components
of the Christoffel connection in the
coordinates, and
by
. Therefore, the globally rotated systems of
arise from the class of the globally rotated systems of
, still within the formula (3.2). Equation (3.3), Equation (3.4) remain the same with
substituting
.
4. The Proof of the Inconsistency
The notion of connection (which determines the free fall of particles) and the notion of metric (which embodies the local Minkowski structure) are in general unrelated. It was Einstein’s ingenuity to relate them in order to determine the connection
. So, the Christoffel connection arises by the identification of a freely falling frame
or
with a local Lorentz frame
, i.e.
or
. Substituting the second derivatives in (3.4) from (2.3) or (2.10), and making use of (3.1) for
, it arises
(4.1)
at p. This is the known equation of vanishing non-metricity and for a torsionless connection it gives, after some algebraic manipulation, the Christoffel connection,
(4.2)
at p. The connection was found to be the Christoffel connection at the point p, and since the same can be repeated for any point, finally the Christoffel connection arises globally.
If massive particles are present (possibly together with massless), no systems
exist other than
, as explained in Section 2, due to the existence of proper time assumed in the weak equivalence principle for massive particles. Thus, nothing more can be said beyond Equation (4.2) which is the final word for the connection. For a massive particle with
we have the obvious equation
. The left hand side of this equation, after making use of
(2.2) for the connection (4.2), turns out to be identically zero. This is a consistency check for the assumption
in (2.1).
On the other hand, if only massless particles are present, the freely falling frames
,
still exist, but now the extra local inertial frames
are also present. Each one of all these systems should be identified with some local Lorentz frame
. For
or
, Equation (4.1), Equation (4.2) at p arise in exactly the same way as before. However, the unavoidable identification of
with some
, i.e.
, gives some extra conditions. Indeed, substituting the second derivatives in (3.4) from (2.20), and making use of (3.1) for
, it arises
(4.3)
at p. Again, algebraic manipulation of Equation (4.3), as before, provides that
is the Christoffel connection, i.e.
(4.4)
at p. Combining Equation (4.2), Equation (4.4) gives
at p. Multiplication of this equation with
gives
at p. This last equation obviously gives
at p. To get this result even more manifestly, since
is arbitrary, there are various vector fields
with non-vanishing magnitude at p, i.e.
at p. Considering equation
for such a
and multiplying with
, we get
. Equation
at p is certainly inconsistent since
is arbitrary. Therefore, we have proved that the identification of a local inertial frame with a local Lorentz frame in the purely massless case is meaningless and does not provide any connection (Christoffel or other). The reason for this inconsistency is the absence of proper time and the existence of a distinct affine parameter
, a different one for each local inertial frame
, which satisfies Equation (2.19). The local inertial systems
are equally good as the local inertial systems
or
which satisfy Equation (2.1), Equation (2.8). The infinite number of the local inertial systems
arise from the infinite number of the projectively equivalent connections
, which are parametrized by the vector field
. The inconsistency is due to that any such connection turns out to coincide with the Christoffel connection. If for massive particles it was not assumed that the affine parameter is the proper time, then it becomes obvious that the same inconsistency would occur along Equation (4.3), Equation (4.4) even in the presence of massive particles.
5. Conclusions
The assumption of the existence of a local inertial coordinate system around a spacetime point, for which the weak equivalence principle is valid, automatically implies the existence of infinitely many other such systems. The identification of any such system with a local Lorentz coordinate system implies that the Christoffel connection controls the kinematics of all particles. However, if only massless particles are present, the situation changes drastically and we show that the identification of a freely falling frame with a local Lorentz frame is meaningless and no connection arises. The presence of the conformal structure for massless particles, instead of the Lorentz one, does not influence our result.
The reason for this inconsistency is that the absence of proper time in the purely massless case allows for the existence of even more local inertial coordinate systems
. Technically, these last systems arise from the existence of projectively equivalent connections
through the expression (2.18) and are parametrized by a vector field
along the formula (2.11). The appropriate affine parameter
of these systems for the null particles is defined from (2.22) and Equation (2.19) of free motion is derived, as well as the corresponding geodesic Equation (2.17). The inconsistency arises from Equation (2.20), when it is attempted to identify
with a local Lorentz frame, since all the connections
turn out to coincide with the Christoffel one.
Christoffel connection is theoretically significant in physics not because it is introduced as an axiom, or because it is economical and solely constructed in terms of the metric, but because it arises as a result of basic ideas concerning particle kinematics. If there are spacetime regions where only massless particles exist and no massive particles are present to move in the interior of the null cone, the Christoffel connection cannot arise out of the above particle kinematics, and therefore, this connection probably loses its overall significance as an exact connection of spacetime. A connection arising from different ideas of particle kinematics, which are meaningful in the whole of spacetime, is probably more satisfactory conceptually.
In the early universe, before spontaneous symmetry breaking at electroweak scale, all particles are expected to be massless. In this region, which is not expected to be the full quantum gravity regime, notions such as orbits are still meaningful classically or semiclassically. The massless particles in this spacetime region have to decide about their motion in a gravitational environment, but they cannot be based on the notion of a massive particle which appears later in time. Therefore, the kinematical emergence of Christoffel connection in this region breaks down and can set in doubt its overall reliability. Other spacetime regions with only massless particles could be imagined, although probably with no strong arguments, such as the very interior of astrophysical objects or black holes, or relevant objects in the presence of extra dimensions.
Let us finish with an interesting remark. Suppose we have a gravity theory where a connection (or some of its components) is part of the dynamical fields. There are three options. In the first, one insists, due to Einstein’s kinematical arguments, that the motion of particles is still governed by the Christoffel connection and that the other connection only indirectly influences the orbits through its interaction with the metric. However, this reasoning is insufficient whenever the previously shown inconsistency of the derivation of Christoffel connection is valid. In the second option, the orbit is governed by the geodesic equation of the connection which caries torsional or non-metricity degrees of freedom. In general, this equation will not preserve in time the nullity constraint of a massless particle, except if this demand is appropriately taken into account, possibly in the construction of the connection. In the third option, the motion of the particles is provided by some action. This action can either refer to extended fields which give the equation of motion for the particle through the geometric optics limit, or it can be a delta-like action providing the orbit directly. Beyond that there are many correction terms that can be added in such actions, similarly to the second case, the respect to the nullity condition only occasionally is expected to occur, if not built-in inside the action.
Acknowledgements
I would like to thank I. Dalianis, A. Kehagias, E. Kiritsis, M. Maggiore, T. Sotiriou, T. Tomaras, R. Troncoso and V. Zarikas for useful discussions.
NOTES
1Inversely, starting from a geodesic equation of the form (2.6) (with f the same for all coordinate systems) for an arbitrary torsionless connection
, Equations (2.8)-(2.10) arise at p for the system
of (2.7). Therefore, if a geodesic equation of some connection provides the orbits of free particles, Equation (2.1) is not anything fundamental, but it is a simple geometric fact that is always true; in the hands of Einstein, however, Equation (2.1) obtained a primitive role which allowed him to determine the connection.
2The Hughes-Drever experiment rules out the existence of more than one second-rank tensor field both coupling directly to matter, however, vector and tensor fields which couple only to gravity or to matter’s self gravitational energy are not ruled out [30] [31].