differential geometry cheat sheet ed

Table of Contents

Covariant Derivative ed

vector field
\[ \nabla_X V \]

tensor field \[ A \in \mathfrak T^k_l \]
\[ (\nabla_X A)(Y_1,\dots,Y_k) = \nabla_X(A(Y_1,\dots,Y_k)) - \sum_i A(Y_1,\dots,\nabla_X Y_i,\dots,Y_k) \]
\[ (\nabla_X A)(Y_1,\dots,Y_k,\alpha_1,\dots,\alpha_l) = \nabla_X(A(\dots)) - \sum_i A(\dots,\nabla_X Y_i,\dots) - \sum_i A(\dots,\nabla_X \alpha_i,\dots) \]
\[ \nabla_X ( A \otimes B) = (\nabla_X A) \otimes B + A \otimes (\nabla_X B) \]

curvature
\[ R(X,Y) = \nabla_X \nabla_Y - \nabla_Y \nabla_X - \nabla_{[X,Y]} \]

torsion
\[ T(X,Y) = \nabla_X Y - \nabla_Y X - [X,Y] \]

Connection Form ed

basis \[e_i\]

connection
\[ \omega^i_j(X) \, e_i = \nabla_X e_j \]

vector field
\[ \nabla_X V = X(V^i) e_i + V^j \, \omega^i_j(X) e_i \]

dual vector field
\[ \nabla_X \alpha = X(\alpha_i) e^i - \alpha_i \, \omega^i_j(X) e^j \]

Categories: Mathematik, Differentialgeometrie