A departure from directly working with varieties, we’re going to do something that’s strictly topological (at first glance) but which really has deep and important connections with Hodge theory. We’re going to talk about monodromy and monodromy representations.

Let be a fiber bundle. Though we don’t really NEED any hypotheses, as far as I’m aware, because our real goal is the study of varieties, we’ll assume that the fiber, is a complete variety, and that the base, , is a variety (often open). So really, we’re fiddling with families of varieties, but just topologically for the moment, so we’ll ignore any degenerations (those will come later).

In the meantime, monodromy is a trick to get some nice representations of . First, we’ll look at the motivating example for a lot of this:

\bf{Example}: Ignore most of the stuff above, and just look at a covering space of degree . Then there’s a map given by the action of by interchanging the sheets of the cover.

So this gave us a map from the fundamental group of the base into the automorphism group of the fibers. This actually happens in general, for any fiber bundle, just go around the loop and see how the transition functions change. But that’s not the most interesting case (though it can be adapted into a nice proof that is irreducible). The problem being that the transition maps may come from ridiculously huge groups, things like , and while that’s a group I do rather like, it’s not so helpful for getting good representations.

But what tools can we possibly have to linearize something on a space? Homology and cohomology, of course! Here’s an example.

\bf{Example}: Look at the family of projective elliptic curves. We’re ignoring degenerations for the moment (we’ll complete families later) so this lives over . This is also visible as . So we’ve got two nontrivial loops, one around zero, the other around one, and there are no relations, this is the free group of rank 2. We can envision all of this as living in the plane with four points marked as , and a cut from to and a cut from to . Then the loops are what happens if we loop around things. We get one loop from rotating the cut between and all the way around. The other one is a bit trickier to describe directly, but we can describe it in terms like this.

We’ll focus on the first one. Look at of the elliptic curve. It has two generators, call them and , where is a loop around the cut, and is a loop through the two cuts. This is a standard homology basis, and we’ll look at the action of our element of on the homology.

If we rotate the cut only 180 degrees, we get the square root of the correct matrix, so we’ll have to square whatever it is we get out of this, but the setup is easier to describe. Call out 180 degree turn operator . Then it’s fairly easy to see that , because is just brought back to itself. However, is a bit more interesting. It will be , and we can compute by intersecting with and . Doing this gives , and so our matrix is . Squaring it, we get the matrix . If we do the same procedure for the other generator, we get , which is a perfectly good representation of our free group, on integer valued matrices!

This sort of thing will work in general, though computing the representation is a bit trickier when the base of the family is higher dimensional, because we can’t have as nice pictures in our heads. But in particular, we get a representation of on the automorphism group, and on all of the homology (and thus, cohomology) spaces.