MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space.

A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the compactification of) the moduli space of covers of $\mathbf{P}^1$ unramified over $\mathbf{P}^1-\{0,1,\infty,\lambda\}$, where $\lambda$ is allowed to vary.

The natural map from the set of Hurwitz spaces (up to isomorphism) to the set of smooth projective connected curves over $\overline{\mathbf{Q}}$ is surjective (by Diaz-Donagi-Harbater), but with infinite fibres.

Here comes my question:

Does there exist a natural subset $S$ of the set of Hurwitz spaces which still surjects onto the set of curves over $\overline{\mathbf{Q}}$, but with finite fibres?

Of course, the answer is yes if we leave out natural.

By natural I mean, for example, demanding that our Hurwitz spaces fulfill certain properties concerning the ramification type.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.