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.     

The class number one problem for some totally complex quartic number fields

We prove that there are 95 non-isomorphic totally complex quartic fields whose rings of algebraic integers are generated by an algebraic unit and whose class numbers are equal to 1. Moreover, we prove Louboutin's Conjecture according to which a totally complex quartic unit εu generally generates the unit group of the quartic order Z[εu].     

Ono invariants of imaginary quadratic fields with class number three

Let Ed(x) denote the “Euler polynomial” x²+x+(1−d)/4 if and x²−d if . Set Ω(n) to be the number of prime factors (counting multiplicity) of the positive integer n. The Ono invariantOnod of is defined to be except when d=−1,−3 in which case Onod is defined to be 1. Finally, let hd=hk denote the class number of K. In 2002 J. Cohen and J. Sonn conjectured that hd=3⇔Onod=3 and is a prime. They verified that the conjecture is true for p<1.5×¹⁰⁷. Moreover, they proved that the conjecture holds for p>¹⁰¹⁷ assuming the extended Riemann Hypothesis. In this paper, we show that the conjecture holds for p?2.5×¹⁰¹³ by the aid of computer. And using a result of Bach, we also proved that the conjecture holds for p>2.5×¹⁰¹³ assuming the extended Riemann Hypothesis. In conclusion, we proved the conjecture is true assuming the extended Riemann Hypothesis.     

On the factorization of the relative class number in terms of Frobenius divisions

The relative class number of an imaginary abelian number fieldK is—up to trivial factors—the product of the first Bernoulli numbersB _x belonging to the odd characters ofK. This product splits into rational factorsF _Z = {B ; Z}, whereZ runs through the Frobenius divisions of odd characters. It is shown that each numberF _z is—up to a certain prime power—the index of two explicitly given subgroups of (K, +). These subgroups are cyclic Galois modules, whose generators arise from roots of unity and cotangent numbers, resp. Our result is an analogue of a result concerningh ⁺ which was given by Leopoldt many years ago.To the memory of my friend Kurt Dietrich     

Exponents of the ideal class groups of CM number fields

Since class numbers of CM number fields of a given degree go to infinity with the absolute values of their discriminants, it is reasonable to ask whether the same conclusion still holds true for the exponents of their ideal class groups. We prove that under the assumption of the Generalized Riemann Hypothesis this is indeed the case. Received: 8 May 2001; in final form: 15 April 2002/Published online: 8 November 2002     

On the Ono invariants of imaginary quadratic number fields

J. Cohen, J. Sonn, F. Sairaiji and K. Shimizu proved that there are only finitely many imaginary quadratic number fields K whose Ono invariants OnoK are equal to their class numbers hK. Assuming a Restricted Riemann Hypothesis, namely that the Dedekind zeta functions of imaginary quadratic number fields K have no Siegel zeros, we determine all these K's. There are 114 such K's. We also prove that we are missing at most one such K. M. Ishibashi proved that if OnoK is large enough compared with hK, then the ideal class groups of K is cyclic. We give a short proof and a precision of Ishibashi's result. We prove that there are only finitely many imaginary quadratic number fields K satisfying Ishibashi's sufficient condition. Assuming our Restricted Riemann Hypothesis, we prove that the absolute values dK of their discriminants are less than 2.3⋅¹⁰⁹. We determine all these K's with dK?¹⁰⁶. There are 76 such K's. We prove that there is at most one such K with dK?1.8⋅¹⁰¹¹.     

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

On the ideal class groups of the maximal real subfields of number fields with all roots of unity

In this paper, for a totally real number field k we show the ideal class group of k(∪_n>0μ_n)⁺ is trivial. We also study the p-component of the ideal class group of the cyclotomic Z_p-extension. Received January 15, 1998 / final version received July 31, 1998     

Class number and class group problems for some non-normal totally real cubic number fields

Let \lcub;K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields associated with the Q-irreducible cubic polynomials P _m (x) =x ³−mx ²−(m+1)x− 1, m≥ 4. We determine all these K _m 's with class numbers h _m ≤ 3: there are 14 such K _m 's. Assuming the Generalized Riemann hypothesis for all the real quadratic number fields, we also prove that the exponents e _m of the ideal class groups of these K _m go to infinity with m and we determine all these K _m 's with ideal class groups of exponents e _m ≤ 3: there are 6 suchK _m with ideal class groups of exponent 2, and 6 such K _m with ideal class groups of exponent 3. Received: 16 November 2000 / Revised version: 16 May 2001     

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.     

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.     

On class numbers of quadratic extensions¶over function fields

We consider class numbers of quadratic extensions over a fixed function field. We will show that there exist infinitely many quadratic extensions which have class numbers not being divisible by 3 and satisfy prescribed ramification conditions. Received: 24 October 1997 / Revised version: 26 February 1998     

On the refined class number formula of Gross

We verify Gross's refined class number formula for abelian extensions of global function fields of prime exponent.     

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.     

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.     

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.     

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.     

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

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