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.     

Average values of L-functions in characteristic two

Gauss made two conjectures about average values of class numbers of orders in quadratic number fields, later on proven by Lipschitz and Siegel. A version for function fields of odd characteristic was established by Hoffstein and Rosen. In this paper, we extend their results to the case of even characteristic. More precisely, we obtain formulas of average values of L-functions associated to orders in quadratic function fields over a constant field of characteristic two, and then derive formulas of average class numbers of these orders.     

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.     

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

A finiteness theorem for imaginary abelian number fields

Lately, I. Miyada proved that there are only finitely many imaginary abelian number fields with Galois groups of exponents ≤2 with one class in each genus. He also proved that under the assumption of the Riemann hypothesis there are exactly 301 such number fields. Here, we prove the following finiteness theorem: there are only finitely many imaginary abelian number fields with one class in each genus. We note that our proof would make it possible to find an explict upper bound on the discriminants of these number fields which are neither quadratic nor biquadratic bicyclic. However, we do not go into any explicit determination.     

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

Punctured distributions of global function fields

We obtain some criteria for elements in the universal ordinary punctured even (odd) distributions on global function fields to be torsion and then compute the torsion subgroups of the level groups of the universal punctured ordinary even (odd) distributions of global function fields. Supported by Korea Research Foundation grant (KRF-2002-070-C00003)     

Théorie des genres des corps globaux

We establish the fundamental results of genus theory for finite (non necessary Galois) extensions of global fields by using narrow S-class groups, when S is an arbitrary finite set of places. This exposition, which involves both the number fields and the functions fields cases, generalizes most classical results on this subject. Received: 8 February 1999 / Revised version: 17 December 1999     

On the parity of the class number of multiquadratic number fields

This paper investigates the 2-class group of real multiquadratic number fields. Let p₁,p₂,…,pn be distinct primes and . We draw a list of all fields K whose 2-class group is trivial.     

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.     

Cohen-Lenstra heuristics and the Spiegelungssatz; function fields

In this paper, we study the compatibility of Cohen-Lenstra heuristics with Leopoldt's Spiegelungssatz (= the reflection theorem) in the case of cyclic function fields. First, we prove a group-theoretical version of the Spiegelungssatz for cyclic function fields. Then we show the internal consistency of the function field analogue of Cohen-Lenstra heuristics in the case of cyclic function fields. It thus supports the validity of Cohen-Lenstra heuristics in function fields.     

Diophantine equations over global function fields I: The Thue equation

We solve completely Thue equations in function fields over arbitrary finite fields. In the function field case such equations were formerly only solved over algebraically closed fields (of characteristic zero and positive characteristic). Our method can be applied to similar types of Diophantine equations, as well.     

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

Density of integers which are discriminants of cyclic fields of odd prime degree

An asymptotic formula is given for the number of integers x which are discriminants of cyclic fields of odd prime degree.Received: 17 February 2004     

Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields

Let K be a number field and let G be a finite abelian group. We call K a Hilbert-Speiser field of type G if, and only if, every tamely ramified normal extension L/K with Galois group isomorphic to G has a normal integral basis. Now let C₂ and C₃ denote the cyclic groups of order 2 and 3, respectively. Firstly, we show that among all imaginary quadratic fields, there are exactly three Hilbert-Speiser fields of type $C_{2}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-1, -3, -7\}$. Secondly, we give some necessary and sufficient conditions for a real quadratic field $K = \mathbb{Q}(\sqrt {m})$ to be a Hilbert-Speiser field of type C₂. These conditions are in terms of the congruence class of m modulo 4 or 8, the fundamental unit of K, and the class number of K. Finally, we show that among all quadratic number fields, there are exactly eight Hilbert-Speiser fields of type $C_{3}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-11,-3, -2, 2, 5, 17, 41, 89\}$.Received: 2 April 2002     

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

A density result for some imaginary quadratic fields with infinite Hilbert 2-class field towers

This paper shows that a positive proportion of the imaginary quadratic fields with 2-class rank equal to 3 have 4-class rank equal to zero and infinite Hilbert 2-class field towers. Received: 14 January 2003     

A family of quintic cyclic fields with even class number parameterized by rational points on an elliptic curve

We give a family of quintic cyclic fields with even class number parametrized by rational points on an elliptic curve associated with Emma Lehmer's quintic polynomial. Further, we use the arithmetic of elliptic curves and the Chebotarev density theorem to show that there are infinitely many such fields.     

Double complex and gamma-monomials in global function fields

We investigate Γ-monomials of positive characteristic Γ-functions in the global function fields by using Anderson's double complex method. The results are the generalizations of those in the rational function field case.     

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.