§ Hairy ball theorem from Sperner's Lemma (TODO)
- Let be an n-dimensional simplex with vertices .
- Let be the face opposite to vertex . That is, is the face with all vertices except .
- The boundary is the union of all the faces of (i is from to ).
- Let be subdivided into smaller simplicies forming a simplciial complex .
- Sperner's lemma : Let the vertices of be labelled by (that is, it maps all vertices of the simplicial complex to one of the vertices of the simplex ), such that . Then there is at least one -dimensional simplices of whose image is (That is, there is at least one n-dimensional-sub-simplex such that vertices of are mapped to ). More strongly, the number of such sub-simplices is odd .
- We can see that the map looks like some sort of retract that maps the complex to its boundary . Then Sperner's lemma tells us that there is one "region" that gets mapped onto .
§ 1D proof of Sperner's: Proof by cohomology
- For 1D, assume we have a line with vertex set and edges . Let the vertex at the beginning be and the vertx at the end be . That is, and is a subcomplex of --- that is, it subdivides the line into smaller portions. Let be the labelling function.
- create a function that assigns to and to : . Use this to generate a function on the full complex .
- From , generate a function on the edges . See that this scores such that , , . (Recall that the arithmetic is over ) So, adds a one every time we switch from to or from to .
- However, we also see that is generated from a "potential function "f". Hence we have the identity . Hence, we must have switched signs an odd number of times.
- Since we start from , that means we must have switched from to an odd number of times.
§ 2D proof of Sperner's: Proof by search
- Start from an edge in the bottom labeled . We are looking for a simplex labeled .
- To start: Pick some vertex above , say . If this is labeled , we are done. If not, say this is labeled . So we get triangle . Launch our search procedure from this triangle .
- Find the triangle adjacent to along the edge (the other edge, not the one we started with). If this adjacent triangle has we are done. If not, move to the triangle .
- See that we will either find a triangle labeled , or we will keep running into triangles labeled .
- We cannot ever repeat a triangle in our path; to repeat a triangle is to start with some edge and then to pick a vertex such that where was already picked. This must mean that the edge was already picked. [TODO ]
§ Proof of hairy ball by sperner's lemma [TODO ]
§ Why hairy ball is interesting: Projective modules
The reason I care about the hairy ball theorem has to do with vector fields.
The idea is to first think of smooth vector fields over a smooth manifold.
What algebraic structure do they have? Indeed, they are a vector space over .
However, it is difficult to exhibit a basis. Naively, for each point , we would
need a basis as a basis. This brings in issues of smoothness, etc.
Regardless, it would be uncountable in dimension.
On the other hand, let's say we allow ourselves to consider vector fields as modules
over the ring of smooth functions on a manifold. That is, we can scale the vector
field by a different value at each point.
We can hope the ""dimension"" of the module is much smaller.
So, for example, if we think of , given some vector field ,
the functions and allow us to write basis! Create the vector fields
and . Then any vector field can be written as
for functions in a unique way!
However, as we know, not all modules are free . A geometric example of such
a phenomenon is the module of vector fields on the sphere . By the hairy ball theorem,
any vector field must vanish at at least a single point. So if we try to build a vector
field pointing "rightwards" (analogous to ) and "upwards" (analogous ),
these will not be valid smooth vector fields , because they don't vanish! So,
we will be forced to take more than two vector fields. But when we do that,
we will lose uniqueness of representation. However, all is not lost.
The Serre Swan theorem
tells us that any such module of vector fields will be a projective module.
The sphere gives us a module that is not free. I'm not sure how to show that it's projective.
§ Simple example of projective module that is not free.
- Let be a field. Consider as a ring, and let be a module on top of .
- is a projective module because (that is, we can direct sum something onto it to get the some )
- On the other hand, itself is not free because for any . Intuitively, is "half an " as while .
- The geometric picture is that we have a space with two points . We have a bundle on top of it, with sitting on and (the trivial module) sitting on top of . When we restrict to , we have a good bundle .
- But in total over thr space, we can't write the bundle as because the fibers have different dimensions ! The dimension over is while over is .
- What we can do is to "complete" the bundle by adding a copy of over , so that we can then trivialise the bundle to write .
- So, a projective module corresponds to a vector bundle because it locally is like a vector space, but may not be trivialisable due to a difference in dimension, or compatibility, or some such.