On a conjecture of H. Rauch on theta constants and Riemann surfaces with many automorphisms.
We prove that k (k ≥ 9) non-conjugate symmetries of a Riemann surface of genus g have at most 2g - 2 + 2r - 3(9 - k) ovals in total, where r is the smallest positive integer for which k ≤ 2r - 1. Furthermore we prove that for arbitrary k ≥ 9 this bound is sharp for infinitely many values of g.