|
Vierbein
The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independent vector fields called a ''tetrad'' or ''vierbein''. It is a special case of the more general idea of a ''vielbein formalism'', which is set in (pseudo-)Riemannian geometry. This article as currently written makes frequent mention of general relativity; however, almost everything it says is equally applicable to (pseudo-)Riemannian manifolds in general, and even to spin manifolds. Most statements hold simply by substituting arbitrary n for n=4. In German, "vier" translates to "four", and "viel" to "many". The general idea is to write the metric tensor as the product of two ''vielbeins'', one on the left, and one on the right. The effect of the vielbeins is to change the coordinate system used on the tangent manifold to one that is simpl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Massive Gravity
In theoretical physics, massive gravity is a theory of gravity that modifies general relativity by endowing the graviton with a nonzero mass. In the classical theory, this means that gravitational waves obey a massive wave equation and hence travel at speeds below the speed of light. Massive gravity has a long and winding history, dating back to the 1930s when Wolfgang Pauli and Markus Fierz first developed a theory of a massive spin-2 field propagating on a flat spacetime background. It was later realized in the 1970s that theories of a massive graviton suffered from dangerous pathologies, including a ghost mode and a discontinuity with general relativity in the limit where the graviton mass goes to zero. While solutions to these problems had existed for some time in three spacetime dimensions, they were not solved in four dimensions and higher until the work of Claudia de Rham, Gregory Gabadadze, and Andrew Tolley (dRGT model) in 2010. One of the very early massive gravity theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spin Connection
In differential geometry and mathematical physics, a spin connection is a connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field generated by local Lorentz transformations. In some canonical formulations of general relativity, a spin connection is defined on spatial slices and can also be regarded as the gauge field generated by local rotations. The spin connection occurs in two common forms: the ''Levi-Civita spin connection'', when it is derived from the Levi-Civita connection, and the ''affine spin connection'', when it is obtained from the affine connection. The difference between the two of these is that the Levi-Civita connection is by definition the unique torsion-free connection, whereas the affine connection (and so the affine spin connection) may contain torsion. Definition Let e_\mu^ be the local Lorentz frame fields or vierbein (also known as a tetrad), which is a set of orthonor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frame Fields In General Relativity
A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The timelike unit vector field is often denoted by \vec_0 and the three spacelike unit vector fields by \vec_1, \vec_2, \, \vec_3. All tensorial quantities defined on the manifold can be expressed using the frame field and its dual coframe field. Frame were introduced into general relativity by Albert Einstein in 1928 and by Hermann Weyl in 1929.Hermann Weyl "Elektron und Gravitation I", ''Zeitschrift Physik'', 56, p330–352, 1929. The index notation for tetrads is explained in tetrad (index notation). Physical interpretation Frame fields of a Lorentzian manifold always correspond to a family of ideal observers immersed in the given spacetime; the integral curves of the timelike unit vector field are the worldlines of these observe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tetrad (general Relativity)
A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The timelike unit vector field is often denoted by \vec_0 and the three spacelike unit vector fields by \vec_1, \vec_2, \, \vec_3. All tensorial quantities defined on the manifold can be expressed using the frame field and its dual coframe field. Frame were introduced into general relativity by Albert Einstein in 1928 and by Hermann Weyl in 1929.Hermann Weyl "Elektron und Gravitation I", ''Zeitschrift Physik'', 56, p330–352, 1929. The index notation for tetrads is explained in tetrad (index notation). Physical interpretation Frame fields of a Lorentzian manifold always correspond to a family of ideal observers immersed in the given spacetime; the integral curves of the timelike unit vector field are the worldlines of these observe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solder Form
In mathematics, more precisely in differential geometry, a soldering (or sometimes solder form) of a fiber bundle to a smooth manifold is a manner of attaching the fibers to the manifold in such a way that they can be regarded as tangent. Intuitively, soldering expresses in abstract terms the idea that a manifold may have a point of contact with a certain model Klein geometry at each point. In extrinsic differential geometry, the soldering is simply expressed by the tangency of the model space to the manifold. In intrinsic geometry, other techniques are needed to express it. Soldering was introduced in this general form by Charles Ehresmann in 1950. Soldering of a fibre bundle Let ''M'' be a smooth manifold, and ''G'' a Lie group, and let ''E'' be a smooth fibre bundle over ''M'' with structure group ''G''. Suppose that ''G'' acts transitively on the typical fibre ''F'' of ''E'', and that dim ''F'' = dim ''M''. A soldering of ''E'' to ''M'' consists of the following data: # ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Null Vector
In mathematics, given a vector space ''X'' with an associated quadratic form ''q'', written , a null vector or isotropic vector is a non-zero element ''x'' of ''X'' for which . In the theory of real number, real bilinear forms, definite quadratic forms and isotropic quadratic forms are distinct. They are distinguished in that only for the latter does there exist a nonzero null vector. A quadratic space which has a null vector is called a pseudo-Euclidean space. A pseudo-Euclidean vector space may be decomposed (non-uniquely) into orthogonal subspaces ''A'' and ''B'', , where ''q'' is positive-definite on ''A'' and negative-definite on ''B''. The null cone, or isotropic cone, of ''X'' consists of the union of balanced spheres: \bigcup_ \. The null cone is also the union of the isotropic lines through the origin. Examples The Minkowski space#Causal structure, light-like vectors of Minkowski space are null vectors. The four linearly independent biquaternions , , , and are null ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Basis (mathematics)
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to . The elements of a basis are called . Equivalently, a set is a basis if its elements are linearly independent and every element of is a linear combination of elements of . In other words, a basis is a linearly independent spanning set. A vector space can have several bases; however all the bases have the same number of elements, called the ''dimension'' of the vector space. This article deals mainly with finite-dimensional vector spaces. However, many of the principles are also valid for infinite-dimensional vector spaces. Definition A basis of a vector space over a field (such as the real numbers or the complex numbers ) is a linearly independent subset of that spans . This mean ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coordinate Chart
In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure). Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure. Formal definition A topological space ''X'' is called locally Euclidean if there is a non-negative integer ''n'' such that every point in ''X'' has a neighborhood which is homeomorphic t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallelization (mathematics)
In mathematics, a parallelization of a manifold M\, of dimension ''n'' is a set of ''n'' global smooth linearly independent vector fields. Formal definition Given a manifold M\, of dimension ''n'', a parallelization of M\, is a set \ of ''n'' smooth vector fields defined on ''all'' of M\, such that for every p\in M\, the set \ is a basis of T_pM\,, where T_pM\, denotes the fiber over p\, of the tangent vector bundle TM\,. A manifold is called parallelizable whenever it admits a parallelization. Examples *Every Lie group is a parallelizable manifold. *The product of parallelizable manifolds is parallelizable. *Every affine space, considered as manifold, is parallelizable. Properties Proposition. A manifold M\, is parallelizable iff there is a diffeomorphism \phi \colon TM \longrightarrow M\times \, such that the first projection of \phi\, is \tau_\colon TM \longrightarrow M\, and for each p\in M\, the second factor—restricted to T_pM\,—is a linear map \phi_ \colon T_pM \righ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Bundles
In mathematics, and particularly topology, a fiber bundle (or, in 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 product space B \times F is defined using a continuous surjective map, \pi : E \to B, that in small regions of E behaves just like a projection from corresponding regions of B \times F to B. The map \pi, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space E is known as the total space of the fiber bundle, B as the base space, and F the fiber. In the ''trivial'' case, E is just B \times F, and the map \pi is just the projection from the product space to the first factor. This is called a trivial bundle. Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces. Fiber bundles, such as the tangent bundle of a manifol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
