On the tensor rank of the multiplication in the finite fields

First, we prove the existence of certain types of non-special divisors of degree g−1 in the algebraic function fields of genus g defined over Fq. Then, it enables us to obtain upper bounds of the tensor rank of the multiplication in any extension of quadratic finite fields Fq by using Shimura and modular curves defined over Fq. From the preceding results, we obtain upper bounds of the tensor rank of the multiplication in any extension of certain non-quadratic finite fields Fq, notably in the case of F₂. These upper bounds attain the best asymptotic upper bounds of Shparlinski-Tsfasman-Vladut [I.E. Shparlinski, M.A. Tsfasman, S.G. Vladut, Curves with many points and multiplication in finite fields, in: Lecture Notes in Math., vol. 1518, Springer-Verlag, Berlin, 1992, pp. 145-169].     

Improvements upon the Chevalley-Warning-Ax-Katz-type estimates

Let f be a polynomial over finite field Fq with q elements and let N(f=0) denote the number of zeros of f in Fq. The q-divisibility properties of N(f=0) have been studied by many authors, such as Chavelley, Warning, Ax, Katz, etc. In this paper, by reducing the degree of a given polynomial meanwhile remaining the number of its zeros unchanged, we present an improvement upon the Chevalley-Warning-Ax-Katz-type estimates in many cases. Furthermore, our result can improve Cao-Sun's reduction recently obtained on counting the number of zeros of general diagonal equations over finite fields.     

Capitulation problem for global function fields

Let q be a power of an odd prime number p, k=\mathbbF_q(t){p, k=\mathbb{F}_{q}(t)} be the rational function field over the finite field \mathbbF_q.{\mathbb{F}_{q}.} In this paper, we construct infinitely many real (resp. imaginary) quadratic extensions K over k whose ideal class group capitulates in a proper subfield of the Hilbert class field of K. The proof of the infinity of such fields K relies on an estimation of certain character sum over finite fields.     

The distribution of class groups of function fields

For any sufficiently general family of curves over a finite field F_q and any elementary abelian ?-group H with ? relatively prime to q, we give an explicit formula for the proportion of curves C for which Jac(C)[?](F_q)≅H. In doing so, we prove a conjecture of Friedman and Washington.     

Higher rank subgroups in the class groups of imaginary function fields

Let F be a finite field and T a transcendental element over F. In this paper, we construct, for integers m and n relatively prime to the characteristic of F(T), infinitely many imaginary function fields K of degree m over F(T) whose class groups contain subgroups isomorphic to (Z/nZ)^m. This increases the previous rank of m−1 found by the authors in [Y. Lee, A. Pacelli, Class groups of imaginary function fields: The inert case, Proc. Amer. Math. Soc. 133 (2005) 2883-2889].     

Reflection theorem for divisor class groups of relative quadratic function fields

We present the reflection theorem for divisor class groups of relative quadratic function fields. Let K be a global function field with constant field Fq. Let L₁ be a quadratic geometric extension of K and let L₂ be its twist by the quadratic constant field extension of K. We show that for every odd integer m that divides q+1 the divisor class groups of L₁ and L₂ have the same m-rank.     

Computation of Weng's rank 2 zeta function over an algebraic number field

In this paper, we study the zeta function, named non-abelian zeta function, defined by Lin Weng. We can represent Weng's rank r zeta function of an algebraic number field F as the integration of the Eisenstein series over the moduli space of the semi-stable OF-lattices with rank r. For r=2, in the case of F=Q, Weng proved that it can be written by the Riemann zeta function, and Lagarias and Suzuki proved that it satisfies the Riemann hypothesis. These results were generalized by the author to imaginary quadratic fields and by Lin Weng to general number fields. This paper presents proofs of both these results. It derives a formula (first found by Weng) for Weng's rank 2 zeta functions for general number fields, and then proves the Riemann hypothesis holds for such zeta functions.     

Newtonian and Schinzel quadratic fields

We consider a quadratic extension of a global field and give the maximal length of a Newton sequence, that is, a simultaneous ordering in Bhargava’s sense or a Schinzel sequence, that satisfies the condition of the Brownin-Schinzel problem. In the case of a number field , we show that the maximal length of a Schinzel sequence is 1, except in seven particular cases, and explicitly compute the maximal length of a Schinzel sequence in these special cases. We show that Newton sequences are also finite, except for at most finitely many cases, all real, and such that . For , we show that the maximal length of a Newton sequence is 1, except in five particular cases, and again explicitly compute the maximal length in these special cases. In the case of a quadratic extension of a function field F_q(T), we similarly show that, unless the ring of integers is isomorphic to some function field (in which case there are obviously infinite Newton and Schinzel sequences), the maximal length of a Schinzel sequence is finite and in fact, equal to q. For imaginary extensions, Newton sequences are known to be finite (unless the ring of integers is isomorphic to some function field) and we show here that the same holds in the real case, but for finitely many extensions.     

Maximal class numbers of CM number fields

Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis and Artin's conjecture on the entirety of Artin L-functions, we derive an upper bound (in terms of the discriminant) on the class number of any CM number field with maximal real subfield F. This bound is a refinement of a bound established by Duke in 2001. Under the same hypotheses, we go on to prove that there exist infinitely many CM-extensions of F whose class numbers essentially meet this improved bound and whose Galois groups are as large as possible.     

Class number indivisibility for quadratic function fields

Let M?5. For any odd prime power q and any prime ??q, we show that there are at least pairwise coprime D∈Fq[T] which are square-free and of odd degree ?M, such that ? does not divide the class number of the complex quadratic functions fields .     

Rational functions over finite fields having continued fraction expansions with linear partial quotients

Let F be a finite field with q elements and let g be a polynomial in F[X] with positive degree less than or equal to q/2. We prove that there exists a polynomial f∈F[X], coprime to g and of degree less than g, such that all of the partial quotients in the continued fraction of g/f have degree 1. This result, bounding the size of the partial quotients, is related to a function field equivalent of Zaremba's conjecture and improves on a result of Blackburn [S.R. Blackburn, Orthogonal sequences of polynomials over arbitrary fields, J. Number Theory 6 (1998) 99-111]. If we further require g to be irreducible then we can loosen the degree restriction on g to deg(g)?q.     

Universal deformation rings need not be complete intersections

We answer a question of M. Flach by showing that there is a linear representation of a profinite group whose (unrestricted) universal deformation ring is not a complete intersection. We show that such examples arise in arithmetic in the following way. There are infinitely many real quadratic fields F for which there is a mod 2 representation of the Galois group of the maximal unramified extension of F whose universal deformation ring is not a complete intersection. Finally, we discuss bounds on the singularities of universal deformation rings of representations of finite groups in terms of the nilpotency of the associated defect groups. The first author was supported in part by NSF Grant DMS01-39737 and NSA Grant H98230-06-1-0021. The second author was supported in part by NSF Grants DMS00-70433 and DMS05-00106.     

The Scholz theorem in function fields

The Scholz theorem in function fields states that the l-rank difference between the class groups of an imaginary quadratic function field and its associated real quadratic function field is either 0 or 1 for some prime l. Furthermore, Leopoldt's Spiegelungssatz (= the Reflection theorem) in function fields yields a comparison between the m-rank of some subgroup of the class group of an imaginary cyclic function field L₁ and the m-rank of some subgroup of the class group of its associated real cyclic function field L₂ for some prime number m; then their m-ranks also equal or differ by 1. In this paper we find an explicit necessary condition for their m-ranks (respectively l-ranks) to be the same in the case of cyclic function fields (respectively quadratic function fields). In particular, in the case of quadratic function fields, if l does not divide the regulator of L₂, then their l-ranks are the same, equivalently if their l-ranks differ by 1, then l divides the regulator of L₂.     

Generalized Bowen-Franks groups of integral matrices with the same zeta function

In this paper the relation between the zeta function of an integral matrix and its generalized Bowen-Franks groups is studied. Suppose that A and B are nonnegative integral matrices whose invertible part is diagonalizable over the field of complex numbers and A and B have the same zeta function. Then there is an integer m, which depends only on the zeta function, such that, for any prime q such that gcd(q,m)=1, for any g(x)∈Z[x] with g(0)=1, the q-Sylow subgroup of the generalized Bowen-Franks group BF_g(x)(A) and BF_g(x)(B) are the same. In particular, if m=1, then zeta function determines generalized Bowen-Franks groups.     

Calculating formula and divisibility for relative class numbers of abelian function fields

In this paper abelian function fields are restricted to the subfields of cyclotomic function fields. For any abelian function field K/k with conductor an irreducible polynomial over a finite field of odd characteristic, we give a calculating formula of the relative divisor class number of K. And using the given calculating formula we obtain a criterion for checking whether or not the relative divisor class number is divisible by the characteristic of k.     

Small generators of number fields

If K is a number field of degree n over Q with discriminant D _K and if α∈K generates K, i.e. K=Q(α), then the height of α satisfies with . The paper deals with the existence of small generators of number fields in this sense. We show: (1) For each $n$ there are infinitely many number fields K of degree $n$ with a generator α such that . (2) There is a constant d ² such that every imaginary quadratic number field has a generator α which satisfies .?(3) If K is a totally real number field of prime degree n then one can find an integral generator α with . Received: 10 January 1997 / Revised version: 13 January 1998     

Central values of L-functions over CM fields

We prove an explicit formula for the central values of certain Rankin L-functions. These L-functions are the L-functions attached to Hilbert newforms over a totally real field F, twisted by unitary Hecke characters of a totally imaginary quadratic extension of F. This formula generalizes our former result on L-functions twisted by finite CM characters.     

On exceptional pq-groups

A finite group G is called exceptional if for a Galois extension F/k of number fields with the Galois group G,in the Brauer-Kuroda relation of the Dedekind zeta functions of fields between k and F,the zeta function of F does not appear.In the present paper we describe effectively all exceptional groups of orders divisible by exactly two prime numbers p and q,which have unique subgroups of orders p and q.     

Application of Greenberg's conjecture in the capitulation problem

Let r be a positive integer. Assume Greenberg's conjecture for some totally real number fields, we show that there exists an infinite family of imaginary cyclic number fields F over the field of rational number field , with an elementary 2‐class group of rank equal to r that capitulates in an unramified quadratic extension over F. Also, we give necessary and sufficient conditions for the Galois group of the unramified maximal 2‐extension over F to be abelian.     

Class groups of quadratic fields of 3-rank at least 2: Effective bounds

In this paper, we give parametric families of both real and complex quadratic number fields whose class group has 3-rank at least 2. As a consequence, we obtain that for all large positive real numbers x, the number of both real and complex quadratic fields whose class group has 3-rank at least 2 and absolute value of the discriminant ?x is >cx1/3, where c is some positive constant.