Differential Geometry – Differential Forms and Vector Fields Correspondence

differential-formsdifferential-geometry

Barrett O'Neill's Differential Geometry book says that Classical vector analysis avoids the use of differential forms on $\mathbb{R}^3$ by converting 1-forms and 2-forms into vector fields via the following 1-1 correspondences:

$$\begin{array}{*5c}\text{(1-form)} &\leftrightarrow &\text{Vector field}& \leftrightarrow& \text{(2-form)}\\
\sum f_idx_i &\leftrightarrow &\sum f_iU_i &\leftrightarrow &f_1dx_2dx_3 -f_2dx_1dx_3+f_3dx_1dx_2\end{array} $$

where $U_i$ denote the natural coordinate vector fields that constitute an orthonormal frame.

I superfically grasp the first correspondence although the motivation behind that escapes me as I have always thought of a 1-form as the dual of a vector field in that at each point of the manifold; the form associates a linear functional on a tangent vector at that point while the Vector field actually gives the tangent vector.

As for the second one , I am still not able to visualise 2-forms as anything but functionals on a pair of tangent vectors and the correspondence is unnatural.

O'Neill uses this to frame the Curl and Gradient and Divergence definitions in the language of forms. Could someone explain the need for this as well as good way to visualise two forms and higher degree ones in the same way as 1-forms???

Best Answer

For the first correspondence note, that by the inner product on $\mathbb R^3$ we have a 1-1-correspondence of linear forms $\mathbb R^3 \to \mathbb R$ and vectors in $\mathbb R^3$ where $v \in \mathbb R^3$ corresponds to $w \mapsto \left<v,w\right>$. This corresponcence - applied pointwise - assiociates to a vector field $\sum_{i} f_i U_i$ (where $U_i$ denote the constant orthogonal coordinate frame?) the form $\sum_i f_i \, dx_i$.

For the second one, we note that given a 2-form $\omega$, we have a map from 1-forms to 3-forms given by $\eta \mapsto \omega \wedge \eta$, as the 3-forms are a module of rank one over the functions, i. e. each three form is of the form $f\, dx_1\,dx_2\, dx_3$, we have a map from 1-forms to functions, that is a functional on the 1-forms, which can be represented (the bidual of the functions are the functions) by a vector field. Now condsider the 2-form $$ \omega = f_1\, dx_2 \,dx_3 - f_2\, dx_1 \, dx_3 + f_3 \, dx_1\, dx_2 $$ We have \begin{align*} \omega \wedge dx_1 &= f_1\; dx_1\, dx_2\, dx_3\\ \omega \wedge dx_2 &= -f_2\; dx_2\, dx_1\, dx_3\\ &= f_2\; dx_1\, dx_2\, dx_3\\ \omega \wedge dx_3 &= f_3\; dx_1\, dx_2 \, dx_3 \end{align*} so $\omega$ acts on the 1-forms in the same way as $\sum_i f_i\, U_i$ does.

Related Question