Welcome to MathOverflow

Question

10

2

Let ${\cal M}_g$ be the moduli space of smooth complex genus $g$ curves, let ${\cal H}_g\subset {\cal M}_g$ be the hyperelliptic locus and set ${{\cal H}}'_g$ to be the preimage of ${\cal H}_g$ in the Teichmueller space.

While working on a problem I arrive at two results that can't be reconciled unless ${\cal H}'_3$ is disconnected.

While it seems a bit strange to me that ${\cal H}'_3$ should be disconnnected, I don't see why it should't be. So I'd like to ask whether this is known or known to be false.

[sorry, had to cut this into small paragraphs, otherwise the tex part wouldn't show properly.]

edited Feb 6 2010 at 22:21

Ilya Grigoriev
1,615●8●23

asked Feb 4 2010 at 1:51

algori
16k●1●29●94

	I'd appreciate it if you could define the hyperelliptic locus, if the definition is not too long. Thank you! – Ilya Grigoriev Feb 4 2010 at 2:07
	$\mathcal H_g \subset \mathcal M_g$ presumably are the surfaces that admit an involution with $2g+2$ fixed points. – Ryan Budney Feb 4 2010 at 2:22

Ryan Budney · Accepted Answer · 2010-02-04 05:16:51Z UTC

That $\mathcal H'_g$ can't be connected for $g \geq 3$, isn't this just the "lift to Teichmuller space" of the result that the mapping class group isn't the hyperelliptic group?

In particular, the path components of $\mathcal H'_g$ are indexed by the cosets of the hyperelliptic group in the mapping class group. No?

edit: Anweshi, I'm not sure how you're thinking about Teichmuller space but the answer to your question can be seen in many ways, you don't have to use the language of orbifolds, it's just a convienient container. In my mind I suppose I think of a path in Teichmuller space as a motion of the surface -- make this concrete using Fenchel-Nielsen coordinates, for example. So if you have a path that connects one point to another there is an associated diffeomorphism of the surfaces that stretches/twists the metric appropriately and matches up the markings of the surfaces. So if you go between two points in your $\mathcal H_g'$ covering the same point in $\mathcal H_g$ the relating diffeomorphism is in the hyperelliptic group (since the hyperelliptic group is a subgroup of the mapping class group). This is how you `see' the cosets of the hyperelliptic group in the mapping class group as indexing $\pi_0 \mathcal H'_g$.

algori · Answer 2 · 2011-07-26 12:10:56Z UTC

11

Teichmuller space is the universal cover of $M_g$. Thus, if $X$ is a locus in $M_g$, the preimage of $X$ in Teichmuller space is connected if and only if the induced map

$$\pi_1(X) \to \pi_1(M_g)$$

is surjective. In your case, you are asking: is the hyperelliptic mapping class group in genus $3$ the whole of the genus $3$ mapping class group $\Gamma_3$? No, it isn't: the hyperelliptic mapping class group is the centralizer of an involution in $\Gamma_3$.

edited Jul 26 2011 at 12:10

algori

answered Feb 4 2010 at 2:21

JSE
13.4k●33●83

4

This is morally correct, but Teichmuller space is not quite the universal cover of M_g because the action of the mapping class group on Teichmuller space is not free. It is thus a universal cover only in the sense of orbifolds, but everything still goes through like you'd hope. Of course, I'm sure JSE knows this, but this kind of thing can be confusing to a beginner. – Andy Putman Feb 4 2010 at 2:29

Thanks, JSE. What I don't quite get is the following: the Teichmueller space is not exactly the universal cover of the moduli space. So why does the "$\pi_1$'s map surjectively" criterion still work? – algori Feb 4 2010 at 2:37

Sorry! I indeed had the orbifold pi_1 in mind for both M_g and H_g. So the Teichmuller space IS the universal cover of the moduli space; not the coarse moduli space but the actual moduli space, which is an orbifold. – JSE Feb 4 2010 at 2:41

The category of orbifolds is set up so that you can perform this sort of thing. Without mentioning orbifolds explicitly, you can do the following. Let M_g(L) be the moduli space of curves with level L structures, ie T_g/Mod_g(L) where Mod_g(L) is the subgroup of the mapping class group Mod_g that acts trivially on H_1(S_g;Z/L). For L>=3, the action of Mod_g(L) on T_g is free, so T_g really is the universal cover of M_g(L). Let X(L) be the pullback of the hyperelliptic locus to M_g(L). If X(L) is disconnected, then we are done. Otherwise, we can apply Jordan's argument to X(L). – Andy Putman Feb 4 2010 at 2:44

Dear JSE -- many thanks for the answer, but I've decided to throw in a couple of dollars. Hope you'll forgive me. – algori Jul 26 2011 at 12:15

Hyperelliptic loci in Teichmueller spaces

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.