In differential geometry, a tensor density or relative tensor is a generalization of the tensor field concept. A tensor density transforms as a tensor field when passing from one coordinate system to another (see tensor field), except that it is additionally multiplied or weighted by a power W of the Jacobian determinant of the coordinate transition function or its absolute value. A tensor density with a single index is called a vector density. A distinction is made among (authentic) tensor densities, pseudotensor densities, even tensor densities and odd tensor densities. Sometimes tensor densities with a negative weight W are called tensor capacity. [1] [2] [3] A tensor density can also be regarded as a section of the tensor product of a tensor bundle with a density bundle.
In physics and related fields, it is often useful to work with the components of an algebraic object rather than the object itself. An example would be decomposing a vector into a sum of basis vectors weighted by some coefficients such as
where is a vector in 3-dimensional Euclidean space, are the usual standard basis vectors in Euclidean space. This is usually necessary for computational purposes, and can often be insightful when algebraic objects represent complex abstractions but their components have concrete interpretations. However, with this identification, one has to be careful to track changes of the underlying basis in which the quantity is expanded; it may in the course of a computation become expedient to change the basis while the vector remains fixed in physical space. More generally, if an algebraic object represents a geometric object, but is expressed in terms of a particular basis, then it is necessary to, when the basis is changed, also change the representation. Physicists will often call this representation of a geometric object a tensor if it transforms under a sequence of linear maps given a linear change of basis (although confusingly others call the underlying geometric object which hasn't changed under the coordinate transformation a "tensor", a convention this article strictly avoids). In general there are representations which transform in arbitrary ways depending on how the geometric invariant is reconstructed from the representation. In certain special cases it is convenient to use representations which transform almost like tensors, but with an additional, nonlinear factor in the transformation. A prototypical example is a matrix representing the cross product (area of spanned parallelogram) on The representation is given by in the standard basis by
If we now try to express this same expression in a basis other than the standard basis, then the components of the vectors will change, say according to where is some 2 by 2 matrix of real numbers. Given that the area of the spanned parallelogram is a geometric invariant, it cannot have changed under the change of basis, and so the new representation of this matrix must be:
which, when expanded is just the original expression but multiplied by the determinant of which is also In fact this representation could be thought of as a two index tensor transformation, but instead, it is computationally easier to think of the tensor transformation rule as multiplication by rather than as 2 matrix multiplications (In fact in higher dimensions, the natural extension of this is matrix multiplications, which for large is completely infeasible). Objects which transform in this way are called tensor densities because they arise naturally when considering problems regarding areas and volumes, and so are frequently used in integration.
This article needs additional citations for verification .(September 2012) |
Some authors classify tensor densities into the two types called (authentic) tensor densities and pseudotensor densities in this article. Other authors classify them differently, into the types called even tensor densities and odd tensor densities. When a tensor density weight is an integer there is an equivalence between these approaches that depends upon whether the integer is even or odd.
Note that these classifications elucidate the different ways that tensor densities may transform somewhat pathologically under orientation-reversing coordinate transformations. Regardless of their classifications into these types, there is only one way that tensor densities transform under orientation-preserving coordinate transformations.
In this article we have chosen the convention that assigns a weight of +2 to , the determinant of the metric tensor expressed with covariant indices. With this choice, classical densities, like charge density, will be represented by tensor densities of weight +1. Some authors use a sign convention for weights that is the negation of that presented here. [4]
In contrast to the meaning used in this article, in general relativity "pseudotensor" sometimes means an object that does not transform like a tensor or relative tensor of any weight.
For example, a mixed rank-two (authentic) tensor density of weight transforms as: [5] [6]
where is the rank-two tensor density in the coordinate system, is the transformed tensor density in the coordinate system; and we use the Jacobian determinant. Because the determinant can be negative, which it is for an orientation-reversing coordinate transformation, this formula is applicable only when is an integer. (However, see even and odd tensor densities below.)
We say that a tensor density is a pseudotensor density when there is an additional sign flip under an orientation-reversing coordinate transformation. A mixed rank-two pseudotensor density of weight transforms as
where sgn() is a function that returns +1 when its argument is positive or −1 when its argument is negative.
The transformations for even and odd tensor densities have the benefit of being well defined even when is not an integer. Thus one can speak of, say, an odd tensor density of weight +2 or an even tensor density of weight −1/2.
When is an even integer the above formula for an (authentic) tensor density can be rewritten as
Similarly, when is an odd integer the formula for an (authentic) tensor density can be rewritten as
A tensor density of any type that has weight zero is also called an absolute tensor. An (even) authentic tensor density of weight zero is also called an ordinary tensor.
If a weight is not specified but the word "relative" or "density" is used in a context where a specific weight is needed, it is usually assumed that the weight is +1.
If is a non-singular matrix and a rank-two tensor density of weight with covariant indices then its matrix inverse will be a rank-two tensor density of weight − with contravariant indices. Similar statements apply when the two indices are contravariant or are mixed covariant and contravariant.
If is a rank-two tensor density of weight with covariant indices then the matrix determinant will have weight where is the number of space-time dimensions. If is a rank-two tensor density of weight with contravariant indices then the matrix determinant will have weight The matrix determinant will have weight
General relativity |
---|
Any non-singular ordinary tensor transforms as
where the right-hand side can be viewed as the product of three matrices. Taking the determinant of both sides of the equation (using that the determinant of a matrix product is the product of the determinants), dividing both sides by and taking their square root gives
When the tensor is the metric tensor, and is a locally inertial coordinate system where diag(−1,+1,+1,+1), the Minkowski metric, then −1 and so
where is the determinant of the metric tensor
Consequently, an even tensor density, of weight W, can be written in the form
where is an ordinary tensor. In a locally inertial coordinate system, where it will be the case that and will be represented with the same numbers.
When using the metric connection (Levi-Civita connection), the covariant derivative of an even tensor density is defined as
For an arbitrary connection, the covariant derivative is defined by adding an extra term, namely
to the expression that would be appropriate for the covariant derivative of an ordinary tensor.
Equivalently, the product rule is obeyed
where, for the metric connection, the covariant derivative of any function of is always zero,
The expression is a scalar density. By the convention of this article it has a weight of +1.
The density of electric current (for example, is the amount of electric charge crossing the 3-volume element divided by that element — do not use the metric in this calculation) is a contravariant vector density of weight +1. It is often written as or where and the differential form are absolute tensors, and where is the Levi-Civita symbol; see below.
The density of Lorentz force (that is, the linear momentum transferred from the electromagnetic field to matter within a 4-volume element divided by that element — do not use the metric in this calculation) is a covariant vector density of weight +1.
In N-dimensional space-time, the Levi-Civita symbol may be regarded as either a rank-N covariant (odd) authentic tensor density of weight −1 (εα1⋯αN) or a rank-N contravariant (odd) authentic tensor density of weight +1 (εα1⋯αN). Notice that the Levi-Civita symbol (so regarded) does not obey the usual convention for raising or lowering of indices with the metric tensor. That is, it is true that
but in general relativity, where is always negative, this is never equal to
The determinant of the metric tensor,
is an (even) authentic scalar density of weight +2, being the contraction of the product of 2 (odd) authentic tensor densities of weight +1 and four (even) authentic tensor densities of weight 0.
{{cite book}}
: CS1 maint: multiple names: authors list (link)In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac particles", such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine structure of the hydrogen spectrum in a completely rigorous way.
The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.
In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups, compact matrix quantum groups, and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group.
In the general theory of relativity, the Einstein field equations relate the geometry of spacetime to the distribution of matter within it.
The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the (− + + +) metric signature, the gravitational part of the action is given as
In differential geometry, the Einstein tensor is used to express the curvature of a pseudo-Riemannian manifold. In general relativity, it occurs in the Einstein field equations for gravitation that describe spacetime curvature in a manner that is consistent with conservation of energy and momentum.
In differential geometry, the four-gradient is the four-vector analogue of the gradient from vector calculus.
In electromagnetism, the electromagnetic tensor or electromagnetic field tensor is a mathematical object that describes the electromagnetic field in spacetime. The field tensor was first used after the four-dimensional tensor formulation of special relativity was introduced by Hermann Minkowski. The tensor allows related physical laws to be written very concisely, and allows for the quantization of the electromagnetic field by Lagrangian formulation described below.
In general relativity, a geodesic generalizes the notion of a "straight line" to curved spacetime. Importantly, the world line of a particle free from all external, non-gravitational forces is a particular type of geodesic. In other words, a freely moving or falling particle always moves along a geodesic.
In theoretical physics, a source field is a background field coupled to the original field as
The covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another. However, this is not as general as Maxwell's equations in curved spacetime or non-rectilinear coordinate systems.
In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime or where one uses an arbitrary coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields induce curvature in spacetime, Maxwell's equations in flat spacetime should be viewed as a convenient approximation.
In the theory of general relativity, a stress–energy–momentum pseudotensor, such as the Landau–Lifshitz pseudotensor, is an extension of the non-gravitational stress–energy tensor that incorporates the energy–momentum of gravity. It allows the energy–momentum of a system of gravitating matter to be defined. In particular it allows the total of matter plus the gravitating energy–momentum to form a conserved current within the framework of general relativity, so that the total energy–momentum crossing the hypersurface of any compact space–time hypervolume vanishes.
The Newman–Penrose (NP) formalism is a set of notation developed by Ezra T. Newman and Roger Penrose for general relativity (GR). Their notation is an effort to treat general relativity in terms of spinor notation, which introduces complex forms of the usual variables used in GR. The NP formalism is itself a special case of the tetrad formalism, where the tensors of the theory are projected onto a complete vector basis at each point in spacetime. Usually this vector basis is chosen to reflect some symmetry of the spacetime, leading to simplified expressions for physical observables. In the case of the NP formalism, the vector basis chosen is a null tetrad: a set of four null vectors—two real, and a complex-conjugate pair. The two real members often asymptotically point radially inward and radially outward, and the formalism is well adapted to treatment of the propagation of radiation in curved spacetime. The Weyl scalars, derived from the Weyl tensor, are often used. In particular, it can be shown that one of these scalars— in the appropriate frame—encodes the outgoing gravitational radiation of an asymptotically flat system.
In theoretical physics, relativistic Lagrangian mechanics is Lagrangian mechanics applied in the context of special relativity and general relativity.
Affine gauge theory is classical gauge theory where gauge fields are affine connections on the tangent bundle over a smooth manifold . For instance, these are gauge theory of dislocations in continuous media when , the generalization of metric-affine gravitation theory when is a world manifold and, in particular, gauge theory of the fifth force.
In theoretical physics, the dual graviton is a hypothetical elementary particle that is a dual of the graviton under electric-magnetic duality, as an S-duality, predicted by some formulations of supergravity in eleven dimensions.
In mathematics, the finite-dimensional representations of the complex classical Lie groups , , , , , can be constructed using the general representation theory of semisimple Lie algebras. The groups , , are indeed simple Lie groups, and their finite-dimensional representations coincide with those of their maximal compact subgroups, respectively , , . In the classification of simple Lie algebras, the corresponding algebras are
In theoretical physics, more specifically in quantum field theory and supersymmetry, supersymmetric Yang–Mills, also known as super Yang–Mills and abbreviated to SYM, is a supersymmetric generalization of Yang–Mills theory, which is a gauge theory that plays an important part in the mathematical formulation of forces in particle physics. It is a special case of 4D N = 1 global supersymmetry.
{{cite book}}
: CS1 maint: multiple names: authors list (link)