Exterior derivative of a $1$-form

377 Views Asked by At

Let the $1$-form $\theta_X$ be defined as $\theta_X(Y)=g(X,Y)$. Then my textbook says

$$(d\theta_X)(\partial_k,\partial_l)=\partial_k g(X,\partial_l)-\partial_l g(X,\partial_k)-g(X,[\partial_k,\partial_l])$$

I tried looking up exterior derivatives of $1$-forms to make sense of this formula, but I only got exterior derivatives of alternating forms. How does one get the formula given above? Is one supposed to use Cartan's formula?

1

There are 1 best solutions below

0
On

If $\omega$ is a $k$-form, then $d\omega$ is a $(k + 1)$-form and if $V_0, \dots, V_k$ are vector fields, then

\begin{align*} d\omega(V_0, \dots, V_k) =&\, \sum_{i=0}^k(-1)^iV_i\,\omega(V_0, \dots, V_{i-1}, V_{i+1}, \dots, V_k)\\ &+ \sum_{0 \leq i < j \leq k}(-1)^{i+j}\omega([V_i, V_j], V_0, \dots, V_{i-1}, V_{i+1}, \dots, V_{j-1}, V_{j+1}, \dots, V_k). \end{align*}

In particular, if $\omega$ is a $1$-form, then $d\omega(X, Y) = X\omega(Y) - Y\omega(X) - \omega(X, Y)$. Therefore

$$d\theta_X(\partial_k, \partial_l) = \partial_k\theta_X(\partial_l) - \partial_l\theta_X(\partial_k) - \theta_X([\partial_k, \partial_l]) = \partial_k g(X, \partial_l) - \partial_l g(X, \partial_k) - g(X, [\partial_k, \partial_l]).$$