The ring of polynomials over a finite field has many arithmetic properties similar to those of the ring of rational integers. In this thesis, we apply the Hardy-Littlewood circle method to investigate the density of rational points on certain algebraic varieties in function fields. The aim is to establish asymptotic relations that are relatively robust to changes in the characteristic of the base finite field. More notably, in the case when the characteristic is "small", the results are sharper than their integer analogues.

In 1986, Gupta and Murty proved the Lang-Trotter conjecture in the case of elliptic curves having complex multiplication, conditional on the generalized Riemann hypothesis. That is, given a non-torsion point P∈E(ℚ), they showed that P (mod p) generates E(𝔽p) for infinitely many primes p, conditional on the generalized Riemann hypothesis. We demonstrate that Gupta's and Murty's result can be translated into an unconditional result in the language of Drinfeld modules. We follow the example of Hsu and Yu, who proved Artin's conjecture unconditionally in the case of sign normalized rank one Drinfeld modules. Further, we will cover all necessary background information.

In this thesis we study a class of authentication codes with secrecy. We obtain the maximum success probability of the impersonation attack and the maximum success probability of the substitution attack on these authentication codes with secrecy. Moreover we determine the level of secrecy provided by these authentication codes. Our methods are based on the theory of algebraic function fields over finite fields. We study a certain class of algebraic function fields over finite fields related to this class of authentication codes. We also determine the number of rational places of this class of algebraic function fields.

Let K/Fq be an algebraic function field with full constant field Fq and genus g. Then the divisor class number hK of K/Fq is the order of the quotient group, D0K /P(K), degree zero divisors of K over principal divisors of K. The classification of the function fields K with hK = 1 is done by MacRea, Leitzel, Madan and Queen and the classification of the extensions with class number two is done by Le Brigand. Determination of the necessary and the sufficient conditions for a function field to have class number three is done by H&uml / ulya T&uml / ore. Let k := Fq(T) be the rational function field over the finite field Fq with q elements. For a polynomial N &isin / Fq[T], we construct the Nth cyclotomic function field KN. Cyclotomic function fields were investigated by Carlitz, studied by Hayes, M. Rosen, M. Bilhan and many other mathematicians. Classification of cyclotomic function fields and subfields of cyclotomic function fields with class number one is done by Kida, Murabayashi, Ahn and Jung. Also the classification of function fields with genus one and classification of those with class number two is done by Ahn and Jung. In this thesis, we classified all algebraic function fields and subfields of cyclotomic function fields over finite fields with class number three.

The ring of polynomials over a finite field has many arithmetic properties similar to those of the ring of rational integers. In this thesis, we apply the Hardy-Littlewood circle method to investigate the density of rational points on certain algebraic varieties in function fields. The aim is to establish asymptotic relations that are relatively robust to changes in the characteristic of the base finite field. More notably, in the case when the characteristic is "small", the results are sharper than their integer analogues.

In 1986, Gupta and Murty proved the Lang-Trotter conjecture in the case of elliptic curves having complex multiplication, conditional on the generalized Riemann hypothesis. That is, given a non-torsion point P∈E(ℚ), they showed that P (mod p) generates E(𝔽p) for infinitely many primes p, conditional on the generalized Riemann hypothesis. We demonstrate that Gupta's and Murty's result can be translated into an unconditional result in the language of Drinfeld modules. We follow the example of Hsu and Yu, who proved Artin's conjecture unconditionally in the case of sign normalized rank one Drinfeld modules. Further, we will cover all necessary background information.

A Teoria das curvas algébricas sobre corpos finitos é de fundamental importância para a matemática e tem aplicações essenciais em muitas áreas, tais como Geometria Finita, Teoria dos Números, Teoria de Grafos e Teoria de Códigos. Neste trabalho tratamos do segmento algébrico desta teoria, isto é, corpos de funções algébricas, inicialmente sobre qualquer corpo, apresentando propriedades fundamentais. Depois nos restringimos aos corpos de funções algébricas sobre corpos finitos, e são apresentados resultados referentes à estimativa do gênero e número de lugares racionais, além de propriedades que conectam estes dois números e a característica do corpo, sendo o principal resultado dado por: Para q uma potência de um número primo e N inteiro não negativo, existe uma constante inteira não negativa g0 (dependendo de q e N) tal que, para todo g maior ou igual a \'g IND. 0\', existe um corpo de funções sobre \'F IND. q\' de gênero g tendo exatamente N lugares racionais / The Theory of algebraic curves over finite fields is of fundamental importance to mathematics and has essential applications in many areas, such Finite Geometry, Number Theory, Graph Theory and Coding Theory. In this work we treat the algebraic part of this theory, ie, algebraic function fields, initially over any field, presenting fundamental properties. Then we restrict to algebraic function fields over finite fields, and presented results for the estimation of the genus and the number of racional places, as well as properties that connect these two numbers and the characteristic of the constant field, being the main result given by: For q a prime power and N a non-negative integer, there is an integer non-negative \'g IND. 0\' (that depends of q and N) such that for all \'g > or =\' \'g IND. 0\' , there exists a function field over \'F IND. q\' with genus g having exactly N racional places

We provide explicit equations for moduli spaces of Drinfeld shtukas over the projective line with Γ(N), Γ_1(N) and Γ_0(N) level structures, where N is an effective divisor on P^1 . If the degree of N is big enough, these moduli spaces are relative surfaces. We study how the moduli space of shtukas over P^1 with Γ_0(N) level structure, Sht^{2,tr}(Γ_0(N)), can be used to provide a notion of motivic modularity for elliptic curves defined over function fields. Elliptic curves over function fields are known to be modular in the sense of admitting a parametrization from a Drinfeld modular curve, provided that they have split multiplicative reduction at one place. We conjecture a different notion of modularity that should cover the curves excluded by the reduction hypothesis. We use our explicit equations for Sht^{2,tr}(Γ_0(N)) to verify our modularity conjecture in the cases where N = 2(0) + (1) + (∞) and N = 3(0) + (∞).

Seja p um primo, considere q = pe com e ≥ 1 inteiro. Dado o polinômio f (x) = x4+ax3+bx2+ cx+d ∈ Fq[x], consideremos o polinômio F(T) = T4 +aT3 +bT2 +cT + d - y ∈ Fq(y)[T], com y = f (x) sobre Fq(y). O objetivo desse trabalho é determinar o número de polinômios f (x) que tem seu grupo de galois associado GF isomorfo a cada subgrupo transitivo (prefixado) de S4. O trabalho foi baseado no artigo: Galois closures of quartic sub-fields of rational function fields, usando equações auxiliares associadas ao polinômio minimal F(T) de graus 3 e 2 (DUMMIT, 1994); bem como uma caraterização das curvas projetivas planas de grau 2 não singulares. Se car(k) ≠ 2, associamos a F(T) sua cúbica resolvente RF(T) e seu discriminante ΔF. Em seguida obtemos condições para GF ≅ C4 (vide Teorema 2.9), que é ocaso fundamental para determinação dos demais casos. Se car(k) = 2, procuramos determinar condições para GRF ≅ A3, associando ao polinômio RF(T) sua quadrática resolvente P(T) (vide a Proposição 2.13). Apos ter homogeneizado P(T), usamos uma das consequências do teorema de Bézout, a saber, uma curva algébrica projetiva plana C de grau 2 é irredutível se, e somente se, C não tem pontos singulares. Nesta dissertação obtemos resultados semelhantes com uma abordagem relativamente diferente daquela usada pelo autor R. Valentini. / Let be p a prime, q = pe whit e ≥ 1 integer. Let a polynomial f (x) = x4+ax3+bx2+cx+d ∈ Fq[x], considering the polynomial F(T)=T4+aT3+bT2+cT +d, with y= f (x) over Fq(y)[T]. The purpose of the current research is to determine the numbers of polynomials f (x) which have its associated Galois group GF, this GF is isomorphic for each transitive subgroup (prefixed) of A4. This project is based on the article: Galois closures of quartic sub-fields of rational function fields, using auxiliary equations associated to the minimal polynomial F(T) of degrees 3 and 2 (DUMMIT, 1994); besides a characterization of non-singular projective plane curves of degree 2 was used. If car(k) ≠ 2, associated to F(T) the resolvent cubic RF(T) and its discriminant ΔF then conditions for GF are obtained as GF ≅ C4 which is the fundamental case for determining the other cases (Theorem 2.9). If car(k) = 2, to find conditions for GRF ≅ A3, associated to the polynomial RF(T) its resolvent quadratic p(T) (Proposition 2.13). Homogenizing p(T), one of the consequences of the Bezout theorem was applied. It is, a projective plane curve C, which grade 2, is irreducible if and only if C is smooth. In the current dissertation, similar results were obtained using a different approach developed by the author R. Valentini.

Orientador: Fernando Eduardo Torres Orihuela / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T07:01:07Z (GMT). No. of bitstreams: 1 SepulvedaCastellanos_Alonso_D.pdf: 783003 bytes, checksum: 2af4bba938cd5b7d31fcd02a5c79ac85 (MD5) Previous issue date: 2008 / Resumo: Estudamos os códigos de Goppa (códigos GH) sobre certos corpos de funções algébricas com muitos lugares racionais. Estes códigos generalizam os bem conhecidos códigos Hermitianos; portanto podemos esperar que estes códigos tenham bons parâmetros. Bulygin (IEEE Trans. Inform. Theory 52 (10), 4664¿4669 (2006)) inicia o estudo dos códigos GH; enquanto Bulygin considerou somente característica par, nosso trabalho 'e feito em qualquer característica. Em qualquer caso, nosso trabalho é fortemente influenciado pelo de Bulygin. A seguir, listamos alguns dos nossos resultados com respeito aos códigos GH. ¿ Calculamos ¿distâncias mínimas exatas¿, em particular, melhoramos os resultados de Bulygin; ¿ Encontramos cotas para os pesos generalizados de Hamming, al'em disso, mostramos um algoritmo para aplicar estes cálculos na criptografia; ¿ Calculamos um subgrupo de Automorfismos; ¿ Consideramos códigos em determinados subcorpos dos corpos usados para construir os códigos GH / Abstract: We study Goppa codes (GH codes) based on certain algebraic function fields whose number of rational places is large. These codes generalize the well-known Hermitian codes; thus we might expect that they have good parameters. Bulygin (IEEE Trans. Inform. Theory 52 (10), 4664¿4669 (2006)) initiate the study of GH-codes; while he considered only the even characteristic, our work is done regardless the characteristic. In any case our work was strongly influenced by Bulygin¿s. Next we list some of the results of our work with respect to GH-codes. ¿ We calculate ¿true minimum distances¿, in particular, we improve Bulygin¿s results; ¿ We find bounds on the generalized Hamming weights, moreover, we show an algorithm to apply these computations to the cryptography; ¿ We calculate an Automorphism subgroup; ¿ We consider codes on certain subfields of the fields used for to construct GH-codes / Doutorado / Algebra (Geometria Algebrica) / Doutor em Matemática