Why is cotangent more canonical than tangent?

If you want to differentiate functions from a manifold to (say) the real line R, then you want to use the cotangent bundle on the manifold.

If instead you want to to differentiate functions to the manifold from the real line (i.e. parameterised curves), then you want to use the tangent bundle on the manifold.

So the preference comes from whether you want to use the manifold as the domain or as the range of the functions one is differentiating.


Neither is more canonical than the other. The tangent bundle of $M$ represents the set of all possible derivatives of maps $R \rightarrow M$, and the cotangent bundle of $M$ represents the set of all possible derivatives of maps $M \rightarrow R$. They are dual to each other.

I hate to ruin such a nice terse answer, but I might as well describe how I think of the tangent and cotangent bundles. I have a personal prejudice for using only freshman calculus and basic linear algebra as much as possible and avoiding multivariable calculus. So here's the way I see things:

The idea is to build everything using only linear algebra and the definition of the derivative of a real-valued function of one real variable.

So for me you have to first define the tangent bundle as the set of all possible velocity vectors of parameterized curves in the given manifold. The first observation is that if you fix a point in the manifold, the set of all possible velocity vectors based at that point has a natural vector space structure.

Next, given a real-valued function on a manifold, you want to define its derivative. Well, if all you have is the 1-variable derivative, then the only thing you can do is to compose the function with a parameterized curve. Then you observe the following: The value of the derivative at a point actually depends only on the velocity vector of the curve at that point and is a linear function of the velocity vector. Therefore, the set of all possible derivatives of a real-valued function is naturally dual to the tangent bundle (viewed as the set of all possible velocity vectors). That's the cotangent bundle (the set of all possible derivatives of real-valued functions on the manifold).

This for me is a nice coherent story that I can tell (and remember) without using any mathematical symbols at all but also one whose details can be fleshed out in a straightforward manner.


This is a triviality, but still: there is a pullback of a differential form, but in general no push-forward of a vector field. As a consequence, one gets e.g. for any smooth map $f:X\to Y$ of smooth manifolds a map of sheaves $f^{-1}\Omega^{\bullet}_Y\to\Omega^{\bullet}_X$; similar maps exist in the complex analytic and algebraic cases.