1. Introduction
The choice of a gauge is believed to be arbitrary [
1,
2] in general relativity (GR), due to the confusing conceptions between gauge transformation and the transformation of coordinates. But there are also different perspectives. Eddington clarified the difference between the transformation of gauge with the transformation of coordinates[
3], and believed that gauges cannot be arbitrarily chosen. His solution is to adopt "The natural gauge":
. Fock[
4], Zhou , and others argued that the harmonic gauge is the only physically valid gauge. Lo realized the problem of gauge freedom and proposed using experimental judgment[
5], but failed to provide a theory to eliminate gauge freedom.
Mach’s principle[
6] has not been contained in GR. Theorists have made various efforts to achieve Mach’s principle[
7,
8,
9,
10,
11,
12,
13]. The best solution is to achieve Mach’s principle while fully preserving GR, which means selecting solutions of field equations that comply with the Mach’s principle[
7,
8]. The origin why Mach’s principle was not included in GR is the existence of gauge freedom, which makes geometry becoming unconstrained by matter.
In addition, the motion of galaxies and clusters were not well explained[
14,
15,
16,
17]. Most introduce dark matter for this[
17,
18], while a few seek for modified gravity[
19,
20,
21,
22]. But no one wants to give up on the achievements of GR. If these problem can be solved within the theory of GR[
23], it will be a great success for GR.
Section 2 elaborates on the problem of gauge freedom of GR.
Section 3 provides a solution: adding a constraint to eliminate the gauge freedom of GR. As inferences,
Section 4 Section 5 discusses the Mach’s principle and the problem of galaxy rotation curves.
2. The Redundant Gauge Degree of Freedom in General Relativity Theory
In differential geometry, we distinguish the abstract index[
2] (such as
) and specific index (such as
). Spacetime is a set of events. We believe that spacetime is a manifold. On this manifold, a coordinate system can be artificially established by giving each event a coordinate (a string of real numbers). There is a metric field
and other tensor fields on this manifold. After fixing the coordinate system
, a tensor (such as
) can be represented using coordinate components (such as
).
As is well known, due to the Bianchi identity, there are only 6 independent equations in Einstein field equation , making it impossible to determine the 10 components of the metric. Theorists generally believe that this ensures the principle of general covariance, while also leading to the gauge freedom of GR. We emphasize that principle of general covariance and gauge freedom are two different things. General covariance is: the coordinate components change under a coordinate transformation, while the metric field on the manifold remains. Gauge freedom is: the metric field changes under a diffeomorphism, while "geometry" and "physics" remain. The traditional solution is to write down a coordinate condition.
The understanding of this "gauge freedom" is not correct. This so-called "gauge freedom" leads to problems in our calculations. Let’s take solar system as an example. Firstly, establish a coordinate system, which means giving each event a coordinate. We use the most common coordinate system, with the sun at the origin and the earth at 1 A.U.. The parameters in the field equation are the mass of the sun and its world line, which are known. The boundary conditions are spherical symmetry and tend to the Minkowski metric in the distance. The initial condition is static. We cannot determine
since there are infinite solutions, including Schwarzschild’s solution,
Fock’s solution,
and so on. Don’t think this is caused by general covariance, it is caused by gauge freedom. We set a coordinate system from the beginning, it is the metric field
uncertain. This leads to uncertainty of geodesic. The physical processes related to geodesics, such as whether a bullet hit the target, are also uncertain. We have set the coordinate system, but we don’t know the corresponding coordinate condition. If you recklessly believe that the coordinate system we set correspond to harmonic coordinate condition, then you will get the Fock’s solution, not the Schwarzschild’s solution you familiar with.
Due to the use of Newtonian approximation, we were not aware of the failure in solving the solar system. But I believe that similar errors also occur in solving galaxies, which directly leads to the problem of galaxy rotation curve and the introduction of dark matter. The origin of the problem is the gauge freedom of GR.
3. The Constraints Equation on the Metric of Spacetime
3.1. Constraints from the Equation of Motion
We suggest adding a constraint to eliminate the gauge freedom of GR. For general, fluids with gravitational and other interactions and pressure,
the constraint is the equation of motion of the fluid element:
is the 4-force acting on the element, originating from other interactions and pressures.
is the 4-velocity of the flow element.
m is the mass of the element.
For fluids with only gravitational interaction and no pressure, this constraint degenerates into geodesic equation:
Which means matter is not only the source of the gravitational field, but also moves in the gravitational field, and its motion must be consistent with the gravitational field it generates. We are not solving the gravitational field under the known motion of matter, but rather solving both the gravitational field and the motion of matter simultaneously, which requires simultaneous field equation and motion equation (
4).
3.2. Revisit of the Gauge Degree of Freedom
Establishing a coordinate system is to give each event a coordinate, so that the coordinates of each world line of the flow element has been determined, and the 4-velocity and density are known. is observed by co-moving observers and is independent of the metric, known as proper energy density. We are different from traditional views. Traditionally, and are unknown, as they didn’t fix a coordinate system really. and are known, but the motion of matter is still unknown because is unknown and the distance between events is unknown. There are only 10 unknown functions to be solved.
The
of dust is still unknown, as
is related to
. Conservation of energy-momentum
is not an identity, unable to reduce the number of independent equations with Bianchi identity
together. Field equations
are 10 independent algebraic equations that precisely determine 10 unknown functions
.
has no gauge freedom at all, once a coordinate system is fixed,
is unique.
In another way, (
5) and the Bianchi identity form
, resulting in (
6) having only 6 independent equations. But in this way, (
5) becomes 4 independent constraints. There are still a total of 10 independent equations. You can also equivalently say that the constraint we added is the conservation of energy-momentum.
The elimination of gauge freedom of
does not affect the general covariance of GR. The reason is that the general covariance is not guaranteed by the Bianchi identity at all, but by the Einstein field equation
being a equation of tensor. Any equation of tensor is general covariant, including the constraint (
3) we add.
We actually do not add any constraints for dust without other interactions. The origin is the constraints of the field equation. But considering other interactions, the equation of motion is not entirely derived from the field equation, so we still use (
3) as an additional constraint.
3.3. Derivation of Coordinate Conditions
In
Section 2, we mentioned the problem of not being able to write down coordinate conditions after fixing a coordinate system, and now coordinate conditions are derived from motion equations. Taking co-moving coordinate system as an example. Establish a co-moving coordinate system, where the world line of the element is the
t-coordinate line, and the 4-velocity of the element is the coordinate basis vector:
. (
3) is simplified as:
Eq. (
4) simplified as:
This is actually the coordinate condition corresponding to co-moving coordinate system.
For dust with only gravitational interaction. The co-moving coordinate system can be upgraded to a Gaussian normal coordinate system. This requires adjusting
t to the proper time of the element, requiring normalization
, which leads to
. And perform a clock synchronization, which requires existing an equal
t surface
orthogonal to the
t-coordinate line. For the coordinate basis vector
, there is
,
. Orthogonality means:
Next, we need to prove that there is also
outside of
, just prove
.
Note that the coordinate basis vectors are commutative:
Substitute (
4) and (
11) into (
10):
This is exactly the coordinate condition corresponding to Gaussian normal coordinate system:
In coordinate system we select, our constraints (
3) can derive the coordinate condition correctly. Once the coordinate system is selected, the coordinate condition should be derived. You cannot manually specify coordinate condition while fixing coordinate system.
In fact, if you have ever solved the Einstein’s field equation (for a fluid with only gravitation and no pressure) in a co-moving coordinate system, then you have successfully eliminated the gauge freedom of GR and obtained the correct solution. The solution you obtain in other coordinate systems (or without selecting a coordinate system but fixing coordinate conditions) can be transformed into a co-moving coordinate system to check it.
4. Mach’s Principle
There has been no unified expression for Mach’s principle for a long time. We acknowledge Mach’s own description[
6] only, not the later inferences including the anisotropy of inertia, Brans-Dicke theory[
10] and so on.
We suggest an expression of Mach’s principle: the metric at a point is jointly determined by all matter in the universe.
The GR with no gauge freedom conforms to Mach’s principle, as matter completely determines geometry. As early as 1975, researchers studied which background spacetimes comply with Mach’s principle using approximations[
8]. They still adopt the background spacetime and have not fully incorporated Mach’s principle into GR. And we don’t have the concept of background. We now demonstrate how all matter in the universe affect the water in a rotating bucket. We start at the cosmological principle. The universe is composed of homogeneously isotropic dust, and this boundary condition limits the form of metric. The metric is the well-known Robertson-Walker metric in the co-moving coordinate system
:
The laboratory on Earth can be seen as a small neighborhood, so
t expands at
and
l expands at
. Make an approximation
,
. The metric approximates to:
The transformation from co-moving coordinate system to laboratory coordinate system
is:
. The metric in the laboratory coordinate system is:
We transform to a cylindrical coordinate system
for convenience. The transformation is
. Metric writes:
The transformation from laboratory coordinate system to bucket coordinate system
is:
. The metric in the bucket coordinate system is:
Consider a drop of water stay still in the bucket coordinate system, with 4-velocity
. The 4-force acting on it is:
We will see a depression on the water surface to provide a force of
pointing towards the origin as a result.
Distant stars affect the inertia by influencing the local metric to determine which reference frames are inertial, not by influencing the inertial mass. The implementation of Mach’s principle does not break equivalence principle, that is, it does not distinguish inertial mass and gravitational mass. GR conforms to Mach’s principle after eliminating gauge freedom.
Our answer to the origin of inertia: Inertia originates from distant galaxies.
Our concept of spacetime is same as Einstein’s in his later years: spacetime is a manifestation of the extensibility of matter.It’s not that matter exists in space. The "empty spacetime" is meaningless. The Minkowski spacetime in the laboratory does not appear as a "stage" before matter exists, but is determined by all matter in the universe, as derived above. The vacuum at infinity is not the boundary condition of the field equation, matter is.
5. The Galaxy Rotation Curves
It is incorrect to use Newtonian theory in calculating the galaxy. We translate those into the language of GR : the spacetime of the galaxy is quasi-Euclidean. In the coordinate system we commonly use in astronomy, the metric is:
This means establishing a coordinate system on the scale of galaxy and assuming that it satisfies the harmonic coordinate condition. This conflicts with our ideas.
Below, we will show that this metric does not satisfy condition (
13) in co-moving coordinate system. The gravitational potential
is known by observing stars. The angular velocity
is calculated from potential and is also known. The transformation from common coordinate system
to co-moving coordinate system
:
In the transformed metric:
The requirement
adds 3 more equations. They are 3 new constraints, not automatically established. Therefore, conflicts arise. Even if we further limit the coordinate patch within a small neighborhood of
, we have
, but still
, which is still contradictory.
In fact, researchers used GR to calculate the galaxy rotation curve in co-moving coordinate system as early as 2005[
23], and obtained good results, indicating that dark matter does not need to be introduced. They first write the metric in the common coordinate system
:
Then establish a co-moving coordinate system, whose the coordinate patch is only a small neighborhood of
. Their article emphasizes that it’s "a purely local (r, z held fixed at each point when taking differentials) transformation, not a global one". In our language, we establish the co-moving coordinate system only within a small neighborhood of
. Calculating in such a coordinate patch is convenient and sufficient. The transformation is:
They require the metric to be diagonal in this co-moving coordinate system, which corresponds exactly to our constraint above. They obtain the equation:
The only correct metric to describe galaxies is obtained by solving this equation in conjunction with the field equation. However, they think the reason is the nonlinearity of the field equation, while we think the reason is the incorrect selection of coordinate condition.
6. Conclusion
We have added a constraint to GR: the equation of motion (
3) (or conservation of energy-momentum). If a Gaussian normal coordinate system is chosen, this constraint can derive coordinate condition
. This eliminates the gauge freedom of GR, making the solution
of the Einstein field equation uniquely determined by boundary and initial conditions. This does not break general covariance, nor does it affect the freedom of choosing coordinate systems. We also provided an expression of Mach’s principle. The GR without gauge freedom is in accordance with Mach’s principle and well reflect Einstein’s concept of spacetime in his later years. Our theory supports the calculation in [
23] and suggests that there is no need to introduce dark matter.
Acknowledgments
The author thanks Professor Tieyan Si for helpful discussions and support.
References
- S. Weinberg, Gravitation and cosmology: principles and applications of the general theory of relativity, 1972.
- R. M. Wald, General relativity, 1984.
- A. S. Eddington, The Mathematical Theory of Relativity, 1923.
- V. A. Fock, The Theory of Space Time and Gravitation, 1964.
- C. Y. Lo, Space Contractions, Local Light Speeds and the Question of Gauge in General Relativity, Chinese Journal of Physics, 2003, 41(4): 332-342.
- E. Mach, The science of mechanics: A critical and historical exposition of its principles, 1893.
- D. J. Raine, Mach’s principle and space-time structure, Reports on Progress in Physics, 1981, 44(11): 1151.
- D. J. Raine, Mach’s Principle in general relativity, Monthly Notices of the Royal Astronomical Society, 1975, 171(3): 507-528.
- N. Namavarian, M. Farhoudi, Cosmological constant implementing Mach principle in general relativity, Gen Relativ Gravit 48, 140 (2016).
- C. Brans, R. H. Dicke, Mach’s principle and a relativistic theory of gravitation, Phys. Rev., 1961, 124(3): 925.
- D. Lynden-Bell, J. Katz, J. Bicak. Mach’s principle from the relativistic constraint equations, Monthly Notices of the Royal Astronomical Society, 1995, 272(1): 150-160.
- L. Wahlin, Einstein’s Special Relativity Theory and Mach’s Principle, AAAS annual Meeting, Boston. 2002.
- S. Das, Mach Principle and a new theory of gravitation, arXiv preprint arXiv:1206.6755, 2012.
- J. H. Oort, The force exerted by the stellar system in the direction perpindicular to the galactic plane and some related problems, Bulletin of the Astronomical Institutes of the Netherlands, vol. 4, p. 249, 1932.
- F. Zwicky, Spectral displacement of extra galactic nebulae, Helvetica Physica Acta, vol. 6, pp. 110-127, 1933.
- F. Zwicky, On the masses of nebulae and clusters of nebulae, The Astrophysical Journal, vol. 86, pp. 217-246, 1937.
- V. C. Rubin, Dark matter in spiral galaxies, Scientific American, vol. 248, no. 6, pp. 96-108, 1983.
- K. Garrett, G. Duda, Dark matter: A primer, Advances in Astronomy, 2011, 2011: 1-22.
- P. D. Mannheim, Alternatives to dark matter and dark energy, Progress in Particle and Nuclear Physics, 2006, 56(2): 340-445.
- M. Milgrom, A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis, Astrophysical Journal, Part 1 (ISSN 0004-637X), vol. 270, July 15, 1983, p. 365-370. Research supported by the US-Israel Binational Science Foundation., 1983, 270: 365-370.
- P. D. Mannheim, D. Kazanas, Exact vacuum solution to conformal Weyl gravity and galactic rotation curves, Astrophysical Journal, Part 1 (ISSN 0004-637X), vol. 342, July 15, 1989, p. 635-638. Research supported by the National Academy of Sciences., 1989, 342: 635-638.
- S. Capozziello, M. De Laurentis M, M. Francaviglia, et al, From Dark energy & dark matter to dark metric, Foundations of Physics, 2009, 39: 1161-1176.
- F. I. Cooperstock and S. Tieu, General Relativity Resolves Galactic Rotation Without Exotic Dark Matter, astro-ph/0507619.
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).