1. science
2. mathematics
3. geometry

PROJECTIVE SEGRE CODES
arXiv:1501.01692v1 [math.AC] 8 Jan 2015
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
Abstract. Let K = Fq be a finite field. We introduce a family of projective Reed-Mullertype codes called projective Segre codes. Then we study their basic parameters and show that
they are direct products of projective Reed-Muller-type codes. It turns out that the direct
product of two projective Reed-Muller-type codes is again a projective Reed-Muller-type code.
As a consequence we recover some results on projective Reed-Muller-type codes over the Segre
variety and over projective tori.
1. Introduction
Let K be an arbitrary field, let a1 , a2 be two positive integers, let Pa1 −1 , Pa2 −1 be projective
spaces over K, and let K[x] = K[x1 , . . . , xa1 ], K[y] = K[y1 , . . . , ya2 ], K[t] = K[t1,1 , . . . , ta1 ,a2 ] be
polynomial rings with the standard grading. If d ∈ N, let K[t]d denote the set of homogeneous
polynomials of total degree d in K[t], together with the zero polynomial. Thus K[t]d is a
K-linear space and K[t] = ⊕∞
d=0 K[t]d . In this grading each ti,j is homogeneous of degree one.
Given Xi ⊂ Pai −1 , i = 1, 2, denote by I(X1 ) (resp. I(X2 )) the vanishing ideal of X1 (resp.
X2 ) generated by the homogeneous polynomials of K[x] (resp. K[y]) that vanish at all points
of X1 (resp. X2 ). The Segre embedding is given by
ψ : Pa1 −1 × Pa2 −1 → Pa1 a2 −1 = Ps−1
([α1 , . . . , αa1 ], [β1 , . . . , βa2 ]) → [(αi βj )],
where [(αi βj )] := [(α1 β1 , α1 β2 , . . . , α1 βa2 , . . . , αa1 β1 , αa1 β2 , . . . , αa1 βa2 )]. The map ψ is welldefined and injective [16, p. 13]. The image of X1 × X2 under the map ψ, denoted by X, is called
the Segre product of X1 and X2 or simply a Segre set. The vanishing ideal I(X) of X is a graded
ideal of K[t], where the ti,j variables are ordered as t1,1 , . . . , t1,a2 , . . . , ta1 ,1 , . . . , ta1 ,a2 . The Segre
embedding is used in algebraic geometry to show that the product of projective varieties is
again a projective variety, see [15, Lecture 2]. If Xi = Pai −1 for i = 1, 2, the set X is a projective
variety and is called a Segre variety [15, p. 25]. The Segre embedding has also been used in
coding theory to study the minimum weights of some product codes; see [23] and the references
therein. If K ∗ = K \ {0} and Ti is the image of (K∗ )ai , under the map (K ∗ )ai → Pai −1 , x → [x],
we call Ti a projective torus in Pai −1 .
The contents of this paper are as follows. In Section 2 we introduce the family of projective Reed-Muller-type codes, examine their basic parameters, and explain the relation between
Hilbert functions and projective Reed-Muller-type codes (see Proposition 2.4). Then we show
that K[t]/I(X) is the Segre product of K[x]/I(X1 ) and K[y]/I(X2 ) (see Theorem 2.6). Segre
products have been studied by many authors; see [8, 14, 17] and the references therein. All
results of this section are well known.
2000 Mathematics Subject Classification. Primary 13P25; Secondary 14G50, 14G15, 11T71, 94B27, 94B05.
The first author was partially supported by CONACyT. The second author is a member of the Center for
Mathematical Analysis, Geometry, and Dynamical Systems, Departamento de Matematica, Instituto Superior
Tecnico, 1049-001 Lisboa, Portugal. The third author was partially supported by SNI.
1
2
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
If K = Fq is a finite field, we introduce a family {CX (d)}d∈N of projective Reed-Mullertype codes that we call projective Segre codes (see Definition 2.2). It turns out that CX (d) is
isomorphic to K[t]d /I(X)d , as K-vector spaces, where I(X)d is equal to I(X)∩K[t]d . Accordingly
CX1 (d) ≃ K[x]d /I(X1 )d and CX2 (d) ≃ K[y]d /I(X2 )d . In Section 3 we study the basic parameters
(length, dimension, and minimum distance) of projective Segre codes. One of our main results
expresses the basic parameters of CX (d) in terms of the basic parameters of CX1 (d) and CX2 (d)
(see Theorem 3.1). Then we show that CX (d) is also the direct product of CX1 (d) and CX2 (d)
(see Theorem 3.3). This means that the direct product of two projective Reed-Muller-type
codes of degree d is again a projective Reed-Muller-type code of degree d. The direct product
codes usually have poor minimum distance but are easy to decode and can be useful in certain
applications; see [21, Chapter 18]. As an application we recover some results on Reed-Mullertype codes over projective tori and over the Segre variety [12, 14].
Affine and projective Reed-Muller-type codes have been successfully studied using commutative algebra methods (e.g., Hilbert functions, resolutions, Gr¨
obner bases). Formulas for their
basic parameters are known for a number of families [2, 3, 5, 6, 7, 9, 11, 12, 13, 14, 18, 22, 24].
In this paper we use these methods to study projective Segre codes over finite fields. Since
affine Reed-Muller-type codes can be regarded as projective Reed-Muller-type codes [19], our
results can be applied to obtain explicit formulas for the basic parameters of CX (d) if CX1 (d) is
in one of these families and CX2 (d) is in another of these families or both are in the same family.
In particular: If X1 = Pa1 −1 and X2 = Pa2 −1 , using Theorem 3.1 we recover the formula for
the minimum distance of CX (d) given in [14, Theorem 5.1], and if Xi is a projective torus for
i = 1, 2, using Theorem 3.1 we recover the formula for the minimum distance of CX (d) given in
[12, Theorem 5.5]. In these two cases formulas for the basic parameters of CXi (d), i = 1, 2, are
given in [24, Theorem 1] and [22, Theorem 3.5], respectively.
For all unexplained terminology and notation, and for additional information we refer to [4, 25]
(for the theory of Hilbert functions) and to [21, 26] (for coding theory). Our main references for
commutative algebra and algebraic geometry are [1, 8, 15].
2. Preliminaries
In this section, we present some of the results that will be needed throughout the paper and
introduce some more notation. All results of this section are well-known.
Hilbert functions. Let K be a field. Recall that the projective space of dimension s − 1 over
K, denoted by Ps−1 , is the quotient space
(K s \ {0})/ ∼
where two points α, β in K s \ {0} are equivalent under ∼ if α = λβ for some λ ∈ K ∗ . We denote
the equivalence class of α by [α].
Let X 6= ∅ be a subset of Ps−1 . Consider a graded polynomial ring S = K[t1 , . . . , ts ], over
the field K, where each ti is homogeneous of degree one. Let Sd denote the set of homogeneous
polynomials of total degree d in S, together with the zero polynomial, and let I(X) be the
vanishing ideal of X generated by the homogeneous polynomials
of S that vanish at all points
d+s−1
of X. The set Sd is a K-vector space of dimension s−1 . We let
I(X)d := I(X) ∩ Sd ,
denote the set of homogeneous polynomials in I of total degree d, together with the zero polynomial. Note that I(X)d is a vector subspace of Sd . Then the Hilbert function of the quotient
PROJECTIVE SEGRE CODES
3
ring S/I(X), denoted by HX (d), is defined as
HX (d) := dimK (Sd /I(X)d ).
According to a classical result of Hilbert [1, Theorem 4.1.3], there is a unique polynomial
hX (t) = ck tk + (terms of lower degree)
of degree k ≥ 0, with rational coefficients, such that hX (d) = HX (d) for d ≫ 0. The integer k +1
is the Krull dimension of S/I(X), k is the dimension of X, and hX (t) is the Hilbert polynomial of
S/I(X). The positive integer ck (k!) is the degree of S/I(X). The index of regularity of S/I(X),
denoted by reg(S/I(X)), is the least integer r ≥ 0 such that hX (d) = HX (d) for d ≥ r. The
degree and the Krull dimension are denoted by deg(S/I(X)) and dim(S/I(X)), respectively.
Proposition 2.1. ([7], [10], [20]) If X is a finite set and r = reg(S/I(X)), then
1 = HX (0) < HX (1) < · · · < HX (r − 1) < HX (d) = deg(S/I(X)) = |X|
for d ≥ r.
Projective Reed-Muller-type codes. In this part we introduce the family of projective ReedMuller-type codes and its connection to vanishing ideals and Hilbert functions.
Let K = Fq be a finite field and let X = {P1 , . . . , Pm } =
6 ∅ be a subset of Ps−1 with m = |X|.
Fix a degree d ≥ 1. For each i there is fi ∈ Sd such that fi (Pi ) 6= 0; we refer to Section 3 to see
a convenient way to choose f1 , . . . , fm . There is a well-defined K-linear map given by
f (Pm )
f (P1 )
,...,
(2.1)
evd : Sd = K[t1 , . . . , ts ]d → K |X| ,
f 7→
.
f1 (P1 )
fm (Pm )
The map evd is called an evaluation map. The image of Sd under evd , denoted by CX (d), is
called a projective Reed-Muller-type code of degree d over the set X [7, 14]. It is also called an
evaluation code associated to X [11].
Definition 2.2. If K = Fq is a finite field and X is the Segre product of X1 and X2 , we say that
CX (d) is a projective Segre code of degree d.
Definition 2.3. A linear code is a linear subspace of K m , where K = Fq . The basic parameters
of the linear code CX (d) are:
(a) length: |X|,
(b) dimension: dimK CX (d), and
(c) minimum distance: δX (d) := min{ω(v) : 0 6= v ∈ CX (d)}, where ω(v) is the number of
non-zero entries of v.
The basic parameters of projective Reed-Muller-type codes have been computed in a number
of cases. If X = Ps−1 , CX (d) this is the classical projective Reed–Muller code and its basic
parameters are described in [24, Theorem 1]. If X is a projective torus, CX (d) is the generalized
projective Reed–Solomon code and its basic parameters are described in [22, Theorem 3.5]. For
cartesian codes, the basic parameters are described in [18, Theorem 3.8].
The following summarizes the well-known relation between projective Reed-Muller-type codes
and the theory of Hilbert functions.
Proposition 2.4. (i) HX (d) = dimK CX (d) for d ≥ 1.
(ii) deg(S/I(X)) = |X|.
(iii) δX (d) = 1 for d ≥ reg(S/I(X)).
(iv) S/I(X) is a Cohen–Macaulay graded ring of dimension 1.
(v) CX (d) 6= (0) for d ≥ 1.
4
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
Proof. (i): The kernel of the evaluation map evd , defined in Eq. (2.1), is I(X)d . Hence there is
an isomorphism of K-vector spaces Sd /I(X)d ≃ CX (d). Thus HX (d) is equal to dimK CX (d).
(ii): This follows readily from Proposition 2.1.
(iii): For d ≥ reg(S/I(X))), one has that HX (d) = |X|. Thus, by part (i), we get that CX (d)
is equal to K |X| . Consequently δX (d) = 1.
(iv): Let [P ] be a point in X, with P = (α1 , . . . , αs ) and αk 6= 0 for some k, and let I[P ] be
the ideal generated by the homogeneous polynomials of S that vanish at [P ]. Then I[P ] is a
prime ideal of height s − 1,
\
(2.2)
I[P ] = ({αk ti − αi tk | k 6= i ∈ {1, . . . , s}), I(X) =
I[Q] ,
[Q]∈X
and the latter is the primary decomposition of I(X). As I[P ] has height s−1 for any [P ] ∈ X, we
get that the height of I(X) is s−1 and the dimension of S/I(X) is 1. Hence depth(S/I(X)) ≤ 1.
To complete the proof notice that, by Eq. (2.2), m = (t1 , . . . , ts ) is not an associated prime of
I(X); that is depth(S/I(X)) > 0 and S/I(X) is Cohen–Macaulay.
(v): This follows readily from Proposition 2.1.
Segre products. To avoid repetitions, we continue to employ the notations and definitions
used in Section 1.
Definition 2.5. Let A, B be two standard algebras over a field K. The Segre product of A and
B, denoted A ⊗S B, is the graded algebra
A ⊗S B = (A0 ⊗K B0 ) ⊕ (A1 ⊗K B1 ) ⊕ · · · ⊂ A ⊗K B,
where the tensor product algebra A ⊗K B is graded by
X
(A ⊗K B)d =
Ai ⊗K Bj .
i+j=d
The next result is well-known assuming that X1 and X2 are projective algebraic sets; see for
instance [8, Excercise 13.14(d)]. However David Eisenbud pointed out to us that the result is
valid in general. We give a proof of the general case.
Theorem 2.6. Let K be a field. If X1 , X2 are subsets of the projective spaces Pa1 −1 , Pa2 −1 ,
respectively, and X is the Segre product of X1 and X2 , then the following hold:
(a)
(b)
(c)
(d)
(e)
(K[x]/I(X1 ))d ⊗K (K[y]/I(X2 ))d ≃ (K[t]/I(X))d as K-vector spaces for d ≥ 0.
K[x]/I(X1 ) ⊗S K[y]/I(X2 ) ≃ K[t]/I(X) as standard graded algebras.
HX1 (d)HX2 (d) = HX (d) for d ≥ 0.
reg(K[t]/I(X)) = max{reg(K[x]/I(X1 )), reg(K[y]/I(X2 ))}.
If ρ1 = dim(K[x]/I(X1 )) and ρ2 = dim(K[y]/I(X2 )), then
ρ1 + ρ2 − 2
deg(K[t]/I(X)) = deg(K[x]/I(X1 )) deg(K[y]/I(X2 ))
.
ρ1 − 1
Proof. (a): Let σ be the epimorphism of K-algebras σ : K[t] → K[{xi yj | i ∈ [[1, a1 ]], j ∈ [[1, a2 ]]}]
induced by tij 7→ xi yj , where [[1, ai ]] = {1, . . . , ai }. For each xb y c with deg(xb ) = deg(y c ) = d
there is a unique ta ∈ K[t]d such that ta = ti1 ,j1 · · · tid ,jd , 1 ≤ i1 ≤ · · · ≤ id , 1 ≤ j1 ≤ · · · ≤ jd
and σ(ta ) = xb y c . Notice that if σ(tα ) = xb y c for some other monomial tα ∈ K[t]d , then
PROJECTIVE SEGRE CODES
5
ta − tα ∈ I(X), this is used below to ensure that the mapping of Eq. (2.3) is surjective. Setting
ϕ0 (xb , y c ) = ta , gives a K-bilinear map
ϕ0 : K[x]d × K[y]d → K[t]d
P
P
P
induced by ϕ0 (xb , y c ) = ta . Notice that ϕ0 ( λi xbi , µj y cj ) =
λi µj ϕ0 (xbi , y cj ), where the
λi ’s and µj ’s are in K. To show that ϕ0 induces a K-bilinear map
(2.3)
ϕ : (K[x]d /I(X1 )d ) × (K[y]d /I(X2 )d ) → K[t]d /I(X)d , (xa , y b ) 7→ ϕ0 (xa , y b ),
which is a surjection, it suffices to show that for any f ∈ K[x]d that vanish on X1 (resp.
g ∈ K[y]d that vanish on X2 ) one has that ϕ0 (f, g) vanishes at all points of X. Assume that
f = λ1 xb1 +· · ·+λm xbm is a polynomial in K[x]d that vanish on X1 and that g = µ1 y c1 +· · ·+µr y cr
is a polynomial in K[y]d with λi , µj in K for all i, j. For each xbi y cj there is taij ∈ K[t] such
that σ(taij ) = xbi y cj . Then
X
X
ϕ0 (f, g) =
λi µj ϕ0 (xbi , y cj ) =
λi µj taij , and
ϕ0 (f, g)(xi yj ) = (λ1 xb1 + · · · + λm xbm )(µ1 y c1 + · · · + µr y cr ),
where we use (xi yj ) as a short hand for (x1 y1 , x1 y2 , . . . , x1 ya2 , . . . , xa1 y1 , xa1 y2 , . . . , xa1 ya2 ). Now
if (α1 , . . . , αa1 ) is in X1 and (β1 , . . . , βa2 ) is in X2 , making xi = αi and yj = βj for all i, j in
the last equality, we get ϕ0 (f, g)(αi βj ) = 0. Therefore, by the universal property of the tensor
product, there is a surjective map ϕ that makes the following diagram commutative:
(K[x]d /I(X1 )d ) × (K[y]d /I(X2 )d )
ϕ
❄
K[t]d /I(X)d
φ
✲
(K[x]d /I(X1 )d ) ⊗K (K[y]d /I(X2 )d )
✘✘
✘✘
✘
✘
ϕ ✘✘
✘✘✘
✾
✘
where φ is the canonical map, given by φ(f , g) = f ⊗ g, and ϕ = ϕφ.
For each ta ∈ K[t]d there are unique monomials xb ∈ K[x]d and y c ∈ K[y]d such that
σ(ta ) = xb y c . We set σ1 (ta ) = xb and σ2 (ta ) = y c . Thus we have a surjective K-linear map
σ0∗ : K[t]d → K[x]d /I(X1 )d ⊗K K[y]d /I(X2 )d
P
P
given by σ0∗ ( λa ta ) = λa σ1 (ta ) ⊗ σ2 (ta ), where the λa ’s are in K. Notice that the K-vector
space on the right hand side is generated by all xa ⊗ y c such that xa ∈ K[x]d and y c ∈ K[y]d .
P
Take f ∈ I(X)d , then σ(f )(α, β) = 0 for all α ∈ X1 and β ∈ X2 . We can write σ(f ) = ki=1 fi gi
P
with fi ∈ K[x]d , gi ∈ K[y]d for i = 1, . . . , k, and σ0∗ (f ) = ki=1 fi ⊗ gi . Next we show that
/ I(X1 ) otherwise f1 = 0. Pick
σ0∗ (f ) = 0, i.e., f ∈ ker(σ0∗ ). If k = 1, we may assume that f1 ∈
α ∈ X1 such that f1 (α) 6= 0. Then, as f1 (α)g1 (β) = 0 for all β ∈ X2 , one has g1 ∈ I(X2 ) and
g2 = 0. We may now assume that k > 1 and fk 6= 0. Pick α ∈ X1 such that f1 (α) 6= 0. By
hypothesis the polynomial
f1 (α)g1 + · · · + fk (α)gk
is in K[y]d and vanishes at all points of X2 . Thus
gk = −(f1 (α)/fk (α))g 1 − · · · − (fk−1 (α)/fk (α))g k−1 .
Therefore, setting hi = fi − (fi (α)/fk (α))fk for i = 1, . . . , k − 1, we get
σ0∗ (f ) =
k
X
i=1
fi ⊗ g i =
k−1
X
i=1
hi ⊗ g i
6
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
Pk−1
and i=1 hi (γ)gi (β) = 0 for all γ ∈ X1 and β ∈ X2 . Repeating the same argument, with hi
playing the role of fi and k − 1 playing the role of k, as many times as necessary we conclude
that σ0∗ (f ) = 0. Hence I(X)d ⊂ ker(σ0∗ ). Therefore σ0∗ induces a K-linear surjection
σ ∗ : K[t]d /I(X)d → (K[x]d /I(X1 )d ) ⊗K (K[y]d /I(X2 )d ).
Altogether we get that the linear maps ϕ and σ ∗ are bijective.
Items (b) to (e) follow directly from (a) and its proof.
3. Basic parameters of projective Segre codes
In this section we study projective Segre codes and their basic parameters. We continue to
employ the notations and definitions used in Sections 1 and 2.
Let K = Fq be a finite field, let a1 , a2 be two positive integers with a1 ≥ a2 , and for i = 1, 2,
let Xi be a non-empty subset of the projective space Pai −1 over the field K. We set s = a1 a2
and si = |Xi | for i = 1, 2.
Recall that the Segre embedding is given by
ψ : Pa1 −1 × Pa2 −1 → Pa1 a2 −1 = Ps−1
([α1 , . . . , αa1 ], [β1 , . . . , βa2 ]) → [(α1 β1 , α1 β2 , . . . , α1 βa2 ,
α2 β1 , α2 β2 , . . . , α2 βa2 ,
..
.
αa1 β1 , αa1 β2 , . . . , αa1 βa2 )].
The image of X1 × X2 under the map ψ, denoted by X, is called the Segre product of X1 and X2
or a Segre set. As ψ is injective, we get |X| = |X1 ||X2 | = s1 s2 . Then, we can write
X = {P1,1 , . . . , Ps1 ,s2 } = {P1,1 , P1,2 , . . . , P1,s2 ,
P2,1 , P2,2 , . . . , P2,s2 ,
..
.
Ps1 ,1 , Ps1 ,2 , . . . , Ps1 ,s2 },
X1 = {Q1 , . . . , Qs1 } and X2 = {R1 , . . . , Rs2 }, where
Qi = [(αi,1 , αi,2 , . . . , αi,a1 )] and Rj = [(βj,1 , βj,2 , . . . , βj,a2 )],
for i = 1, . . . , s1 and j = 1, . . . , s2 . Because of the embedding ψ each Pi,j ∈ X is of the form
Pi,j = ψ(Qi , Rj ) = [(αi,1 · βj,1 , αi,1 · βj,2 , . . . , αi,1 · βj,a2 ,
αi,2 · βj,1 , αi,2 · βj,2 , . . . , αi,2 · βj,a2 ,
..
.
αi,a1 · βj,1 , αi,a1 · βj,2 , . . . , αi,a1 · βj,a2 )].
Given a positive integer r, we set [[1, r]] := {1, . . . , r}. For use below notice that for each
i ∈ [[1, s1 ]] and for each j ∈ [[1, s2 ]] there are ki ∈ [[1, a1 ]] and ℓj ∈ [[1, a2 ]] such that αi,ki 6= 0 and
βj,ℓj 6= 0. In fact, choose ki to be the smallest k ∈ [[1, a1 ]] such that αi,k 6= 0, and choose ℓj to
be the smallest ℓ ∈ [[1, a2 ]] such that βj,ℓ 6= 0. Hence αi,ki · βj,ℓj 6= 0.
PROJECTIVE SEGRE CODES
7
Setting K[t] = K[t1,1 , t1,2 . . . , t1,a1 , . . . , ta1 ,1 , ta1 ,2 , . . . , ta1 ,a2 ], s = a1 a2 , and fixing an integer
d ≥ 1, define fi,j (t1,1 , . . . , ta1 ,a2 ) = (tki ,ℓj )d . Then fi,j (Pi,j ) = (αi,ki · βj,ℓj )d 6= 0. The evaluation
map evd is defined as:
evd : K[t]d → K |X| = K s1 s2 ,
f (P1,2 )
f (Ps1 ,s2 )
f (P1,1 )
,
,...,
.
f →
f1,1 (P1,1 ) f1,2 (P1,1 )
fs1 ,s2 (Ps1 ,s2 )
This is a linear map of K-vector spaces. The image of evd , denoted by CX (d), defines a projective
Reed-Muller-type linear code of degree d that we call a projective Segre code of degree d. By a
linear code we mean a linear subspace of K |X| . The length, dimension, and minimum distance
of CX (d) are given by |X|, dimK CX (d), and
δX (d) := min{ω(v) : 0 6= v ∈ CX (d)},
respectively, where ω(v) is the so-called Hamming weight of v; that is ω(v) is the number of
non-zero entries of v.
For each i ∈ [[1, s1 ]] and for each j ∈ [[1, s2 ]], define the following polynomials
gi (x1 , . . . , xa1 ) = xdki ∈ K[x1 , . . . , xa1 ]d and hj (y1 , . . . , ya2 ) = yℓdj ∈ K[y1 , . . . , ya2 ]d .
d
6= 0, fi,j (Pi,j ) = (αi,ki )d hj (Rj ) = gi (Qi )(βj,ℓj )d . We
Clearly gi (Qi ) = αdi,ki 6= 0, hj (Rj ) = βj,ℓ
j
also define the following two evaluation maps:
ev1d : K[x1 , . . . , xa1 ]d → K |X1 | = K s1 ,
g(Qs1 )
g(Q1 ) g(Q2 )
,
,...,
, and
g →
g1 (Q1 ) g2 (Q2 )
gs1 (Qs1 )
ev2d : K[y1 , . . . , ya2 ]d → K |X2 | = K s2 ,
h(R1 ) h(R2 )
h(Rs2 )
h →
,
,...,
,
h1 (R1 ) h2 (R2 )
hs2 (Rs2 )
and their corresponding Reed-Muller-type linear codes CXi (d) := im(evid ) for i = 1, 2.
We come to one of the main results of this section.
Theorem 3.1. Let K = Fq be a finite field, let Xi ⊂ Pai −1 for i = 1, 2, and let X be the Segre
product of X1 and X2 . The following hold.
(a) |X| = |X1 ||X2 |.
(b) dimK (CX (d)) = dimK (CX1 (d)) dimK (CX2 (d)).
(c) δX (d) = δX1 (d)δX2 (d) for d ≥ 1.
Proof. (a): This is clear because the Segre embedding is a one-to-one map.
(b): Since K[x]d /I(X1 )d ≃ CX1 (d), K[y]d /I(X2 )d ≃ CX2 (d), and K[t]d /I(X)d ≃ CX (d), the
results follows at once from Theorem 2.6.
8
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
(c): Given f ∈ K[t]d , the entries of evd (f ) can be arranged as:
f (P1,1 )
f (P1,2 )
f (P1,s2 )
evd (f ) =
(3.1)
,
,...,
,
→ Γ1
f1,1 (P1,1 ) f1,2 (P1,2 )
f1,s2 (P1,s2 )
f (P2,1 )
f (P2,2 )
f (P2,s2 )
,
,...,
,
→ Γ2
f2,1 (P2,1 ) f2,2 (P2,2 )
f2,s2 (P2,s2 )
..
..
..
..
.
.
.
.
f (Ps1 ,2 )
f (Ps1 ,s2 )
f (Ps1 ,1 )
,
,...,
→ Γs 1
fs1,1 (Ps1 ,1 ) fs1 ,2 (Ps1 ,2 )
fs1 ,s2 (Ps1 ,s2 )
↓
↓
↓
Λ1
Λ2
···
Λs2
where Γ1 , . . . , Γs1 and Λ1 , . . . , Λs2 are row and column vectors, respectively. Thus evd (f ) can be
viewed as a matrix. Below we show that Γi ∈ CX2 (d) and Λ⊤
j ∈ CX1 (d) for all i, j. Define the
polynomials
hQi = f (αi,1 · y1 , αi,1 · y2 , . . . , αi,1 · ya2 ,
αi,2 · y1 , αi,2 · y2 , . . . , αi,2 · ya2 ,
..
.
αi,a1 · y1 , αi,a1 · y2 , . . . , αi,a1 · ya2 ) ∈ K[y1 , . . . , ya2 ]d , and
gRj
= f (x1 · βj,1 , x1 · βj,2 , . . . , x1 · βj,a2 ,
x2 · βj,1 , x2 · βj,2 , . . . , x2 · βj,a2 ,
..
.
xa1 · βj,1 , xa1 · βj,2 , . . . , xa1 · βj,a2 ) ∈ K[x1 , . . . , xa1 ]d .
Observe that f (Pij ) = hQi (Rj ) = gRj (Qi ).
First we show the inequality δX (d) ≥ δX1 (d)δX2 (d). Let f ∈ K[t]d such that evd (f ) 6= 0. We
want to prove that ω(evd (f )), the Hamming weight of evd (f ), satisfies ω(evd (f )) ≥ δX1 (d)δX2 (d).
For simplicity, we set τf = evd (f ) and denote the Hamming weight of Γi by ω(Γi ). One has
ω(τf ) = ω(Γ1 ) + ω(Γ2 ) + · · · + ω(Γs1 ).
Notice that
Γi =
f (Pi1 ) f (Pi2 )
f (Pis2 )
,
,...,
fi1 (Pi1 ) fi2 (Pi2 )
fis2 (Pis2 )
=
hQi (R1 )
hQ (R2 )
hQ (Rs2 )
, d i
,..., d i
d
αi,ki · h1 (R1 ) αi,ki · h2 (R2 )
αi,ki · hs2 (Rs2 )
Λ⊤
=
j
1
(βj,ℓj )d
!
=
1
(αi,ki )d
· ev2d (hQi ), and
· ev1d (gRj ),
for i = 1, . . . , s1 and j = 1, . . . , s2 . Therefore ω(Γ1 ), the number of non-zero entries of Γ1 ,
is the same as the number of non-zero entries of ev2d (hQ1 ), and if Γ1 6= 0, then ev2d (hQ1 ) 6= 0
and ω(Γ1 ) ≥ δX2 (d). Similarly, for any i ∈ [[1, s1 ]] such that Γi 6= 0, ω(Γi ) ≥ δX2 (d). Setting
b = |{i| Γi 6= 0}|, we get that
ω(τf ) ≥ b · δX2 (d).
PROJECTIVE SEGRE CODES
9
Now we want to prove that b ≥ δX1 (d). Suppose b < δX1 (d). Choose j ∈ [[1, s2 ]] such that
Λj 6= 0. If ω(Λj ) is the number of non-zero entries of Λj , we have ω(Λj ) ≤ b < δX1 (d) and ω(Λj )
is equal to the number of non-zero entries of ev1d (gRj ). As ev1d (gRj ) is in CX1 (d), we conclude
that ω(Λj ) ≥ δX1 (d), a contradiction. Thus b ≥ δX1 (d) and
ω(evd (f )) ≥ δX1 (d)δX2 (d).
As this holds for any f ∈ K[t]d such that evd (f ) 6= 0, we obtain δX (d) ≥ δX1 (d)δX2 (d).
Next we prove that δX (d) ≤ δX1 (d)δX2 (d). It suffices to find a word in CX (d) with Hamming
weight equal to δX1 (d)δX2 (d). Let g ∈ K[x1 , . . . , xa1 ]d be such that ev1d (g) 6= 0 and ω(ev1d (g)) =
δX1 (d) and let h ∈ K[y1 , . . . , ya2 ]d be such that ev1d (h) 6= 0 and ω(ev2d (h)) = δX2 (d). Let
δi = δXi (d) for i = 1, 2. There are Qi1 , . . . , Qiδ1 ∈ X1 such that
g(Qi1 ) 6= 0, . . . , g(Qiδ1 ) 6= 0 and g(Qi ) = 0 for Qi ∈ X1 \ {Qi1 , . . . , Qiδ1 },
and there are Rj1 , . . . , Rjδ2 ∈ X2 such that
h(Rj1 ) 6= 0, . . . , h(Riδ2 ) 6= 0 and h(Rj ) = 0 for Rj ∈ X2 \ {Rj1 , . . . , Rjδ2 }.
Notice that g (resp. h) is a sum of monomials of degree d in the variables x1 , . . . , xa1 (resp.
y1 , . . . , ya2 ). Each monomial is a product of d variables; the variables could be repeated. Therefore, g · h = g(x1 , . . . , xa1 ) · h(y1 , . . . , ya2 ) is a sum of monomials, each one of these monomials
is a product of 2d variables, d variables among x1 , . . . , xa1 and d variables among y1 , . . . , ya2 ;
and again, variables could be repeated. Let xθ1 · · · xθd yγ1 · · · yγd be a monomial of gh with
θ1 , . . . , θd ∈ [[1, a1 ]], γ1 , . . . , γd ∈ [[1, a2 ]]. We can write
xθ1 · · · xθd yγ1 · · · yγd = (xθ1 yγ1 ) · · · (xθd yγd ),
this is one possible way to match these d x’s and these d y’s in pairs; there are many other ways
to do it. If, for each monomial of g · h, we choose a way to match the d x’s and the d y’s in
pairs, then we can see g · h as a polynomials in (xk yℓ ), k ∈ [[1, a1 ]], ℓ ∈ [[1, a2 ]]. Now, if in g · h we
substitute xk yℓ by the variable tk,ℓ , we obtain a polynomial
f (t1,1 , . . . , ta1 ,a2 ) ∈ K[t]d = K[t1,1 , . . . , ta1 ,a2 ]d
such that f (Pi,j ) = g(Qi ) · h(Rj ), where Pi,j = ψ(Qi , Rj ) for i = 1, . . . , s1 and j = 1, . . . , s2 .
Hence f (Pi,j ) 6= 0 if and only if g(Qi ) 6= 0 and h(Rj ) 6= 0. As a result evd (f ) 6= 0, and
ω(evd (f )) = δ1 δ2 = δX1 (d)δX2 (d). Hence δX (d) ≤ δX1 (d)δX2 (d).
Direct product codes. Let K = Fq be a finite field. The direct product (also called Kronecker
product) of two linear codes C1 ⊂ K s1 and C2 ⊂ K s2 , denoted by C1 ⊗ C2 , is defined to be the
linear code consisting of all s1 × s2 matrices in which the rows belong to C2 and the columns to
C1 ; see [26, p. 44]. If C ⊂ K s is a linear code of length s, dimension k, and minimum distance
δ, we say that C is an [s, k, δ]q code. The direct product codes usually have poor minimum
distance but are easy to decode and can be useful in certain applications; see [21, Chapter 18].
Another way to see the direct product is as a tensor product. Consider the tensor product
C1 ⊗K C2 , in the sense of [8, p. 573], of two vector subspaces C1 ⊂ K s1 and C2 ⊂ K s2 , where ki
is the dimension of Ci for i = 1, 2. Using the universal property of the tensor product, we get a
10
AZUCENA TOCHIMANI, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
linear map
T : C1 ⊗K C2 −→ C1 ⊗ C2 , such that,


a1 b1 a1 b2 · · · a1 bs2
 a2 b1 a2 b2 · · · a2 bs 
2 

a ⊗ b 7−→  ..
..
..  ,
 .
.
. 
as1 b1 as1 b2 · · · as1 bs2
where a = (a1 , a2 , . . . , as1 ) ∈ C1 and b = (b1 , b2 , . . . , bs2 ) ∈ C2 . Note the close similarity of T
with the Segre embedding. The map T gives an isomorphism of K-vector spaces.
Lemma 3.2. [26, p. 44] If C1 ⊂ K s1 and C2 ⊂ K s2 are [s1 , k1 , δ1 ]q and [s2 , k2 , δ2 ]q codes,
respectively, then C1 ⊗ C2 is an [s1 s2 , k1 k2 , δ1 δ2 ]q code.
The next result tells us that the direct products of Reed-Muller-type codes is again a ReedMuller-type code.
Theorem 3.3. The projective Segre code CX (d) is the direct product CX1 (d) ⊗ CX2 (d) of CX1 (d)
and CX2 (d).
Proof. By Theorem 3.1 and Lemma 3.2 the linear codes CX (d) and CX1 (d) ⊗ CX2 (d) have the
same dimension. Using Eq. (3.1) it follows that CX (d) can be regarded as a linear subspace of
CX1 (d) ⊗ CX2 (d). Hence these spaces must be equal.
Definition 3.4. If X is parameterized by monomials z v1 , . . . , z vs , we say that CX (d) is a parameterized projective code of degree d.
Corollary 3.5. If CXi (d) is a parameterized projective code of degee d for i = 1, 2, then so is
the corresponding projective Segre code CX (d).
Proof. It suffices to observe that if X1 and X2 are parameterized by z v1 , . . . z vs and wu1 , . . . wur ,
respectively, then X is parameterized by z vi wuj , i = 1, . . . , s, j = 1, . . . , r.
References
[1] W. Bruns and J. Herzog, Cohen-Macaulay Rings, Revised Edition, Cambridge University Press, 1997.
[2] C. Carvalho and V. G. Lopez Neumann, Projective Reed–Muller type codes on rational normal scrolls,
preprint, 2014.
[3] C. Carvalho, V. G. Lopez Neumann and H. H. L´
opez, Projective nested cartesian codes. Preprint, 2014,
arXiv:1411.6819v1.
[4] D. Cox, J. Little and D. O’Shea, Ideals, Varieties, and Algorithms, Springer-Verlag, 1992.
[5] P. Delsarte, J. M. Goethals and F. J. MacWilliams, On generalized Reed–Muller codes and their relatives,
Information and Control 16 (1970), 403–442.
[6] E. Dias and J. Neves, Codes over a weighted torus, Finite Fields Appl. 33 (2015), 66–79.
[7] I. M. Duursma, C. Renter´ıa and H. Tapia-Recillas, Reed–Muller codes on complete intersections, Appl.
Algebra Engrg. Comm. Comput. 11 (2001), no. 6, 455–462.
[8] D. Eisenbud, Commutative Algebra with a view toward Algebraic Geometry, Graduate Texts in Mathematics
150, Springer-Verlag, 1995.
[9] O. Geil and C. Thomsen, Weighted Reed–Muller codes revisited, Des. Codes Cryptogr. 66 (2013), 195–220.
[10] A. V. Geramita, M. Kreuzer and L. Robbiano, Cayley-Bacharach schemes and their canonical modules,
Trans. Amer. Math. Soc. 339 (1993), no. 1, 163–189.
[11] L. Gold, J. Little and H. Schenck, Cayley-Bacharach and evaluation codes on complete intersections, J. Pure
Appl. Algebra 196 (2005), no. 1, 91–99.
[12] M. Gonz´
alez-Sarabia and C. Renter´ıa, Evaluation codes associated to complete bipartite graphs, Int. J.
Algebra 2 (2008), no. 1-4, 163–170.
PROJECTIVE SEGRE CODES
11
[13] M. Gonz´
alez-Sarabia, C. Renter´ıa and A. J. S´
anchez, Minimum distance of some evaluation codes, Appl.
Algebra Engrg. Comm. Comput. 24 (2013), no. 2, 95–106.
[14] M. Gonz´
alez-Sarabia, C. Renter´ıa and H. Tapia-Recillas, Reed–Muller-type codes over the Segre variety,
Finite Fields Appl. 8 (2002), no. 4, 511–518.
[15] J. Harris, Algebraic Geometry. A first course, Graduate Texts in Mathematics 133, Springer-Verlag, New
York, 1992.
[16] R. Hartshorne, Algebraic Geometry, Springer-Verlag, New York, 1977.
[17] T. Kahle and J. Rauh, Toric fiber products versus Segre products, Abh. Math. Semin. Univ. Hambg. 84
(2014), no. 2, 187–201.
[18] H. H. L´
opez, C. Renter´ıa and R. H. Villarreal, Affine cartesian codes, Des. Codes Cryptogr. 71 (2014), no.
1, 5–19.
[19] H. H. L´
opez, E. Sarmiento, M. Vaz Pinto and R. H. Villarreal, Parameterized affine codes, Studia Sci. Math.
Hungar. 49 (2012), no. 3, 406–418.
[20] H. H. L´
opez and R. H. Villarreal, Computing the degree of a lattice ideal of dimension one, J. Symbolic
Comput. 65 (2014), 15–28.
[21] F. J. MacWilliams and N.J.A. Sloane, The Theory of Error-correcting Codes, North-Holland, 1977.
[22] E. Sarmiento, M. Vaz Pinto and R. H. Villarreal, The minimum distance of parameterized codes on projective
tori, Appl. Algebra Engrg. Comm. Comput. 22 (2011), no. 4, 249–264.
[23] H. G. Schaathun and W. Willems, A lower bound on the weight hierarchies of product codes, Discrete Appl.
Math. 128 (2003), no. 1, 251–261.
[24] A. Sørensen, Projective Reed–Muller codes, IEEE Trans. Inform. Theory 37 (1991), no. 6, 1567–1576.
[25] R. Stanley, Hilbert functions of graded algebras, Adv. Math. 28 (1978), 57–83.
[26] M. Tsfasman, S. Vladut and D. Nogin, Algebraic geometric codes: basic notions, Mathematical Surveys and
Monographs 139, American Mathematical Society, Providence, RI, 2007.
´ ticas, Centro de Investigacio
´ n y de Estudios Avanzados del IPN,
Departamento de Matema
Apartado Postal 14–740, 07000 Mexico City, D.F.
E-mail address: [email protected]
´ tica, Instituto Superior T´
Departamento de Matema
ecnico, Universidade T´
ecnica de Lisboa,
Avenida Rovisco Pais, 1, 1049-001 Lisboa, Portugal.
E-mail address: [email protected]
´ ticas, Centro de Investigacio
´ n y de Estudios Avanzados del IPN,
Departamento de Matema
Apartado Postal 14–740, 07000 Mexico City, D.F.
E-mail address: [email protected]