Pure gaps on curves with many rational places

04/02/2018 ∙ by Daniele Bartoli, et al. ∙ UFRJ CUNY Law School Università Perugia 0

We consider the algebraic curve defined by y^m = f(x) where m ≥ 2 and f(x) is a rational function over F_q. We extend the concept of pure gap to c-gap and obtain a criterion to decide when an s-tuple is a c-gap at s rational places on the curve. As an application, we obtain many families of pure gaps at two rational places on curves with many rational places.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

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 Hasse-Weil upper bound or other known bounds that may be specific to the curve. For a projective, absolutely irreducible, non-singular algebraic curve of genus over , the Hasse-Weil 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 Kummer-type. 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 Giulietti-Korchmáros curve, the Garcia-Güneri-Stichtenoth curve, and quotients of the Hermitian curve can be found in [28, 19, 31]. In [1]

the authors use a decomposition of certain Riemann-Roch 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 Kummer-type 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, non-singular 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 Riemann-Roch 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 non-gap at if , and a gap otherwise. Another way to characterize a gap is using the dimension of Riemann-Roch 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 Riemann-Roch 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.

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

  2. with are totally ramified places in the extension

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

  4. The divisor of the function in is

  5. 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, non-singular 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

Theorem 2.3 can be seen as a particular case of Theorem 3.2.

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:

  1. 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 Giulietti-Korchmáros curve over is a non-singular 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 Hasse-Weil 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:

  1. is a -gap, but not a pure gap, at , and

  2. 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