Algebraic geometric codes on anticanonical surfaces (Q616327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic geometric codes on anticanonical surfaces
scientific article

    Statements

    Algebraic geometric codes on anticanonical surfaces (English)
    0 references
    0 references
    7 January 2011
    0 references
    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\).
    0 references
    algebraic geometric codes
    0 references
    anticanonical surfaces
    0 references
    blow-up
    0 references
    dimension
    0 references
    minimum distance
    0 references
    0 references
    0 references

    Identifiers