arXiv:1709.05979v1 [cs.IT] 15 Sep 2017

AG codes and AG quantum codes from cyclic extensions
of the Suzuki and Ree curves
M. Montanucci, M. Timpanella and G. Zini
Abstract
We investigate several types of linear codes constructed from two families S̃q and
R̃q of maximal curves over finite fields recently constructed by Skabelund as cyclic
covers of the Suzuki and Ree curves. Plane models for such curves are provided, and
the Weierstrass semigroup H(P ) at an Fq -rational point P is shown to be symmetric.

Keywords: Suzuki curve, Ree curve, AG code, quantum code, convolutional code,
code automorphisms.
MSC Code: 94B27. 1

1

Introduction

In [17, 18] Goppa described a way to use algebraic curves to construct linear error correcting
codes, the so called algebraic geometric codes (AG codes). The construction of an AG code
whose alphabet is a finite field Fq requires that the underlying curve is Fq -rational and
involves two Fq -rational divisors D and G on the curve.
In general, to construct a good AG code over Fq a curve X with low genus g with respect
to its number of Fq -rational points is required. In fact, from the Goppa bounds on the
parameters of the code, it follows that the relative Singleton defect is upper bounded by the
ratio g/N, where N can be as large as the number of Fq -rational points of X not in the
1

This research was partially supported by Ministry for Education, University and Research of Italy
(MIUR) (Project PRIN 2012 “Geometrie di Galois e strutture di incidenza” - Prot. N. 2012XZE22K−005)
and by the Italian National Group for Algebraic and Geometric Structures and their Applications (GNSAGA
- INdAM).
URL: Maria Montanucci (maria.montanucci@unibas.it), Marco Timpanella (PMtimpanella23@hotmail.it),
Giovanni Zini (gzini@math.unifi.it).

1

support of G. Maximal curves X over Fq attain the Hasse-Weil upper bound for the number
of Fq -rational points with respect to their genus,
√
|X (Fq )| ≤ q + 1 + 2g q,
and for this reason they have been used in a number of works. Examples of such curves are
the Hermitian curve, the GK curve [14], the GGS curve [12], the Suzuki curve [8], the Klein
√
quartic when q ≡ 6 (mod 7) [37], together with their quotient curves. Maximal curves
often have large automorphism groups which in many cases can be inherited by the code:
this can bring good performances in encoding [27] and decoding [19].
Good bounds on the parameters of one-point codes, that is AG codes arising from divisors
G of type nP for a point P of the curve, have been obtained by investigating the Weierstrass
semigroup at P . These results have been later generalized to codes and semigroups at two
or more points; see e.g. [5, 6, 22, 23, 30, 34, 35].
AG codes from the Hermitian curve have been widely investigated; see [10,24–26,44,46,47]
and the references therein. Other constructions based on the Suzuki curve and the curve
r
with equation y q + y = xq +1 can be found in [36] and [42]. More recently, AG Codes from
the GK curve have been constructed in [2, 4, 11].
In this work we investigate several construction of linear codes starting from certain
maximal curves R̃q and S̃q which were recently constructed by Skabelund [43] as cyclic
covers of the Ree and Suzuki curves. In particular, we construct codes of the following
types:
• Multi point AG codes with many automorphisms (Section 3);
• Dual codes of one-point AG codes and the Feng-Rao minimum distance (Section 4);
• AG quantum codes (Section 5);
• weak Castle codes (Section 6);
• AG convolutional codes (Section 7);
To this aim, some geometrical information on R̃q and S̃q is needed, which is collected in
Section 2.4. After recalling some known facts from the literature ([16, 43]), we also prove
that for R̃q and S̃q the Weierstrass semigroup at the unique infinite place is symmetric, and
we deduce that the Fq -rational places are Weierstrass points. We also provide new plane
models both for R̃q and S˜q .

2

2
2.1

Preliminary results
Curves and codes

Let X be a projective, geometrically irreducible, nonsingular algebraic curve of genus g
defined over the finite field Fq of size q. The symbols X (Fq ) and Fq (X ) denote the set of
Fq -rational points and the field of Fq -rational functions, respectively. A divisor D on X is a
formal sum n1 P1 + · · · + nr Pr , where Pi ∈ X (Fq ), ni ∈ Z, Pi 6= Pj if i 6= j. The divisor D
is Fq -rational if it coincides with its image n1 P1q + · · · + nr Prq under the Frobenius map over
Fq . For a function f ∈ Fq (X ), div(f ) and (f )∞ indicate the divisor of f and its pole divisor.
Also, the Weierstrass semigroup at P will be indicated by H(P ). The Riemann-Roch space
associated with an Fq -rational divisor D is
L(D) := {f ∈ X (Fq ) : div(f ) + D ≥ 0}
and its dimension over Fq is denoted by ℓ(D).
Let P1 , . . . , PN ∈ X (Fq ) be pairwise distinct points and consider the divisor D = P1 +
· · · + PN and another Fq -rational divisor G whose support is disjoint from the support
of D. The AG code C(D, G) is the image of the linear map η : L(G) → FN
q given by
η(f ) = (f (P1), f (P2 ), . . . , f (PN )). The code has length N and if N > deg(G) then η is
an embedding and the dimension k of C(D, G) is equal to ℓ(G). The minimum distance d
satisfies d ≥ d∗ = N − deg(G), where d∗ is called the Goppa designed minimum distance
of C(D, G); if in addition deg(G) > 2g − 2, then by the Riemann-Roch Theorem k =
deg(G) − g + 1; see [21, Th. 2.65]. The dual code C ⊥ (D, G) is an AG code with dimension
k ⊥ = N − k and minimum distance d⊥ ≥ deg G − 2g + 2. If G = αP , α ∈ N, P ∈ X (Fq ),
the AG codes C(D, G) and C ⊥ (D, G) are referred to as one-point AG codes. Let H(P ) be
the Weierstrass semigroup associated with P , that is
H(P ) := {n ∈ N0 | ∃f ∈ Fq (X ), (f )∞ = nP } = {ρ0 = 0 < ρ1 < ρ2 < · · · }.
Denote by fℓ ∈ Fq (X ), ℓ ≥ 1, a rational function such that (fℓ )∞ = ρℓ P . For ℓ ≥ 0,
define the Feng-Rao function
νℓ := |{(i, j) ∈ N20 : ρi + ρj = ρℓ+1 }|.
Consider Cℓ (P ) = C ⊥ (P1 + P2 + · · · + PN , ρℓ P ), P, P1, . . . , PN pairwise distint points in
X (Fq ). The number
dORD (Cℓ (P )) := min{νm : m ≥ ℓ}

is a lower bound for the minimum distance d(Cℓ (P )) of the code Cℓ (P ), called the order
bound or the Feng-Rao designed minimum distance of Cℓ (P ); see [21, Theorem 4.13]. Also,
3

by [21, Theorem 5.24], dORD (Cℓ (P )) ≥ ℓ + 1 − g and equality holds if ℓ ≥ 2c − g − 1, where
c = max{m ∈ Z : m − 1 ∈
/ H(P )}.
A numerical semigroup is called telescopic if it is generated by a sequence (a1 , . . . , ak )
such that
• gcd(a1 , . . . , ak ) = 1;
• for each i = 2, . . . , k, ai /di ∈ ha1 /di−1 , . . . , ai−1 /di−1 i, where di = gcd(a1 , . . . , ai );
see [31]. The semigroup H(P ) is called symmetric if 2g − 1 ∈
/ H(P ). The property of being
symmetric for H(P ) gives rise to useful simplifications of the computation of dORD (Cℓ (P )),
when ρℓ > 2g. The following result is due to Campillo and Farrán; see [3, Theorem 4.6].
Proposition 2.1. Let X be an algebraic curve of genus g and let P ∈ X (Fq ). If H(P ) is a
symmetric Weierstrass semigroup then one has
dORD (Cℓ (P )) = νℓ ,
for all ρℓ+1 = 2g − 1 + e with e ∈ H(P ) \ {0}.

2.2

The automorphism group of an AG code C(D, G)

In the following we use the same notation as in [13, 28]. Let MN,q ≤ GL(N, q) be the
subgroup of matrices having exactly one non-zero element in each row and column. For
γ ∈ Aut(Fq ) and M = (mi,j )i,j ∈ GL(N, q), let M γ be the matrix (γ(mi,j ))i,j . Let WN,q be
the semidirect product MN,q ⋊Aut(Fq ) with multiplication M1 γ1 ·M2 γ2 := M1 M2γ ·γ1γ2 . The
automorphism group Aut(C(D, G)) of C(D, G) is the subgroup of WN,q preserving C(D, G),
that is,
Mγ(x1 , . . . , xN ) := ((x1 , . . . , xN ) · M)γ ∈ C(D, G) for any (x1 , . . . , xN ) ∈ C(D, G).
Let AutFq (X ) denote the Fq -automorphism group of X . Also, let
AutFq ,D,G (X ) = {σ ∈ AutFq (X ) | σ(D) = D, σ(G) ≈D G},
where G′ ≈D G if and only if there exists u ∈ Fq (X ) such that G′ − G = (u) and u(Pi ) = 1
for i = 1, . . . , N, and
Aut+
Fq ,D,G (X ) := {σ ∈ AutFq (X ) | σ(D) = D, σ(|G|) = |G|},
where |G| = {G + (f ) | f ∈ Fq (X )} is the linear series associated with G. Note that
AutFq ,D,G (X ) ⊆ Aut+
Fq ,D,G (X ).
4

Remark 2.2. Suppose that supp(D) ∪ supp(G) = X (Fq ) and each point in supp(G) has the
same weight in G. Then
AutFq ,D,G (X ) = Aut+
Fq ,D,G (X ) = {σ ∈ AutFq (X ) | σ(supp(G)) = supp(G)}.
Proposition 2.3. ( [2, Proposition 2.3]) If any non-trivial element of AutFq (X ) fixes at
most N − 1 Fq -rational points of X , then Aut(C(D, G)) contains a subgroup isomorphic to
(AutFq ,D,G (X ) ⋊ Aut(Fq )) ⋊ F∗q .

2.3

The Suzuki curve Sq and the Ree curve Rq

For s ≥ 1 and q = 2q02 = 22s+1 , the Suzuki curve Sq over Fq is defined by the affine equation
Y q + Y = X q0 (X q + X), has genus q0 (q − 1) and is maximal over Fq4 . The automorphism
group S(q) := Aut(Sq ) of Sq is isomorphic to the Suzuki group 2 B2 (q). We state some other
properties of S(q); see [15] for more details.
• S(q) has size (q 2 + 1)q 2 (q − 1) and is a simple group.
• S(q) is generated by the stabilizer

S(q)P∞ = ψa,b,c : (x, y) 7→ (ax + b, aq0 +1 y + bq0 x + c) | a, b, c ∈ Fq , a 6= 0

of the unique place centered at the infinite point of Sq , together with the involution
φ : (x, y) 7→ (α/β, y/β), where α := y 2q0 + x2q0 +1 and β := xy 2q0 + α2q0 .

• S(q) has exactly two short orbits on Sq . One is non-tame of size q 2 + 1, consisting
of all Fq -rational places; the other is tame of size q 2 (q − 1)(q + 2q0 + 1), consisting of
all Fq4 \ Fq -rational places. The group S(q) acts 2-transitively on its non-tame short
orbit, and the stabilizer S(q)P,Q of two distinct Fq -rational places P and Q is tame and
cyclic.
For s ≥ 1 and q = 3q02 = 32s+1 , the Ree curve Rq over Fq is defined by the affine equations
 q
z − z = x2q0 (xq − x)
,
Rq :
y q − y = xq0 (xq − x)
has genus 23 q0 (q − 1)(q + q0 + 1) and is maximal over Fq6 . The automorphism group R(q) :=
Aut(Rq ) is isomorphic to the simple Ree group 2 G2 (q). We state some other properties of
R(q); see [40] and [43].
• R(q) has size (q 3 + 1)q 3 (q − 1).
5

• R(q) is generated by the stabilizer
R(q)P∞ = {ψa,b,c,d | a, b, c, d ∈ Fq , a 6= 0} ,
ψa,b,c,d : (x, y, z) 7→ (ax + b, aq0 +1 y + abq0 x + c, a2q0 +1 z − aq0 +1 bq0 y + ab2q0 x + d),
of the unique place centered at the infinite point of Rq , together with the involution φ :
(x, y, z) 7→ (w6 /w8 , w10 /w8 , w9 /w8 ), for certain polynomial functions wi ∈ F3 [x, y, z].
• R(q) has exactly two short orbits on Rq . One is non-tame of size q 3 + 1, consisting of
all Fq -rational places. The other is tame of size q 3 (q − 1)(q + 1)(q + 3q0 + 1), consisting
of all Fq6 \ Fq -rational places.

2.4
2.4.1

Cyclic extensions of Sq and Rq
A cyclic extension of Sq

The following constructions are due to D. Skabelund [43]. Let S̃q be the curve defined over
Fq by the affine equations
(
y q + y = xq0 (xq + x)
,
(1)
S˜q : m
t = xq + x
where m = q − 2q0 + 1, q0 = 2s and q = 2q02 , with s ≥ 1.
The curve S̃q can be seen as a degree-m Kummer extension tm = xq + x of an ArtinSchreier extension y q + y = xq0 (xq + x) of the projective line. In particular,
(x) = m

q
P

i=1

P(0,αi ,0) − mqP∞ ,

(y) = m(q0 + 1)P(0,0,0) + m

q
P

i=2

(t) =

q
P

i,j=1

P(αi ,0,0) − m(q0 + q)P∞ ,

P(αi ,αj ,0) − q 2 P∞ ,
3

2

where P∞ is the only infinite place of S̃q and Fq = {α1 = 0, α2 , ..., αq }. Also, g(S̃q ) = q −2q2 +q .
The set of Fq -rational places of S̃q has size q 2 + 1 and consists of the places centered at the
affine points of S̃q lying on the plane t = 0, together with P∞ . These places correspond
exactly to the Fq -rational places of Sq . The automorphism group Aut(S̃q ) of S˜q admits the
following subgroups:
6

• A cyclic group Cm generated by the automorphism τ : (x, y, t) 7→ (x, y, λt), where
λ ∈ Fq4 is a primitive m-th root of unity; Cm is the Galois group of the cover S̃q → Sq .
• A group LS(q) lifted by S(q) and generated by the automorphisms ψ̃a,b,c (a, b, c ∈ Fq ,
a 6= 0) together with an involution φ̃. Here, ψ̃a,b,c (x, y) := ψa,b,c (x, y) and ψ̃a,b,c (t) := δt,
where δ m = a. Similarly, φ̃(x, y) := φ(x, y), and φ̃(t) := t/β (see [43, Section 3]).
The full automorphism group Aut(S̃q ) of S˜q was computed in [16] and is a direct product
S̃(q) × Cm , where S̃(q) ∼
= S(q). Also, Aut(S̃q ) has exactly two short orbits: one short orbit
2
O1 has size q + 1 and coincides with S̃q (Fq ); the other short orbit O2 has size |S(q)|, and
hence the stabilizer in Aut(S̃q ) of a place in O2 has order m. The contribution to the different
divisor of every element in Aut(S˜q ) is also described, as summarized in the following lemma.
Lemma 2.4. ([16, Theorem 28]) Let σ ∈ S̃(q) \ {id} and Cm = hτ i. Denote by o(σ) the
order of σ. Then i(τ k ) = q 2 + 1 for all k = 1, . . . , m − 1 and one of the following cases
occurs.
• o(σ) = 2, i(σ) = m(2q0 + 1) + 1, and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) = 4, i(σ) = m + 1, and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) | (q − 1), i(σ) = 2, and i(στ k ) = 2 for all k = 1, . . . , m − 1;
• o(σ) | (q + 2q0 + 1), i(σ) = 0, and i(στ k ) = 0 for all k = 1, . . . , m − 1;
• o(σ) | (q − 2q0 + 1), i(σ) = 0, i(στ j ) = 4m for exactly one j ∈ {1, . . . , m − 1}, and
i(στ k ) = 0 for all k ∈ {1, . . . , m − 1} \ {j}.
Denote by P(a,b,c) the unique place centered at the affine point of coordinates (a, b, c) of
S̃q and by P∞ the place centered at the unique infinite point of S̃q . Define the functions
z := y 2q0 + x2q0 +1 and w := xy 2q0 + z 2q0 , which satisfy z q + z = x2q0 (xq + x) and w q + w =
y 2q0 (xq + x). Then
X
(x) = m
P(0,a,0) − (q 2 − 2qq0 + q)P∞ ,
aq +a=0

(y) = m(q0 + 1)P(0,0,0) + m

X

bq +b=0,b6=0

(t) =

X

aq +a=0,bq +b=0

P(b,0,0) − (q 2 − qq0 + q0 )P∞ ,

P(a,b,0) − q 2 P∞ ,

(w) = (q 2 + 1)(P(0,0,0) − P∞ ),
7

(2)

while vP∞ (z) = −(q 2 − q + 2q0 ) and vP(0,0,0) (z) = m(2q0 + 1). In particular,
hq 2 − 2qq0 + q, q 2 − qq0 + q0 , q 2 − q + 2q0 , q 2 , q 2 + 1i ⊆ H(P∞ ),
as already noted in [43]. We show that H(P∞ ) is symmetric. This property will be used in
the next sections to the construction of codes.
Theorem 2.5. The Weierstrass semigroup H(P∞ ) at P∞ is symmetric.
Proof. Consider the plane curve C defined by tm = xq + x, and the p-group G1 ≤ Aut(C) of
order q of translations (x, t) 7→ (x + a, t), t ∈ Fq . Then the quotient curve C/G1 is rational
([20, Lemma 12.1 (iii)(g)]) and the pole P̄∞ of t on C is the unique place which ramifies in
C → C/G1 ([20, Lemma 12.1 (iii)(d)]). Then H(P̄∞ ) is symmetric by [29, Lemma 62]; see
also [33, Page 36].
Now consider the curve S̃q , which is an Artin-Schreier extension y q + y = xq0 (xq + x) of
C; the Galois group G2 of S˜∐ → C is a p-group of order q. Since S˜q is an Fq4 -maximal curve
and G2 is a p-group, there exists exactly one place which ramifies in S˜q → C; see [20, Lemma
11.129 and Section 11]. This place is P∞ , as P∞ is totally ramified in over F q (x). Therefore,
by [29, Lemma 62], H(P∞ ) is symmetric.
Corollary 2.6. The q 2 + 1 Fq -rational places of S̃q are Weierstrass points.
Proof. By Theorem 2.5 and [29, Proposition 50], P∞ is a Weierstrass point. Then any place
in the same orbit of P∞ under Aut(S˜q ) is a Weierstrass point, and the claim follows because
the q 2 + 1 Fq -rational places of S̃q form a unique orbit.
We provide a plane model for S˜q as follows.

Theorem 2.7. A plane model of degree q 2 for S̃q is given by the equation F (y, t) = 0, where
2

F (y, t) = y q + y q tm(q−1) + y q + ytm(q−1) + t(q+q0 )m .

(3)

The coordinate functions y and t of this model are exactly the coordinate functions y and t
of the model (1).
Proof. By direct computation,
2

2

y q +y q tm(q−1) +y q +ytm(q−1) +t(q+q0 )m = xqq0 (xq +xq )+xq0 (xq +x)(xq +x)q−1 +(xq +x)q+q0 = 0.

8

Then S˜q has a plane model F1 (y, t) = 0, where F1 is an absolutely irreducible factor of F (y, t).
Let F (y, t) = F1 (y, t) · F2(y, t) with F2 ∈ Fq [y, t], let Z be the homogeneous coordinate in the
yt-plane, and with abuse of notation denote by P∞ also the point of S˜q at which the place
P∞ is centered. Consider the intersection multiplicity IP∞ (F ∩ Z) of the curve F (Y, T ) = 0
with the plane Z = 0 at the point P∞ . From Equation (3), IP∞ (F ∩ Z) = q 2 ; on the other
hand, IP∞ (F ∩ Z) = IP∞ (F1 ∩ Z) + IP∞ (F2 ∩ Z). Thus, IP∞ (F2 ∩ Z) = q 2 − IP∞ (F1 ∩ Z).
From the properties of the valuation vP∞ (·) at the place P∞ , we have −q 2 = vP (t) =
IP (F1 ∩ T ) − IP (F1 ∩ Z); since P∞ does not lie on the plane T = 0, we have IP∞ (F1 ∩ T ) = 0.
Thus, IP∞ (F1 ∩ Z) = q 2 . Therefore, IP∞ (F2 ∩ Z) = 0. As P∞ is the only intersection point
of F (Y, T ) = 0 with the plane at infinity Z = 0, this implies that F2 (Y, T ) is a constant in
Fq . Hence, F (y, t) is absolutely irreducible and the claim is proved.
2.4.2

A cyclic extension of Rq

Let R̃q be the curve defined over Fq by the affine equations

m
q

t = x − x
R̃q : z q − z = x2q0 (xq − x) ,

 q
y − y = xq0 (xq − x)

where m = q − 3q0 + 1 with q0 = 3s , q = 3q02 = 32s+1 , s ≥ 1. As for the curve S˜q , from
the theory of Artin-Schreier and Kummer extensions we obtain the principal divisors of its
coordinate functions x, y, z, t:
(x) = m

q
P

i,j=1

P(0,βi ,βj ,0) − mq 2 P∞ ,

(y) = m(q0 + 1)

q
P

P(0,0,βi ,0) +

i=2 j=1

i=1

(z) = m(2q0 + 1)

q
P

P(0,βi ,0,0) + m

i=1

(t) =

q
P

i,j,l=1

q
q P
P

P(βi ,0,βj ,0) − mq(q0 + q)P∞ ,

q
q P
P

i=2 j=1

P(βi ,βj ,0,0) − mq(2q0 + q)P∞ ,

P(βi ,βj ,βl ,0) − q 3 P∞ ,

where P∞ is the only infinite place of R̃q and Fq = {β1 = 0, β2 , . . . , βq }. The genus of R̃q is
1
(q 4 − 2q 3 + q). The set of Fq -rational places of R̃q has size q 3 + 1 and consists of the places
2
centered at the affine points of R̃q lying on the plane t = 0, together with P∞ . Also, R̃q has
9

no Fq2 - or Fq3 -rational places which are not Fq -rational. The automorphism group Aut(R̃q )
of R̃q has the following subgroups:
• A cyclic group Cm generated by the automorphism τ : (x, y, t) 7→ (x, y, λt), where
λ ∈ Fq4 is a primitive m-th root of unity; Cm is the Galois group of the cover R̃q → Rq .
• A group LR(q) lifted by R(q) and generated by the automorphisms ψ̃a,b,c,d (a, b, c, d ∈
Fq , a 6= 0) together with the involution φ̃. Here, ψ̃a,b,c,d (x, y, z) := ψa,b,c,d (x, y, z) and
ψ̃a,b,c,d (t) := δt, where δ m = a. Similarly, φ̃(x, y, z) := φ(x, y, z), and φ̃(t) := t/w8 ;
see [43, Section 4].
The full automorphism group Aut(R̃q ) of R̃q was computed in [16] and is a direct product
R̃(q) × Cm , where R̃(q) ∼
= R(q). Also, Aut(R̃q ) has exactly two short orbits: one short orbit
O1 has length equal to q 3 + 1 and coincides with R̃q (Fq ); the other short orbit O2 has size
|R(q)|, and hence the stabilizer in Aut(R̃q ) of a place in O2 has order m. The contribution
to the different divisor of every element in Aut(R̃q ) is also described, as summarized in the
following lemma.
Lemma 2.8. ([16]) Let σ ∈ R̃q \ {id} and Cm = hτ i. Denote by o(σ) the order of σ. Then
i(τ k ) = q 3 + 1 for all k = 1, . . . , m − 1 and one of the following cases occurs.
• o(σ) = 3, σ is in the center of a Sylow 3-subgroup, i(σ) = m(q +3q0 +1)+1 = q 2 −q +2,
and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) = 3, σ is not in the center of any Sylow 3-subgroup, i(σ) = m(3q0 + 1) + 1 =
q 2 − q + 2 − mq, and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) = 9, i(σ) = m + 1, and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) = 2, i(σ) = q + 1, and i(στ k ) = q + 1 for all k = 1, . . . , m − 1;
• o(σ) = 6, i(σ) = 1, and i(στ k ) = 1 for all k = 1, . . . , m − 1;
• o(σ) | (q − 1), o(σ) 6= 2, i(σ) = 2, and i(στ k ) = 2 for all k = 1, . . . , m − 1;
• o(σ) | (q + 1), o(σ) 6= 2, i(σ) = 0, and i(στ k ) = 0 for all k = 1, . . . , m − 1;
• o(σ) | (q + 3q0 + 1), i(σ) = 0, and i(στ k ) = 0 for all k = 1, . . . , m − 1;
• o(σ) | (q − 3q0 + 1), i(σ) = 0, i(στ j ) = 6m for exactly one j ∈ {1, . . . , m − 1}, and
i(στ k ) = 0 for all k ∈ {1, . . . , m − 1} \ {j}.
As for S˜q , we prove the simmetricity of H(P∞ ).
10

Theorem 2.9. The Weierstrass semigroup H(P∞ ) at P∞ is symmetric.
Proof. Arguing as in the proof of Theorem 2.5 and applying [29, Lemma 62] several times,
the following steps are proved. If X is the curve defined by tm = xq − x, then the Weierstrass
semigroup at the unique infinite place of X is symmetric. Equation z q − z = x2q0 (xq − x)
defines an Artin-Schreier extension Y of X , and the Weierstrass semigroup at the unique
infinite place of Y is symmetric. Equation y q − y = xq0 (xq − x) defines the Artin-Schreier
extension R̃q of Y, and the Weierstrass semigroup at the unique infinite place of R̃q is
symmetric.
Arguing as for Corollary 2.6, Theorem 2.9 implies the following result.
Corollary 2.10. The q 3 + 1 Fq -rational places of R̃q are Weierstrass points.
Remark 2.11. An explicit description of the generators of H(P∞ ) seems to be a challenging
task, as well as a description of the Weierstrass semigroup H(Q∞ ) at the unique infinite point
Q∞ of the Ree curve Rq . Only partial results on H(Q∞ ) are known; for instance, H(Q∞ )
has 132 generators for q = 27, as shown in [9, Table 15].
We provide a plane model for R̃q as follows.
Theorem 2.12. A plane model of degree q 3 for R̃q is given by the following equation:
3

2

2

2

tq − y q tm(q−1)(q+3q0 − y q tmq(q−1) − y q + y q tm(q−1)(q+3q0 +1)
+y q tm(q−1)(q+3q0 ) + y q tmq(q−1) − ytm(q−1)(q+3q0 +1) − tmq(q+3q0 +1) = 0.
Proof. Starting with the plane model of Rq given in [20, Section 12.4], the claim follows by
arguing as in the proof of Theorem 2.7.

3
3.1

AG codes from S̃q and R̃q with many automorphisms
AG codes from S̃q

In this section we use the notation of Section 2.4.1. Let
G := X (Fq ),

D := X (Fq4 ) \ G.

The set G is the intersection between S̃q and the plane t = 0. Also, G and D are respectively
the non-tame orbit O1 and the tame orbit O2 of Aut(S˜q ). Fix r ∈ N and define the Fq4 rational divisors
11

G :=

P

P ∈G

rP ,

D :=

P

P ∈D

P,

of degree r(q 2 + 1) and q 5 − q 4 + q 3 − q 2 , respectively. Let C be the [n, k, d]q4 -AG code
C(D, G). Then C has designed minimum distance
d∗ = n − deg(G) = q 5 − q 4 + q 3 − q 2 − r(q 2 + 1).
Next result follows as a corollary of the Riemann-Roch Theorem, see [45].
Proposition 3.1. If q − 2 < r < q 3 − q 2 , then k = deg(G) + 1 − g = r(q 2 + 1) − q

3 −2q 2 +q−2

2

.

Proposition 3.2. C is monomially equivalent to the one-point code C(D, r(q 2 + 1)P∞ ).
Proof. Let G′ = r(q 2 + 1)P∞ ; then G = G′ + (tr ). Thus, the Riemann-Roch space of G is
L(G) = {f · tr | f ∈ L(G′ )}. The codeword of C(D, G′) associated to f · tr is
((f tr )(P1 ), . . . , (f tr )(Pn )) = (f (P1 ), . . . , f (Pn )) · M,
where M is a diagonal matrix in which the entries are t(P1 )r , . . . , t(Pn )r ∈ Fq4 . This implies
that the matrix M defines a monomial isomorphism between C and C(D, G′).
We determine a group of automorphisms of C inherited from the automorphisms of S̃q .
Lemma 3.3. Any non-trivial element of Aut(S̃q ) fixes at most q 2 + 1 Fq4 -rational places of
S̃q .
Proof. Let g ∈ Aut(S̃q ) \ {id}. If g is a 2-element, then g fixes exactly one place of S̃q
because S̃q is Fq4 -maximal; see [20, Lemma 11.129]. If g is not a 2-element, then the number
of fixed places of g equals i(g), which is determined in Lemma 2.4. Then the claim follows
from Lemma 2.4.
Since n = deg(D) > q 2 + 1, Proposition 2.3 and Lemma 3.3 yield the following result.
Corollary 3.4. The automorphism group of C admits a subgroup isomorphic to
(Aut(S̃q ) ⋊ Aut(Fq4 )) ⋊ F∗q4 .

12

3.2

AG codes from R̃q

In this section we use the notation of Section 2.4.2. Let
G := X (Fq ),

D := X (Fq6 ) \ G.

The set G is the intersection between R̃q and the plane t = 0. Fix r ∈ N and consider the
Fq6 -rational divisors
P
P
G := P ∈G rP , D := P ∈D P ,

of degree r(q 3 + 1) and q 7 − q 6 + q 4 − q 3 , respectively. Let C be the [n, k, d]q6 -AG code
C(D, G). The designed minimum distance of C is
d∗ = n − deg(G) = q 7 − q 6 + q 4 − q 3 − r(q 3 + 1).
From the Riemann-Roch Theorem we get the following result.
Proposition 3.5. If q − 2 < r < q 4 − q 3 , then the dimension of C is
k = r(q 3 + 1) − 21 (q 4 − 2q 3 + q − 2)
Proposition 3.6. C is monomially equivalent to the one-point code C(D, r(q 3 + 1)P∞ ).
Proof. Since G = r(q 3 + 1)P∞ + (tr ), the claim follows as in the proof of Proposition 3.2.

Lemma 3.7. Any non-trivial element of Aut(R̃q ) fixes at most q 3 + 1 Fq6 -rational places of
R̃q .
Proof. Arguing as in the proof of Lemma 3.3, the claim follows from Lemma 2.8.
Since n = deg(D) > q 3 + 1, Proposition 2.3 and Lemma 3.7 yield the following result.
Corollary 3.8. The automorphism group of C admits a subgroup isomorphic to
(Aut(R̃q ) ⋊ Aut(Fq6 )) ⋊ F∗q6 .

13

4

Dual codes of one-point codes from S̃q

In this section we construct dual codes Cℓ (P∞ ) of one-point AG codes on the curve S̃q , and
we compute explicitely the Feng-Rao minimum distance of Cℓ (P∞ ). Denote
H(P∞ ) = {0 = ρ1 < ρ2 < ...}.
For every ℓ ≥ 1, the Feng-Rao function is defined as
νℓ := |{(i, j) ∈ N20 : ρi + ρj = ρℓ+1 }|,
Let Cℓ (P∞ ) be the dual code

Cℓ (P∞ ) = C ⊥ (D, ρℓ P∞ ),

P
where D = P ∈S̃q (F 4 )\{P∞ } P is a divisor supported at all Fq4 -rational places of S̃q but P∞ .
q
Then the Feng-Rao minimum distance
dORD (Cℓ (P∞ )) := min{νm : m ≥ ℓ}
is a lower bound for the minimum distance of Cℓ (P∞ ). The code Cℓ (P∞ )) has parameters
[n, k, d]q4 , where n = q 5 − q 4 + q 3 , k = n − ℓ and d ≥ dORD (Cℓ (P∞ )).
Proposition 4.1. For every ℓ ≥ 3g − 1, dORD (Cℓ (P∞ )) = ℓ + 1 − g.
Proof. In general, dORD (Cℓ (P∞ )) ≥ ℓ + 1 − g and equality holds for every ℓ ≥ 2c − g − 1,
where c = max{m ∈ Z : m − 1 ∈
/ H(P∞ )} is the conductor of H(P∞ ). From Theorem 2.5,
c = 2g − 1 and the claim follows.
Proposition 4.2. For every ρℓ+1 = 2g − 1 + e, with e ∈ H(P∞ ) \ {0},
dORD (Cℓ (P∞ )) = νℓ .
Proof. As H(P∞ ) is symmetric by Theorem 2.5, the claim follows from [3, Theorem 4.6].
The following tables show explicitly the parameters of the codes Cℓ (P∞ ) in the case q = 8.
In particular, we present their length n = 29184, their dimension k, their Feng-Rao minimum
distance dORD , an upper bound n + 1 − k − dORD for their Singleton defect δ = n + 1 − k − d,
ORD
and an upper bound n+1−k−d
for their relative Singleton defect ∆ = nδ .
n

14

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
29182
29180
29178
29176
29174
29172
29170
29168
29166
29164
29162
29160
29158
29156
29154
29152
29150
29148
29146
29144
29142
29140
29138
29136
29134
29132
29130
29128
29126
29124
29122
29120
29118
29116
29114
29112
29110
29108
29106
29104
29102
29100
29098
29096
29094
29092
29090
29088
29086
29084
29082
29080
29078
29076
29074
29072
29070
29068
29066
29064
29062

ρℓ
40
60
65
90
104
110
115
124
128
130
144
150
155
164
168
170
175
179
184
188
190
193
195
204
208
210
215
219
224
228
230
233
235
239
242
244
248
250
253
255
257
259
264
268
270
273
275
279
282
284
288
290
293
295
297
299
302
304
306
308
310

dORD
2
2
3
3
3
3
3
3
4
4
4
4
4
4
4
4
4
4
4
4
4
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10

δ≤
1
3
4
6
8
10
12
14
15
17
19
21
23
25
27
29
31
33
35
37
39
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
73
75
77
79
81
83
85
87
89
91
93
95
97
99
101
103
105
107
109
111
113

∆≤
n
0, 0000342
29184
0.0001028
29184
0.0001370
29184
0.0002055
29184
0.0002741
29184
0.0003426
29184
0.0004111
29184
0.00047971
29184
0.0005139
29184
0.00058251
29184
0.00065104
29184
0.00071957
29184
0.00078810
29184
0.00085663
29184
0.00092516
29184
0.00099370
29184
0.0010622
29184
0.0011308
29184
0.0011993
29184
0.0012678
29184
0.0013364
29184
0.0013706
29184
0.0014391
29184
0.0015077
29184
0.0015762
29184
0.0016447
29184
0.0017133
29184
0.0017818
29184
0.0018503
29184
0.0019189
29184
0.0019874
29184
0.0020559
29184
0.0021245
29184
0.0021930
29184
0.0022615
29184
0.0023300
29184
0.0023986
29184
0.0024671
29184
0.0025356
29184
0.0026042
29184
0.0025014
29184
0.0025699
29184
0.0026384
29184
0.0027070
29184
0.0027755
29184
0.0028440
29184
0.0029126
29184
0.0029811
29184
0.0030496
29184
0.0031182
29184
0.0031867
29184
0.0032552
29184
0.0033237
29184
0.0033923
29184
0.0034608
29184
0.0035293
29184
0.0035979
29184
0.0036664 15 29184
0.0037349
29184
0.0038035
29184
0.0038720
29184

k
29181
29179
29177
29175
29173
29171
29169
29167
29165
29163
29161
29159
29157
29155
29153
29151
29149
29147
29145
29143
29141
29139
29137
29135
29133
29131
29129
29127
29125
29123
29121
29119
29117
29115
29113
29111
29109
29107
29105
29103
29101
29099
29097
29095
29093
29091
29089
29087
29085
29083
29081
29079
29077
29075
29073
29071
29069
29067
29065
29063
29061

ρℓ
50
64
80
100
105
114
120
125
129
140
145
154
160
165
169
174
178
180
185
189
192
194
200
205
209
214
218
220
225
229
232
234
238
240
243
245
249
252
254
256
258
260
265
269
272
274
278
280
283
285
289
292
294
296
298
300
303
305
307
309
312

dORD
2
2
3
3
3
3
3
3
4
4
4
4
4
4
4
4
4
4
4
4
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
8
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10
10

δ≤
2
4
5
7
9
11
13
15
16
18
20
22
24
26
28
30
32
34
36
38
39
41
43
45
47
49
51
53
55
57
59
61
63
65
67
69
71
73
75
74
74
76
78
80
82
84
86
88
90
92
94
96
98
100
102
104
106
108
110
112
114

∆≤
0, 0000685
0.0001370
0.0001713
0.0002398
0.0003083
0.0003769
0.0004454
0.0005139
0.0005482
0.00061677
0.00068530
0.00075383
0.00082237
0.00089090
0.00095943
0.0010280
0.0010965
0.0011650
0.0012335
0.0013021
0.0013364
0.0014049
0.0014734
0.0015419
0.0016105
0.0016790
0.0017475
0.0018161
0.0018846
0.0019531
0.0020217
0.0020902
0.0021587
0.0022272
0.0022958
0.0023643
0.0024329
0.0025014
0.0025699
0.0025356
0.0025356
0.0026042
0.0026727
0.0027412
0.0028098
0.0028783
0.0029468
0.0030153
0.0030839
0.0031524
0.0032209
0.0032895
0.0033580
0.0034265
0.0034951
0.0035636
0.0036321
0.0037006
0.0037692
0.0038377
0.0039062

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
29060
29058
29056
29054
29052
29050
29048
29046
29044
29042
29040
29038
29036
29034
29032
29030
29028
29026
29024
29022
29020
29018
29016
29014
29012
29010
29008
29006
29004
29002
29000
28998
28996
28994
28992
28990
28988
28986
28984
28982
28980
28978

ρℓ
313
315
317
319
321
323
325
329
332
334
336
338
340
343
345
347
349
352
354
356
358
360
362
364
366
368
370
372
374
376
378
380
382
384
386
388
390
393
395
397
399
401

dORD
10
10
10
10
15
15
15
15
15
15
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
30
30
30
30
30
30
30
30
30
40

δ≤
115
117
119
121
118
120
122
124
126
128
125
127
129
131
133
135
137
139
141
143
145
147
149
151
153
155
157
159
161
163
165
167
159
161
163
165
167
169
171
173
175
167

∆≤
0.0039405
0.0040091
0.0040776
0.0041461
0.0040433
0.0041118
0.0041804
0.0042489
0.0043175
0.0043859
0.0042832
0.0043517
0.0044202
0.0044888
0.0045573
0.0046258
0.0046943
0.0047629
0.0048314
0.0048999
0.0049685
0.0050370
0.0051056
0.0051740
0.0052426
0.0053111
0.0053797
0.0054482
0.0055167
0.0055853
0.0056538
0.0057223
0.0054482
0.0055167
0.0055853
0.0056538
0.0057223
0.0057908
0.0058594
0.0059279
0.0059965
0.0057223

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

16

k
29059
29057
29055
29053
29051
29049
29047
29045
29043
29041
29039
29037
29035
29033
29031
29029
29027
29025
29023
29021
29019
29017
29015
29013
29011
29009
29007
29005
29003
29001
28999
28997
28995
28993
28991
28989
28987
28985
28983
28981
28979
28977

ρℓ
314
316
318
320
322
324
328
330
333
335
337
339
342
344
346
348
350
353
355
357
359
361
363
365
367
369
371
373
375
377
379
381
383
385
387
389
392
394
396
398
400
402

dORD
10
10
10
10
15
15
15
15
15
15
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
20
30
30
30
30
30
30
30
30
30
30
40

δ≤
116
118
120
122
119
121
123
125
127
129
126
128
130
132
134
136
138
140
142
144
146
148
150
152
154
156
158
160
162
164
166
158
160
162
164
166
168
170
172
174
176
168

∆≤
0.0039748
0.0040433
0.0041118
0.0041804
0.0040776
0.0041461
0.0042146
0.0042832
0.0043517
0.0044202
0.0043175
0.0043859
0.0044545
0.0045230
0.0045916
0.0046601
0.0047286
0.0047972
0.0048657
0.0049342
0.0050027
0.0050713
0.0051398
0.0052083
0.0052769
0.0053454
0.0054139
0.0054824
0.0055510
0.0056195
0.0056881
0.0054139
0.0054824
0.0055510
0.0056195
0.0056881
0.0057566
0.0058251
0.0058936
0.0059622
0.0060307
0.0057566

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
28976
28974
28972
28970
28968
28966
28964
28962
28960
28958
28956
28954
28952
28950
28948
28946
28944
28942
28940
28938
28936
28934
28932
28930
28928
28926
28924
28922
28920
28918
28916
28914
28912
28910
28908
28906
28904
28902
28900
28898
28896
28894

ρℓ
403
405
407
409
411
413
415
417
419
421
423
425
427
429
431
433
435
437
439
441
443
445
447
449
451
453
455
457
459
461
463
465
467
469
471
473
475
477
479
481
483
485

dORD
40
40
40
40
40
40
40
40
40
40
40
40
40
40
50
50
50
50
50
60
60
60
60
60
64
64
65
80
80
80
80
80
80
80
90
90
90
90
90
100
100
100

δ≤
169
171
173
175
177
179
181
183
185
187
189
191
193
195
187
189
191
193
195
187
189
191
193
195
193
195
196
183
185
187
189
191
193
195
187
189
191
193
195
187
189
191

∆≤
0.0057908
0.0058594
0.0059279
0.0059965
0.0060650
0.0061335
0.0062020
0.0062706
0.0063391
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0062706
0.0063391
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0064076
0.0064762
0.0065447

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

17

k
28975
28973
28971
28969
28967
28965
28963
28961
28959
28957
28955
28953
28951
28949
28947
28945
28943
28941
28939
28937
28935
28933
28931
28929
28927
28925
28923
28921
28919
28917
28915
28913
28911
28909
28907
28905
28903
28901
28899
28897
28895
28893

ρℓ
404
406
408
410
412
414
416
418
420
422
424
426
428
430
432
434
436
438
440
442
444
446
448
450
452
454
456
458
460
462
464
466
468
470
472
474
476
478
480
482
484
486

dORD
40
40
40
40
40
40
40
40
40
40
40
40
40
40
50
50
50
50
50
60
60
60
60
60
64
64
80
80
80
80
80
80
80
80
90
90
90
90
90
100
100
100

δ≤
170
172
174
176
178
180
182
184
186
188
190
192
194
196
188
190
192
194
196
188
190
192
194
196
194
196
182
184
186
188
190
192
194
196
188
190
192
194
196
188
190
192

∆≤
0.0058251
0.0058936
0.0059622
0.0060307
0.0060992
0.0061678
0.0062363
0.0063048
0.0063733
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0062363
0.0063048
0.0063733
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0064419
0.0065104
0.0065789

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
28892
28890
28888
28886
28884
28882
28880
28878
28876
28874
28872
28870
28868
28866
28864
28862
28860
28858
28856
28854
28852
28850
28848
28846
28844
28842
28840
28838
28836
28834
28832
28830
28828
28826
28824
28822
28820
28818
28816
28814
28812
28810

ρℓ
487
489
491
493
495
497
499
501
503
505
507
509
511
513
515
517
519
521
523
525
527
529
531
533
535
537
539
541
543
545
547
549
551
553
555
557
559
561
563
565
567
569

dORD
100
100
104
104
105
110
110
114
114
115
120
120
124
124
125
128
129
140
140
140
140
140
144
144
145
150
150
154
154
155
160
160
164
164
165
168
169
174
174
175
178
179

δ≤
193
195
193
195
196
193
195
193
195
196
193
195
193
195
196
195
196
187
189
191
193
195
193
195
196
193
195
193
195
196
193
195
193
195
196
195
196
193
195
196
195
196

∆≤
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0064076
0.0064762
0.0065447
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

18

k
28891
28889
28887
28885
28883
28881
28879
28877
28875
28873
28871
28869
28867
28865
28863
28861
28859
28857
28855
28853
28851
28849
28847
28845
28843
28841
28839
28837
28835
28833
28831
28829
28827
28825
28823
28821
28819
28817
28815
28813
28811
28809

ρℓ
488
490
492
494
496
498
500
502
504
506
508
510
512
514
516
518
520
522
524
526
528
530
532
534
536
538
540
542
544
546
548
550
552
554
556
558
560
562
564
566
568
570

dORD
100
100
104
104
110
110
110
114
114
120
120
120
124
124
128
128
130
140
140
140
140
140
144
144
150
150
150
154
154
160
160
160
164
164
168
168
170
174
174
178
178
180

δ≤
194
196
194
196
192
194
196
194
196
192
194
196
194
196
194
196
196
188
190
192
194
196
194
196
192
194
196
194
196
192
194
196
194
196
194
196
196
194
196
194
196
196

∆≤
0.0066475
0.0067160
0.0066475
0.0067160
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0064419
0.0065104
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
28808
28806
28804
28802
28800
28798
28796
28794
28792
28790
28788
28786
28784
28782
28780
28778
28776
28774
28772
28770
28768
28766
28764
28762
28760
28758
28756
28754
28752
28750
28748
28746
28744
28742
28740
28738
28736
28734
28732
28730
28728
28726

ρℓ
571
573
575
577
579
581
583
585
587
589
591
593
595
597
599
601
603
605
607
609
611
613
615
617
619
621
623
625
627
629
631
633
635
637
639
641
643
645
647
649
651
653

dORD
184
184
185
188
189
192
193
195
200
200
204
204
205
208
209
214
214
215
218
219
224
224
225
228
229
232
233
235
238
239
242
243
245
248
249
252
253
255
257
259
264
264

δ≤
193
195
196
195
196
195
196
196
193
195
193
195
196
195
196
193
195
196
195
196
193
195
196
195
196
195
196
196
195
196
195
196
196
195
196
195
196
196
196
196
193
195

∆≤
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0066132
0.0066817
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0066132
0.0066817
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0066132
0.0066817

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

19

k
28807
28805
28803
28801
28799
28797
28795
28793
28791
28789
28787
28785
28783
28781
28779
28777
28775
28773
28771
28769
28767
28765
28763
28761
28759
28757
28755
28753
28751
28749
28747
28745
28743
28741
28739
28737
28735
28733
28731
28729
28727
28725

ρℓ
572
574
576
578
580
582
584
586
588
590
592
594
596
598
600
602
604
606
608
610
612
614
616
618
620
622
624
626
628
630
632
634
636
638
640
642
644
646
648
650
652
654

dORD
184
184
188
188
190
192
194
200
200
200
204
204
208
208
210
214
214
218
218
220
224
224
228
228
230
232
234
238
238
240
242
244
248
248
250
252
254
256
258
260
264
264

δ≤
194
196
194
196
196
196
196
192
194
196
194
196
194
196
196
194
196
194
196
196
194
196
194
196
196
196
196
194
196
196
196
196
194
196
196
196
196
196
196
196
194
196

∆≤
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0065789
0.0066475
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0066475
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
28724
28722
28720
28718
28716
28714
28712
28710
28708
28706
28704
28702
28700
28698
28696
28694
28692
28690
28688
28686
28684
28682
28680
28678
28676
28674
28672
28670
28668
28666
28664
28662
28660
28658
28656
28654
28652
28650
28648
28646
28644
28642

ρℓ
655
657
659
661
663
665
667
669
671
673
675
677
679
681
683
685
687
689
691
693
695
697
699
701
703
705
707
709
711
713
715
717
719
721
723
725
727
729
731
733
735
737

dORD
265
268
269
272
273
275
278
279
282
283
285
288
289
292
293
295
297
299
302
303
305
307
309
312
313
315
317
319
321
323
325
328
329
332
333
335
337
339
342
343
345
347

δ≤
196
195
196
195
196
196
195
196
195
196
196
195
196
195
196
196
196
196
195
196
196
196
196
195
196
196
196
196
196
196
196
195
196
195
196
196
196
196
195
196
196
196

∆≤
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0066817
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

20

k
28723
28721
28719
28717
28715
28713
28711
28709
28707
28705
28703
28701
28699
28697
28695
28693
28691
28689
28687
28685
28683
28681
28679
28677
28675
28673
28671
28669
28667
28665
28663
28661
28659
28657
28655
28653
28651
28649
28647
28645
28643
28641

ρℓ
656
658
660
662
664
666
668
670
672
674
676
678
680
682
684
686
688
690
692
694
696
698
700
702
704
706
708
710
712
714
716
718
720
722
724
726
728
730
732
734
736
738

dORD
268
268
270
272
274
278
278
280
282
284
288
288
290
292
294
296
298
300
302
304
306
308
310
312
314
316
318
320
322
324
328
328
330
332
334
336
338
340
342
344
346
348

δ≤
194
196
196
196
196
194
196
196
196
196
194
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
194
196
196
196
196
196
196
196
196
196
196
196

∆≤
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0066475
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

5

k
28640
28638
28636
28634
28632
28630
28628
28626
28624
28622
28620
28618
28616
28614
28612
28610
28608
28606
28604
28602
28600
28598
28596

ρℓ
739
741
743
745
747
749
751
753
755
757
759
761
763
765
767
769
771
773
775
777
779
781
783

dORD
349
352
353
355
357
359
361
363
365
367
369
371
373
375
377
379
381
383
385
387
389
392
393

δ≤
196
195
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
195
196

∆≤
0.0067160
0.0066817
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0066817
0.0067160

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

k
28639
28637
28635
28633
28631
28629
28627
28625
28623
28621
28619
28617
28615
28613
28611
28609
28607
28605
28603
28601
28599
28597
28595

ρℓ
740
742
744
746
748
750
752
754
756
758
760
762
764
766
768
770
772
774
776
778
780
782
784

dORD
350
352
354
356
358
360
362
364
366
368
370
372
374
376
378
380
382
384
386
388
390
392
394

δ≤
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196
196

∆≤
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160
0.0067160

Quantum codes from S̃q

In this section we construct quantum codes from families of one-point AG codes on S̃q , using
the so-called CSS construction which allows to construct quantum codes from classical linear
codes; see [32, Lemma 2.5].
Let q be a prime power and H = (Cq )⊗n = Cq ⊗· · ·⊗Cq be a q n -dimensional Hilbert space.
Then a q-ary quantum code C of length n and dimension k is defined as a q k -dimensional
Hilbert subspace of H. If C has minimum distance d, then C can correct up to ⌊ d−1
⌋ errors.
2
Such a quantum code is denoted by [[n, k, d]]q . The quantum Singleton bound 2d + k ≤ 2 + n
holds for a [[n, k, d]]q -quantum code. The quantum Singleton defect and the relative quantum
δ
Singleton defect are defined by δQ := n − k − 2d + 2 and ∆Q := nQ , respectively. If δQ = 0,
then the code is said to be quantum MDS.
Lemma 5.1. [1, Lemma 6.1](CSS construction) Let C1 and C2 be linear codes with parameters [n, k1 , d1 ]q and [n, k2 , d2]q , respectively, and assume that C1 ⊂ C2 . Then there exists a
[[n, k2 − k1 , d]]q -quantum code with
d = min{w(c)|c ∈ (C2 \ C1 ) ∪ (C1⊥ \ C2⊥ )}.
As an application of Lemma 5.1 to AG codes, La Guardia and Pereira proposed in [32]
the following general t-point construction.
21

Lemma 5.2. [32, Theorem 3.1](general t-point construction) Let X be a non-singular curve
on Fq of genus g and with n + t distinct points Fq -rational for some n, t > 0. For every
i = 1, ..., t, let ai , bi be positive integers such that ai ≤ bi and
2g − 2 <

t
X

ai <

i=1

t
X

bi < n.

i=1

Then there exists
d]]q -quantum code with k =
Pk,
Pt a [[n,
t
d ≥ min{n − i=1 bi , i=1 ai − (2g − 2)}.

Pt

i=1 bi

−

Pt

i=1

ai and

By applying Lemma 5.2 to one-point AG codes on S̃q , the following result is obtained.

Proposition 5.3. Let a, b ∈ N such that
q 3 − 2q 2 + q − 2 < a < b < q 5 − q 4 + q 3 .
Then there exists a quantum code with parameters [[n, b − a, d]]q4 , where
n = q5 − q4 + q3,
d ≥ min{q 5 − q 4 + q 3 − b, a − (q 3 − 2q 2 + q − 2)}.
We can also apply the CSS construction to dual codes of one-point AG codes on S̃q . We
keep the notation of Section 4. Let a = ρℓ ∈ H(P∞ ) and b = ρℓ+s ∈ H(P∞ ) with s ≥ 1.
Denote by C1 and C2 the codes Cℓ+s := Cℓ+s (P∞ ) and Cℓ := Cℓ (P∞ ), respectively. Then
C1 ⊂ C2 . Also, the dimensions k1 and k2 respectively of C1 and C2 satisfy k2 = n − hℓ
and k1 = n − hℓ+s = n − hℓ − s, where hi is the number of non-gaps at P∞ which are
smaller than or equal to i. The CSS construction now provides a [[n, s, d]]q4 -quantum code
with n = q 5 − q 4 + q 3 and d = min{w(c)|c ∈ (Cℓ \ Cℓ+s ) ∪ (C(D, G1 ) \ C(D, G2 )))}, where
G1 = ρℓ+s P∞ and G2 = ρℓ P∞ . Hence,
d ≥ min{dORD (Cℓ ), d1 },

(4)

where d1 is the minimum distance of C(D, G1 ). Choose ℓ ∈ [3g − 1, n − g] and s ∈ [1, n − 2ℓ].
As ℓ ≥ 3g − 1, ρℓ+s = g − 1 + ℓ + s; thus d1 ≥ n − deg(G1 ) = n − ρℓ+s ≥ n − ℓ − s − g + 1. Also,
from Theorem 2.5 and Proposition 4.1, dORD (Cℓ ) = ℓ + 1 − g. Since s ≤ n − 2ℓ, Equation
(4) reads d ≥ dORD (Cℓ ) = ℓ + 1 − g. Hence, the following result has been proved.
Theorem 5.4. Let n = q 5 − q 4 + q 3 . Then for every ℓ ∈ [3g − 1, n − g] and s ∈ [1, n − 2ℓ]
there exists a [[n, s, d]]q4 -quantum code with d ≥ ℓ + 1 − g.
22

Choose s = n−2ℓ. Then Theorem 5.4 provides a [[n, s, d]]q4 -quantum code whose relative
quantum Singleton defect ∆Q is upper bounded as follows:
∆Q =

n − s − 2d + 2
2ℓ − 2d + 2
2g
q 3 − 2q 2 + q
=
≤
= 5
.
n
n
n
q − q4 + q3

The following table show the parameters of such [[n, s, d]]q4 -quantum codes obtained
through the CSS construction in the case q = 8. Here, s = n − 2ℓ with ℓ ranging in
2g, . . . , 3g − 2, that is when Theorem 5.4 does not apply. The minimum distance d1 is lower
bounded by the Goppa minimum distance d∗1 = n − deg(G1 ) = n − ρℓ+s = ℓ + 1 − g; hence,
Equation (4) reads d ≥ ℓ + 1 − g which is the bound used in the table. Also, ∆Q is upper
n−s−2d∗1 +2
bounded by
.
n
n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

s
28400
28394
28388
28382
28376
28370
28364
28358
28352
28346
28340
28334
28328
28322
28316
28310
28304
28298
28292
28286
28280
28274
28268
28262
28256
28250
28244
28238
28232
28226

d≥
197
200
203
206
209
212
215
218
221
224
227
230
233
236
239
242
245
248
251
254
257
260
263
266
269
272
275
278
281
284

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

s
28398
28392
28386
28380
28374
28368
28362
28356
28350
28344
28338
28332
28326
28320
28314
28308
28302
28296
28290
28284
28278
28272
28266
28260
28254
28248
28242
28236
28230
28224

d≥
198
201
204
207
210
213
216
219
222
225
228
231
234
237
240
243
246
249
252
255
258
261
264
267
270
273
276
279
282
285

23

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

s
28396
28390
28384
28378
28372
28366
28360
28354
28348
28342
28336
28330
28324
28318
28312
28306
28300
28294
28288
28282
28276
28270
28264
28258
28252
28246
28240
28234
28228
28222

d≥
199
202
205
208
211
214
217
220
223
226
229
232
235
238
241
244
247
250
253
256
259
262
265
268
271
274
277
280
283
286

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

6

s
28220
28214
28208
28202
28196
28190
28184
28178
28172
28166
28160
28154
28148
28142
28136
28130
28124
28118
28112
28106
28100
28094
28088
28082
28076
28070
28064
28058
28052
28046
28040
28034
28028
28022
28016
28010

d≥
287
290
293
296
299
302
305
308
311
314
317
320
323
326
329
332
335
338
341
344
347
350
353
356
359
362
365
368
371
374
377
380
383
386
389
392

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

s
28218
28212
28206
28200
28194
28188
28182
28176
28170
28164
28158
28152
28146
28140
28134
28128
28122
28116
28110
28104
28098
28092
28086
28080
28074
28068
28062
28056
28050
28044
28038
28032
28026
28020
28014
28008

d≥
288
291
294
297
300
303
306
309
312
315
318
321
324
327
330
333
336
339
342
345
348
351
354
357
360
363
366
369
372
375
378
381
384
387
390
393

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

n
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184
29184

s
28216
28210
28204
28198
28192
28186
28180
28174
28168
28162
28156
28150
28144
28138
28132
28126
28120
28114
28108
28102
28096
28090
28084
28078
28072
28066
28060
28054
28048
28042
28036
28030
28024
28018
28012
28006

d≥
289
292
295
298
301
304
307
310
313
316
319
322
325
328
331
334
337
340
343
346
349
352
355
358
361
364
367
370
373
376
379
382
385
388
391
394

∆Q ≤
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432
0.013432

Weak Castle codes from S̃q

In this section we construct weak Castle codes from the curve S˜q ; we refer to [39] for notation
and results on weak Castle curves and weak Castle codes.
Let X be a curve on Fq and Q be an Fq -rational place of X . Then the pair (X , Q) is
called weak Castle if the following conditions are satisfied.
C1) The Weierstrass semigroup H(Q) is symmetric.
C2) For some integer ℓ, there exists a morphism f : X → P1 = Fq ∪ {∞} such that
(f )∞ = ℓQ and there exists a set U = {α1 , ..., αh } ⊆ Fq , such that for every i = 1, ..., h,
f −1 (αi ) ⊆ X (Fq ) and |f −1 (αi )| = ℓ.
24

If (X , Q) is weak Castle, define
D=

h X
ℓ
X

Pji ,

i=1 j=1

where f −1 (αi ) = {P1i , . . . , Pℓi } for every i = 1, . . . , h. The one-point AG codes C(D, rQ) are
called weak Castle codes.
Proposition 6.1. ([38, Proposition 1, Lemma 2, and Corollary 2]) Let (X , Q) be a weak
Castle curve of genus g and C(D, rQ) be a weak Castle code from X . Define r ⊥ = n + 2g −
2 − r. Then the following properties hold:
Q
(i) Under the notation in Condition C2), let ϕ = hi=1 (f − αi ). If div(dϕ) = (2g − 2)Q,
then C(D, rQ)⊥ = C(D, r ⊥ Q).
(ii) The divisors D and rQ are equivalent. Also, for every r < n, C(D, rQ) attains the
designed minimum distance d∗ if and only if C(D, (n − r)Q) attains the designed minimum distance as well.
(iii) (2g − 2)Q and (n + 2g − 2)Q − D are canonical divisors, and there exists x ∈ (F∗q )n
such that C(D, rQ)⊥ = x · C(D, r ⊥ Q).
(iv) For every i = 1, ..., r, let ri := min{r : ℓ(rQ) − ℓ((r − n)Q) ≥ i} and Ci := C(D, ri Q).
Then Ci has dimension i, and
C0 = (0) ⊂ C1 ⊂ · · · ⊂ Cn = Fnq
is a formally self-dual sequence of codes.
(v) If 2i ≤ n, then there exist quantum codes with parameters [[n, n−2i, ≥ d(Cn−i )]]q where
d(Cn−i ) ≥ n − rn−i + γa+1 , with a = ℓ((rn−i − n)Q) and
γa+1 = min{deg(A) : A is a rational divisor on X with ℓ(A) ≥ a + 1}.
We construct weak Castle codes from S̃q .
Proposition 6.2. The pair (S̃q , P∞ ) is weak Castle.
Proof. By Theorem 2.5, Condition C1) is satisfied. From [16, Proposition 25],
T := {(x, y, t) 7→ (x + b, y + bq0 x + c, t) | b, c ∈ Fq }
25

is a Sylow 2-subgroup of Aut(S̃q ). As S fixes t, we have K(t) ⊆ K(S̃q /T ). On the other
side, S˜q /T is rational by [20, Theorem 11.78]. Hence, K(t) = K(S̃q /T ). The pole divisor
of t is (t)∞ = q 2 P∞ . Also, T acts semiregularly on S˜q \ {P∞ }; being Fq4 -rational, T acts
semiregularly on the q 5 − q 4 + q 3 places in S˜q (Fq4 ) \ {P∞ }. Let U = {α1 , . . . , αq3 −q2 +q } ⊆ Fq4
be the set of places of P1 ∼
= S̃q /T lying under S̃q (Fq4 )\{P∞}. Then Condition C2) is satisfied
2
by choosing ℓ = q , f = t, h = q 3 − q 2 + q.
From Proposition
6.2, we have weak Castle codes C(D, rP∞ ) of length n = q 5 − q 4 + q 3
P
with D = P ∈S̃q (F 4 )\{P∞ } P .
q
Now we construct quantum codes by means of the CSS construction. Let ϕ be defined as in Proposition 6.1 (i). By direct computation, P∞ is the only pole of dϕ with
multiplicity 2g − 2, and the zeros of ϕ are simple; hence, div(dφ) = (2g − 2)P∞ . Thus,
by Proposition 6.1, C(D, rP∞)⊥ = C(D, r ⊥ P∞ ). Let ρa , ρa+b ∈ H(P∞ ) ∩ [2, n − 2], with
a, b ≥ 1 and consider the codes Ca+b := C ⊥ (D, ρa+b P∞ ) and Ca := C ⊥ (D, ρa P∞ ), which
satisfy Ca+b ⊆ Ca . Then the CSS construction yields a [[n, s, d]]q4 -quantum code such that
d ≥ min{dORD (Ca ), d1 }, where d1 is the minimum distance of the cose C(D, ρa+b P∞ ). Since
C(D, ρa+b P∞ ) = C ⊥ (D, ρ⊥
a+b P∞ ), the lower bound on d reads
d ≥ min{dORD (Ca ), dORD (C ⊥ (D, ρ⊥
a+b P∞ ))}.

(5)

As the tables in Section 4 show, the Feng-Rao minimum distance often improves the Goppa
designed minimum distance. Thus, Bound (5) improves in general the lower bound d ≥
min{dORD (Ca ), d1 }.

7

Convolutional codes from S̃q

In this section we construct convolutional codes using a result by De Assis, La Guardia, and
Pereira [7]which allows to construct unit-memory convolutional codes with certain parameters (n, k, γ; m, df ) starting from AG codes. Consider the polynomial ring R = Fq [X]. A
convolutional code C is an R-submodule of rank k of the module Rn . Let G(X) = (gij (X)) ∈
Fq [X]k×n be a generator matrix of C over Fq [X], γi = max{deg gij (X) | 1 ≤ j ≤ n},
P
γ = ki=1 γi , m = max{γi | 1 ≤ i ≤ k}, and df be the minimum weight of a word c ∈ C.
Then C is an (n, k, γ; m, df )q -convolutional code, having length n, dimension k, degree γ,
memory m, and distance df . When m = 1, C is said to be a unit-memory convolutional
code. For a detailed introduction to convolutional codes, see [7, 41].
Lemma 7.1 ( [7], Theorem 3). Let X be an Fq -rational non-singular curve of genus g.
Consider an AG code C ⊥ (D, G) with X with 2g − 2 < deg(G) < n. Then there exists
26

a unit-memory convolutional code with parameters (n, k − ℓ, ℓ; 1, df ≥ d), where ℓ ≤ k/2,
k = deg(G) + 1 − g and d ≥ n − deg(G).
We apply Lemma 7.1 to one-point AG codes from S̃q .
Proposition 7.2. Consider the curve S̃q and a non-gap ρℓ ∈ H(P∞ ) at P∞ such that
q 3 − 2q 2 + q − 2 < ρℓ < q 5 − q 4 + q 3 . Then there exists a unit-memory convolutional code
with parameters (n, k − s, s; 1, df ≥ dORD (Cℓ (P∞ )))q4 , where n = q 5 − q 4 + q 3 , s ≤ k/2, and
3
2 +q
k = ρℓ + 1 − q −2q
.
2
Proof. The claim follows by applying Lemma 7.1 to the code Cℓ (P∞ ) constructed as in
Section 4, and using that df ≥ d(Cℓ (P∞ )) ≥ dORD (Cℓ (P∞ )).
Corollary 7.3. Consider the curve S̃q and a non-gap ρℓ ∈ H(P∞ ) at P∞ such that q 3 −
3
2 +q)
− 1. Then there exists a unit2q 2 + q − 2 < ρℓ < n where n = q 5 − q 4 + q 3 . Let ℓ ≥ 3(q −2q
2
3
2
memory convolutional code with parameters (n, k − s, s; 1, df )q4 , where k = ρℓ + 1 − q −2q2 +q ,
3
2
s ≤ k/2, and df ≥ ℓ + 1 − q −2q2 +q .
Proof. Since ℓ ≥ 3g − 1, dORD (Cℓ (P∞ )) = ℓ + 1 − g by Proposition 4.1. The claim follows
from Proposition 7.2.

References
[1] D. Bartoli, M. Montanucci, G. Zini, AG codes and AG quantum codes from the GGS
curve, arXiv:1703.03178.
[2] D. Bartoli, M. Montanucci, G. Zini, “Multi Point AG Codes on the GK Maximal Curve,”
Des. Codes Cryptogr., to appear. DOI 10.1007/s10623-017-0333-9.
[3] A. Campillo and J.I. Farrán, “Computing Weierstrass semigroups and the Feng-Rao
distance from singular plane models,” Finite Fields Appl., vol. 6, pp. 71–92, 2000.
[4] A.S. Castellanos and G.C. Tizziotti, “Two-Point AG Codes on the GK Maximal
Curves,” IEEE Trans. Inf. Theory, vol. 62, no. 2, pp. 681–686, 2016.
[5] C. Carvalho and T. Kato, “On Weierstrass semigroups and sets: A review with new
results,” Geometriae Dedicata, vol. 139, no. 1, pp. 195–210, 2009.
[6] C. Carvalho and F. Torres, “On Goppa Codes and Weierstrass Gaps at Several Points,”
Des. Codes Cryptogr., vol. 35, no. 2, pp. 211–225, 2005.
27

[7] F.M. de Assis, G.G. La Guardia and F.R.F. Pereira, “New Convolutional Codes Derived
from Algebraic Geometry Codes,” preprint, arXiv: 1612.07157.
[8] P. Deligne and G. Lusztig, “Representations of reductive groups over finite fields,” Ann.
Math., vol. 103, pp. 103–161, 1976.
[9] A. Eid and I. Duursma, Smooth embeddings for the Suzuki and Ree curves, in Algorithmic Arithmetic, Geometry, and Coding Theory, pp. 251291, Contemp. Math. 637 ,
Amer. Math.Soc., Providence, RI, 2015.
[10] I. Duursma and R. Kirov, “Improved Two-Point Codes on Hermitian Curves,” IEEE
Trans. Inform. Theory, vol. 57, no. 7, pp. 4469–4476, 2011.
[11] S. Fanali and M. Giulietti, “One-Point AG Codes on the GK Maximal Curves,” IEEE
Trans. Inf. Theory, vol. 56, no. 1, pp. 202–210, 2010.
[12] A. Garcia, C. Güneri, and H. Stichtenoth, “A generalization of the Giulietti-Korchmáros
maximal curve,” Advances in Geometry, vol. 10, no. 3, pp. 427–434, 2010.
[13] M. Giulietti and G. Korchmáros, “On automorphism groups of certain Goppa codes,”
Des. Codes Cryptogr., vol 47, pp. 177–190, 2008.
[14] M. Giulietti and G. Korchmáros, “A new family of maximal curves over a finite field,”
Math. Ann., vol. 343, pp. 229–245, 2009.
[15] M. Giulietti, G. Korchmáros, and F. Torres, Quotient curves of the Deligne-Lusztig
curve of Suzuki type, Acta Arith. 122, 245–274 (2006).
[16] M. Giulietti, M. Montanucci, L. Quoos, G. Zini, On some Galois covers of the Suzuki
and Ree curves,preprint, arXiv:1609.09343.
[17] V.D. Goppa, “Codes on algebraic curves,” Dokl. Akad. NAUK, SSSR, vol. 259, no. 6,
pp. 1289–1290, 1981.
[18] V.D. Goppa, “Algebraico-geometric codes,” Izv. Akad. Nauk SSSR Ser. Mat., vol. 46,
no. 4, pp. 75–91, 1982.
[19] C. Heegard, J. Little, and K. Saints, “Systematic encoding via Gröbner bases for a class
of algebraic-geometric Goppa codes,” IEEE Trans. Inf. Theory, vol. 41, pp. 1752–1761,
1995.

28

[20] J.W.P. Hirschfeld, G. Korchmáros, and F. Torres, Algebraic curves over a finite field,
Princeton Univ. Press, 2008.
[21] T. Høholdt, J.H. van Lint, and R. Pellikaan, “Algebraic geometry codes,” in Handbook
of Coding Theory, V. S. Pless, W. C. Huffman, and R. A. Brualdi, Eds. Amsterdam,
The Netherlands: Elsevier, 1998, vol. 1, pp. 871–961.
[22] M. Homma, “The Weierstrass semigroup of a pair of points on a curve,” Arch. Math.,
vol. 67, pp. 337–348, 1996.
[23] M. Homma and S.J. Kim, “Goppa codes with Weierstrass pairs,” J. Pure Appl. Algebra,
vol. 162, pp. 273–290, 2001.
[24] M. Homma and S.J. Kim, “Toward the Determination of the Minimum Distance of
Two-Point Codes on a Hermitian Curve,” Des. Codes Cryptogr., vol. 37, no. 1, pp.
111–132, 2005.
[25] M. Homma and S.J. Kim, “The complete determination of the minimum distance of
two-point codes on a Hermitian curve,” Des. Codes Cryptogr., vol. 40, no. 1, pp. 5–24,
2006.
[26] M. Homma and S.J. Kim, “The Two-Point Codes on a Hermitian Curve with the
Designed Minimum Distance,” Des. Codes Cryptogr., vol. 38, no. 1, pp. 55–81, 2006.
[27] D. Joyner, “An error-correcting codes package,” SIGSAM Comm. Computer Algebra,
vol. 39, no. 2, pp. 65–68, 2005.
[28] D. Joyner and A. Ksir, “Automorphism groups of some AG codes,” IEEE Trans. Inf.
Theory, vol. 52, no. 7, pp. 3325–3329, 2006.
[29] S. Karanikolopoulos and A. Kontogeorgis, “Automorphisms of curves and Weierstrass
semigroups,” arXiv:1005.2871.
[30] S.J. Kim, “On the index of the Weierstrass semigroup of a pair of points on a curve,”
Arch. Math., vol. 62, no. 1, pp. 73–82, 1994.
[31] C. Kirfel and R. Pellikaan, “The minimum distance of codes in an array coming from
telescopic semigroups,” IEEE Trans. Inf. Theory, vol. 41, pp. 1720–1732, 1995.
[32] G.G. La Guardia, F.R.F. Pereira, “Good and asymptotically good quantum codes derived from Algebraic geometry codes,” Quantum Inf. Process., vol. 16, no. 6, Art. 165,
12 pp., 2017.
29

[33] J. Lewittes, “Genus and gaps in function fields,” J. Pure Appl. Algebra, vol. 58, pp.
29–44, 1989.
[34] B. Lundell and J. McCullough, “A generalized floor bound for the minimum distance
of geometric Goppa codes,” J. Pure Appl. Algebra, vol. 207, pp. 155–164, 2006.
[35] G.L. Matthews, “Weierstrass Pairs and Minimum Distance of Goppa Codes,” Des.
Codes Cryptogr., vol. 22, pp. 107–121, 2001.
[36] G.L. Matthews, “Codes from the Suzuki function field,” IEEE Trans. Inf. Theory, vol.
50, no. 12, pp. 3298–3302, 2004.
[37] S. Meagher and J. Top, “Twists of genus three curves over finite fields,” Finite Fields
Appl., vol 16, pp. 347–368, 2010.
[38] C. Munuera, W. Tenório, F. Torres, “Quantum error-correcting codes from algebraic
geometry codes of Castle type,” Quantum Inf. Process., vol. 15, no. 10, pp. 4071–4088,
2016.
[39] C. Munuera, A. Sepulveda, F. Torres, “Castle curves and codes,” Adv. Math. Commun.,
vol. 3, no. 4, pp. 399-408, 2009.
[40] J.P. Pedersen, “A function field related to the Ree group,” Coding Theory and Algebraic
Geometry, Lectures Notes in Mathematics, vol. 1518, pp. 122–132. Springer, Berlin,
1992.
[41] J. Rosenthal and R. Smarandache, “Maximum Distance Separable Convolutional
Codes,” Appl. Algebra Engrg. Comm. Comput., vol. 10, pp. 15–32, 1999.
[42] A. Sepúlveda and G. Tizziotti, “Weierstrass semigroup and codes over the curve y q +y =
r
xq + 1,” Adv. Math. Commun., vol. 8, no. 1, pp. 67–72, 2014.
[43] D.C Skabelund, “New maximal curves as ray class fields over Deligne-Lusztig curves,”
Proc. Amer. Math. Soc, DOI: 10.1090/proc/13753.
[44] H. Stichtenoth, “A note on Hermitian codes over GF (q 2 ),” IEEE Trans. Inform. Theory,
vol. 34, no. 5, pp. 1345–1348, 1988.
[45] H. Stichtenoth, Algebraic function fields and codes, Springer, 2009.
[46] H.J. Tiersma, “Remarks on codes from Hermitian curves,” IEEE Trans. Inform. Theory,
vol. 33, pp. 605–609, 1987.
30

[47] K. Yang and P.V. Kumar, “On the true minimum distance of Hermitian codes,” in
Coding theory and algebraic Geometry (Luminy, 1991), vol. 1518 of Lecture Notes in
Math., pp. 99–107, Berlin: Springer, 1992.

31

