Exterior covariant derivative

In the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection. Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition of each tangent space into the horizontal and vertical subspaces. Let be the projection to the horizontal subspace. If φ is a k-form on P with values in a vector space V, then its exterior covariant derivative Dφ is a form defined by where vi are tangent vectors to P at u. Suppose that ρ : G → GL(V) is a representation of G on a vector space V. If φ is equivariant in the sense that where , then Dφ is a tensorial (k + 1)-form on P of the type ρ: it is equivariant and horizontal (a form ψ is horizontal if ψ(v0, ..., vk) = ψ(hv0, ..., hvk).) By abuse of notation, the differential of ρ at the identity element may again be denoted by ρ: Let be the connection one-form and the representation of the connection in That is, is a -valued form, vanishing on the horizontal subspace. If φ is a tensorial k-form of type ρ, then where, following the notation in , we wrote Unlike the usual exterior derivative, which squares to 0, the exterior covariant derivative does not. In general, one has, for a tensorial zero-form φ, where F = ρ(Ω) is the representation in of the curvature two-form Ω. The form F is sometimes referred to as the field strength tensor, in analogy to the role it plays in electromagnetism. Note that D2 vanishes for a flat connection (i.e. when Ω = 0). If ρ : G → GL(Rn), then one can write where is the matrix with 1 at the (i, j)-th entry and zero on the other entries. The matrix whose entries are 2-forms on P is called the curvature matrix. Given a smooth real vector bundle E → M with a connection ∇ and rank r, the exterior covariant derivative is a real-linear map on the vector-valued differential forms which are valued in E: The covariant derivative is such a map for k = 0.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (12)

Related courses (6)

Related lectures (54)

Vector-valued differential form

In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms. (A connection form is an example of such a form.) Let M be a smooth manifold and E → M be a smooth vector bundle over M.

Exterior covariant derivative

Ehresmann connection

In differential geometry, an Ehresmann connection (after the French mathematician Charles Ehresmann who first formalized this concept) is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.

PHYS-427: Relativity and cosmology I

Introduce the students to general relativity and its classical tests.

MATH-322: Differential geometry II - smooth manifolds

Smooth manifolds constitute a certain class of topological spaces which locally look like some Euclidean space R^n and on which one can do calculus. We introduce the key concepts of this subject, such

ME-411: Mechanics of slender structures

Analysis of the mechanical response and deformation of slender structural elements.

Acceleration and geodesics MATH-512: Optimization on manifolds MOOC: Introduction to optimization on smooth manifolds: first order methods

Explains acceleration along curves and geodesics on manifolds, generalizing straight lines to spheres.

Covariant derivatives along curves MATH-512: Optimization on manifolds

Explores covariant derivatives along curves and second-order optimality conditions in vector fields and manifolds.

Differentiating Vector Fields: Definition MATH-512: Optimization on manifolds MOOC: Introduction to optimization on smooth manifolds: first order methods

Introduces differentiating vector fields along curves on manifolds with connections and the unique operator satisfying specific properties.