Search results
Results From The WOW.Com Content Network
valid for any vector fields X and Y and any tensor field T.. Considering vector fields as infinitesimal generators of flows (i.e. one-dimensional groups of diffeomorphisms) on M, the Lie derivative is the differential of the representation of the diffeomorphism group on tensor fields, analogous to Lie algebra representations as infinitesimal representations associated to group representation ...
The covariant derivative is a generalization of the directional derivative from vector calculus. As with the directional derivative, the covariant derivative is a rule, , which takes as its inputs: (1) a vector, u, defined at a point P, and (2) a vector field v defined in a neighborhood of P. [7]
There are many ways to understand the gauge covariant derivative. The approach taken in this article is based on the historically traditional notation used in many physics textbooks. [1] [2] [3] Another approach is to understand the gauge covariant derivative as a kind of connection, and more specifically, an affine connection.
Connections (gauge connection) define this principal bundle, yielding a covariant derivative ∇ in each associated vector bundle. If a local frame is chosen (a local basis of sections), then this covariant derivative is represented by the connection form A, a Lie algebra-valued 1-form, which is called the gauge potential in physics. This is ...
In fact in the above expression, one can replace the covariant derivative with any torsion free connection ~ or locally, with the coordinate dependent derivative , showing that the Lie derivative is independent of the metric. The covariant derivative is convenient however because it commutes with raising and lowering indices.
The Lie bracket of two Killing fields is still a Killing field. The Killing fields on a manifold M thus form a Lie subalgebra of vector fields on M. This is the Lie algebra of the isometry group of the manifold if M is complete. A Riemannian manifold with a transitive group of isometries is a homogeneous space. For compact manifolds
The Lie derivative is another derivative that is covariant under basis transformations. Like the exterior derivative, it does not depend on either a metric tensor or a connection. The Lie derivative of a type (r, s) tensor field T along (the flow of) a contravariant vector field X ρ may be expressed using a coordinate basis as [20]
In the language of category theory, we then have a covariant functor from the category of Lie groups to the category of Lie algebras which sends a Lie group to its Lie algebra and a Lie group homomorphism to its derivative at the identity. Two Lie groups are called isomorphic if there exists a bijective homomorphism between them whose inverse ...