Generalized Weierstrass semigroups at several points on certain maximal curves which cannot be covered by the Hermitian curve (Q2692955)

Let \(\mathcal{X}\) be a nonsingular, projective, geometrically irreducible algebraic curve of positive genus \(g\) defined over a finite field \(\mathbb{F}_q\) with q elements. Let \(\mathbf{Q} = (Q_1, \ldots, Q_m)\) be an \(m\)-tuple of pairwise distinct rational points on \(\mathcal{X}\). We denote by \(\mathbb{F}_q(\mathcal{X})\) the function field of \(\mathcal{X}\) and \(R_{\mathbf{Q}}\) the ring of functions in \(\mathbb{F}_q(\mathcal{X})^*\) that are regular outside \(\mathbf{Q}\). Further, we denote by \((f)_{\infty}\) the divisor of poles of \(f \in \mathbb{F}_q(\mathcal{X})^*\), and by \(v_P\) the discrete valuation in the function field \(\mathbb{F}_q(\mathcal{X})\) at \(P\in \mathcal{X}\). Recall that the Weierstrass semigroup \(H(\mathbf{Q})\) of \(\mathcal{X}\) at \(\mathbf{Q}\) is the set \[ H(\mathbf{Q}) = \{(a_1,\ldots , a_m) \in \mathbb{N}_0^m : \exists \ h \in \mathbb{F}_q(\mathcal{X})^*\text{ with }(h)_{\infty} = \sum_{i=1}^m a_i Q_i\} \] and the generalized Weierstrass semigroup of \(\mathcal{X}\) at \(\mathbf{Q}\) the set \[ \hat{H}(\mathbf{Q}) = \{(-v_{Q_1}(h), \ldots, -v_{Q_m}(h)) \in \mathbb{Z}^m : h \in R_{\mathbf{Q}}\setminus\{0\}\}. \] The curve \(\mathcal{X}\) is called \(\mathbb{F}_q\)-maximal if its number of \(\mathbb{F}_q\)-rational point attains the Hasse-Weil upper bound, namely equals \(2g\sqrt{q}+q +1\). The most well-studied example of a maximal curve is the so-called Hermitian curve \(\mathcal{H}\) defined over \(\mathbb{F}_{q^2}\) by the affine equation \(y^q + y = x^{q+1}\). Many maximal curves can be obtained by constructing subcovers of already known maximal curves, in particular subcovers of the Hermitian curve. In [\textit{S. Tafazolian} et al., J. Pure Appl. Algebra 220, No. 3, 1122--1132 (2016; Zbl 1401.11111)] two examples of maximal curves, denoted by \(\mathcal{X}_{a,b,n,s}\) and \(\mathcal{Y}_{n,s}\) that cannot be covered by the Hermitian curve are presented. In this paper, the generalized Weierstrass semigroup \(\hat{H}(P_{\infty},P_1,\ldots,P_m) \), and consequently the Weierstrass semigroup \(H(P_{\infty},P_1,\ldots,P_m)\), at \(m + 1\) points on the curves \(\mathcal{X}_{a,b,n,s}\) and \(\mathcal{Y}_{n,s}\) for arbitrary \(s \geq 1\), are determined generalizing the results in [\textit{A. Sepúlveda Castellanos} and \textit{M. Bras-Amorós}, Des. Codes Cryptography 88, No. 8, 1595--1616 (2020; Zbl 1454.14141)].