MINIMUM-WEIGHT CODEWORDS OF THE HERMITIAN CODES
ARE SUPPORTED ON COMPLETE INTERSECTIONS

arXiv:1605.07827v1 [] 25 May 2016

CHIARA MARCOLLA AND MARGHERITA ROGGERO
Abstract. Let H be the Hermitian curve defined over a finite field Fq2 . Aim of
the present paper is to complete the geometrical characterization of the supports
of the minimum-weight codewords of the algebraic-geometry codes over H, started
in [13]. In that paper we considered the codes with distance d ≥ q 2 − q and proved
that the supports of minimum-weight codewords are cut on H by curves varying in
a single family. Here we deal with the remaining Hermitian codes and show that
the above result holds true only for some of the codes with lower distance. In fact,
the minimum-weight codewords of codes with distance d < q are supported on the
complete intersection of two curves none of which is H. Moreover, there are some
very special code with distance q ≤ d ≤ q 2 − q whose minimum weight codewords
are of two different types: some of them are supported on complete intersections
of H and curves in a given family, some are supported on complete intersections of
two curves none of which is H.

1. Introduction
Let Fq2 be the finite field with q 2 elements, q a power of a prime. The Hermitian
curve H is the affine, plane curve over Fq2 defined by the polynomial xq+1 = y q + y.
2
It is a smooth curve of genus g = q 2−q with only one point at infinity. The curve H
is the most studied example of maximal curve, that is with the maximum number of
Fq2 -points allowed by the Hasse-Weil bound [16]. For this reason it is well suited for
the construction of algebraic-geometric codes.
After Stichtenoth’s work [17] several authors give significant contribution on this
topic, we quote for instance [6, 7, 18] regarding a generic description of Hermitian
codes and their distance, [8, 9, 10, 15] about the decoding of the Hermitian codes,
[1, 3, 4, 11, 12] on small weight codewords and [2, 5, 14, 19] regarding generalized
Hamming weights.
In this work we continue the geometrical description of the support of the minimum weight codewords of the Hermitian codes started in [13]. We also refer to that
paper for a more detailed historical introduction and bibliography.
2010 Mathematics Subject Classification. 11G20,11T71.
Key words and phrases. Hermitian code, minimum-weight codeword, complete intersection.
1

2

C. MARCOLLA AND M. ROGGERO

Our main achievement is the following result.
Theorem A. For any Hermitian code, the support of every minimum-weight codeword is a complete intersection of two plane curves.
Making reference to the Høholdt, van Lint and Pellikaan work [7], every Hermitian
code can be identified by an integer m, so we denote it as Cm , and can be classified
in four phases depending on m (see Remark 2.9). A proof for Theorem A applied to
III and IV phase is provided in [13]. In this paper we provide a proof of the same
theorem applied to I and II phase.
A leading role in this work is played by the numerical semi-group Λ = hq, q + 1i.
The discussion about the I and II phase turned out to be more difficult with respect
to the one about III and IV, because of the presence of gaps for Λ among the values of
m and among the distances d(m) of Cm . Indeed, for each Hermitian code of III and
IV phase, the supports of minimum weight codewords are complete intersection divisors cut on H by a single family of curves, while in the I and II phase there are some
special values of m, depending on distribution of the gaps, such that there are two
different type of supports. Part of the minimum weight codewords of these special
codes are supported on divisors of the previous shape, and the remain ones are supported on complete intersection of two curves of which neither is the Hermitian curve.
Note that there is a partial overlap with known results as far as it concerns the
geometric description of minimum weight codewords. In particular, Marcolla, Pellegrini and Sala [12] find a geometric description for the codes in the I phase, while
Ballico and Ravagnani [1] find it for some codes of the II phase. In Section 6 we analyze in detail similarities and differences between these two works and the present one.
Here we only underline that the methodologies we introduce allow us to describe
features of the codes Cm , for a large range of values m, by a single formula and prove
them with short proofs, avoiding case by case arguments.
We intend to further exploit the potentiality of these methods to also analyze the
support of small weight codewords. Some results presented in this paper, as for
instance those in Section 4, give information on this more general case. We are confident that, from this strong geometric characterization, also the explicit computation
of the weight distribution will follow.
The paper is organized as follows:
- In Section 2 we recall some basic definitions and we prove some preliminary
results about Hermitian codes Cm .

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

3

- In Section 3 we consider the codes in the I phase, computing their distance
and providing the geometric description of their minimum-weight codewords,
according to the results obtained in [12].
- In Section 4 we state and prove Theorem 4.1, which gives information about
the small-weight codewords of Cm in the II phase, and in Theorem 4.2 we
prove the distance of these codes.
- In Section 5 we focus on the Fq2 -divisors that are the support of minimum
weight codewords of codes Cm in the II phase, proving the main result of
the present work, that is, the support of every minimum-weight codeword of
these codes is a complete intersection of two plane curves (Theorem 5.2 and
Theorem 5.4).
- Finally, in Section 6 we compare our results with those in [12, 1] and in
Section 7 we draw the conclusions.
2. Generalities and Preliminary Results
2.1. General notations. In the paper we fix the following notations:
(i): q is a power of a prime integer p and Fq2 will denote the finite field with
q2.
(ii): Λ is the semi-group generated by q and q + 1. For every integer in Λ we
always consider its unique writing aq + b(q + 1) with a ≤ q. Every positive
integer that does not belong to Λ is called a gap of the semi-group;
(iii): m is an integer number 0 ≤ m ≤ q 3 + q 2 − q − 2, but we will focus mainly
on the values q 2 − 1 ≤ m ≤ 2q 2 − 2q − 3.
(iv): δ(m) := m − q 2 − q − 2.
2.2. The Hermitian curve. Let Fq2 be the finite field with q 2 elements, where q
is a power of a prime and let K be its algebraic closure. For any ideal I in the
polynomial ring A := Fq2 [x, y] we denote by V(I) the corresponding variety in A2K .
If g1 , . . . , gs ∈ Fq2 [x, y], we denote by hg1 , . . . , gs i the ideal they generate.
The Hermitian curve H is the curve in the affine plane A2K defined by the polynomial H := xq+1 − y q − y. We will denote by IH its defining ideal hHi in A and by
AH the coordinate ring A/IH of H.
and n := q 3 closed points with coordinates in Fq2
The curve H has genus g := q(q−1)
2
(Fq2 -points for short), that we will always denote by P1 , . . . , Pn . We will denote by
E the zero-dimensional scheme of degree n composed by all the Fq2 -points of H. For
every point Pi its coordinates (xi , yi ) satisfy the norm-trace condition N(xi ) = Tr(yi ).
The projective closure H of H in P2K has only one, simple, point P∞ = [0 : 0 : 1]
in H \ H, so that H has q 3 + 1 Fq2 -points [16].

4

C. MARCOLLA AND M. ROGGERO

P
Definition 2.1. A Fq2 -divisor over the Hermitian curve is a divisor D = δi=1 Qi
where the Qi ’s are pairwise distinct Fq2 -points of H. We will denote by |D| the
degree δ of D. We can also write D = {Q1 , . . . , Qδ }; in particular, E = {P1 , . . . , Pn }
and D is a Fq2 -divisor on H if and only if D ⊆ E.
We denote by ID the ideal generated by all polynomials in A vanishing on D and by
AD the quotient ring A/ID .
2

2

Observe that in the above notations, we have AE = A/hH, xq − x, y q − yi; moreover, D is a Fq2 -divisor on H if and only if AD is a quotient of AE .
2.3. A quick sketch on the Hermitian codes as affine–variety codes. A linear code C over Fq2 is a linear subspace of Fnq2 for a suitable n, called length of C.
The dual code C ⊥ of C is formed by all vectors v such that GvT = 0, where G is the
generator matrix of C. Every generator matrix of C ⊥ is called a parity-check matrix
of the code C. The weight of a codeword c = (c1 , . . . , cn ) ∈ C is the number of ci
that are different from 0 and its support Supp(c) is the set of indexes corresponding
to the non-zero entries. The distance d of a linear code C is the minimum weight of
its non-zero codewords.
We now briefly recall the definition the Hermitian code as an affine–variety code
over the Hermitian curve H. Let us consider evaluation map
(2.1)

φE : AE −→ (Fq2 )n
f 7−→ (f (P1 ), . . . , f (Pn )).

For every given linear subspace V of AE and ordered set of generators hf1 , . . . , fs i of
V we can define the code C(V ) := φE (V ), whose generator matrix is the s×n matrix
with entries fi (Pj ), and its dual code C(V )⊥ . Note that the dual code depends on
V , but does not depend on the chosen set of generators.
The Hermitian codes we consider here are dual codes C(V )⊥ for the special linear
subspaces V defined in the following way.
Definition 2.2. Let us fix the weight vector w := [q, q + 1] and associate to every
monomial xr y s the w-degree w(xr y s ) = rq + s(q + 1). For every positive integer
m, we denote by Vm the subspace of AE generated by the (classes of) monomials of
w-degree less than m + 1. We will denote by Cm and call Hermitian code the dual
code C(Vm )⊥ .
Therefore, the length of an Hermitian code is the number n of Fq2 -points in H and
the entries of a codeword c are labeled after these points, so that we can identify
the support of c with a divisor D ⊂ E of the points corresponding to the non-zero
entries of c.
By definition, for every m < m0 we have Cm ⊇ Cm0 .

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

5

Notation 2.3. For every Hermitian code Cm we will denote by Dm the set of divisors
on H that are support of codewords of Cm ; moreover, we will denote by Mm the set
of those that are the support of minimum-weight codewords of Cm .
Usually the classes in AE of monomials with w-degree less
than m+1 are not linearly independent and, in order to obtain
a parity-check matrix with maximal rank, it is convenient to
select a suitable subset which form a basis for Vm . To choose
this basis we fix the degrevlex term order with y > x, denoted
by ≺, and consider the set of monomials

B := {xr y s | 1 ≤ r ≤ q, s ≤ q 2 −q−1}∪{y s | q 2 −q ≤ s ≤ q 2 −1}.

yq

2

In≺ (IE )
yq

2

−q

b

b

b

b

B
b

b

Their classes are linearly independent in AE since they are
x
x
the elements of the sous-éscalier N (IE ) of the initial ideal of
q+1
q 2 −q
q2
IE w.r.t. ≺; indeed In≺ (IE ) = hx , xy
, y i.
With this choice, the set of monomials Bm := B ∩ Vm is a basis of Vm for every
m ≥ 0.
q+1

Remark 2.4. For every m ≥ 0 the Hermitian code Cm is the code in Fnq2 with
parity-check matrix φE (Bm ) where φE is the evaluation map (2.1) at the points of
E.
For every divisor D on H we will denote by Vm,D the image of Vm in AD .
Remark 2.5. To find the distance of an Hermitian code, we will use a similar approach to that of [7]. The main difference concerns the choice of the term order used
to find a basis of V . In fact, in [7] the term order is the weighed term <w associated
to the weight vector w = [q, q + 1] (and Lex with y > x as a “tie-breaker”). The
basis given by our term order proves to be well suited to find geometrical description
of minimum weight codewords.
In order to highlight similarities and differences with [7] we develop along all the
paper the same example that we can also find in [7].
2.4. The gaps of Λ and the Hermitian codes. The semi-group Λ is related to
many features of the Hermitian curve; for instance the number q 2 − q − 1 of gaps in Λ
is equal to the geometric genus g of H. The semigroup Λ and its gaps play a central
role also in the study of the Hermitian codes. In the following remark we collect
some features of the gaps and some interesting relation that concern the subset ΛB
of Λ of the w-weights of the monomial in B.
Remark 2.6. (1) There are q − 1 “segments”of gaps of decreasing length; more
precisely, for every h = 1, . . . , q − 1 there are the following (q − h) gaps:
(2.2) (h − 1)(q + 1) + 1,

...

(h − 1)(q + 1) + t,

...

, (h − 1)(q + 1) + (q − h)

6

C. MARCOLLA AND M. ROGGERO

with 1 ≤ t ≤ q − h. The last integer before such a sequence is (h − 1)(q + 1) =
w(y h−1 ) and the first integer after the sequence is hq = w(xh ). Therefore, for
every h = 1, . . . , q −2, between to segments of gaps we find the following segment
of element of Λ:
(2.3) hq = w(xh ),

...

(h − i)q + i(q + 1) = w(xh−i y i ),

...

h(q + 1) = w(y h ).

(2) There is a 1 − 1 correspondence between Hermitian codes and elements in ΛB .
In fact, if m + 1 ∈
/ ΛB , then Bm = Bm+1 , so Cm = Cm+1 , while if m + 1 ∈ ΛB
the codes Cm and Cm+1 are different. For this reason in the following we will
always label an Hermitian code by an integer m such that m + 1 ∈ ΛB .
(3) The w-weights of the monomials in B are pairwise different, so that there is a
1 − 1 correspondence between B and ΛB . Moreover, the monomials in B are
ordered by ≺ in the same way as by the weighed term order with weight-vector
w, namely they are ordered as the corresponding elements in ΛB are ordered by
<.
(4) Due to the previous items, for every code Cm we can find in B a unique monomial
whose w-weight is m + 1.
2.5. The semi-group Λ and the distance of a Hermitian code Cm . In the
previous paper [13] the authors prove that the distance d(m) of the Hermitian codes
Cm with m ≥ 2q 2 − 2q − 2 is given by the integer δ(m) := m − (q − 2)(q + 1). This
formula agrees with that proved by [7, 17, 18], taking in account our convention on
the choice of the integer m labeling the code Cm given in Remark 2.6 (2).
Easy examples show that the formula for the distance d(m) = δ(m) is not correct
for some of the Hermitian codes Cm in the range q 2 − q − 1 ≤ m ≤ 2q 2 − 2q − 3
considered in the present paper.
Example 2.7. For q = 4 let us consider the range 10 ≤ m ≤ 21, containing the first
integers m such that δ(m) in not negative. As already observed, C10 = C11 since
10 + 1 ∈
/ ΛB ; hence d(10) = d(11), while δ(10) 6= δ(11).
Moreover, by a direct computation (or using the known formula) we see that the
distance of the Hermitian code C11 is d(11) = 4, while δ(10) = 0 and δ(11) = 1.
More generally, for m in the above range, we have d(m) = δ(m) if m = 14, 15, 18, 19, 20
and d(m) 6= δ(m) if m = 10, 11, 12, 13, 16, 17, 21. We underline that this second list
contains precisely all the integers in the considered range such that either m+1 ∈
/ ΛB
(m = 10) or δ(m) ∈
/ ΛB . We will examine this case again in Example 2.10.
We now introduce a new function of m, that agrees with δ(m) for every m ≥
2q 2 − 2q − 2, so that it coincides with the distance d(m) of Cm .

Notation 2.8. In the following we will denote by m
e the minimum integer m0 ≥ m
0
0
such that both m + 1 ∈ ΛB and δ(m ) ∈ Λ; moreover δem will denote the integer
δ(m)
e =m
e − (q + 1)(q − 2).

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

7

Note that with our convention about the integer that labels a code Cm , there
always exists a Hermitian code labeled after m
e and that δem is an element in ΛB .
Remark 2.9. In [7], Høholdt, van Lint and Pellikaan divide the Hermitian codes in
four phases. There is a strict relation between these phases and the function m.
e In
this paper we adopt their classification with minor changes.
I phase:: m ≤ q 2 − 2. For some of the integers m in this range, m + 1 is a
gap and we do not label a code after them. Moreover, also for some of the
remaining ones, δ(m) is a gap.
II phase:: q 2 − 1 ≤ m ≤ 2q 2 − 2q − 3. All the integers m + 1 are in ΛB , but
some of the δ(m) are gaps; then m = m
e if and only if δ(m) ∈ Λ.
III phase:: 2q 2 − 2q − 2 ≤ m ≤ q 3 − 2. Both m + 1 ∈ ΛB and δ(m) ∈ Λ , so
that we always have m = m.
e
IV phase:: q 3 − 1 ≤ m ≤ q 3 + q 2 − q − 2. Neither m, nor δ(m) are gaps, but
for some m we have m + 1 ∈
/ ΛB ; then m = m
e if and only if m + 1 ∈ ΛB .
The range we are mainly interested in the present paper corresponds to the I and
especially the II phase. For m in this range we have δ(m) ≤ q 2 − q − 1; then some
of them are negative and we also find among them all the gaps of Λ. Therefore,
in correspondence with the gaps for δ(m) there are “segments ”of values of m that
share a same m.
e More precisely, looking at (2.2) and (2.3), we find a segment of
integers m of this type for each h = 1, . . . , q − 1
(2.4) (q+h−3)(q+1)+1,

...

(q+h−3)(q+1)+t,

...

, (q+h−3)(q+1)+(q−h).

where 1 ≤ t ≤ q − h. Then m
e is for all of them the first integer after the segment,
namely:

e = hq + (q − 2)(q + 1) = w(xh y q−2 )
 m
m
e + 1 = w(xh−1 y q−1 )
(2.5)
 e
δm = w(xh ).
In the following we fix an integer m such that m ≤ 2q 2 − 2q − 3.
Example 2.10. Let us consider again the case of Example 2.7: q = 4 and 11 ≤
m ≤ 22. In the following table we summarize the behavior of the three integers m,
m
e and δem ; in black the segments of decreasing length 3,2,1 of the integers δ(m) that
are gaps and the corresponding m 6= m.
e
m
m
e
δ(m)
δem

11
14
1
4

12
14
2
4

13
14
3
4

14
14
4 = w(x)
4

15
15
5
5

16
18
6
8

17
18
7
8

18
18
8 = w(x2 )
8

19
19
9
9

20
20
10
10

21
22
11
12

22
22
12 = w(x3 )
12

8

C. MARCOLLA AND M. ROGGERO

Note that for 11 ≤ m ≤ 14 we are in the I phase, while the following values m ≤ 21
correspond to the II phase and C22 is the first code in the III phase, already considered
in [13].
In order to find the distance of the code Cm we study the degree of some Fq2 divisors D on the Hermitian curve. The following two results are crucial fact in our
construction.
Proposition 2.11. Let F ∈ Fq2 [x, y] be a polynomial such that ∂x (F ) ≤ q and let X
be the curve given by F = 0. If LM≺ (F ) = xr y s , then
(2.6)

In≺ (hH, F i) = hxq+1 , xr y s , y s+q i

Moreover, the degree of the divisor D cut on H by X is w(xr y s ) = rq + s(q + 1).
More generally, if D is a divisor over H and xr y s is any monomial in In≺ (ID ) with
r ≤ q, then |D| ≤ rq + s(q + 1).
Proof. See Proposition 2.9 of [13] and Corollary 2.10 of [13].



Proposition 2.12. Let D be a Fq2 -divisor on the Hermitian curve. Then the following are equivalent
(i) ∃ c ∈ Cm with c 6= 0 such that Supp(c) ⊆ D;
(ii) dim(Vm,D ) ≤ |D| as Fq2 vector space;
(iii) ∃ xu y v ∈ N (In≺ (ID )) such that m + 1 ≤ w(xu y v ) ≤ m + q + 1;
Proof. See Proposition 2.8 of [13].



Corollary 2.13. Let us consider two Hermitian code Cm and Cm0 with m < m0 .
Then
Dm ⊇ Dm0 and d(m) ≤ d(m0 ).
If, in particular, d(m) = d(m0 ), then Mm ⊇ Mm0 .
Lemma 2.14. Let D be a divisor over the Hermitian curve and let κ be any nonnegative integer. Then
y κ+q ∈ N (In(ID )) =⇒ xq y κ ∈ N (In(ID )).
Proof. We prove the equivalent statement xq y κ ∈ In(ID ) =⇒ y κ+q ∈ In(ID ).
Let F be a monic polynomial in ID P
such that In(F ) = xq y κ ; we can write it as
κ
i−1 κ−i
F = xq y κ + xq+1 G + M with G =
y
and ∂M < q + κ. Then the
i=1 ai x
κ
polynomial S := xF −y H −xGH belongs to ID . We prove that its leading monomial
is y κ+q . By a straightforward computation we see that S = y κ+q + x(M + y q G + yG)
is a polynomial of degree q + κ, hence y κ+q is its maximum degree with respect to
the term order ≺.


MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

9

3. Distance and minimum-weight codewords of codes in the I phase
Now we focus on the codes Cm with m ≤ q 2 − 2, such that m + 1 belongs to a
sequence
hq = w(xh ),

...

(h − i)q + i(q + 1) = w(xh−i y i )

...

h(q + 1) = w(y h )

for some 1 ≤ h ≤ q − 1. The distance of these codes is at least h + 1, since for every
divisor D ∈ Dm the sous-éscalier N (In(ID )) contains at least one of the following
monomials xh , xh−1 y, . . . , y h , each having at least h + 1 factors.
In fact the distance of Cm is equal to h+1. We obtain this equality considering the
divisor D complete intersection of a vertical line L of equation x = u, with u ∈ Fq2 ,
and the curve union of h + 1 horizontal lines passing through h + 1 Fq2 -points of
L ∩ H.
We can now describe all the divisors in Mm . Since all the above monomials have
more than h + 1 factors, except xh and y h , for every D ∈ Mm either y h ∈ N (In(ID ))
or xh ∈ N (In(ID )):
- If y h ∈ N (In(ID )), then N (In(ID )) must be the set of divisors of y h , namely
In(ID ) = hx, y h+1 i. Thus, we obtain precisely the divisors described above.
- If xh ∈ N (In(ID )), then D ∈ Mm only if m + 1 ≤ w(xh ) = hq and N (In(ID ))
is the set of divisors of xh , namely In(ID ) = hy, xh+1 i. Thus, Mhq−1 also contains the divisors D complete intersection of a non-vertical line L0 of equation
y = ux + v, with (u, v) ∈ F2q2 \ {(0, 0)}, and the curve union of h + 1 vertical
lines passing through h + 1 Fq2 -points of L0 ∩ H.

Note that this result is equivalent to that found in [12]. For more details see
Section 6.

Example 3.1. Consider again the case q = 4 and the codes Cm with m = 11, 12, 13, 14.
If D is a Fq2 -divisor which is the support of some codewords of C11 , we know by Proposition 2.12 (iii) that N (In(ID )) contains at least one of the monomials x3 , x2 y, xy 2 , y 3 ,
hence |D| ≥ 4, since there are at least 4 monomials that divide each of those monomials. Then d(m) ≥ 4.
On the other hand, by the same proposition we see that the divisor D0 cut on H
by the line x = 0 is the support of a codeword of C14 since N (In(ID )) contains the
monomial y 3 whose w-weight is 15, so that d(14) ≤ 4.
Therefore, from 4 ≤ d(11) ≤ d(12) ≤ d(13) ≤ d(14) ≤ 4 we obtain that the distance
of the code C11 , C12 , C13 , and C14 , is 4.
All the divisors D ∈ M14 are such that In(ID ) = hx, y 4 i. On the converse, every
divisor on H of degree 4 such that In(ID ) = hx, y 4 i is in M4 if it is made of 4 different
Fq2 -points. Therefore the divisors D ∈ M14 are precisely the sets of 4 Fq2 -points of

10

C. MARCOLLA AND M. ROGGERO

H with the same x-coordinate. They are also the set of divisors in M12 , M13 , while
in M12 there are also those with In(ID ) = hy, x4 i.
4. The distance of the Hermitian codes Cm in the II phase
In this section we prove that the distance of the codes in the II phase is given by
the formula d(m) = δem . This result holds true also for the codes in the final part of
the I phase, that we include in our statements, and for the codes of the III and IV
phase already considered in [13]. Furthermore, Theorem 4.1 gives informations also
about the small-weight codewords of Cm , more precisely for those of weight d(m) + κ
for some κ ≤ q. Therefore we state and prove it in the widest generality, namely also
including III and IV phases.
Of course, for every m, the value of δem agrees with that given by the well known
formulas of the distance proved by [7, 17, 18], provided one takes in account the
different notation.
We start considering the codes with m = m.
e
Theorem 4.1. Let us consider an Hermitian code Cm with m ≥ q 2 − q − 1 and
m = m.
e Let xu y v ∈ B be a monomial with w(xu y v ) = m + 1 + κ for some 0 ≤ κ ≤ q.
If D is a divisor over H such that xu y v ∈ N (In(ID )), then
|D| ≥ δem + κ.
More precisely, if δ(m) = µq + λ(q + 1), then
(a):
(b):
(c):
(d):
(e):

if µ = 0 and 0 ≤ κ ≤ q − λ then |D| ≥ δem + κ(q + 1 − λ − κ).
if µ = 0 and κ ≥ q − λ + 1 then |D| ≥ δem + κ.
if µ 6= 0 and 0 ≤ κ ≤ µ − 1, then |D| ≥ δem + κ.
if µ 6= 0 and µ ≤ κ ≤ q − λ, then |D| ≥ δem + (κ − µ)(q − λ − κ) + κ.
if µ 6= 0 and q − λ + 1 ≤ κ ≤ q, then |D| ≥ δem + κ.

Proof. First of all we observe that the minimum m that satisfies the hypotheses is
q 2 − 2. Therefore, we may assume without lost in generality m ≥ q 2 − 2.
We first assume that µ = 0, so that δem = λ(q + 1). The only monomial in B with
w-weight m + 1 + κ is xu y v = xq−κ y λ+κ−1 .
(a) If q − λ − κ ≥ 0, counting the monomials that divides xq−κ y λ+κ−1 we get the
bound:
|D| ≥ (q − κ + 1)(λ + κ) = δem + κ(q + 1 − λ − κ) ≥ δem + κ.
(b) If λ + κ − q > 0, we observe that λ + κ − 1 ≥ q and y λ+κ−1 ∈ N (In(ID ));
then we apply Lemma 2.14 and see that also the monomial xq y λ+κ−1−q is

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

11

in N (In(ID )). Counting the monomials that divide either xq−κ y λ+κ−1 or
xq y λ+κ−1−q we get the bound
|D| ≥ (q − κ + 1)(λ + κ) + κ(λ + κ − q) = δem + κ.

Now suppose δ(m) = w(xµ y λ ) with µ > 0. The monomial xu y v having w-weight
m + 1 + κ is xµ−κ−1 y λ+q+κ−1 for κ = 0, . . . , µ − 1 and xµ+q−κ y λ+κ−1 for κ = µ, . . . , q.
(c) If 0 ≤ κ ≤ µ − 1, by Lemma 2.14 we also see that xq y λ+κ−1 ∈ N (In≺ (ID )).
Counting the monomials that divide either xµ−κ−1 y λ+q+κ−1 or xq y λ+κ−1 we
get
|D| ≥ (µ − κ)(λ + q + κ) + (q + 1 − µ + κ)(λ + κ) = δem + κ.

(d) If µ ≤ κ ≤ q − λ, counting the monomials that divide xµ+q−κ y λ+κ−1 we get
|D| ≥ (µ + q − κ + 1)(λ + κ) = δem + (κ − µ)(q − λ − κ) + κ ≥ δem + κ.

(e) If q − λ + 1 ≤ κ ≤ q, we see in the same way that xq y λ+κ−1−q ∈ N (In≺ (ID )).
Counting the monomials that divide either xµ+q−κ y λ+κ−1 or xq y λ+κ−1−q we
get
|D| ≥ (µ + q − κ + 1)(λ + κ) + (q − µ − q + κ)(λ + κ − q) = δem + κ.

Theorem 4.2. Let Cm be any code with q 2 − q ≤ m ≤ 2q 2 − 2q − 3. Then its distance
is
d(m) = δem .
Moreover, there exist divisors in Mm that are cut on H by a suitable union of lines.
Proof. If m = m,
e we have already proved the result in Theorem 4.1. Then assume
m
e > m. By Corollary 2.13 it is sufficient to prove that d(m) ≥ d(m)
e = δem .
By this same result it is also sufficient to prove the result for the integers m such
that δ(m) is the first integer in a segment of gaps. By (2.4) and (2.5) there is an
integer h such that 1 ≤ h ≤ q − 1 and m = (q + h − 3)(q + 1) + 1, δem = hq = w(xh ).
We first assume h ≥ 2. In this case m = w(xq y h−2 ) ∈ ΛB and δ(m − 1) = (h − 1)(q +
1) = w(y h−1 ) ∈ Λ, so that the integer m − 1 is one of those considered in Theorem
4.1 (a) and (b). Therefore, we know that d(m − 1) = δ(m − 1) = (h − 1)(q + 1).
Let D be any divisor in Dm . By hypothesis, N (In(ID )) contains a monomial xu y v
whose w-weight is m + 1 + t for some t ≥ 0. By Corollary 2.13 D also belongs to
Dm−1 and we can apply to it Theorem 4.1 (a) with κ := t + 1 ≥ 1 and λ = h − 1.
If κ ≤ q + 1 − h, we get by (a) of Theorem 4.1,
|D| ≥ δ(m − 1) + κ(q + 1 − λ − κ) = hq + (k − 1)(q + 1 − h − k) ≥ hq = δem .

12

C. MARCOLLA AND M. ROGGERO

On the other hand, if κ > q + 1 − h then by (b) of Theorem 4.1,
|D| ≥ δ(m − 1) + κ ≥ (h − 1)(q + 1) + (q + 1 − h) = hq = δem .
We obtain the equality d(m) = δem proving the second assertion.
We may assume that m = m
e as Mm
e ⊆ Mm (Corollary 2.13). With this assumption,
we can apply Theorem 4.2 and see that the equality |D| = δem can hold only when
κ = 0, namely when w(xu y v ) = m + 1. In particular if µ = 0, the equality can hold
only when u = q and v = λ − 1, while if µ ≥ 1 the equality can hold only when
u = µ − 1 and v = λ + q − 1.
In both cases we obtain an Fq2 -divisor D0 of degree δem as the divisor cut on H by a
curve Y union of lines, as we proved in Theorem 3.3 of [13]. Specifically,
- if µ = 0, it is sufficient to chose Y as the union of λ horizontal lines that
intersect H in q Fq2 -points; the monomial xq y λ−1 with w-weight m+1 belongs
to In≺ (ID0 ) = hxq+1 , y λ i, hence D0 is the support of codewords of Cm by
Proposition 2.12 .
- if µ ≥ 1, it is sufficient to chose Y as the union of µ vertical and λ horizontal
lines, each intersecting H in q and, respectively, q+1 Fq2 -points; the monomial
xµ−1 y λ+q−1 with w-weight m + 1 belongs to In≺ (ID0 ) = hxq+1 , xµ y λ , y λ+q i,
hence D0 is the support of codewords of Cm .

5. Geometric description of minimum weight codewords in the II
phase
In this section we focus on the Fq2 -divisor that are the support of minimum weight
codewords of codes Cm in the II phase and prove that they are all complete intersection of two curves and describe equations for each of them. In fact we prove this
result assuming q 2 − q − 1 ≤ m ≤ 2q 2 − 2q − 3, a range that contains the II phase
and also part of the I phase.
We first consider the case of a code Cm with m = m.
e
Example 5.1. Let us consider again the same case q = 4 of the previous examples.
For m = 18 we have m + 1 = 19 ∈ ΛB and δ(m) = 8 ∈ Λ, so that m = m
e = 18. By
Theorem 4.2 the distance of the C18 is d(m) = δem = δ(m) = 8. Let D be a divisor in
M18 . By Theorem 4.1, the only monomial in B with w-degree m + 1 = 19, namely
xy 3 , belongs to N (In(ID )). Then N (In(ID )) ⊇ {1, y, y 2 , y 3 , x, xy, xy 2 , xy 3 } and the
inclusion is in fact an equality, as |N (In(ID ))| = |D| = 8. The monomial x2 is not
one of them, hence it belongs to In(ID ), namely there is a curve X , defined by a
polynomial F with leading monomial x2 , that contains D.

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

13

Again the inclusion D ⊆ H ∩ C is an equality as the degree of this zero-dimensional
scheme is 8 (Proposition 2.11). Therefore, D is the complete intersection of the
Hermitian curve H and the curve defined by a polynomial F whose leading monomial
is the unique monomial in B with w-weight 8 = d(m).
On the converse, let F be a polynomial with leading monomial x2 , namely F =
x2 − (sy + s0 x + s00 ) that cuts on H a set D of 8 points with coordinates in Fq2 . By
Proposition 2.12, D ∈ M18 since the the initial ideal of ID = hx5 − y 4 − y, F i =
hy 4 + y − x(sy + s0 x + s00 )2 , F i does not contain the monomial xy 3 with w-weight
19 = m + 1.
Theorem 5.2. Let Cm be an Hermitian with q 2 − q − 1 ≤ m ≤ 2q 2 − 2q − 3 and
m = m.
e
If D is a Fq2 -divisor of degree δ(m) = δem = µq + λ(q + 1), then D ∈ Mm if and only
if D = H ∩ X with X a curve defined by a polynomial F such that LM≺ (F ) = xµ y λ .
Proof. Let D be a Fq2 -divisor cut on H by a curve X defined by a polynomial F
such that LM≺ (F ) = xµ y λ . We may assume without lost of generality that F also
satisfies the condition ∂x (F ) ≤ q; in fact, if necessary, we can substitute F by its
reduction modulo H, that satisfies all the required conditions LM≺ (F 0 ) = xµ y λ ,
∂x (F 0 ) ≤ q and ID = hH, F 0 i. Therefore we can apply Proposition 2.11 and see that
|D| = µ + λ(q + 1) and N (In(ID )) = N (hxq+1 , xµ y λ , y λ+q i) contains a monomial with
w-weight larger than m; more precisely it contains xµ−1 y λ+q−1 if µ > 0 and xq y λ−1
if µ = 0.
By Proposition 2.12 and Theorem 4.2, D belongs to Mm , since µq + λ(q + 1) = δem =
d(m).
On the other hand, let us assume that D is a divisor in Mm . By Theorem 4.2 its
degree is µq + λ(q + 1) = δem ; moreover, by Proposition 2.12 and Theorem 4.1, its
support contains the monomial xa y b ∈ B such that w(xa y b ) = m + 1.
We now consider the two cases related to the integer µ.
If µ = 0: then xa y b = xq y λ−1 . By Theorem 4.1 (a), the sous-éscalier N (In≺ (ID ))is
the set of monomials that divides xq y λ−1 . Hence y λ belongs to In≺ (ID ),
namely there is a polynomial F in ID with leading monomial y λ .
If µ 6= 0: then xa y b = xµ−1 y λ+q−1 . By Theorem 4.1 (c), N (In≺ (ID )) is the
set of monomials that divides either xµ−1 y λ+q−1 or xq y λ−1 , hence there is a
polynomial F in ID with leading monomial xµ y λ .
In both cases, ID is contained in hH, F i and, by Proposition 2.11, they are in fact
equal since they define zero-dimensional schemes of the same degree d(m) = δem . 
We observe that the proof of the above result is very similar to that of the analogous
results for Hermitian codes of the III and IV phases in [13]. Before state and prove

14

C. MARCOLLA AND M. ROGGERO

the results for the other codes Cm of the II phase, we show by an example the different
behavior that appears when m < m.
e
Example 5.3. Similarly to the previous examples, we assume q = 4. For m = 16
we have m
e = 18 and the distance of the code C16 is the same as that of C18 , namely
d(16) = d(18) = 8 = w(x2 ) (Theorem 4.2 or Example 5.1).
By Theorem 5.2 the minimum codewords of C18 are supported on complete intersection D of H and a curve X defined by a polynomial F with LM≺ (F ) = x2 . By
Proposition 2.12 we see that these divisors D belongs to M16 .
On the other hand this same result allows the possibility that there are divisors
D ∈ M16 \ M18 .
The monomials xu y v ∈ B with 16 + 1 ≤ w(xu y v ) < 18 + 1 are x3 y and x2 y 2 . Every
divisor D such that x2 y 2 ∈ N (In≺ (ID )) has degree at least 9, hence it does not
belong to M16 .
Then assume that x3 y ∈ N (In≺ (ID )), so that ID = (F, G) with LM≺ (F ) = x4 and
LM≺ (G) = y 2 . For instance we can obtain divisors of this type in the following way:
every line y − β with β ∈ Fq2 , β 6= 0 intersect H in 5 points (αi , β) with αi ∈ Fq2 .
If β 4 + β = γ 4 + γ then also (αi , γ) ∈ H; the polynomials F = Π(x − αi ) and
G = (y − β)(y − γ) define two curves as wanted.
Note that the divisors that are support of minimum-weight codewords for C17 are so
also for C16 , but the converse is not true in general. Indeed, we have M16 ) M17 =
M18 .
Theorem 5.4. Let Cm be an Hermitian with q 2 − q − 1 ≤ m ≤ 2q 2 − 2q − 3 and
m < m,
e so that δem = µq = w(xµ ).
A Fq2 -divisor D over the Hermitian curve H is the support of minimum weight
codewords of Cm if and only if it is a complete intersection of either of the following
types:
(i) D = H∩X with X the curve defined by a polynomial F such that LM≺ (F ) = xµ ;
(ii) m = (µ + q − 3)(q + 1) + 1 with 1 ≤ µ ≤ q − 1 and D = X ∩ Y with X , Y curves
defined by polynomials F1 and F2 such that LM≺ (F1 ) = xq and LM≺ (F2 ) = y µ .
Proof. By Theorem 4.2 and Corollary 2.13 we have d(m) = d(m)
e = µq and Mm
e ⊆
Mm . Then, by Theorem 5.2 all the divisors in (i) are the support of codewords of Cm .
Therefore, it is sufficiente to prove that Mm
e = Mm except for m = (µ+q−3)(q+1)+1
and that in this case the divisors in Mm \ Mm
e are those described in (ii).
Let m = (µ + q − 3)(q + 1) + 1 and D ∈ Mm \ Mm
e . By Proposition 2.12 and
Theorem 5.2 we know that N (In(ID )) contains one of the monomials with w-weight
between m + 1 and m,
e namely of the type xq−i y µ+i−2 with i = 1, . . . , q − µ.
Each of these monomials, except the first one, has more than µq factors, hence
D∈
/ Mm if xq−i y µ+i−2 ∈ N (In(ID )) for some i > 1. The first monomial xq−1 y µ−1

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

15

has exactly µq factors and its w-weight is m + 1, so that the corresponding divisors
do not belong to Mm0 for every m0 > m.
Moreover, we obtain a divisor D of degree µq such that xq−1 y µ−1 ∈ N (In(ID )) only
if N (In(ID )) is precisely the set of µq monomials that divide xq−1 y µ−1 . Therefore,
xq , y µ ∈ In(ID ). If F1 and F2 are polynomials in ID such that LM≺ (F1 ) = xq and
LM≺ (F2 ) = y µ , then they generate ID .
Note that divisors D as above do exist; for instance we can choose q distinct elements
αi ∈ Fq2 and µ distinct elements βj ∈ Fq2 such that tr(βj ) = N (αi ) for every i, j and
take F1 = Πqi=1 (x − αi ) and F2 = Πµj=1 (y − βj ).

6. Comparison with the known results
As already underlined the results we obtain about the distance of the Hermitian
codes, though formulated in a different way, agree with those proved by Stichtenoth
[17], Yang and Kumar [18] and Høholdt, van Lint and Pellikaan [7].
Furthermore, there is a partial overlap with known results for what concerns the
geometric description of minimum weight codewords. In particular, Marcolla, Pellegrini and Sala [12] find a geometric description for the codes in the I phase, while
Ballico and Ravagnani [1] find it for a few codes of the II phase. We state and prove
again the known results for sake of completeness and to highlight the simplicity of
our method. Moreover, the different description we propose for the divisors D ∈ Mm
shows that also for the already know cases they are complete intersection.
We now compare our results with the know ones.
I phase. In [12], the authors consider Hermitian codes Cm with d(m) ≤ q, that is,
m ≤ q 2 − 2. The result obtained in [12] is complete, but the description of minimum
weight codewords is slightly different from ours. For instance in Corollary 1 of [12]
the authors describe this support for some codes that they call edge codes in the
following way “The support of a minimum-weight codeword lies in the intersection
of the Hermitian curve H and a vertical line.”
The edge codes Cm with q 2 − q ≤ m ≤ q 2 − 2 appear among those considered in
Sections 4 and 5. Specializing our general results we get that the distance of such
a code Cm is q and that D ∈ Mm if and only if D ⊂ E and it is the complete
intersection of H and a curve X defined by a polynomial F such that LM (F ) = x;
X is indeed the vertical line of [12, Corollary 1] that we mention above.
A tricky case is that of the codes Cm called corner codes in [12], where it is proved
that the set of points “corresponding to minimum-weight codewords lies on a same
line.”

16

C. MARCOLLA AND M. ROGGERO

The corner code with m = q 2 − q − 1 is one of those considered in Theorem 5.4 (ii);
in fact m = (µ + q − 3)(q +1)+1 with µ = 1. However, in our description divisors on
vertical lines and divisors on non-vertical lines come from the two different families
described in either (i) or (ii) of Theorem 5.4 in terms of initial ideal. Indeed, if
D ⊂ E, then D ∈ Mq2 −q−1 if and only if it is of either type :
(i) D = L ∩ H with In(ID ) = hx, y q i (L a vertical line)
(ii) D = L0 ∩ X with In(ID ) = hy, xq i (L0 a non-vertical line).
II phase. For the codes of the II phase we compare our results with [1, Theorem
19], that only concerns the codes Cm with q 2 < m ≤ q 2 + q corresponding to codes
having distance 2q, 2q +1 and 2q +2. We compare the two descriptions of the divisors
D ∈ Mm . In [1, Theorem 19] it is proved that
- if the distance is either 2q + 2 or 2q, then D ∈ Mm if and only if D ⊆ E and
it is contained into a conic of P2 .
- if d = 2q + 1, then D ∈ Mm if and only if D ⊂ E and P∞ ∪ D lie on a conic
of P2 .
This description is substantially equivalent to ours, where the the condition about P∞
is replaced by a condition on the leading monomials of the polynomial that defines
the conic.
However, in [1, Theorem 19] the case with distance 2q and a = q (in our notation
is the code Cq2 ) is missing. Indeed, this is another tricky case of Theorem 5.4 (ii)
similar to the one quoted above; in fact m = (µ + q − 3)(q + 1) + 1 with µ = 2. For
these codes, the divisors support of minimum weight codewords are of two different
types. In particular, D ∈ Mm if and only if D ⊂ E and it is either the complete
intersection of H and a curve X defined by a polynomial F such that LM (F ) = x2
or D is the complete intersection of the curves defined by two polynomials F1 and
F2 such that LM≺ (F1 ) = xq and LM≺ (F2 ) = y 2 .
7. Conclusion
With this paper the authors conclude the analysis of the supports of minimum
weight codewords of the Hermitian codes, obtaining the general result (Theorem A):
For any Hermitian code Cm , the support of every minimum-weight codeword is a
complete intersection of two plane curves.
In the previous paper [13] it is proved that the distance of every code Cm with
m ≥ 2q 2 − 2q − 2 (III and IV phase) is given by d(m) = m − q 2 + q + 2, hence there is
a 1 − 1 correspondence between codes and distances; moreover the distance of every
code can be written as d(m) = µq + λ(q + 1) and a set of d(m) distinct Fq2 -points
D is the support of minimum weight codewords of Cm if and only if D is cut on
H by a curve X defined by a polynomial F with leading monomial xµ y λ w.r.t. the
DegRevLex.

MINIMUM-WEIGHT CODEWORDS ARE COMPLETE INTERSECTIONS

17

In the present paper the codes Cm with m ≤ 2q 2 − 2q − 3 (I and II phase) are
considered. There are a few substantial differences with respect to the codes with
higher distance. The first one is that several codes may have the same distance. A
second difference is that the support of minimum weight codewords of some codes
Cm are complete intersections of two curves in the affine plane, but are not complete
intersection in H. This happens for almost all the codes in the I phase and for some
special code in the II phase
- in the I phase the supports of minimum weight codewords of a code Cm are
sets of d(m) points on a line; when d(m) < q, they cannot be obtained cutting
H by a single curve, though they are complete intersection of a line and a
curve of degree d(m) (see [12, Corollary 1,Proposition 2] or Section 3).
- in the II phase, if m ≡ 1 mod q + 1 there are two different “families ”of
divisors on H that are support of minimum weight codewords of Cm . Indeed,
there is an integer µ, 1 ≤ µ ≤ q − 1, such that m = (µ + q − 3)(q + 1) + 1 and
the distance is d(m) = µq. The support of a minimum weight codeword can
be either the divisor cut on H by a curve X given by a polynomial F with
LM≺ (F ) = xµ or the complete intersection of two curves X and Y defined
by polynomials F1 and F2 such that LM≺ (F1 ) = xq and LM≺ (F2 ) = y µ (see
Theorem 5.4 (ii)).
References
1. E. Ballico and A. Ravagnani, On the geometry of hermitian one-point codes, Journal of Algebra
397 (2014), 499–514.
2. A. I. Barbero and C. Munuera, The weight hierarchy of hermitian codes, SIAM Journal on
Discrete Mathematics 13 (2000), no. 1, 79–104.
3. A. Couvreur, The dual minimum distance of arbitrary-dimensional algebraic–geometric codes,
Journal of Algebra 350 (2012), no. 1, 84–107.
4. C. Fontanari and C. Marcolla, On the geometry of small weight codewords of dual algebraic
geometric codes, International Journal of Pure and Applied Mathematics 98 (2015), no. 3,
303–307.
5. P. Heijnen and R. Pellikaan, Generalized hamming weights of q-ary reed-muller codes, IEEE
Trans. Inform. Theory, Citeseer, 1998.
6. J.W.P. Hirschfeld, G. Korchmáros, and F. Torres, Algebraic curves over a finite field, Princeton
Univ Pr, 2008.
7. T. Høholdt, J. H. van Lint, and R. Pellikaan, Algebraic geometry of codes, Handbook of coding
theory, Vol. I, II (V. S. Pless and W.C. Huffman, eds.), North-Holland, 1998, pp. 871–961.
8. K. Lee and M. E. O’Sullivan, List decoding of hermitian codes using gröbner bases, Journal of
Symbolic Computation 44 (2009), no. 12, 1662–1675.
9. K. Lee and M. E. O’Sullivan, Algebraic soft-decision decoding of hermitian codes, Information
Theory, IEEE Transactions on 56 (2010), no. 6, 2587–2600.
10. C. Marcolla, E. Orsini, and M. Sala, Improved decoding of affine-variety codes, Journal of Pure
and Applied Algebra 216 (2012), no. 7, 1533–1565.

18

C. MARCOLLA AND M. ROGGERO

11. C. Marcolla, M. Pellegrini, and M. Sala, On the Hermitian curve and its intersections with
some conics, Finite Fields Appl. (2014), no. 28, 166–187.
, On the small-weight codewords of some Hermitian codes, Journal of Symbolic Compu12.
tation (2016), no. 73, 27–45.
13. C. Marcolla and M. Roggero, Hermitian codes and complete intersections, arXiv preprint
arXiv:1510.03670 (2015).
14. C. Munuera and D. Ramirez, The second and third generalized hamming weights of hermitian
codes, Information Theory, IEEE Transactions on 45 (1999), no. 2, 709–712.
15. M. E. O’Sullivan, Decoding of hermitian codes: the key equation and efficient error evaluation,
Information Theory, IEEE Transactions on 46 (2000), no. 2, 512–523.
16. H. G. Ruck and H. Stichtenoth, A characterization of Hermitian function fields over finite
fields, Journal fur die Reine und Angewandte Mathematik 457 (1994), 185–188.
17. H. Stichtenoth, A note on Hermitian codes over GF(q2), Information Theory, IEEE Transactions on 34 (1988), no. 5, 1345–1348.
18. K. Yang and P. V. Kumar, On the true minimum distance of hermitian codes, Coding theory
and algebraic geometry, Springer, 1992, pp. 99–107.
19. K. Yang, P. V. Kumar, and H. Stichtenoth, On the weight hierarchy of geometric goppa codes,
Information Theory, IEEE Transactions on 40 (1994), no. 3, 913–920.
Chiara Marcolla. Dipartimento di Matematica dell’Università di Torino, Via Carlo
Alberto 10, 10123 Torino, Italy
E-mail address: chiara.marcolla@unito.it
Margherira Roggero. Dipartimento di Matematica dell’Università di Torino, Via
Carlo Alberto 10, 10123 Torino, Italy
E-mail address: margherita.roggero@unito.it

