Galois morphism computing the gonality of a nonsingular projective curve on a Hirzebruch surface (Q659889)

Pursuing the goals of [\textit{K. Miura} and \textit{H. Yoshihara}, J. Algebra 226, No. 1, 283--294 (2000; Zbl 0983.11067)] and \textit{H. Yoshihara}, [J. Algebra 239, No. 1, 340--355 (2001; Zbl 1064.14023)] the author considers the \(e\)th Hizebruch surface, i.e. \(\Pi : X_e \to \mathbb{P}^1\) the ruled complex surface defined by \(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-e)\) for \(e \geq 0\)). Recall that \(\mathrm{Pic}(X_e)\) is generated by \(C_0\) (a minimal section) and \(f\) a fiber of \(\Pi\). Let \(C \sim a C_0 + b f\) be a nonsingular projective curve on \(X_e\) and \(\pi : C \to \mathbb{P}^1\) the restriction of \(\Pi\) to \(C\). Assume that \(a,b \geq 3\), then when the field extension \(\mathbb{C}(C)/\mathbb{C}(\mathbb{P}^1)\) induced by \(\pi\) is Galois, the author gives the defining equation of \(C\) and the Galois group of the extension. In order to do so, he proves in particular that if moreover \((e,a) \neq (1,b), (1,b-1)\) then every automorphism of \(C\) can be extended to an automorphism of \(X_e\).