Imaginary automorphisms on real hyperelliptic curves (Q2483834)

A real hyperelliptic curve \(X\) is said to be Gaussian if there is an automorphism \(\alpha : X_{\mathbb C} \to X_{\mathbb C}\) such that \(\bar{\alpha } = [-1]_{\mathbb C}\circ \alpha\), where \([-1]\) denotes the hyperelliptic involution. Gaussian hyperelliptic curves occur in several contexts (e.g. in the study of real Jacobian). Here the authors prove that a real hyperelliptic curve is Gaussian if and only if it is uniquely determined by its branch locus. They describe their moduli spaces.For many properties of real hyperelliptic curves, see \textit{M. Lattarulo} [Commun. Algebra 31, 1679--1703 (2003; Zbl 1059.14070)].