This articlemay be too technical for most readers to understand. Pleasehelp improve it tomake it understandable to non-experts, without removing the technical details.(May 2019) (Learn how and when to remove this message) |
Teleparallelism (also calledteleparallel gravity), was an attempt byAlbert Einstein[1] to base a unified theory ofelectromagnetism andgravity on the mathematical structure of distant parallelism, also referred to as absolute or teleparallelism. In this theory, aspacetime is characterized by a curvature-freelinear connection in conjunction with ametric tensor field, both defined in terms of a dynamicaltetrad field.
The crucial new idea, for Einstein, was the introduction of atetrad field, i.e., a set{X1, X2, X3, X4} of fourvector fields defined onall ofM such that for everyp ∈M the set{X1(p), X2(p), X3(p), X4(p)} is abasis ofTpM, whereTpM denotes the fiber overp of thetangent vector bundleTM. Hence, the four-dimensionalspacetime manifoldM must be aparallelizable manifold. The tetrad field was introduced to allow the distant comparison of the direction of tangent vectors at different points of the manifold, hence the name distant parallelism. His attempt failed because there was no Schwarzschild solution in his simplified field equation.
In fact, one can define theconnection of the parallelization (also called theWeitzenböck connection){Xi} to be thelinear connection∇ onM such that[2]
wherev ∈TpM andfi are (global) functions onM; thusfiXi is a global vector field onM. In other words, the coefficients ofWeitzenböck connection∇ with respect to{Xi} are all identically zero, implicitly defined by:
hence
for the connection coefficients (also called Weitzenböck coefficients) in this global basis. Hereωk is the dual global basis (or coframe) defined byωi(Xj) =δi
j.
This is what usually happens inRn, in anyaffine space orLie group (for example the 'curved' sphereS3 but 'Weitzenböck flat' manifold).
Using the transformation law of a connection, or equivalently the∇ properties, we have the following result.
Proposition. In a natural basis, associated with local coordinates(U,xμ), i.e., in the holonomic frame∂μ, the (local) connection coefficients of the Weitzenböck connection are given by:
whereXi =hμ
i∂μ fori,μ = 1, 2,…n are the local expressions of a global object, that is, the given tetrad.
TheWeitzenböck connection has vanishingcurvature, but – in general – non-vanishingtorsion.
Given the frame field{Xi}, one can also define a metric by conceiving of the frame field as an orthonormal vector field. One would then obtain apseudo-Riemannianmetric tensor fieldg ofsignature (3,1) by
where
The corresponding underlying spacetime is called, in this case, aWeitzenböck spacetime.[3]
These 'parallel vector fields' give rise to the metric tensor as a byproduct.
New teleparallel gravity theory (ornew general relativity) is a theory of gravitation on Weitzenböck spacetime, and attributes gravitation to the torsion tensor formed of the parallel vector fields.
In the new teleparallel gravity theory the fundamental assumptions are as follows:
In 1961Christian Møller[4] revived Einstein's idea, and Pellegrini and Plebanski[5] found a Lagrangian formulation forabsolute parallelism.
In 1961, Møller[4][6] showed that atetrad description of gravitational fields allows a more rational treatment of theenergy-momentum complex than in a theory based on themetric tensor alone. The advantage of using tetrads as gravitational variables was connected with the fact that this allowed to construct expressions for the energy-momentum complex which had more satisfactory transformation properties than in a purely metric formulation. In 2015, it was shown that the total energy of matter and gravitation is proportional to theRicci scalar of three-space up to the linear order of perturbation.[7]
Independently in 1967, Hayashi and Nakano[8] revived Einstein's idea, and Pellegrini and Plebanski[5] started to formulate thegauge theory of the spacetimetranslation group.[clarification needed] Hayashi pointed out the connection between the gauge theory of the spacetime translation group and absolute parallelism. The firstfiber bundle formulation was provided by Cho.[9] This model was later studied by Schweizer et al.,[10] Nitsch and Hehl, Meyer;[citation needed] more recent advances can be found in Aldrovandi and Pereira, Gronwald, Itin, Maluf and da Rocha Neto, Münch, Obukhov and Pereira, and Schucking and Surowitz.[citation needed]
Nowadays, teleparallelism is studied purely as a theory of gravity[11] without trying to unify it with electromagnetism. In this theory, thegravitational field turns out to be fully represented by the translationalgauge potentialBaμ, as it should be for agauge theory for the translation group.
If this choice is made, then there is no longer anyLorentzgauge symmetry because the internalMinkowski spacefiber—over each point of the spacetimemanifold—belongs to afiber bundle with theAbelian groupR4 asstructure group. However, a translational gauge symmetry may be introduced thus: Instead of seeingtetrads as fundamental, we introduce a fundamentalR4 translational gauge symmetry instead (which acts upon the internal Minkowski space fibersaffinely so that this fiber is once again made local) with aconnectionB and a "coordinate field"x taking on values in the Minkowski space fiber.
More precisely, letπ :M →M be theMinkowskifiber bundle over the spacetimemanifoldM. For each pointp ∈M, the fiberMp is anaffine space. In a fiber chart(V,ψ), coordinates are usually denoted byψ = (xμ,xa), wherexμ are coordinates on spacetime manifoldM, andxa are coordinates in the fiberMp.
Using theabstract index notation, leta,b,c,… refer toMp andμ,ν,… refer to thetangent bundleTM. In any particular gauge, the value ofxa at the pointp is given by thesection
is defined with respect to theconnection formB, a 1-form assuming values in theLie algebra of the translational abelian groupR4. Here, d is theexterior derivative of theathcomponent ofx, which is a scalar field (so this isn't a pure abstract index notation). Under a gauge transformation by the translation fieldαa,
and
and so, the covariant derivative ofxa =ξa(p) isgauge invariant. This is identified with the translational (co-)tetrad
which is aone-form which takes on values in theLie algebra of the translational Abelian groupR4, whence it is gauge invariant.[12] But what does this mean?xa =ξa(p) is a local section of the (pure translational) affine internal bundleM →M, another important structure in addition to the translational gauge fieldBaμ. Geometrically, this field determines the origin of the affine spaces; it is known asCartan's radius vector. In the gauge-theoretic framework, the one-form
arises as the nonlinear translational gauge field withξa interpreted as theGoldstone field describing the spontaneous breaking of the translational symmetry.
A crude analogy: Think ofMp as the computer screen and the internal displacement as the position of the mouse pointer. Think of a curved mousepad as spacetime and the position of the mouse as the position. Keeping the orientation of the mouse fixed, if we move the mouse about the curved mousepad, the position of the mouse pointer (internal displacement) also changes and this change is path dependent; i.e., it does not depend only upon the initial and final position of the mouse. The change in the internal displacement as we move the mouse about a closed path on the mousepad is the torsion.
Another crude analogy: Think of acrystal withline defects (edge dislocations andscrew dislocations but notdisclinations). The parallel transport of a point ofM along a path is given by counting the number of (up/down, forward/backwards and left/right) crystal bonds transversed. TheBurgers vector corresponds to the torsion. Disinclinations correspond to curvature, which is why they are neglected.
The torsion—that is, the translationalfield strength of Teleparallel Gravity (or the translational "curvature")—
We can always choose the gauge wherexa is zero everywhere, althoughMp is an affine space and also a fiber; thus the origin must be defined on a point-by-point basis, which can be done arbitrarily. This leads us back to the theory where the tetrad is fundamental.
Teleparallelism refers to any theory of gravitation based upon this framework. There is a particular choice of theaction that makes it exactly equivalent[9] to general relativity, but there are also other choices of the action which are not equivalent to general relativity. In some of these theories, there is no equivalence betweeninertial andgravitational masses.[13]
Unlike in general relativity, gravity is due not to the curvature of spacetime but to the torsion thereof.
There exists a close analogy ofgeometry of spacetime with the structure of defects in crystals.[14][15]Dislocations are represented by torsion,disclinations by curvature. These defects are not independent of each other. A dislocation is equivalent to a disclination-antidisclination pair, a disclination is equivalent to a string of dislocations. This is the basic reason why Einstein's theory based purely on curvature can be rewritten as a teleparallel theory based only on torsion. There exists, moreover, infinitely many ways of rewriting Einstein's theory, depending on how much of the curvature one wants to reexpress in terms of torsion, the teleparallel theory being merely one specific version of these.[16]
A further application of teleparallelism occurs in quantum field theory, namely, two-dimensionalnon-linear sigma models with target space on simple geometric manifolds, whose renormalization behavior is controlled by aRicci flow, which includestorsion. This torsion modifies the Ricci tensor and hence leads to aninfrared fixed point for the coupling, on account of teleparallelism ("geometrostasis").[17]
{{cite book}}: CS1 maint: publisher location (link){{cite book}}: CS1 maint: publisher location (link)