Exterior covariant derivative

In mathematics, the exterior covariant derivative, sometimes also covariant exterior derivative, is a very useful notion for calculus on manifolds, which makes it possible to simplify formulas which use a principal connection.

Let P → M be a principal G-bundle on a smooth manifold M. If φ is a tensorial k-form on P, then its exterior covariant derivative is defined by

$D\phi(X_0,X_1,\dots,X_k)=\mathrm{d}\phi(h(X_0),h(X_1),\dots,h(X_k))$

where h denotes the projection to the horizontal subspace, H_x defined by the connection, with kernel V_x (the vertical subspace) of the tangent bundle of the total space of the fiber bundle. Here X_i are any vector fields on P. Dφ is a tensorial k+1 form on P.

Unlike the usual exterior derivative, which squares to 0, we have

$D^2\phi=\Omega\wedge\phi$

where Ω denotes the curvature form. In particular D² vanishes for a flat connection.

See also

• Exterior connections

References

• Kobayashi, Shoshichi and Nomizu, Katsumi (1996 (New edition)). Foundations of Differential Geometry, Vol. 1. Wiley-Interscience. ISBN 0471157333. 

This geometry-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Geometry stubs Connection (mathematics) Differential geometry Fiber bundles Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Achnashellach Forest On the Babylonian Captivity of the Church Look at other dictionaries: Covariant derivative — In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a… …   Wikipedia Derivative (generalizations) — Derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry. Derivatives in analysis In real, complex, and functional… …   Wikipedia Exterior derivative — In differential geometry, the exterior derivative extends the concept of the differential of a function, which is a form of degree zero, to differential forms of higher degree. Its current form was invented by Élie Cartan.The exterior derivative… …   Wikipedia Generalizations of the derivative — The derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry. Contents 1 Derivatives in analysis 1.1 Multivariable… …   Wikipedia Exterior bundle — In mathematics, the exterior bundle of a manifold M is the subbundle of the tensor bundle consisting of all antisymmetric covariant tensors. It has special significance, because one can define a connection independent derivative on it, namely the …   Wikipedia Lie derivative — In mathematics, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of one vector field along the flow of another vector field.The Lie derivative is a derivation on the algebra of tensor fields over a… …   Wikipedia Connection (vector bundle) — This article is about connections on vector bundles. See connection (mathematics) for other types of connections in mathematics. In mathematics, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; …   Wikipedia Torsion tensor — In differential geometry, the notion of torsion is a manner of characterizing a twist or screw of a moving frame around a curve. The torsion of a curve, as it appears in the Frenet Serret formulas, for instance, quantifies the twist of a curve… …   Wikipedia Connection (principal bundle) — This article is about connections on principal bundles. See connection (mathematics) for other types of connections in mathematics. In mathematics, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way …   Wikipedia Connection form — 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. Historically, connection forms were introduced by Élie Cartan …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”