## Algebraic-Geometric Codes

In [1], Goppa proposes the following construction for linear codes based on global function fields:

Let *F* denote a global function field with full constant field **F**_{b} and genus *g* = *g*(*F*/**F**_{b}). Furthermore let *P*_{1},…, *P*_{s} denote *s* rational places of *F* and let *G* denote a divisor of *F* with supp*G*∩{*P*_{1},…, *P*_{s}} = ∅ and deg *G* < *s*. The algebraic-geometric code AG(*F*, *G*) is defined as

*F*,

*G*) := {(

*f*(

*P*

_{i}))

_{i=1,…, s}:

*f*∈ L(

*G*)},

where L(*G*) denotes the Riemann-Roch space of the divisor *G*. It is a linear [*s*, *n*, *d*]-code over **F**_{b} with *n* = dim *G* and *d* ≥ *s* – deg *G*.

### The Dimension of Algebraic-Geometric Codes

It follows from the definition of the genus that dim *G* ≥ deg *G*−*g* + 1, i.e., the code contains a subcode with dimension *n* ≥ deg *G*−*g* + 1. If deg *G* ≥ 2*g*, this bound is sharp. For deg *G* < 2*g* it is possible that dim *G* > deg *G*−*g* + 1. If *G* is of the form *rP*, with *P* denoting a place of *F*, the exact value of dim *G* = dim *rP* is determined by the Weierstrass semigroup of *P*. For some function fields these numbers are known and MinT uses this information.

In addition to that, the dimension of the zero-divisor is always 1 because L(0) is the space of constant functions. Therefore AG(*F*, 0) is the [*s*, 1, *s*]-repetition code for every function field *F*.

### The Minimum Distance of Algebraic-Geometric Codes

If the minimum distance *d* of AG(*F*, *G*) were less than *s* – deg *G*, there would exist a non-zero code word with *u* := *s* – *d* > deg *G* zeros, hence an *f* ∈ L(*G*) with *u* distinct zeros *P*_{i1},…, *P*_{iu} and therefore *f* ∈ L(*G*ʹ) with *G*ʹ = *G* – (*P*_{i1} + … + *P*_{iu}). Since *f* would be non-zero, deg *G*ʹ would be non-negative. However, deg *G*ʹ = deg *G* – *u* < deg *G* – deg *G* = 0, which is a contradiction.

### Construction of the Divisor *G*

If the number of rational places *N*(*F*) is larger than *s*, one can choose one of these places *P* and use *G* = *rP*. Obviously, deg *G* = deg *rP* = *r*. Thus AG(*F*, *rP*) is an [*s*, max{1, *r* – *g* + 1}, *s*−*r*]-code with *s* = *N*(*F*) − 1 for all *r* = 0,…, *s*−1.

If a code of length *s* = *N*(*F*) is to be obtained, places of larger degree have to be used for the construction of *G*. MinT uses divisors *G* of the form *G* = *Q* + *rP*, where *P* is some non-rational place and *Q* is the sum of zero or more other non-rational places.

### Subcode Structure

If *G* ≤ *G*ʹ, then AG(*F*, *G*) is a subcode of AG(*F*, *G*ʹ) and construction X can be applied to this pair of codes. In particular this situation arises for AG(*F*, *Q* + *rP*) ⊆ AG(*F*, *Q* + *rʹP*) with *Q* denoting an arbitrary divisor (but usually the zero-divisor), *P* denoting a place, and integers *r*, *r*ʹ with *r* < *r*ʹ.

If *P* is one of the rational places, one can apply construction X to AG(*F*,(*r* – 1)*P*) ⊆ AG(*F*, *rP*) with the [1, 1, 1]-code without redundancy. The result is an [*s*, max{1, *r* – *g* + 1}, *s*−*r*]-code with *s* = *N*(*F*), namely the so-called extended algebraic-geometric code AG_{e}(*F*, *rP*).

### Special Cases

If *F* is the rational function field over **F**_{b}, *P*_{1},…, *P*_{b} are the *b* places corresponding to the zeros of the linear functions, and *G* = *rP*_{∞}, Reed-Solomon codes RS(*r* + 1, *b*) are obtained.

### See also

Generalization for arbitrary OOAs

Goppa code at

### References

[1] | V. D. Goppa. Codes on algebraic curves. Soviet Mathematics. Doklady, 24(1):170–172, 1981. |

[2] | Henning Stichtenoth.Algebraic Function Fields and Codes.Springer-Verlag, 1993. |

[3] | Harald Niederreiter and Chaoping Xing.Rational Points on Curves over Finite Fields: Theory and Applications, volume 285 of Lect. Note Series of the London Math. Soc.Cambridge University Press, 2001. MR1837382 (2002h:11055) |

[4] | Tom Høholdt, Jacobus H. van Lint, and Ruud Pellikaan. Algebraic geometry codes. In Vera S. Pless and W. Cary Huffman, editors, Handbook of Coding Theory, volume 1, pages 871–961. Elsevier Science, 1998. |

[5] | Jürgen Bierbrauer.Introduction to Coding Theory.Discrete Mathematics and its Applications. Chapman & Hall/CRC, Boca Raton, London, New York, Washington D.C., 2004. MR2079734 (2005f:94001) |

### Copyright

Copyright © 2004, 2005, 2006, 2007, 2008, 2009, 2010 by Rudolf Schürer and Wolfgang Ch. Schmid.

Cite this as: Rudolf Schürer and Wolfgang Ch. Schmid. “Algebraic-Geometric Codes.”
From MinT—the database of optimal net, code, OA, and OOA parameters.
Version: 2008-04-04.
http://mint.sbg.ac.at/desc_CGoppa-nonextended.html