Reading Merkulov: Differential geometry for an algebraist (2 in a series)

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 [tex]\mathbb R[/tex] is called a smooth function on the subset if for every [tex]x[/tex] in the subset and a coordinate chart at [tex]x[/tex], the [tex]n[/tex]-to-[tex]1[/tex] variable function [tex]f\circ\phi^{-1}[/tex] is smooth at the point [tex]\phi(x)[/tex].

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 [tex]\mathbb R^2\to\mathbb R[/tex]. 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 [tex]M[/tex] form an algebra over [tex]\mathbb R[/tex], which we denote by [tex]\mathcal E^\infty(M)[/tex]. Indeed, if [tex]f[/tex] is a smooth function, then of course [tex]\lambda f[/tex] is a smooth function for real constants [tex]f[/tex]. And [tex]f+g[/tex] is smooth if [tex]f[/tex] and [tex]g[/tex] 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 [tex]\mathbb R^{2n}[/tex] identified with [tex]\mathbb C^n[/tex] and the analytic structure comes from requiring all transformation functions to be complex analytic. It's either a [tex]2n[/tex]-dimensional manifold or an [tex]n[/tex]-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 [tex]\mathbb R^n[/tex] 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 [tex]\mathbb R^n[/tex] to [tex]\mathbb R^n[/tex] 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 [tex]\psi\colon M_1\to M_2[/tex] induces in an ordinary manner the pullback map of rings of smooth functions
[tex]\psi_*\colon\mathcal E^\infty(M_2)\to\mathcal E^\infty(M_1)[/tex] by [tex]\psi_*(f)=f\circ\psi[/tex].

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 [tex]S^m\to M[/tex], 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 [tex]\Hom(A, B)[/tex] for graded structures are graded as well in a natural way - a map being homogenous of degree i if [tex]|f(v)|=|v|+i[/tex].

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 [tex]v[/tex] and [tex]w[/tex] gets the factor [tex](-1)^{|v||w|}[/tex].

Some examples

A [tex]\mathbb Z[/tex]-graded Lie algebra is a [tex]\mathbb Z[/tex]-graded vector space equipped with a special morphism [tex][ , ]\in\Hom(V\otimes V,V)[/tex] such that
[tex][v_1,v_2]=-(-1)^{|v_1||v_2|}[v_2,v_1][/tex] and
for all homogenous [tex]v_1[/tex], [tex]v_2[/tex], [tex]v_3[/tex] in [tex]V[/tex].
A [tex]\mathbb Z[/tex]-graded commutative algebra is a [tex]\mathbb Z[/tex]-graded vector space equipped with a special morphism [tex]\mu\in\Hom(V\otimes V,V)[/tex] such that
[tex]\mu(v_1,v_2)=-(-1)^{|v_1||v_2|}\mu(v_2,v_1)[/tex] and
for all homogenous [tex]v_1[/tex], [tex]v_2[/tex], [tex]v_3[/tex] in [tex]V[/tex]. We tend to write [tex]v_1v_2[/tex] for [tex]\mu(v_1,v_2)[/tex].

The symmetric tensor algebra [tex]\odot V[/tex] on a [tex]\mathbb Z[/tex]-graded vector space is the quotient of the tensor algebra [tex]\otimes V=\bigoplus_{n=0}^\infty \otimes^nV[/tex] by the ideal generated by all expressions on the form [tex]v_1\otimes v_2-(-1)^{|v_1||v_2|}v_2\otimes v_1[/tex]. This is a graded commutative algebra.

The skew-symmetric tensor algebra [tex]\wedge V[/tex] on a [tex]\mathbb Z[/tex]-graded vector space is the quotient of the tensor algebra [tex]\otimes V=\bigoplus_{n=0}^\infty \otimes^nV[/tex] by the ideal generated by all expressions on the form [tex]v_1\otimes v_2+(-1)^{|v_1||v_2|}v_2\otimes v_1[/tex]. This is a graded commutative algebra.

Note that [tex]\odot V\cong\wedge V[1][/tex]. More precisely [tex]\odot^n V=(\wedge^nV[1])[-n][/tex] as graded vector spaces.


Given a [tex]\mathbb Z[/tex]-graded vector space [tex]V[/tex] show that the structure of a [tex]\mathbb Z[/tex]-graded Lie algebra on [tex]V[1][/tex] is equivalent to the following data: A degree [tex]-1[/tex] element [tex][\bullet]\in\Hom(\otimes^2V,V)[/tex] satisfying
[tex][v_1\bullet v_2]=(-1)^{|v_1||v_2|+|v_1|+|v_2|}[v_2\bullet v_1][/tex] and the Jacobi identity.


We take the hint in the notes and let [tex]s:V\to V[1][/tex] be the natural isomorphism of degree [tex]1[/tex], and let [tex][v_1\bullet v_2]=s^{-1}[sv_1,sv_2][/tex]. If [tex]v[/tex] has degree [tex]n[/tex], then [tex]v[/tex] lives in degree [tex]n-1[/tex] in [tex]V[1][/tex], and so [tex]sv[/tex] has degree [tex]n-1[/tex]. So [tex][sv_1,sv_2][/tex] has degree [tex]|v_1|+|v_2|-2[/tex] and [tex]|s^-1[sv_1,sv_2]|=|v_1|+|v_2|-1[/tex].
As our next step, we examine [tex][v_1\bullet v_2][/tex] and its relationship to [tex][v_2\bullet v_1][/tex]. Thus
[tex][v_1\bullet v_2]=s^{-1}[sv_1,sv_2]=s^{-1}(-(-1)^{|sv_1||sv_2|}[sv_2,sv_1])[/tex]
and now note that [tex]|sv_1||sv_2|=(|v_1|+1)(|v_2|+1)=|v_1||v_2|+|v_1|+|v_2|+1[/tex] so the sign (which other than that just tunnels out through [tex]s^{-1}[/tex]) will end up yielding the expression
which is just
[tex](-1)^{|v_1||v_2|+|v_1|+|v_2|}[v_2\bullet v_1][/tex].

The Jacobian identity is the same. So if we have a Lie structure on [tex]V[1][/tex] we will get the described structure on [tex]V[/tex]. 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 [tex]V[1][/tex] which, in endeffect, will yield precisely a Lie structure based in these axioms.

It turns out that precisely this structure occurs if we take [tex]V=k[x^1,\dots,x^n,\psi_1,\dots,\psi_n][/tex] and let [tex]|\psi_a|=|x^a|+1[/tex]. The bracket would be defined as
[tex][f\bullet g]=(-1)^{|f|}\delta(fg)-(-1)^{|f|}(\Delta f)g-f\Delta g[/tex]
[tex]\Delta=\sum_{a=1}^n \frac{\partial^2}{\partial x^a\partial \psi_a}[/tex]
This bracket can be verified to satisfy the given axioms, and thus actually defines the structure of graded Lie algebra on [tex]V[1][/tex].

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.