So, in the last installment, we got to know smooth manifolds and charts, atlases and some nice topological tricks and tweaks. For this round, we follow Merkulov onward, and pretty soon stumble across category theory and sheaves. The notes I’m following here are from the link on Merkulov’s website. It starts, however, with a nice discussion of temperatures in archipelagos. Go read it – I imagine I’m almost comprehensible at that part of the text.
A map from a subset of a smooth manifold to is called a smooth function on the subset if for every in the subset and a coordinate chart at , the -to- variable function is smooth at the point .
What this means is that if we have some point on our manifold, we can take out our chart over that part of the manifold and check out the function of our coordinates as chained through the chart and the function from the manifold portion. This can be made even more clear by taking a look at coastal temperatures. Suppose you’re on a boat in the Stockholm archipelago. You have a location on the earth (which is, for our purposes, a manifold). There is some function that to each point on earth assigns a temperature. This is our function. Now, for the area around Vaxholm, you can take out your chart, and you get coordinates in terms of something like “135 mm north and 25 mm west on this sheet of my atlas!”. So we have a set of coordinates: (135,25). These coordinates correspond to a point on the manifold, namely your current position. You can break out your thermometer and measure the temperature here, and thus you get the function value at this position. As you move about around Vaxholm, you get different temperatures, so with this fixed choice of a chart over your area, you really do get a function . The function is smooth if regardless of where you are or what chart you’re using, this function you get is a smooth function.
The set of all smooth functions on the smooth manifold form an algebra over , which we denote by . Indeed, if is a smooth function, then of course is a smooth function for real constants . And is smooth if and both are smooth. The same holds for the pointwise product of two smooth functions. So the axioms check out.
Analogously the complex analytic or holomorphic functions on a subset of a complex manifold are defined; whereby a complex manifold is a real manifold of even dimension, with identified with and the analytic structure comes from requiring all transformation functions to be complex analytic. It’s either a -dimensional manifold or an -dimensional complex manifold, depending on how you look at it.
Now, note that smooth and holomorphic behave very different from each other. All holomorphic functions on a compact complex manifold are constant; and even if you have a holomorphic function vanishing on an open subset of its domain, it vanishes everywhere; but for there are non-trivial smooth functions that vanish outside an arbitrary open ball.
A map between two manifolds is said to be smooth if for any pair of relevant coordinate charts, the map from to by going from the coordinates up to the first manifold, with the map to the second and then back to coordinates ends up being smooth regardless of choice of charts.
A smooth map of manifolds induces in an ordinary manner the pullback map of rings of smooth functions
Note that every continuous map between smooth manifolds is homotopy equivalent to a smooth map. Thus, when computing homotopy of a manifold it is enough to work with equivalence classes of smooth maps , which tends to simplify things.
Graded algebraic structures
Most interesting algebraic structures can be equipped with a grading. This decomposes the structure into a direct sum of part-structures where each partstructure is a representative of the structure in question; and where each partstructure contains only elements of the same degree – called homogenous. For instance, any polynomial ring is a graded structure, by taking the degree of the monomial as grading.
The elements of for graded structures are graded as well in a natural way – a map being homogenous of degree i if .
For structures with multiplication – i.e. anything more advanced than modules/vector spaces – we add a sign to the multiplication according to the Koszul sign convention: any term that interchanges the homogenous vectors and gets the factor .
A -graded Lie algebra is a -graded vector space equipped with a special morphism such that
for all homogenous , , in .
A -graded commutative algebra is a -graded vector space equipped with a special morphism such that
for all homogenous , , in . We tend to write for .
The symmetric tensor algebra on a -graded vector space is the quotient of the tensor algebra by the ideal generated by all expressions on the form . This is a graded commutative algebra.
The skew-symmetric tensor algebra on a -graded vector space is the quotient of the tensor algebra by the ideal generated by all expressions on the form . This is a graded commutative algebra.
Note that . More precisely as graded vector spaces.
Given a -graded vector space show that the structure of a -graded Lie algebra on is equivalent to the following data: A degree element satisfying
and the Jacobi identity.
We take the hint in the notes and let be the natural isomorphism of degree , and let . If has degree , then lives in degree in , and so has degree . So has degree and .
As our next step, we examine and its relationship to . Thus
and now note that so the sign (which other than that just tunnels out through ) will end up yielding the expression
which is just
The Jacobian identity is the same. So if we have a Lie structure on we will get the described structure on . We can go through basically the same moves as we did to show that if we have this structure, we can define a Lie bracket on which, in endeffect, will yield precisely a Lie structure based in these axioms.
It turns out that precisely this structure occurs if we take and let . The bracket would be defined as
This bracket can be verified to satisfy the given axioms, and thus actually defines the structure of graded Lie algebra on .
For the next installment, we start with section 3, which discusses categories. Of course, categories are well known to the person writing this, and thus I will not talk much about them, but skip on to the meaty stuff behind them.