# Families of Hurwitz Curves

Hurwitz's theorem on automorphisms tells us that the group of automorphisms of a nonsingular complex algebraic curve of genus at least 2 is bounded above by $84(g-1)$ where $g$ is the genus of the curve. We also know that for infinitely many $g$, this bound is sharp.

My question is whether these curves are 'isolated' or not. More precisely, given a fixed genus $g$, can I find a a one parameter family of curves which achieve the maximal bound for the automorphism group.

Of course there are some $g$ for which the $84(g-1)$ bound is not achieved, but I am happy with a family of curves that have the largest occurring automorphism group for that genus. Along these lines, I would also be interested in some "highly symmetric" (large automorphism group) one parameter family of curves of given genus.

Any insight/references/ways-to-think-about-this would be of great help!

-
You may start by reading en.wikipedia.org/wiki/Hurwitz_surface and then realizing that the (2,3,7)-group cannot be deformed in PSL(2,R). (Equivalently, the configuration of 3 points on the 2-sphere is rigid.) – Misha May 24 '13 at 13:26
The answer below tells you that Hurwitz curves are isolated, but if you look at this paper vgonzale.mat.utfsm.cl/publicaciones/symmetricpams.pdf, for instance, Rodriguez and Gonzalez find a one-parameter family of abelian varieties that have action of a symmetric group (and so it is quite a large group acting on the variety). When the dimension is $\leq 4$, the family consists entirely of Jacobians, and so we get one-parameter families of curves with action of the symmetric group. Not sure if this helps at all! – rfauffar May 24 '13 at 17:57

The proof of Hurwitz's theorem easily shows that any such curve is a cover of $\mathbb P^1$ ramified at only three points, where the degree can be computed as a function of the genus. Since there are only finitely many covers of $\mathbb P^1$ ramified over three points with bounded degree, there are only finitely many Hurwitz curves of each genus. Thus they do not have nontrivial families.
Ah of course. The case that gives you the bound is when $X/G$ has genus zero. Should've seen that. Thank you! – Dhruv May 24 '13 at 15:47
Here's an addendum to Will's answer to your question that might interest you. For any integer $g>1$, there are only finitely many curves $X$ of genus $g$ such that $X/$ Aut$(X)$ is the projective line and the quotient map $X\to X/$ Aut$(X)$ is ramified over only three points. (Same argument as Will's.) Such curves are called Galois Belyi curves, or Wolfart curves. Hurwitz curves are examples of Wolfart curves, but so are Fermat curves, and certain congruence modular curves. Anyway, the point I wanted to make is that such curves also cannot be put into a nontrivial family. – Ariyan Javanpeykar May 24 '13 at 17:10