Algebraic geometric codes on anticanonical surfaces (Q616327)

This paper is bases on the PhD thesis of Jennifer A. Davis, it is worth reading it available at \url{http://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1001&context=mathstudent}. Let \(\mathcal{B}=\{p_1,\ldots,p_p\}\) be a set of distinct \(\mathbb{F}_q\)-points of \(\mathbb{P}^2\) and let \(\pi:\mathbb{P}^2_{\mathcal{B}}\rightarrow \mathbb{P}^2\) be given by sequential blowing-up at the points of \(\mathcal{B}\). The resulting variety \(\mathbb{P}^2_{\mathcal{B}}\) is a projective smooth surface. Every surface obtained in this manner is an anticanonical surface but the conversely it is not true. However, for every anticanonical surface, say \(X\) , there is a birational morphism \(Y \rightarrow X\), where \(Y\) is a sequential blowing-up of \(\mathbb{P}^2\) at the points of \(\mathcal{B}\). The aim of this work is to study Algebraic Geometric codes associated to anticanonical surfaces of te form \(\mathbb{P}^2_{\mathcal{B}}\), i.e., \(C_q(\mathbb{P}^2_{\mathcal{B}},P,D)=\{\mathrm{ev}_P(f): f\in L(D)\}\), where \(D\) is an effective \(\mathbb{F}_q\)-divisor, \(P\) a finite subset of \(\mathbb{F}_q\)-points in \(\mathbb{P}^2_{\mathcal{B}}\) such that \(\mathrm{supp}(D)\cap P=\emptyset\) and \(L(D)=\{f\in \mathbb{F}: div(f)+D\geq 0\}\cup \{0\}\). Let \(R_m\) denote he vector space spanned by the set of homogeneous polynomials in \(\mathbb{F}_q[x,y,z]\) of degree \(m\). Consider \(L=\pi^{-1}(L^\ast)\) with \(L^\ast\) a general line on \(\mathbb{P}^2\) and \(E=\cup_{i=1}^b E_i\) the exceptional divisor. Given \(D\) and effective divisor of the form \([D]=[mL-m_1E_1-\cdots-m_bE_b]\) and \(m,m1,\ldots,m_b\geq 0\), define \(F([D])=\{f\in R_m: \text{f has zero of multiplicity at least } m_i \;\text{at} \;p_i\in \mathcal{B} \}\). For any \(h\in R_m\) with \(Z(h)\cap P=\emptyset\) consider \(L^h([D])=\{\frac{f}{h}:f\in F([D])\}\) and the code \[ C^h(\mathcal{B},P,[D])=\{\mathrm{ev}_P(f): f\in L^h([D])\}. \] The author shows that \(C_q(\mathbb{P}^2_{\mathcal{B}},P,D)\) and \(C^h(\mathcal{B},P,[D])\) have the same parameters whenever \(Z(h)\cap P=\emptyset\). Now working with \(C^h(\mathcal{B},P,[D])\) instead, she provides the following results: Let \(P=\{(a_0,a_1,a_2)\in \mathbb{P}^2(\mathbb{F}_q):a_0a_1a_2\neq 0\}\), \(h=z^m\), \(\mathcal{B}\subset Z(xy)\) and \([D]=[mL-m_1E_1-\cdots-m_bE_b]\), then for all \(q\geq max\{m+2,2m-\sum_{i=1}^bm_i\}\) the code \(C^h(\mathcal{B},P,[D])\) has parameters \[ [(q-1)^2,\binom{m+2}{2}-\sum_{i=1}^b \binom{m_i+1}{2},d] \] where \(d\geq (q-1)^2-m(q-1)\). Let \(P=\{(a_0,a_1,a_2)\in \mathbb{P}^2(\mathbb{F}_q):a_0a_1a_2\neq 0\}\), \(h=z^m\), \(\mathcal{B}\subset Z(x)\) and \([D]=[bL-E_1-\cdots-E_b]\), then for all \(q\) with \(q-1>b>c\) and \(q-b>c(b-c)\) the code \(C^h(\mathcal{B},P,[D])\) has parameters \[ [(q-1)^2,\frac{b^2+b+2}{2},(q-1)^2-b(q-1)+c(b-c)], \] where \(c\) is the number of coordinate vertices of \(\mathbb{P}^2\) in \(\mathcal{B}\). Let \(P=\{(a_0,a_1,a_2)\in \mathbb{P}^2(\mathbb{F}_q):a_0a_1a_2\neq 0\}\), \(h=z^m\), \(\mathcal{B}\subset Z(x)\) and \([D]=[mL-m_1E_1-\cdots-m_bE_b]\), with \(m\geq \sum_{i=1}^bm_i\) and \(m_i\geq 1\) for each \(m_i\). Let \(\{[D_k]\}_{k=1}^\ell\) be such that \([D_k]=[m^kL-m_1^kE_1-\cdots-m^k_bE_b]\) with \(m^k\geq \sum_{i=1}^bm_i^k\) and \(m^k,m^k_1,\ldots,m_b^k\geq 0\) for \(k=1,\ldots,\ell\). Let \(d_k\) denote the minimum distcance for \(C^{z^{m^k}}(\mathcal{B},P,[D_k])\) for \(k=1,\ldots,\ell\). Suppose that \([D]=\sum_{k=1}^{\ell}[D_k]\). Moreover \(q\) verify: \(q-2m+\sum_{i=1}^bm_i>g([D])\), \(q-1\geq m_i\) for \(i=1,\ldots,b\), \(q-1\geq s+m-\sum_{i=1}^bm_i\) with \(s=b-c\) and \(q\geq m+2\). Then the code \(C^h(\mathcal{B},P,[D])\) has parameters \[ [(q-1)^2,\binom{m+2}{2}-\sum_{i=1}^b \binom{m_i+1}{2},d] \] where \(d\geq \sum_{k=1}^{\ell}d_k-(\ell-1)(q-1)^2\).