HOME

TheInfoList



OR:

Teleparallelism (also called teleparallel gravity), was an attempt by
Albert Einstein Albert Einstein (14 March 187918 April 1955) was a German-born theoretical physicist who is best known for developing the theory of relativity. Einstein also made important contributions to quantum mechanics. His mass–energy equivalence f ...
to base a unified theory of
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
and
gravity In physics, gravity (), also known as gravitation or a gravitational interaction, is a fundamental interaction, a mutual attraction between all massive particles. On Earth, gravity takes a slightly different meaning: the observed force b ...
on the mathematical structure of distant parallelism, also referred to as absolute or teleparallelism. In this theory, a
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
is characterized by a curvature-free linear connection in conjunction with a
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
field, both defined in terms of a dynamical tetrad field.


Teleparallel spacetimes

The crucial new idea, for Einstein, was the introduction of a tetrad field, i.e., a set of four
vector field In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and dire ...
s defined on ''all'' of such that for every the set is a basis of , where denotes the fiber over of the tangent vector bundle . Hence, the four-dimensional
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
manifold must be a
parallelizable manifold In mathematics, a differentiable manifold M of dimension ''n'' is called parallelizable if there exist Smooth function, smooth vector fields \ on the manifold, such that at every point p of M the tangent vectors \ provide a Basis of a vector space, ...
. 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 the connection of the parallelization (also called the Weitzenböck connection) to be the linear connection on such that \nabla_v\left(f^i\mathrm X_i\right)=\left(vf^i\right)\mathrm X_i(p), where and are (global) functions on ; thus is a global vector field on . In other words, the coefficients of Weitzenböck connection with respect to are all identically zero, implicitly defined by: \nabla_ \mathrm_j = 0, hence _ = \omega^k\left(\nabla_ \mathrm_j\right)\equiv 0, for the connection coefficients (also called Weitzenböck coefficients) in this global basis. Here is the dual global basis (or coframe) defined by . This is what usually happens in , in any
affine space In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties relat ...
or
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
(for example the 'curved' sphere 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 , i.e., in the holonomic frame , the (local) connection coefficients of the Weitzenböck connection are given by: _= h^_ \partial_ h^_, where for are the local expressions of a global object, that is, the given tetrad.
The Weitzenböck connection has vanishing
curvature In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or su ...
, but – in general – non-vanishing torsion. Given the frame field , one can also define a metric by conceiving of the frame field as an orthonormal vector field. One would then obtain a
pseudo-Riemannian In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
field of
signature A signature (; from , "to sign") is a depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and intent. Signatures are often, but not always, Handwriting, handwritt ...
(3,1) by g\left(\mathrm_i,\mathrm_j\right)=\eta_, where \eta_=\operatorname(-1,-1,-1,1). The corresponding underlying spacetime is called, in this case, a Weitzenböck spacetime. These 'parallel vector fields' give rise to the metric tensor as a byproduct.


New teleparallel gravity theory

New teleparallel gravity theory (or new 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 1961
Christian Møller Christian Møller (22 December 1904, 14 January 1980) was a Danish people, Danish chemist and physicist who made fundamental contributions to the theory of relativity, theory of gravitation and quantum chemistry. He is known for Møller–Plesse ...
revived Einstein's idea, and Pellegrini and Plebanski found a Lagrangian formulation for ''absolute parallelism''.


Møller tetrad theory of gravitation

In 1961, Møller showed that a tetrad description of gravitational fields allows a more rational treatment of the energy-momentum complex than in a theory based on the
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
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 the Ricci scalar of three-space up to the linear order of perturbation.


New translation teleparallel gauge theory of gravity

Independently in 1967, Hayashi and Nakano revived Einstein's idea, and Pellegrini and Plebanski started to formulate the
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
of the spacetime translation group. Hayashi pointed out the connection between the gauge theory of the spacetime translation group and absolute parallelism. The first
fiber bundle In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a pr ...
formulation was provided by Cho. This model was later studied by Schweizer et al., Nitsch and Hehl, Meyer; 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. Nowadays, teleparallelism is studied purely as a theory of gravity without trying to unify it with electromagnetism. In this theory, the
gravitational field In physics, a gravitational field or gravitational acceleration field is a vector field used to explain the influences that a body extends into the space around itself. A gravitational field is used to explain gravitational phenomena, such as ...
turns out to be fully represented by the translational gauge potential , as it should be for a
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
for the translation group. If this choice is made, then there is no longer any Lorentz
gauge symmetry In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
because the internal
Minkowski space In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model. The model helps show how a ...
fiber Fiber (spelled fibre in British English; from ) is a natural or artificial substance that is significantly longer than it is wide. Fibers are often used in the manufacture of other materials. The strongest engineering materials often inco ...
—over each point of the spacetime
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
—belongs to a
fiber bundle In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a pr ...
with the
Abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commu ...
as
structure group In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a p ...
. However, a translational gauge symmetry may be introduced thus: Instead of seeing tetrads as fundamental, we introduce a fundamental translational gauge symmetry instead (which acts upon the internal Minkowski space fibers affinely so that this fiber is once again made local) with a connection and a "coordinate field" taking on values in the Minkowski space fiber. More precisely, let be the Minkowski
fiber bundle In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a pr ...
over the spacetime
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
. For each point , the fiber is an
affine space In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties relat ...
. In a fiber chart , coordinates are usually denoted by , where are coordinates on spacetime manifold , and are coordinates in the fiber . Using the
abstract index notation Abstract index notation (also referred to as slot-naming index notation) is a mathematical notation for tensors and spinors that uses indices to indicate their types, rather than their components in a particular basis. The indices are mere placeh ...
, let refer to and refer to the
tangent bundle A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold M is ...
. In any particular gauge, the value of at the point ''p'' is given by the section x^\mu \to \left(x^\mu,x^a = \xi^a(p)\right). The
covariant derivative In mathematics and physics, covariance is a measure of how much two variables change together, and may refer to: Statistics * Covariance matrix, a matrix of covariances between a number of variables * Covariance or cross-covariance between ...
D_\mu \xi^a \equiv \left(d \xi^a\right)_\mu + _\mu = \partial_\mu \xi^a + _\mu is defined with respect to the connection form , a 1-form assuming values in the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
of the translational abelian group . Here, d is the
exterior derivative On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The re ...
of the th ''component'' of , which is a scalar field (so this isn't a pure abstract index notation). Under a gauge transformation by the translation field , x^a\to x^a+\alpha^a and _\mu\to _\mu - \partial_\mu \alpha^a and so, the covariant derivative of is gauge invariant. This is identified with the translational (co-)tetrad _\mu = \partial_\mu \xi^a + _\mu which is a
one-form In differential geometry, a one-form (or covector field) on a differentiable manifold is a differential form of degree one, that is, a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the to ...
which takes on values in the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
of the translational Abelian group , whence it is gauge invariant. But what does this mean? is a local section of the (pure translational) affine internal bundle , another important structure in addition to the translational gauge field . Geometrically, this field determines the origin of the affine spaces; it is known as Cartan’s radius vector. In the gauge-theoretic framework, the one-form h^a = _\mu dx^\mu = \left(\partial_\mu \xi^a + _\mu\right)dx^ arises as the nonlinear translational gauge field with interpreted as the Goldstone field describing the spontaneous breaking of the translational symmetry. A crude analogy: Think of 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 a
crystal A crystal or crystalline solid is a solid material whose constituents (such as atoms, molecules, or ions) are arranged in a highly ordered microscopic structure, forming a crystal lattice that extends in all directions. In addition, macros ...
with line defects ( edge dislocations and
screw dislocation In materials science, a dislocation or Taylor's dislocation is a linear crystallographic defect or irregularity within a crystal structure that contains an abrupt change in the arrangement of atoms. The movement of dislocations allow atoms to sli ...
s but not disclinations). The parallel transport of a point of along a path is given by counting the number of (up/down, forward/backwards and left/right) crystal bonds transversed. The
Burgers vector In materials science, the Burgers vector, named after Dutch physicist Jan Burgers, is a Vector (geometric), vector, often denoted as , that represents the Magnitude (vector), magnitude and direction of the lattice distortion resulting from a dislo ...
corresponds to the torsion. Disinclinations correspond to curvature, which is why they are neglected. The torsion—that is, the translational
field strength In physics, field strength refers to a value in a vector-valued field (e.g., in volts per meter, V/m, for an electric field ''E''). For example, an electromagnetic field has both electric field strength and magnetic field strength. Field str ...
of Teleparallel Gravity (or the translational "curvature")— _ \equiv \left(DB^a\right)_ = D_\mu _\nu - D_\nu _\mu, is gauge invariant. We can always choose the gauge where is zero everywhere, although 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 the action that makes it exactly equivalent 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 between inertial and gravitational masses. Unlike in general relativity, gravity is due not to the curvature of spacetime but to the torsion thereof.


Non-gravitational contexts

There exists a close analogy of
geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
of spacetime with the structure of defects in crystal.
Dislocations In materials science, a dislocation or Taylor's dislocation is a linear crystallographic defect or irregularity within a crystal structure that contains an abrupt change in the arrangement of atoms. The movement of dislocations allow atoms to sli ...
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. A further application of teleparallelism occurs in quantum field theory, namely, two-dimensional non-linear sigma models with target space on simple geometric manifolds, whose renormalization behavior is controlled by a Ricci flow, which includes torsion. This torsion modifies the Ricci tensor and hence leads to an infrared fixed point for the coupling, on account of teleparallelism ("geometrostasis").


See also

* Classical theories of gravitation *
Gauge gravitation theory In quantum field theory, gauge gravitation theory is the effort to extend Yang–Mills theory, which provides a universal description of the fundamental interactions, to describe gravity. ''Gauge gravitation theory'' should not be confused with th ...
* Geometrodynamics * Kaluza-Klein theory


References


Further reading

* * *


External links


''Selected Papers on Teleparallelism'', translated and edited by D. H. Delphenich
*

{{theories of gravitation, state=expanded History of physics Theories of gravity