1: \begin{definition}

2: Let $\Sigma_g^{\mathbf{p}}$ denote the space of smooth hyperelliptic Riemann surfaces $Y$ of genus $g$ with the properties described in Theorem \ref{theorem_spectral_curve}, such that $d\ln\mu$ has no roots at the branchpoints of $Y$.

3: \end{definition}