# Every curve is a Hurwitz space in infinitely many ways

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.

-