The Isometry-Dual Property in Flags of Two-Point Algebraic Geometry Codes

Publication date 17 February 2022

Abstract: A flag of codes

C_{0} s u b s e t n e q C_{1} s u b s e t n e q c d o t s s u b s e t n e q C_{s} s u b s e t e q {m a t h b b F}_{q}^{n}

is said to satisfy the {it isometry-dual property} if there exists

such that the code

C_{i}

is {�f x}-isometric to the dual code

C_{s - i}^{p} e r p

for all

i = 0, l d o t s, s

. For

P

and

Q

rational places in a function field

m a t h c a l F

, we investigate the existence of isometry-dual flags of codes in the families of two-point algebraic geometry codes

C_mathcal L(D, a_0P+bQ)subsetneq C_mathcal L(D, a_1P+bQ)subsetneq dots subsetneq C_mathcal L(D, a_sP+bQ),

where the divisor

D

is the sum of pairwise different rational places of

m a t h c a l F

and

P, Q

are not in

m b o x s u p p (D)

. We characterize those sequences in terms of

b

for general function fields. We then apply the result to the broad class of Kummer extensions

m a t h c a l F

defined by affine equations of the form

y^{m} = f (x)

, for

f (x)

a separable polynomial of degree

r

, where

m b o x g c d (r, m) = 1

. For

P

the rational place at infinity and

Q

the rational place associated to one of the roots of

f (x)

, it is shown that the flag of two-point algebraic geometry codes has the isometry-dual property if and only if

m

divides

2 b + 1

. At the end we illustrate our results by applying them to two-point codes over several well know function fields.

Cited in

(3)

This page was built for publication: The Isometry-Dual Property in Flags of Two-Point Algebraic Geometry Codes