The asymptotic behavior of automorphism groups of function fields over finite fields

Arithmetic theory of algebraic function fields (11R58) Applications to coding theory and cryptography of arithmetic geometry (14G50) Algebraic functions and function fields in algebraic geometry (14H05) Automorphisms of curves (14H37)

Abstract: The purpose of this paper is to investigate the asymptotic behavior of automorphism groups of function fields when genus tends to infinity. Motivated by applications in coding and cryptography, we consider the maximum size of abelian subgroups of the automorphism group

m b o x A u t (F / m a t h b b F_{q})

in terms of genus

g_{F}

for a function field

F

over a finite field

m a t h b b F_{q}

. Although the whole group

m b o x A u t (F / m a t h b b F_{q})

could have size

O m e g a ({g_{F}}^{4})

, the maximum size

m_{F}

of abelian subgroups of the automorphism group

m b o x A u t (F / m a t h b b F_{q})

is upper bounded by

4 g_{F} + 4

for

g_{F} g e 2

. In the present paper, we study the asymptotic behavior of

m_{F}

by defining

M_{q} = l i m s u p_{g_{F} i g h t a r r o w i n f t y} f r a c m_{F} c d o t l o g_{q} m_{F} g_{F}

, where

F

runs through all function fields over

m a t h b b F_{q}

. We show that

M_{q}

lies between

2

and

3

(or

4

) for odd characteristic (or for even characteristic, respectively). This means that

m_{F}

grows much more slowly than genus does asymptotically. The second part of this paper is to study the maximum size

b_{F}

of subgroups of

m b o x A u t (F / m a t h b b F_{q})

whose order is coprime to

q

. The Hurwitz bound gives an upper bound

b_{F} l e 84 (g_{F} - 1)

for every function field

F / m a t h b b F_{q}

of genus

g_{F} g e 2

. We investigate the asymptotic behavior of

b_{F}

by defining

B_{q} = l i m s u p_{g_{F} i g h t a r r o w i n f t y} f r a c b_{F} g_{F}

, where

F

runs through all function fields over

m a t h b b F_{q}

. Although the Hurwitz bound shows

B_{q} l e 84

, there are no lower bounds on

B_{q}

in literature. One does not even know if

B_{q} = 0

. For the first time, we show that

B_{q} g e 2 / 3

by explicitly constructing some towers of function fields in this paper.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: The asymptotic behavior of automorphism groups of function fields over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222729)