by Guy Paterson-Jones
Over the last day I read the first ten pages of Milnor’s famous notes, Topology from the Differentiable Viewpoint. As one might expect, these early pages are spent covering the definitions and basic facts that will be needed further along in the book. The most important of these is, of course, the following:
Definition 1 An topological manifold is an -dimensional smooth manifold if, for every , there exists a neighbourhood of diffeomorphic to a subset of .
I find it quite interesting to contrast Milnor’s exposition with more modern takes, such as Lee’s Introduction to Smooth Manifolds. The biggest difference here for me was in his definition of the tangent space of a smooth manifold. Milnor does this extrinsically, again appealing to an embedding of :
Definition 2 Consider some , and some smooth parameterisation with . We can consider to be a subset of for some , and hence we can take the derivative of in the usual way:
Define , the tangent space of at , to be the image of .
It is a standard exercise to show that the tangent space is well defined (does not depend on the choice of parameterisation) and is an -dimensional real vector space. This definition of a tangent space is very intuitive, and so I feel it’s good from a pedagogical perspective.
The problem for me is two-fold. Firstly, we often construct (smooth) manifolds by gluing together open sets of Euclidean spaces with appropriate maps. Obviously it is true that the result does in fact embed in some , but the proof is a bit gross. Because of this, it would be nice not to rely on this fact.
The second reason is generality. It would be nice to extend the notion of a tangent space to objects where the standard analysis tools might not be available. These would be things like locally ringed spaces, algebraic varieties and the like.
To deal with the first issue, one way of thinking about the tangent space is as (obviously) the set of tangent vectors at a point. Intuitively, we should be able to define this using only local data about . We can make this precise as follows:
Definition 3 Consider some , and a smooth coordinate chart . Let be the set of curves such that and is differentiable at in the usual sense. We can form an equivalence relation on by defining and to be equivalent if . Then can be identified with .
In other words, each element of the tangent space at can be identified with the derivative of some curve through . Again, proving that this is independent of the choice of coordinate chart is left to the reader. The chain rule is your friend.
This gets rid of the issue with embeddings. It is still not quite good enough, however – we are still making direct use of analysis in the definition. To do better, we have to get a lot more sneaky.
The idea is to note that the tangent space, being related to derivatives at , essentially describes the first order behaviour of lines, surfaces etcetera passing through . Taking a hint from algebraic geometry, these surfaces can be viewed as the zeros of real-valued functions of our manifold. Passing to the first order behaviour then amounts to killing off the non-linear parts of these functions.
Firstly, however, what do we mean by a real-valued functions of ?
Definition 4 Let be the set of functions such that, for any smooth coordinate chart , the composition is smooth. forms an associative, unital algebra over in the obvious way.
To define the notion of surfaces passing through , let . This set is the kernel of the evaluation homomorphism , and so is in fact an ideal of . Furthermore, the evaluation homomorphism is surjective onto a field (consider constant functions), so is a maximal ideal.
We would now like to identify functions in with the same first order behaviour at . Morally, this should amount to identifying functions with the same derivative at , much like we have done up till now. To get a feel for this, consider the -dimensional case. As the functions in are analytic, we can expand them about with Taylor’s theorem:
Now suppose that have the same first order behaviour, or derivative, at . Then note that:
So in particular:
Each of the terms on the right hand side is a product of two elements of . In other words, functions in with the same first order behaviour differ by some element of the ideal . To identify them, we need merely quotient!
Definition 5 The cotangent space of at is defined as the quotient (vector) space .
You read correctly – this is not quite the tangent space. The difference here is that while the tangent space is a set of vectors, as we have defined it is actually a set of linear functionals to . This is nothing but the dual of , so we can recover the tangent space by dualising again:
Another way of seeing that is not the tangent space is by considering a smooth map between two smooth manifolds. The derivative of this function gives rise to a map – for a nice exercise, try to define this!
On the other hand, consider some in . Pulling back along , we get a map which vanishes at – in other words, a member of ! Hence gives rise to a map .
The cool thing about how we’ve defined the cotangent space here is that, once we have an appropriate notion of functions on our space, the rest is just algebra. Thus this generalises nicely – the Zariski tangent space is exactly this idea applied to algebraic varieties, for instance!