1. Introduction
Since Goppa introduced the Algebraic Geometric codes in the eighties [11], a lot of effort has been directed towards obtaining examples of codes with good parameters through different types of algebraic curves. It is well known that codes with optimal parameters are expected from algebraic curves with many rational places over finite fields. These are curves whose numbers of rational places are equal or close to the HasseWeil upper bound or other known bounds that may be specific to the curve. For a projective, absolutely irreducible, nonsingular algebraic curve of genus over , the HasseWeil upper bound on the number of rational places is When this quantity is attained, the curve is said to be maximal. Maximal curves only exist over .
In [7] and [8] Garcia, Kim and Lax exploit a local property at a rational place on an algebraic curve in order to improve the minimum distance of the code. Specifically, they show that the existence of consecutive gaps at a rational place can be used to increase the classical upper bound for the minimum distance by units. In [17] Homma and Kim obtain similar results using gaps at two rational places. They also define a special type of gap that they call pure gap and obtain further improvements. Then they use pure gaps to refine the parameters of codes constructed from the Hermitian curve over . In [4] Carvalho and Torres consider in detail gaps and pure gaps at more than two places. Since then, pure gaps have been exhaustively studied to show that they provide many other good codes; see [20, 29, 30, 23, 25, 5, 2]. The scope of these papers varies depending on the algebraic curve and the number of places considered.
The majority of maximal curves and curves with many rational places has a plane model of Kummertype. For those curves with affine equation given by
general results on gaps and pure gaps can be found in [1, 5, 29, 18]. Applications to codes on particular curves such as the GiuliettiKorchmáros curve, the GarciaGüneriStichtenoth curve, and quotients of the Hermitian curve can be found in [28, 19, 31]. In [1]
the authors use a decomposition of certain RiemannRoch vector spaces due to Maharaj (Theorem
2.2) to describe gaps at one place arithmetically. The same idea has been used to investigate gaps and pure gaps at several places [2, 5, 18, 19, 29, 30, 31]. Here we continue exploring its capabilities by considering a different setting.In this work we consider a Kummertype curve defined by
We extend the concept of pure gap to gap and provide an arithmetical criterion to decide when an tuple is a gap at rational places. This result is then heavily used to obtain many families of pure gaps at two places on the curves obtained by Giulietti and Korchmáros in [10], Garcia and Quoos in [9], and Garcia, Güneri and Stichtenoth in [6]. All these curves are known to have many rational places.
In the special case of two rational places, one can also determine the set of pure gaps using a method introduced by Homma and Kim in [17, Theorem 2.1]. For , let be a rational place and be the set of gaps at . There is a bijection from to given by
which can be used to characterize the set of pure gaps at in the following way:
(1) 
We use this approach to obtain additional families of pure gaps at two places on the Suzuki curve.
We conclude the paper with a summary of the parameters of codes constructed using our families of pure gaps.
2. Preliminary results
Let be a projective, absolutely irreducible, nonsingular algebraic curve of genus defined over a finite field . Let be its function field over . For a function in , let and stand for its divisor and pole divisor, respectively. We denote by the set of places of , and by the free abelian group generated by the places of . The elements in are called divisors and can be written as
The degree of a divisor is . The RiemannRoch vector space associated to is defined by
We denote by the dimension of as a vector space over the field of constants .
Our convention is that and . For a rational place , that is, a place of degree one, the Weierstrass semigroup at is
We say that is a nongap at if , and a gap otherwise. Another way to characterize a gap is using the dimension of RiemannRoch spaces, namely, is a gap at if and only if . As a consequence, the Weierstrass Gap Theorem asserts that there exist gaps at between and . There is a natural generalization of the notion of gap at distinct rational places of by setting
as the Weierstrass semigroup at . The elements in
are called gaps, and there is a finite number of them. Gaps at several places can be described in terms of the dimensions of RiemannRoch spaces: is a gap at if and only if
Homma and Kim [17] introduced the important concept of pure gap. An tuple is a pure gap at if
The set of pure gaps at is denoted by . Clearly, is contained in . Carvalho and Torres [4, Lemma 2.5] showed that is a pure gap at if and only if .
Now we turn our attention to Kummer extensions. Let be the algebraic closure of and be the characteristic of .
Definition 2.1.
A Kummer extension is an algebraic function field defined by where is a rational function over with and For a zero or pole of , let be the place of associated to it. To be more precise, we assume the following.

are all places corresponding to zeros and poles of . We denote the multiplicity of by .

with are totally ramified places in the extension

For , let with be the places in lying over When is a totally ramified place in we denote simply by

The divisor of the function in is

For a divisor of and any subfield , write . The restriction of to is
where is the ramification index of over .
The following result by Maharaj is a key ingredient in our arithmetic characterization of gaps at several places.
Theorem 2.2 ([22, Theorem 2.2]).
Let be a Kummer extension of degree defined by . Then, for any divisor of that is invariant under the action of , we have that
where denotes the restriction of the divisor to .
Pure gaps are related to the improvement of the designed minimum distance of Algebraic Geometric codes. For the differential code associated to the divisors and , we denote its length, dimension and minimum distance by , and , respectively; see [27].
We recall that denotes a projective, absolutely irreducible, nonsingular algebraic curve of genus .
Theorem 2.3 ([4, Theorem 3.4]).
Let be pairwise distinct rational places on , and let , be pure gaps at with for each . Consider the divisors and . If every with for is a pure gap at , then
3. gaps on Kummer extensions
We start this section by generalizing the concept of gap to gap at several places.
Definition 3.1.
Let be pairwise distinct rational places on . Given , we say that is a gap at if
When , a gap at is a pure gap at . Also, if is a gap at then are all pure gaps at where .
Lundell and McCullough proved a bound for the minimum distance called generalized floor bound. Next we state their result using the gap terminology.
Theorem 3.2 ([21, Theorem 3]).
Let be pairwise distinct rational places on . Suppose that there exist , and with each such that and are gaps at . Consider the divisors and . If then
There are instances in which we can apply Theorem 3.2, but not Theorem 2.3. This occurs when some and , are not pure gaps, or when and for some .
Theorem 3.3.
Let be pairwise distinct totally ramified places in the Kummer extension . Let . Then is a gap at if and only if for every exactly one of the two following conditions is satisfied:


for all
Proof.
Let . Using the notation as in Definition 2.1, we have that
and the restriction of this divisor to is
By definition, is a gap at if By Theorem 2.2, we have that
So
We conclude that is a pure gap at if and only if
for all . Since has genus , the latter identity holds if and only if for all either
or
for . This concludes the proof. ∎
Our next goal is to obtain families of pure gaps on specific curves using Theorem 3.3.
3.1. Pure gaps on the GK curve
The GiuliettiKorchmáros curve over is a nonsingular curve in defined by the affine equations:
It has genus , and the number of its rational places is . The GK curve first appeared in [10] as a maximal curve over , since the latter number coincides with the HasseWeil bound, . The GK curve is the first example of a maximal curve that is not covered by the Hermitian curve, provided that .
A plane model for the GK curve is given by the affine equation:
Let be its function field. We denote by the only place of associated to the pole of .
Proposition 3.4.
Let and be two totally ramified places different from on the GK curve. For and , let
Then the pair is a pure gap at .
Proof.
The places and are zeros of , so . For and , we have that if and only if . Furthermore,
and
It remains to show that the condition Theorem 3.3(i) holds in the above cases. We compute
Therefore is a pure gap at . ∎
Proposition 3.5.
Let and be two totally ramified places different from on the GK curve. The pair is a gap, but not a pure gap, at .
Proof.
We start by investigating when Theorem 3.3(ii) does not hold. For , we have that
if and only if . In this case (i) becomes
On the other hand, is a not a gap since for and we have
and
∎
Proposition 3.6.
Let and be two totally ramified places different from on the GK curve. For , let
where , and . Let
Then is a pure gap at if and only if
Proof.
By Theorem 3.3, is a pure gap at if and only if, whenever for some and , one has
(2) 
Clearly, if and only if . In particular, since , we get for . First, we note that if and only if . For , we obtain that
Thus, by (2), we have
which is equivalent to
Hence, we obtain that is a pure gap at if and only if for . ∎
3.2. Pure gaps on curves with many rational places
We now consider curves with many rational places that appeared in [9]. The first curve is defined over by
where and . This curve has genus and rational places over .
Proposition 3.7.
Suppose is even. On the curve defined by
let be the unique place at infinity and be a totally ramified place different from . We have that:

is a gap, but not a pure gap, at , and

is a pure gap at for .
Proof.
Let and . We have that and for . For and , we have
if and only if , that is, . In this case,
On the other hand, is not a gap at since for and we have that
and
We conclude that is not a pure gap.
Now suppose that and . As in the previous case, we have
if and only if . Also,
if and only if , that is, for , and for . In these cases
So is a pure gap. ∎
The second curve we consider in this section is defined over by
where a divisor of . The common roots of the numerator and the denominator belong to and satisfy . We denote by the .
Case 1: If then
Case 2: If then
Case 3: If then
Proposition 3.8.
Let
Comments
There are no comments yet.