Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus (Q1995221)

In this paper, a theoretical study of algebrao-geometric codes constructed from abelian surfaces \(A\) defined over finite fields \(F_q\) is provided. Let \(m = \lfloor 2 \sqrt{q}\rfloor\), \(H\) be an ample divisor on \(A\) rational over \(F_q\) and \(r\) be a positive integer such that \(rH\) is very ample. We denote by \(Tr(A)\) the trace of \(A\) and by \(C(A, rH)\) the generalised evaluation code. Then, it is proved that the distance \(d(A, rH)\) of the code \(C(A, rH)\) satisfies the inequality: \[d(A, rH) \geq \# A(F_q) - rH^2(q + 1 -Tr(A) + m) - r^2m \frac{H^2}{2}.\] Furthermore, if \(A\) is simple and contains no absolutely irreducible curves of arithmetic genus \(\leq \ell\), then \[d(A, rH) \geq \# A(F_q)-\max\left( r\left\lfloor \sqrt{\frac{H^2}{2}}\right \rfloor (\ell-1), \varphi(1), \varphi\left(\left\lfloor r \sqrt{\frac{H^2}{2 \ell}}\right\rfloor \right) \right), \] where \[ \varphi(x) := m \left( r \sqrt{\frac{H^2}{2}} - x\sqrt{\ell} \right)^2 +2m\ell \left( r \sqrt{\frac{H^2}{2}} - x\sqrt{\ell} \right)+\] \[ x\Big(q+1-Tr(A)+(\ell-1)(m-\sqrt{\ell})\Big)+r\sqrt{\frac{H^2}{2}}\ (\ell-1).\] The proof of this result is relied on a characterisation of isogeny classes of abelian surfaces containing Jacobians of curves of genus 2 obtained by \textit{E. W. Howe} et al. [Ann. Inst. Fourier 59, No. 1, 239--289 (2009; Zbl 1236.11058)].