Why aren't differential forms just functions?

204 Views Asked by At

Vectors on a manifold are defined as directional derivatives evaluated at a point and one-forms (in the associated cotangent space) are defined as maps from vectors to real numbers. However, why aren't functions on the manifold themselves one-forms? Clearly functions also take vectors to real numbers. I haven't seen any book talk about this.

In addition since any linear map from a vectors to a real numbers on a tangent space can be expressed as a linear combination of one-forms, what does this mean for functions? It doesn't make sense for functions to be expressed as linear combinations of one-forms because they are 0-forms. Here's my understanding of how functions relate to one-forms.

Given a coordinate chart $\Phi:M \rightarrow \mathbb{R}^n$ on a n-dimensional manifold $M$, we can think of the coordinates as functions $x^\alpha:M \rightarrow \mathbb{R}$. Now, vectors in a tangent space at some point $p \in M$ can be expressed as $V=V^\beta \partial_\beta|_p$. The coordinate one-form $dx^\alpha$ is defined by it's action on a vector:

$$dx^\alpha (V^\beta \partial_\beta) = V^\beta dx^\alpha (\partial_\beta) \stackrel{?}{=} V^\beta \partial_\beta (x^\alpha)|_p = V^\beta \delta^\alpha _\beta = V^\alpha$$

Although this is standard, I think about the one-form $dx^\alpha$ as placing the coordinate function in the directional derivative $\partial_\beta$. Clearly, the coordinate function only changes when the directional derivative is along the direction of $x^\beta$. Hence, we get the kronecker delta. However, I do not know if this is the right way of think about one-forms (hence the question mark on the equal sign). But if this is right, the one-form is just the coordinate function $x^\alpha$.

So what's the difference between a one-form and a function?

I seem to be misunderstanding something but I am not sure what. Any help is appreciated.

1

There are 1 best solutions below

0
On

Let $C^\infty M$ be the space of smooth functions $M\to\mathbb{R}$, and let $\mathfrak{X}^*M$ denote the space of covector fields (also known as 1-forms). These spaces are not isomorphic, but it is possible to associate each function $f\in C^\infty M$ a corresponding $1$-form, which we refer to as the differential* of $f$, denoted $df$, exactly as you describe: $$ df(X):=X(f) $$ Where $X$ is a vector field, the left side is interpreted as the dual pairing of vector fields and 1-forms, and the right side as the defining action of vector fields on functions. Even given this association, one should not think of smooth functions and 1-forms as the same, since different functions may have the same differential, and not all $1$-forms can be written as the differential of a function. Put another way, if we think of the differential as a map $d:C^\infty M\to\mathfrak{X}^*M$, then this map is neither injective nor surjective.

*Also sometimes called the exterior derivative, or just the derivative. There are also other notions of derivative which are equivalent when acting on smooth functions.