On the \(P\)-construction of algebraic-geometry codes (Q6565507)

Let \([n,k,d_{\mathcal P}]\) be a projective system \({\mathcal P}=\{P_1,\ldots,P_n\}\subseteq {\mathbb P}^k_{{\mathbb F}_q}\) over a finite field \({\mathbb F}_q\), where \(d_{\mathcal P}=n-\max_H|\{{\mathcal P}\cap H\colon H\text{ is a hyperplane of }{\mathbb P}^k_{{\mathbb F}_q}\}|\). The first main result of this paper is an explicit form of a generating matrix for the linear code given by \({\mathcal P}\) in terms of a choice of affine representatives of the points \(P_i\). \N\NNext, the authors consider as projective system a finite set of \({\mathbb F}_q\)-rational points of an absolutely irreducible projective curve \(X\). Using global sections of a very ample invertible sheaf on the curve, the authors construct a family of algebraic-geometry codes. From their previous theorem, they obtain an explicit form of the generating matrix of this code. As a particular case, they consider absolutely irreducible plane curves via the Veronese embedding and obtain explicit formulas for their dimension and an estimate of their minimum distance. \N\NFinally, they obtain a formula for the Hilbert function of a finite set of points in a projective space in \({\mathbb P}^{\ell}_{{\mathbb F}_q}\) in terms of the rank of a matrix constructed using a degree \(d\) Veronese embedding of this projective space into \({\mathbb P}^k_{{\mathbb F}_q}\).