Construction of good codes from weak del Pezzo surfaces (Q6562375)

Let \(X\) an algebraic surface over \(\mathbb{F}_q\) and \(D\) a (Cartier) divisor on \(X\). The set of rational points of \(X\) is denoted by \( X(\mathbb{F}_q)\), and the space of global sections of the divisor \(D\) by \(H^0(X, D)\). The codewords of the associated evaluation code are the evaluations of the functions of \(H^0(X, D)\) at the points of \(X(\mathbb{F}_q)\). The length of such a code is the number \(n\) of points of \(X(\mathbb{F}_q)\), the dimension is dim\(( H^0(X, D))\), and the minimum distance, is bounded below by the quantity \(n-N_q(D)\), where \(N_q(D) = \max\{ \# C(\mathbb{F}_q)/\, C \in |D| \} \).\N\NA smooth projective surface \(X\) over a field \(k\) is a {\em weak del Pezzo surface} if its anticanonical divisor \(-K_X\) is big which means that \( K_X^{\cdot 2} > 0\)) and nef which means that \((-K_X) \cdot D \geq 0\), for any effective divisor \(D\) on \(X\). The del Pezzo surface is called {\em nonordinary}, if there exists an effective divisor \(D\) such that \((-K_X) \cdot D = 0\).\N\NIn this paper, algebraic geometric codes from nonordinary weak del Pezzo surfaces are constructed. The nonordinary weak del Pezzo surfaces admit a blowing-up description; the points that are blown up are only in almost general position (three points can be collinear and six points can be conconic). It follows that the surface contains not just 1-curves, but also 2-curves, the anticanonical divisor is no longer ample but only big and nef, and the anticanonical model is singular with rational double points. The singularity of the anticanonical model complicates the computation of the parameters of the codes, and in particular, it leads to the distinction of the Cartier divisors from the Weil ones.\N\NFor most of the presented codes, the construction provides an explicit generator matrix. All the codes can be easily constructed using a mathematics software system as for example MAGMA.