On towers of function fields of Artin-Schreier type

In this article we derive strong conditions on the defining equations of asymptotically good Artin-Schreier towers. We will show that at most three kinds of defining equations can give rise to a recursively defined good tower, if we restrict ourselves to prime degrees. ¹A. Garcia and H. Stichtenoth did part of thiswork during their stay at Sabanci University, Istanbul, Turkey (Sept. 2002). ²A. Garcia was partially supported by PRONEX # 662408/1996-3 (CNPq-Brazil).     

Some Artin-Schreier type function fields over finite fields with prescribed genus and number of rational places

We give existence and characterization results for some Artin-Schreier type function fields over finite fields with prescribed genus and number of rational places simultaneously.     

Asymptotically good towers of function fields with small p-rank

Over any quadratic finite field we construct function fields of large genus that have simultaneously many rational places, small p-rank, and many automorphisms.     

A quasi quadratic time algorithm for hyperelliptic curve point counting

We describe an algorithm to compute the cardinality of Jacobians of ordinary hyperelliptic curves of small genus over finite fields with cost . This algorithm is derived from ideas due to Mestre. More precisely, we state the mathematical background behind Mestre’s algorithm and develop from it a variant with quasi-quadratic time complexity. Among others, we present an algorithm to find roots of a system of generalized Artin-Schreier equations and give results that we obtain with an efficient implementation. Especially, we were able to obtain the cardinality of curves of genus one, two or three in finite fields of huge size. 2000 Mathematics Subject Classification Primary—11S40, 14H42, 11G20, 11G15, 94A60     

代数函数域的一些Artin-Schreier型扩张相伴的Riemann-Roch空间

阐明给定代数函数域上一些除子的Riemann-Roch空间是代数几何码构造的基础.给出代数函数域的一些Artin-Schreier型扩张的Riemann-Roch空间的一组基,并应用于编码理论,得到F_(16)上参数分别是[54,43,5],[54,41,7],[54,40,8]的代数几何码.     

Graphs and recursively defined towers of function fields

In this paper we state and explore a connection between graph theory and the theory of recursively defined towers. This leads, among other things, to a generalization of Lenstra's identity (Finite Fields Appl. 8 (2001) 166) and the solution of an open problem concerning the Deuring polynomial posed in (J. Reine Angew. Math. 557 (2003) 53). Further we investigate the effect extension of the constant field has on the limit of certain towers.     

A tower with non-Galois steps which attains the Drinfeld-Vladut bound

We introduce a new tower of function fields over a finite field of square cardinality, which attains the Drinfeld-Vladut bound. One new feature of this new tower is that it is constructed with non-Galois steps; i.e., with non-Galois function field extensions. The exact value of the genus g(F_n) is also given (see Lemma 4).     

Artin-Schreier extensions in NIP and simple fields

We show that NIP fields have no Artin-Schreier extension, and that simple fields have only a finite number of them.     

Function field genus theory for non-Kummer extensions

In this paper we first obtain the genus field of a finite abelian non-Kummer l–extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field with relatively prime degrees is equal to the composite of their respective genus fields and our previous results, we deduce the general expression of the genus field of a finite abelian extension of a global rational function field.     

Class fields,Dirichlet characters, and extended genus fields of global function fields

We study the extended genus field of an abelian extension of a rational function field. We follow the definition of Anglès and Jaulent, which uses the class field theory. First, we show that the natural definition of extended genus field of a cyclotomic function field obtained by means of Dirichlet characters is the same as the one given by Anglès and Jaulent. Next, we study the extended genus field of a finite abelian extension of a rational function field along the lines of the study of genus fields of abelian extensions of rational function fields. In the absolute abelian case, we compare this approach with the one given by Anglès and Jaulent.     

Isomorphisms between Artin-Schreier towers

We give a method for efficiently computing isomorphisms between towers of Artin-Schreier extensions over a finite field. We find that isomorphisms between towers of degree over a fixed field can be computed, composed, and inverted in time essentially linear in . The method relies on an approximation process.

     

Complete arcs arising from a generalization of the Hermitian curve (extended abstract)

We investigate arcs, in projective planes over finite fields, arising from the set of rational points of a generalization of the Hermitian curve. The degree of the arcs is closely related to the number of rational points of a class of Artin-Schreier curves.     

A graph aided strategy to produce good recursive towers over finite fields

We propose a systematic method to produce potentially good recursive towers over finite fields. The graph point of view, so as some magma and sage computations are used in this process. We also establish some theoretical functional criterion ensuring the existence of many rational points on a recursive tower. Both points are illustrated by an example, from the production process, to the theoretical study.     

函数域常值域扩张的类数整除性

设K/F_q是亏格大于0的整体函数域,K_n:=KF_(q~n)是K上的n次常值域扩张.利用整体函数域zeta函数的整系数多项式的有理表达式,结合函数域常值域扩张的基本性质,对于满足特定条件的素数l,本文讨论了使得除子类群Pic~0(K_n)的Sylow-l子群为非平凡群的常值域扩张K_n的存在性.     

Integral closures and weight functions over finite fields

Curves and surfaces of type I are generalized to integral towers of rank r. Weight functions with values in N^r and the corresponding weighted total-degree monomial orderings lift naturally from one domain R_j−1 in the tower to the next, R_j, the integral closure of R_j−1[x_j]/φ(x_j). The qth power algorithm is reworked in this more general setting to produce this integral closure over finite fields, though the application is primarily that of calculating the normalizations of curves related to one-point AG codes arising from towers of function fields. Every attempt has been made to couch all the theory in terms of multivariate polynomial rings and ideals instead of the terminology from algebraic geometry or function field theory, and to avoid the use of any type of series expansion.     

Optimal curves of low genus over finite fields

We investigate maximal and minimal curves of genus 4 and 5 over finite fields with discriminant −11 and −19. As a result the Hasse–Weil–Serre bound is improved.     

The Galois closure of Drinfeld modular towers

In this article we study Drinfeld modular curves X₀(pn) associated to congruence subgroups Γ₀(pn) of GL(2,Fq[T]) where p is a prime of Fq[T]. For n>r>0 we compute the extension degrees and investigate the structure of the Galois closures of the covers X₀(pn)→X₀(pr) and some of their variations. The results have some immediate implications for the Galois closures of two well-known optimal wild towers of function fields over finite fields introduced by Garcia and Stichtenoth, for which the modular interpretation was given by Elkies.     

On the number of curves of genus 2 over a finite field

In this paper we compute the number of curves of genus 2 defined over a finite field k of odd characteristic up to isomorphisms defined over k; the even characteristic case is treated in an ongoing work (G. Cardona, E. Nart, J. Pujolàs, Curves of genus 2 over field of even characteristic, 2003, submitted for publication). To this end, we first give a parametrization of all points in , the moduli variety that classifies genus 2 curves up to isomorphism, defined over an arbitrary perfect field (of zero or odd characteristic) and corresponding to curves with non-trivial reduced group of automorphisms; we also give an explicit representative defined over that field for each of these points. Then, we use cohomological methods to compute the number of k-isomorphism classes for each point in .     

Algebraic theory of differential inequalities

We obtain differential-algebraic analogues of some basic theorems of real algebra and semialgebraic geometry. Proofs are based on: a differential version of the real spectrum of a differential ring containing Q; an Artin-Schreier theory for such rings; the model theory of ordered differential fields. Results include: an algebraic characterization of the differential inequalities which are consequences of a given finite set of algebraic differential equations and inequalities; a differential counterpart of the Hormander-Lojasiewicz inequality.