On some questions related to the Gauss conjecture for function fields

We show that, for any finite field Fq, there exist infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is a separable polynomial. As pointed out by Anglès, this is a necessary condition for the existence, for any finite field Fq, of infinitely many real function fields over Fq with ideal class number one (the so-called Gauss conjecture for function fields). We also show conditionally the existence of infinitely many real quadratic function fields over Fq such that the numerator of their zeta function is an irreducible polynomial.     

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.     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

Caliber number of real quadratic fields

We obtain lower bound of caliber number of real quadratic field using splitting primes in K. We find all real quadratic fields of caliber number 1 and find all real quadratic fields of caliber number 2 if d is not 5 modulo 8. In both cases, we don't rely on the assumption on ζK(1/2).     

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].     

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.     

Higher relative class number formulae

Let E be a totally complex abelian number field with maximal real subfield F, and let denote the non-trivial character of . Similar to the classical case n=1 the value of the Artin L-function at for odd is given by a relative class number formula of the form Here is a higher Q-index, which is equal to 1 or 2 and is a higher relative class number. Here for any number field L the higher class number is the order of the finite group closely related to the order of the higher K-theory group of the ring of integers in L. Received: 4 June 1999 / Revised version: 27 September 2001 / Published online: 26 April 2002     

Continued fractions, special values of the double sine function, and Stark units over real quadratic fields

Let F be a real quadratic field and m an integral ideal of F. Two Stark units, εm,1 and εm,2, are conjectured to exist corresponding to the two different embeddings of F into R. We define new ray class invariants and associated to each class C₊ of the narrow ray class group modulo m and dependent separately on the two different embeddings of F into R. These invariants are defined as a product of special values of the double sine function in a compact and canonical form using a continued fraction approach due to Zagier and Hayes. We prove that both Stark units εm,1 and εm,2, assuming they exist, can be expressed simultaneously and symmetrically in terms of and , thus giving a canonical expression for every existent Stark unit over F as a product of double sine function values. We prove that Stark units do exist as predicted in certain special cases.     

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₂.     

Circular distributions and a result of Solomon

In his paper (Invent. Math. 109 (1992) 329-350), Solomon finds an information on the prime factorization of an element coming from a circular unit 1-ζ over the ideal class group of a real abelian number field L, where ζ denotes a root of unity. Using this he obtains an annihilator of the p-Sylow subgroup of the subgroup of the ideal class group of L generated by the classes of prime ideals lying above p. We generalize this result to the circular distributions which has the axiomatic definition of Euler systems as its defining property.     

Arithmetical properties of linear recurrent sequences

Let F(z)∈R[z] be a polynomial with positive leading coefficient, and let α>1 be an algebraic number. For r=degF>0, assuming that at least one coefficient of F lies outside the field Q(α) if α is a Pisot number, we prove that the difference between the largest and the smallest limit points of the sequence of fractional parts {F(n)αn}_n=1,2,3,… is at least 1/?(Pr+1), where ? stands for the so-called reduced length of a polynomial.     

The class-number one problem for some real cubic number fields with negative discriminants

We prove that there are effectively only finitely many real cubic number fields of a given class number with negative discriminants and ring of algebraic integers generated by an algebraic unit. As an example, we then determine all these cubic number fields of class number one. There are 42 of them. As a byproduct of our approach, we obtain a new proof of Nagell's result according to which a real cubic unit ?>1 of negative discriminant is generally the fundamental unit of the cubic order Z[?].     

Some explicit upper bounds for residues of zeta functions of number fields taking into account the behavior of the prime 2

We recall the known explicit upper bounds for the residue at s = 1 of the Dedekind zeta function of a number field K. Then, we improve upon these previously known upper bounds by taking into account the behavior of the prime 2 in K. We finally give several examples showing how such improvements yield better bounds on the absolute values of the discriminants of CM-fields of a given relative class number. In particular, we will obtain a 4,000-fold improvement on our previous bound for the absolute values of the discriminants of the non-normal sextic CM-fields with relative class number one.     

On Galois representations for abelian varieties with complex and real multiplications

In this paper, we study the image of l-adic representations coming from Tate module of an abelian variety defined over a number field. We treat abelian varieties with complex and real multiplications. We verify the Mumford-Tate conjecture for a new class of abelian varieties with real multiplication.     

The wild kernel of exceptional number fields

For an infinite class of exceptional number fields, F, we prove that a map of Keune from to the 2-Sylow subgroup of the wild kernel of F is an isomorphism, and in all cases we give an upper bound for the kernel and cokernel of this map. We find examples which show that the map is neither injective nor surjective in general.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

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.     

Littlewood Pisot numbers

A Pisot number is a real algebraic integer, all of whose conjugates lie strictly inside the open unit disk; a Salem number is a real algebraic integer, all of whose conjugate roots are inside the closed unit disk, with at least one of them of modulus exactly 1. Pisot numbers have been studied extensively, and an algorithm to generate them is well known. Our main result characterises all Pisot numbers whose minimal polynomial is a Littlewood polynomial, one with {+1,-1}-coefficients, and shows that they form an increasing sequence with limit 2. It is known that every Pisot number is a limit point, from both sides, of sequences of Salem numbers. We show that this remains true, from at least one side, for the restricted sets of Pisot and Salem numbers that are generated by Littlewood polynomials. Finally, we prove that every reciprocal Littlewood polynomial of odd degree n?3 has at least three unimodular roots.     

Class number 2 problem for certain real quadratic fields of Richaud-Degert type

In this paper we will apply Biró's method in [A. Biró, Yokoi's conjecture, Acta Arith. 106 (2003) 85-104; A. Biró, Chowla's conjecture, Acta Arith. 107 (2003) 179-194] to class number 2 problem of real quadratic fields of Richaud-Degert type and will show that there are exactly 4 real quadratic fields of the form with class number 2, where n²+1 is a even square free integer.     

A generalization of the Barban-Davenport-Halberstam Theorem to number fields

For a fixed number field K, we consider the mean square error in estimating the number of primes with norm congruent to a modulo q by the Chebotarëv Density Theorem when averaging over all q?Q and all appropriate a. Using a large sieve inequality, we obtain an upper bound similar to the Barban-Davenport-Halberstam Theorem.