A ruled residue theorem for function fields of elliptic curves

It is shown that a valuation of residue characteristic different from 2 and 3 on a field E has at most one extension to the function field of an elliptic curve over E, for which the residue field extension is transcendental but not ruled. The cases where such an extension is present are characterised.     

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.     

The Möbius function and the residue theorem

A classical conjecture of Bouniakowsky says that a non-constant irreducible polynomial in Z[T] has infinitely many prime values unless there is a local obstruction. Replacing Z[T] with κ[u][T], where κ is a finite field, the obvious analogue of Bouniakowsky's conjecture is false. All known counterexamples can be explained by a new obstruction, and this obstruction can be used to fix the conjecture. The situation is more subtle in characteristic 2 than in odd characteristic. Here, we illustrate the general theory for characteristic 2 in some examples.     

A mean value theorem for cubic fields

Let r(n) denote the number of integral ideals of norm n in a cubic extension K of the rationals, and define and Δ(x)=S(x)−αx where α is the residue of the Dedekind zeta function ζ(s,K) at 1. It is shown that the abscissa of convergence of

     

The ABC theorem for higher-dimensional function fields

We generalize the ABC theorems to the function field of a variety over an algebraically closed field of arbitrary characteristic which is non-singular in codimension one. We also obtain an upper bound for the minimal order sequence of Wronskians over such function fields of positive characteristic.

     

On mean values of some arithmetic functions in number fields

We obtain, for quadratic and cyclotimic fields, asymptotic formulas for two arithmetic functions, which are similar to divisor function.     

Congruence preserving functions in the residue class rings of polynomials over finite fields

In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine a necessary and sufficient condition under which all congruence preserving functions are also polynomial functions, and characterize such functions.     

A mean value theorem for orders of degree zero divisor class groups of quadratic extensions over a function field

Let k be a function field of one variable over a finite field with the characteristic not equal to two. In this paper, we consider the prehomogeneous representation of the space of binary quadratic forms over k. We have two main results. The first result is on the principal part of the global zeta function associated with the prehomogeneous vector space. The second result is on a mean value theorem for degree zero divisor class groups of quadratic extensions over k, which is a consequence of the first one.     

A realization theorem for sets of lengths

Text

By a result of G. Freiman and A. Geroldinger [G. Freiman, A. Geroldinger, An addition theorem and its arithmetical application, J. Number Theory 85 (1) (2000) 59-73] it is known that the set of lengths of factorizations of an algebraic integer (in the ring of integers of an algebraic number field), or more generally of an element of a Krull monoid with finite class group, has a certain structure: it is an almost arithmetical multiprogression for whose difference and bound only finitely many values are possible, and these depend just on the class group. We establish a sort of converse to this result, showing that for each choice of finitely many differences and of a bound there exists some number field such that each almost arithmetical multiprogression with one of these difference and that bound is up to shift the set of lengths of an algebraic integer of that number field. Moreover, we give an explicit sufficient condition on the class group of the number field for this to happen.

Video

For a video summary of this paper, please visit http://www.youtube.com/watch?v=c61xM-5D6Do.     

The Zariski problem for function fields of quadratic forms

By `a quadratic function field' is meant the affine function field of a nonsingular quadratic form of dimension . What quadratic function fields contain a given quadratic function field ? This problem is solved here for quadratic forms of dimensions 3 and 4, and an application to the Zariski cancellation problem for quadratic function fields is given.

     

The two-variable zeta function and the Riemann hypothesis for function fields

We present Bombieri's proof of the Riemann hypothesis for the zeta function of a curve over a finite field. We first briefly describe this zeta function and discuss the two-variable zeta function of Pellikaan. Then we give Naumann's proof that the numerator of this function is irreducible.     

An elementary proof of the law of quadratic reciprocity over function fields

Let and be relatively prime monic irreducible polynomials in (). In this paper, we give an elementary proof for the following law of quadratic reciprocity in :

where is the Legendre symbol.

     

Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.      

A simplified proof for the limit of a tower over a cubic finite field

Recently Bezerra, Garcia and Stichtenoth constructed an explicit tower F=(Fn)_n?0 of function fields over a finite field Fq³, whose limit λ(F)=limn→∞N(Fn)/g(Fn) attains the Zink bound λ(F)?2(q²−1)/(q+2). Their proof is rather long and very technical. In this paper we replace the complex calculations in their work by structural arguments, thus giving a much simpler and shorter proof for the limit of the Bezerra, Garcia and Stichtenoth tower.     

A method for constructing a self-dual normal basis in odd characteristic extension fields

This paper proposes a useful method for constructing a self-dual normal basis in an arbitrary extension field F_p^m such that 4p does not divide m(p−1) and m is odd. In detail, when the characteristic p and extension degree m satisfies the following conditions (1) and either (2a) or (2b); (1) 2km+1 is a prime number, (2a) the order of p in F_2km+1 is 2km, (2b) 2km and the order of p in F_2km+1 is km, we can consider a class of Gauss period normal bases. Using this Gauss period normal basis, this paper shows a method to construct a self-dual normal basis in the extension field F_p^m.     

Class numbers of some abelian extensions of rational function fields

Let be a monic irreducible polynomial. In this paper we generalize the determinant formula for of Bae and Kang and the formula for of Jung and Ahn to any subfields of the cyclotomic function field By using these formulas, we calculate the class numbers of all subfields of when and are small.