# Two Approaches To The Cotangent Space

10 Jul 2020

There is a “sheaf-theoretic” definition of something like a *cotangent space at a point*
for a locally-ringed space.
In the case of the sheaf of differentiable functions on a smooth manifold,
the two definitions—sheaf-theoretic and the usual one in differential geometry—agree.
What’s more, modulo the appropriate background technology in both subjects,
the proof is beautiful and simple—I feel like shouting it from the rooftops
at the moment, so this blog post will try and give a little exposition.
I’ll try to move briskly without assuming total familiarity with either side of things.

## The Algebraic Cotangent Space

Let be a smooth manifold of dimension .
The *sheaf* of differentiable functions on is a
contravariant functor from the category of open subsets of to the category of rings
that assigns to an open set
the ring of differentiable functions —addition
and multiplication in are done pointwise in .

The sheaf is not so important for us;
what we are interested in today are the *stalks.*
The idea is that elements of the *stalk,*
called *germs,* capture the “infinitesimal behavior”
of smooth functions at a point.
Here is the formal definition.
Given a point ,
the *stalk* of *germs* of smooth functions at is the ring

The equivalence relation is defined as follows:
we say if there exists an open neighborhood
such that .
The equivalence class of is its *germ.*
The ring is the direct limit of the
as varies over the open neighborhoods of .

Notice that there is a surjection
that sends the germ of at to .
The definition is independent of the choice of representative .
Since is a field, the kernel of the map
is a maximal ideal; let’s call it .
Observe that
is a module over
,
i.e. a real vector space;
we will call it the *algebraic cotangent space at .*

## The Usual Cotangent Space

We retain our manifold and point from the previous section.
The *tangent space at ,* denoted
can be thought of as the space of “directions” in at .
This is made precise by defining it to be the space of
directional *derivatives* at .
I won’t attempt to make this more precise, except to note that
after we choose local coordinates near ,
a basis for is given by

The *cotangent space,* which we are more interested in, is the
*dual* of the tangent space and is denoted .
Elements of the cotangent space are *linear functionals* on tangent vectors.
Given coordinates ,
the *dual basis* of the cotangent space is given by

so we have equal to when and equal to otherwise. (There perhaps ought to be some notational inclusion of the point , but we will suppress this.)

## The Algebraic Cotangent Space Agrees With the Usual One

If is a smooth function on an open neighborhood of satisfying , abusing notation, we shall write the corresponding element of as . Given such an element, I claim we can interpret as a linear functional on tangent vectors at by sending a tangent vector to the value of the derivative of at in the direction . For instance, in local coordinates , the vector is sent to . Extending linearly defines a linear functional on , which we shall denote . The value of the directional derivative of a function depends only on its germ essentially by definition, and the product rule from calculus tells us that the assignment sends elements of to the zero functional. The linearity of the derivative implies that -linear combinations of germs are sent to -linear combinations of functionals, so the assignment

really defines a map .

We claim this map is an isomorphism, for which it suffices to define an inverse. Choose local coordinates around . A general element of may be written as the linear combination Write . The function defined as

clearly has germ belonging to , and tracing the double composition, we see that we have . This map will be an isomorphism as soon as we can show that the germ of belongs to , i.e. can be written as for some smooth functions and whose germs belong to . This is the statement of Taylor’s theorem!

Even better, the map
is a *natural isomorphism,* in the sense that given a smooth map
of smooth manifolds such that
, the following diagram commutes

To verify this, we shall follow an element around the diagram

and the fact that equality holds is the multi-variable chain rule!

Having exploited our knowledge of undegraduate calculus to prove a satisfying natural isomorphism, I’ll leave you with one final reason this proof excites me. If we had wanted to, we could have replaced “differentiable” with “continuous” in our definition of the algebraic cotangent space, and we would still end up with a real vector space associated to every stalk. In some sense, I guessed that this says that the only reason one never speaks of a (co)tangent space associated to a point in a general topological space is that there’s no reason—like Taylor’s theorem—for the space to be finite-dimensional!

Actually, the truth is slightly more subtle: every continuous function has a continuous “square root” in the sense that we can always write , and the functions and are continuous. Therefore it is that is infinite-dimensional, while . (Thanks to Curtis Heberle and Christopher Davis for pointing out my error!)