Weierstrass semigroup and pure gaps at several points on the \(GK\) curve (Q1670519): Difference between revisions

For a projective, non-singular, geometrically irreducible algebraic curve \(X\) defined over a finite field \(k\) of order \(q\) and \(P_1,\dots,P_m\) pairwise distinct \(k\)-rational points in \(X\) (\(m\leq q\)) the authors deal with the problem of computing multi-pointed Weierstrass semigroups, namely additive submonoids in \({\mathbb N}^m_0\), \(\mathbf H=\{(a_1,\dots,a_m): \exists f\in\text{ with }\operatorname{div}_\infty(f)=a_1P_1+\dots+a_mP_m\}\), where \(R\) is the ring of regular functions on \(X\setminus\{P_1,\dots,P_m\}\), and \(\operatorname{div}_\infty(f)\) is the polar divisor of \(f\). This submonoid encodes intrinsic geometrical properties of \(X\) and its computation is highly non-trivial (the case \(m=1\) is classical: in characteristic zero, it is related e.g. to the study of automorphisms (or moduli problems) on curves, see e.g. \textit{A. Del Centina} [Ann. Univ. Ferrara, Sez. VII, Sci. Mat. 54, No. 1, 37--59 (2008; Zbl 1179.14001)]; in positive characteristic its study is intrinsically related to Coding Theory, see [\textit{V. D. Goppa}, Geometry and codes. Transl. from the Russian by N. G. Shartse. Dordrecht etc.: Kluwer Academic Publishers (1988; Zbl 1097.14502)]. The case \(m=2\) was so much studied by \textit{S. J. Kim} [Arch. Math. 62, No. 1, 73--82 (1994; Zbl 0815.14020)] and \textit{M. Homma} [Arch. Math. 67, No.4, 337--348 (1996; Zbl 0869.14015)]. In general, there is a minimal generating set \(\Gamma=\Gamma(P_1,\dots,P_m)\) which completely determines \(\mathbf H\); see [\textit{G. L. Matthews} and \textit{J. D. Peachey}, Contemp. Math. 518, 315--326 (2010; Zbl 1226.14037)]. Curves with plane model of type \(f(y)=g(x)\) was considered by the authors in [J. Pure Appl. Algebra 222. No. 7, 1803--1809 (2018; Zbl 1390.14090)]. In this paper, the curve \(X\) is taken to be the so-called GK-curve which is the first example of a maximal curve that is not dominated by the corresponding Hermitian curve; see [\textit{M. Giulietti} and \textit{G. Korchmáros}, Math. Ann. 343, No. 1, 229--245 (2009; Zbl 1160.14016)]. As in the aforementioned previous work the main technical key result is a characterization of the set \(\Gamma\) above by means of the concept of \textit{discrepancy} introduced by \textit{I. M. Duursma} and \textit{S. Park} [Finite Fields Appl. 18, No. 5, 865--885 (2012; Zbl 1279.94150)]. Finally some applications to AG codes are given.