In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension greater than 2 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous way to define curvature for these manifolds, now known as the Riemann curvature tensor . Similar notions have found applications everywhere in differential geometry of surfaces and other objects. The curvature of a pseudo-Riemannian manifold can be expressed in the same way with only slight modifications.
The curvature of a Riemannian manifold can be described in various ways; the most standard one is the curvature tensor, given in terms of a Levi-Civita connection (or covariant differentiation) and Lie bracket by the following formula:
Here is a linear transformation of the tangent space of the manifold; it is linear in each argument. If and are coordinate vector fields then and therefore the formula simplifies to i.e. the curvature tensor measures noncommutativity of the covariant derivative.
The linear transformation is also called the curvature transformation or endomorphism.
N.B. There are a few books where the curvature tensor is defined with opposite sign.
The curvature tensor has the following symmetries:
The last identity was discovered by Ricci, but is often called the first Bianchi identity, just because it looks similar to the Bianchi identity below. The first two should be addressed as antisymmetry and Lie algebra property respectively, since the second means that the for all are elements of the pseudo-orthogonal Lie algebra. All three together should be named pseudo-orthogonal curvature structure. They give rise to a tensor only by identifications with objects of the tensor algebra – but likewise there are identifications with concepts in the Clifford-algebra. Let us note that these three axioms of a curvature structure give rise to a well-developed structure theory, formulated in terms of projectors (a Weyl projector, giving rise to Weyl curvature and an Einstein projector, needed for the setup of the Einsteinian gravitational equations). This structure theory is compatible with the action of the pseudo-orthogonal groups plus dilations. It has strong ties with the theory of Lie groups and algebras, Lie triples and Jordan algebras. See the references given in the discussion.
The three identities form a complete list of symmetries of the curvature tensor, i.e. given any tensor that satisfies the identities above, one could find a Riemannian manifold with such a curvature tensor at some point. Simple calculations show that such a tensor has independent components. Yet another useful identity follows from these three:
The Bianchi identity (often the second Bianchi identity) involves the covariant derivatives:
Sectional curvature is a further, equivalent but more geometrical, description of the curvature of Riemannian manifolds. It is a function that depends on a section (i.e. a 2-plane in the tangent spaces). It is the Gauss curvature of the -section at ; here -section is a locally defined piece of surface that has the plane as a tangent plane at , obtained from geodesics that start at in the directions of the image of under the exponential map at .
If are two linearly independent vectors in then
The following formula indicates that sectional curvature describes the curvature tensor completely: Or in a simpler formula:
The connection form gives an alternative way to describe curvature. It is used more for general vector bundles, and for principal bundles, but it works just as well for the tangent bundle with the Levi-Civita connection. The curvature of an -dimensional Riemannian manifold is given by an antisymmetric matrix of 2-forms (or equivalently a 2-form with values in , the Lie algebra of the orthogonal group , which is the structure group of the tangent bundle of a Riemannian manifold).
Let be a local section of orthonormal bases. Then one can define the connection form, an antisymmetric matrix of 1-forms that satisfy from the following identity
Then the curvature form is defined by
Note that the expression "" is shorthand for and hence does not necessarily vanish. The following describes relation between curvature form and curvature tensor:
This approach builds in all symmetries of curvature tensor except the first Bianchi identity, which takes form where is an -vector of 1-forms defined by . The second Bianchi identity takes form where denotes the exterior covariant derivative.
It is sometimes convenient to think about curvature as an operator on tangent bivectors (elements of ), which is uniquely defined by the following identity: It is possible to do this precisely because of the symmetries of the curvature tensor (namely antisymmetry in the first and last pairs of indices, and block-symmetry of those pairs).
In general the following tensors and functions do not describe the curvature tensor completely; however they play an important role.
Scalar curvature is a function on any Riemannian manifold, denoted variously by or . It is the full trace of the curvature tensor; given an orthonormal basis in the tangent space at a point we have where denotes the Ricci tensor. The result does not depend on the choice of orthonormal basis. Starting with dimension 3, scalar curvature does not describe the curvature tensor completely.
Ricci curvature is a linear operator on tangent space at a point, usually denoted by . Given an orthonormal basis in the tangent space at we have
The result does not depend on the choice of orthonormal basis. With four or more dimensions, Ricci curvature does not describe the curvature tensor completely.
Explicit expressions for the Ricci tensor in terms of the Levi-Civita connection is given in the article on Christoffel symbols.
The Weyl curvature tensor has the same symmetries as the Riemann curvature tensor, but with one extra constraint: its trace (as used to define the Ricci curvature) must vanish.
The Weyl tensor is invariant with respect to a conformal change of metric: if two metrics are related as for some positive scalar function , then .
In dimensions 2 and 3 the Weyl tensor vanishes, but in 4 or more dimensions the Weyl tensor can be non-zero. For a manifold of constant curvature, the Weyl tensor is zero. Moreover, if and only if the metric is locally conformal to the Euclidean metric.
Although individually, the Weyl tensor and Ricci tensor do not in general determine the full curvature tensor, the Riemann curvature tensor can be decomposed into a Weyl part and a Ricci part. This decomposition is known as the Ricci decomposition, and plays an important role in the conformal geometry of Riemannian manifolds. In particular, it can be used to show that if the metric is rescaled by a conformal factor of , then the Riemann curvature tensor changes to (seen as a (0, 4)-tensor): where denotes the Kulkarni–Nomizu product and Hess is the Hessian.
For calculation of curvature
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 differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.
In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature K(σp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.
In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case.
In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.
In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms.
In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal force that a body feels when moving along a geodesic. The Weyl tensor differs from the Riemann curvature tensor in that it does not convey information on how the volume of the body changes, but rather only how the shape of the body is distorted by the tidal force. The Ricci curvature, or trace component of the Riemann tensor contains precisely the information about how volumes change in the presence of tidal forces, so the Weyl tensor is the traceless component of the Riemann tensor. This tensor has the same symmetries as the Riemann tensor, but satisfies the extra condition that it is trace-free: metric contraction on any pair of indices yields zero. It is obtained from the Riemann tensor by subtracting a tensor that is a linear expression in the Ricci tensor.
In differential geometry, the Cotton tensor on a (pseudo)-Riemannian manifold of dimension n is a third-order tensor concomitant of the metric. The vanishing of the Cotton tensor for n = 3 is necessary and sufficient condition for the manifold to be locally conformally flat. By contrast, in dimensions n ≥ 4, the vanishing of the Cotton tensor is necessary but not sufficient for the metric to be conformally flat; instead, the corresponding necessary and sufficient condition in these higher dimensions is the vanishing of the Weyl tensor, while the Cotton tensor just becomes a constant times the divergence of the Weyl tensor. For n < 3 the Cotton tensor is identically zero. The concept is named after Émile Cotton.
In the mathematical fields of Riemannian and pseudo-Riemannian geometry, the Ricci decomposition is a way of breaking up the Riemann curvature tensor of a Riemannian or pseudo-Riemannian manifold into pieces with special algebraic properties. This decomposition is of fundamental importance in Riemannian and pseudo-Riemannian geometry.
In mathematics, the Fubini–Study metric is a Kähler metric on a complex projective space CPn endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.
In mathematics—more specifically, in differential geometry—the musical isomorphism is an isomorphism between the tangent bundle and the cotangent bundle of a Riemannian or pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term musical refers to the use of the musical notation symbols (flat) and (sharp).
In differential geometry, the torsion tensor is a tensor that is associated to any affine connection. The torsion tensor is a bilinear map of two input vectors , that produces an output vector representing the displacement within a tangent space when the tangent space is developed along an infinitesimal parallelogram whose sides are . It is skew symmetric in its inputs, because developing over the parallelogram in the opposite sense produces the opposite displacement, similarly to how a screw moves in opposite ways when it is twisted in two directions.
In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to:
In mathematics, in particular in differential geometry, mathematical physics, and representation theory, a Weitzenböck identity, named after Roland Weitzenböck, expresses a relationship between two second-order elliptic operators on a manifold with the same principal symbol. Usually Weitzenböck formulae are implemented for G-invariant self-adjoint operators between vector bundles associated to some principal G-bundle, although the precise conditions under which such a formula exists are difficult to formulate. This article focuses on three examples of Weitzenböck identities: from Riemannian geometry, spin geometry, and complex analysis.
In the mathematical field of differential geometry, the existence of isothermal coordinates for a (pseudo-)Riemannian metric is often of interest. In the case of a metric on a two-dimensional space, the existence of isothermal coordinates is unconditional. For higher-dimensional spaces, the Weyl–Schouten theorem characterizes the existence of isothermal coordinates by certain equations to be satisfied by the Riemann curvature tensor of the metric.
In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.
This article summarizes several identities in exterior calculus, a mathematical notation used in differential geometry.