AG codes from \(\mathbb{F}_{q^7}\)-rational points of the GK maximal curve (Q6115440)

Weierstrass semigroup are the main tool used to compute the dimension of one-point AG codes from algebraic curves (algebraic function fields). Computing the Weierstrass semigroup a every point of a curve (over the algebraic closure of a finite field) is a well-known difficult problem and a complete answer is known only in few cases. One of these few cases is the well-known \(\mathbb{F}_{q^6}\)-maximal GK curve constructed by \textit{M. Giulietti} and \textit{G. Korchmáros} [Math. Ann. 343, No. 1, 229--245 (2009; Zbl 1160.14016)]. In fact, \textit{P. Beelen} and \textit{M. Montanucci} [Finite Fields Appl. 52, 10--29 (2018; Zbl 1423.11113)] and \textit{M. Giulietti} and \textit{G. Korchmáros} [Math. Ann. 343, No. 1, 229--245 (2009; Zbl 1160.14016)], computed Weierstrass semigroups at points of the Giulietti-Korchmáros curve \(C\) and the sets of minimal generators were determined for all points with coordinates in \(\mathbb{F}_{q^6}\). This paper completes their work by settling the remaining cases (with regards to finding a minimal set of generators), that is, for points with coordinates not in \(\mathbb{F}_{q^6}\). As a byproduct, the authors determine the dimensions and the lengths of duals of one-point codes from a point with coordinates in \(\mathbb{F}_{q^7} \setminus \mathbb{F}_q\) and give a bound on the Feng-Rao minimum distance. For \(q = 3\) a table is provided that also reports the exact values of the Feng-Rao minimum distance. As a further application quantum codes from the same set of points are constructed using the famous CSS construction.