Tensor derivative

(Difference between revisions)
Jump to: navigation, search
m
Line 6: Line 6:
$\nabla : \Gamma TM \times \Gamma\textup{Hom}(E,E') \to \Gamma\textup{Hom}(E,E')$
$\nabla : \Gamma TM \times \Gamma\textup{Hom}(E,E') \to \Gamma\textup{Hom}(E,E')$
called the ''tensor derivative'' which is defined as follows:
called the ''tensor derivative'' which is defined as follows:
{{equation|$(\nabla_XT)s = \nabla_X(Ts) - T(\nabla_Xs)$|1}}
+
\begin{equation} (\nabla_XT)s = \nabla_X(Ts) - T(\nabla_Xs) \end{equation}
for any $X \in \Gamma TM$ and $s\in \Gamma E$.
for any $X \in \Gamma TM$ and $s\in \Gamma E$.
The definition is made such that the application of
The definition is made such that the application of
tensors (sections in $\textup{Hom}(E,E')$) to sections in $E$ satisfies the Leibniz product rule:
tensors (sections in $\textup{Hom}(E,E')$) to sections in $E$ satisfies the Leibniz product rule:
{{equation|$\nabla_X(Ts) = (\nabla_XT)s + T(\nabla_Xs)$| }}
+
\begin{equation} \nabla_X(Ts) = (\nabla_XT)s + T(\nabla_Xs) \end{equation}
The corresponding [[Curvature tensor and second derivative|curvature tensors]] of the bundles $E$, $E'$ and $\textup{Hom}(E,E')$ are related similarly:
The corresponding [[Curvature tensor and second derivative|curvature tensors]] of the bundles $E$, $E'$ and $\textup{Hom}(E,E')$ are related similarly:
{{equation|$(R(X,Y)T)s = R(X,Y)Ts - T(R(X,Y)s)$|2}}
+
\begin{equation} (R(X,Y)T)s = R(X,Y)Ts - T(R(X,Y)s) \end{equation}
for any $X,Y \in \Gamma TM$ and $s\in \Gamma E$.
for any $X,Y \in \Gamma TM$ and $s\in \Gamma E$.
</wikitex>
</wikitex>
== References ==
== References ==
{{#RefList:}}
{{#RefList:}}
[[Category:Definitions]]
[[Category:Definitions]]
+
[[Category:Connections and curvature]]

Revision as of 10:51, 15 May 2013

The user responsible for this page is Jost Eschenburg. No other user may edit this page at present.

This page has not been refereed. The information given here might be incomplete or provisional.

1 Definition

Let
Tex syntax error
be a smooth manifold and E,E' vector bundles over
Tex syntax error
, both equipped with a covariant derivative \nabla.

Then the vector bundle \textup{Hom}(E,E') of bundle homomorphisms (sometimes called tensors) inherits another covariant derivative \nabla : \Gamma TM \times \Gamma\textup{Hom}(E,E') \to \Gamma\textup{Hom}(E,E') called the tensor derivative which is defined as follows:

(1)(\nabla_XT)s = \nabla_X(Ts) - T(\nabla_Xs)

for any X \in \Gamma TM and s\in \Gamma E. The definition is made such that the application of tensors (sections in \textup{Hom}(E,E')) to sections in E satisfies the Leibniz product rule:

(2)\nabla_X(Ts) = (\nabla_XT)s + T(\nabla_Xs)

The corresponding curvature tensors of the bundles E, E' and \textup{Hom}(E,E') are related similarly:

(3)(R(X,Y)T)s = R(X,Y)Ts - T(R(X,Y)s)

for any X,Y \in \Gamma TM and s\in \Gamma E.

2 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox