On Kummer extensions with one place at infinity (Q6156923)

Let \(K\) be the algebraic closure of the finite field \(\mathbb{F}_q\) with \(q\) elements. Let \(\mathcal{X}\) be a nonsingular, projective, absolutely irreducible algebraic curve over \(K\) with genus \(g(\mathcal{X})\) and denote by \(K(\mathcal{X} )\) its function field. For a function \(z \in K(\mathcal{X})\), let \((z)\), \((z)_\infty\) and \((z)_0\) be the principal, pole and zero divisor of the function \(z \in K(\mathcal{X})\) respectively. Given a place \(Q\) in the set of places \(P_{K(\mathcal{X})}\) of the function field \(K(\mathcal{X})\), the \textit{Weierstrass semigroup} associated to the place \(Q\) is given by \[ H(Q) := \{s \in \mathbb{N}_0 : (z)_\infty = sQ \text{ for some } z \in K(\mathcal{X}) \}. \] The knowledge of the inner structure of the Weierstrass semigroup \(H(Q)\) at one place in the function field \(K(\mathcal{X})\) has various applications in the area of algebraic curves over finite fields. In this paper the author provides an explicit description of the Weierstrass semigroup \(H(Q_\infty)\) at the only place at infinity \(Q_\infty\) of the curve \(\mathcal{X}\) defined by the Kummer extension with equation \(y^m = f(x)\), where \(f(x) \in K[x]\) is a polynomial satisfying \(\text{gcd}(m, \text{deg}(f) ) = 1\). He provides a set of generators of the semigroup \(H(Q_\infty)\) and as a consequence, he determines the Frobenius number and the multiplicity of \(H(Q_\infty)\) in some cases, and discusses sufficient conditions for the Weierstrass semigroup \(H(Q_\infty)\) to be symmetric. Finally, he characterizes certain maximal Castle curves of type \((\mathcal{X},Q_\infty)\).