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.
Sorry if this is a stupid question, but how am I supposed to think about the homology classes of the elliptic curve as subsets of
?
Really it’s by viewing the elliptic curve as a double cover, and you need to keep track of which sheet the cycle is on where. The best picture I have is here,
Hey there,
I notice that you have my blog http://dunghoangnguyen.wordpress.com/ on your blog roll. I no longer update that one, but I’m starting a new blog http://zungnh.wordpress.com/.
You have a nice blog here, so keep blogging!
1. I cannot see the google books page link you are giving; that page seems to be blanked out. So would you mind writing down an explicit expression for the covering map from the elliptic curve to the line?
2. What is a reference for general phenomena on monodromy representations?
More specifically: Can we generalize the monodromy representation to a situation in which we don’t have just a space; but a space together with a vector bundle and a connection on it? ie, I am hoping that when you have a space with a bundle then we can have an actual representation into some $GL_n(V)$ where $V$ is the vector space in the fiber.
For 1, I’m not sure exactly what you’re looking for, it’s just the standard
on the elliptic curve.
2. I don’t know of a really general reference on monodromy, though I’ve been meaning to look at this: http://front.math.ucdavis.edu/0507.5171
As for the more general situation, I think things work out, but I haven’t looked into it.
I would like to know, where I can find a proof of the irreducibility of $/mathcal{M}_g$ (or any Moduli) using the global monodromy.
I don’t have a reference for a complete proof, but I discussed a sketch here: https://rigtriv.wordpress.com/2010/03/02/monodromy-and-moduli/
Hi. Your link to a treatise on monodromy theory http://front.math.ucdavis.edu/0507.5171 doesn’t work. Do you know if this document is still somewhere available?
Pingback: Monodromy Representation of Elliptic Curve – Math Solution