Differences

This shows you the differences between two versions of the page.

--- commutator_relations [2023/06/07 13:54] – spencer
+++ commutator_relations [2023/06/07 13:55] (current) – spencer
@@ Line 3: / Line 3: @@
 ==== Exterior and Interior products ====
- - For forms $\alpha, \beta$, $e^*(\alpha)e(\beta) = e(e^*(\alpha)\beta) + (-1)^{|\alpha|} e(\beta) e^*(\alpha)$. Using $[x, y]_g$ for the graded commutator $xy - (-1)^{|x|}yx$, then $[e^*(\alpha), e(\beta)]_g = e(e^*(\alpha)\beta)$. In particular, for the 1-forms $\omega^i$ we have $e^*(\omega^i) e(\omega^j) + e(\omega^j) e^*(\omega^i) = 0$ for $i \neq j$, and is the identity otherwise.
+    - For forms $\alpha, \beta$, $e^*(\alpha)e(\beta) = e(e^*(\alpha)\beta) + (-1)^{|\alpha|} e(\beta) e^*(\alpha)$. Using $[x, y]_g$ for the graded commutator $xy - (-1)^{|x|}yx$, then $[e^*(\alpha), e(\beta)]_g = e(e^*(\alpha)\beta)$. In particular, for the 1-forms $\omega^i$ we have $e^*(\omega^i) e(\omega^j) + e(\omega^j) e^*(\omega^i) = 0$ for $i \neq j$, and is the identity otherwise.
 ==== Connections ====
@@ Line 14: / Line 14: @@
 This is the best way to figure these identities out on the fly and remember signs.
- - At the center of a nice frame, $\nabla_{\alpha} e(\omega^i) = e(\omega^i) \nabla_\alpha$; that is, $[\nabla, e(\omega^i)] = 0$.
+    - At the center of a nice frame, $\nabla_{\alpha} e(\omega^i) = e(\omega^i) \nabla_\alpha$; that is, $[\nabla, e(\omega^i)] = 0$.
+    - Generally, $\nabla_\alpha e(\omega^i) = e(\omega^i) \nabla_\alpha + e^*(\nabla_\alpha \omega^i)$.
- - Generally, $\nabla_\alpha e(\omega^i) = e(\omega^i) \nabla_\alpha + e^*(\nabla_\alpha \omega^i)$.
+    - The dual version here is $[\nabla_\alpha, e^*(\omega^i)] = e^*(\nabla_\alpha \omega^i)$.
+    - The curvature tensor is $[\nabla_X, \nabla_Y] - \nabla_{[X,Y]}= F(X,Y)$. If $X, Y$ are coordinate vector fields (e.g. in a geodesic coordinate frame on the tangent bundle) then $[X,Y] = 0$ and $F(X,Y) = [\nabla_X, \nabla_Y]$.
- - The dual version here is $[\nabla_\alpha, e^*(\omega^i)] = e^*(\nabla_\alpha \omega^i)$.
- - The curvature tensor is $[\nabla_X, \nabla_Y] - \nabla_{[X,Y]}= F(X,Y)$. If $X, Y$ are coordinate vector fields (e.g. in a geodesic coordinate frame on the tangent bundle) then $[X,Y] = 0$ and $F(X,Y) = [\nabla_X, \nabla_Y]$.