Skip to main content
2 of 4
added 232 characters in body
Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98

One way to do it is through deformation theory, provided we only consider automorphism groups $G$ of order not divisible by the characteristic (one may of course assume that it is cyclic of prime order). Then the the moduli space (or just a miniversal deformation) of all curves of genus $g>1$ is smooth with tangent space at the curve $C$ equal to $H^1(C,T^1_C)$. The tangent space of the sublocus where the action of $G$ extends is equal to $H^1(C,T^1_C)^G$ and hence all curves in a neigbourhood of $C$ has an action of $G$ only when $G$ acts trivially on $H^1(C,T^1_C)$. The (Brauer) character of the action can be computed by the holomorphic Lefschetz trace formula (resp. of a lifting of $(C,G))$ and is seen to be non-trivial. (To this I guess one has to add that there is a finite stratification of the moduli space where the automorphism group is fixed on each stratum.)

Addendum: In principle this method could also handle automorphisms of order equal to the characteristic (say), what needs to be shown is that they act non-trivially on $H^1(C,T^1_C)$. I haven't thought about that though.

As suggested by Mariano one can also count parameters: Assume $G$ is cyclic of prime order. If the order is not equal to the characteristic one can use the Hurwitz formula to get bounds on the genus for the quotient curve and the number of critical values of the quotient map. Counting parameters for the quotient curve and the critical values always gives a value which is smaller than $3g-3$ (not a difficult calculation but also not altogether pleasant). The case when the order is equal to the characteristic is even messier, one has to look at the local contribution at a critical value to the genus of $C$ which is of Artin-Schreier type and then bound the number of local parameters in such covers (we here have parameters even when the critical values and the quotient curve stay constant). One could also however use the result of Oort saying that a curve with such an automorphism lifts equivariantly.

Torsten Ekedahl
  • 22.6k
  • 2
  • 81
  • 98