6

Let $M$ denote a smooth manifold.

I've read that a differential $k$-form is a smooth section of the $k$th exterior power of the cotangent bundle of $M$. However I barely understand what this means, and I'm trying to understand it better by tinkering with the definition. It seems that there is a notion of "$k$-vectorfield" obtained by putting the tangent bundle in place of the cotangent bundle. As in:

Potentially Silly Definition. A $k$-vectorfield is a smooth section of the $k$th exterior power of the tangent bundle of $M$.

Following this line of thought, it seems that we can take wedge products of vector fields. As in:

$$f \frac{\partial}{\partial x} \wedge \frac{\partial}{\partial y} + g\frac{\partial}{\partial y} \wedge \frac{\partial}{\partial z}$$

Question. Is this, like, a thing? If not, why is it only the cotangent bundle whose exterior powers make sense and/or matter?

goblin GONE
  • 67,744

1 Answers1

4

Yes, it's a pretty standard object, often called a multivector field.

See, for example, http://ncatlab.org/nlab/show/multivector+field.

An example is the concept of Poisson tensor in classical mechanics: it's an antisymmetric tensor of type $(2,0)$, so it can be viewed as a bivector field.

Hans Lundmark
  • 53,395