The minimal discriminant of a hyperelliptic curve is defined and used
to generalize much of the arithmetic theory of elliptic curves. Over n
umber fieldS this leads to a higher genus version of Szpiro's Conjectu
re. Analytically, the discriminant is shown to be related to Siegel mo
dular forms of higher degree.