Codes from Riemann-Roch spaces for y^2 = x^p - x over GF(p)

DOI10.1504/IJICOT.2010.032545MaRDI QIDQ622791zbMATH OpenOpenAlexFDO

Authors Darren B. Glass, David Joyner, Amy E. Ksir

Publication date 4 February 2011

Published in International Journal of Information and Coding Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1504/ijicot.2010.032545

zbMATH Keywords

\(SL(2,p)\) representationsAG codesautomorphism grouphyperelliptic curvesRiemann-Roch spaces

Mathematics Subject Classification ID

Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Applications to coding theory and cryptography of arithmetic geometry (14G50) Geometric methods (including applications of algebraic geometry) applied to coding theory (94B27)

Review text

The paper computes explicit basis for the vector spaces \(\mathcal{L}(D)\), \(D\) a divisor on the hyperelliptic curve \(\mathcal{X}: y^2=x^p-x\), defined over a field of characteristic \(p\), \(D\) invariant by the automorphism group \(G\) of \(\mathcal{X}\) and applies the results to the construction of AG codes deduced from those spaces. Section 2 studies the curve \(\mathcal{X}\) over the prime field \(\mathbb{F}_p\) and over its quadratic extension \(\mathbb{F}_{p^2}\), as well as the group \(G\) and the \(G\)-invariant divisors: \(D_1 =\sum P;\,\, P\in \mathcal{X}(\mathbb{F}_p) \), \(D_2 =\sum P;\,\, P\in \mathcal{X}(\mathbb{F}_{p^2})-\mathcal{X}(\mathbb{F}_p)\) and their integer lineal combinations. Then the paper deduces the wanted basis. Section 3 discusses the AG codes \(\mathcal{C}=\mathcal{C}(rD_1, D_2\), where \(r\geq 1\) is an integer, Proposition 2 giving the parameters \([n,k,d]\) of these codes, while Section 4 shows other examples obtained with the aid of the computational packages GAP and SAGE. Finally Section 5 suggests to extend the study to the curves \(y^m=x^p-x\), where \(m\) is a proper divisor of \(p+1\).

Recommendations

• Constant dimension codes from Riemann-Roch spaces
• Codes over Galois rings with respect to the Rosenbloom-Tsfasman metric
• On codes over \(\mathbb {F}_{q}+v\mathbb {F}_{q}+v^{2}\mathbb {F}_{q}\)
• Codes over \(\mathbb{Z}_p[U]/\langle u^r \rangle\times\mathbb{Z}_p[U]/\langle u^s \rangle\)
• Codes over rings of size \(p^2\) and lattices over imaginary quadratic fields
• Weierstrass semigroup and codes over the curve \(y^q + y = x^{q^r + 1}\)
• On some special codes over F_p + u F_p + u^2 F_p
• Codes over \(\mathbb F_{p^2}\) and \(\mathbb F_p\times\mathbb F_p\) lattices, and theta functions
• Riemann-Roch spaces of the Hermitian function field with applications to algebraic geometry codes and low-discrepancy sequences

Cited in

(5)

• Riemann-Roch spaces attached to Artin-Schreier extensions of algebraic function fields
• Modular representations on some Riemann-Roch spaces of modular curves X(N)
• On the generating matrices of Goppa codes over hyperelliptic curves
• Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
• The Galois module structure of holomorphic poly-differentials and Riemann-Roch spaces

This page was built for publication: Codes from Riemann-Roch spaces for \(y^{2} = x^{p} - x\) over \(\text{GF}(p)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q622791)