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

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 positive discriminant case of Nagell's theorem for certain cubic orders

It is proved that a real cubic unit u, whose other two conjugates are also real, is almost always a fundamental unit of the order Z[u]. The exceptions are shown to consist of a single infinite family together with one sporadic case. This is an analogue of Nagell's theorem for the negative discriminant case i.e. the case where u does not have any real conjugate.     

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.     

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.     

On the unit group and the class number¶of certain composita of two real quadratic fields

The purpose of this paper is to exhibit a new family of real bicyclic biquadratic fields K for which we can write the Hasse unit index of the group generated by the units of the three quadratic subfields in the unit group E _K of K. As a byproduct, one can explicitly relate the class number of K with the product of the class numbers of the three quadratic subfields. Received: 25 July 2000 / Revised version: 12 December 2000     

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.     

Evaluation of the Dedekind zeta functions of some non-normal totally real cubic fields at negative odd integers

Let {K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields defined by the irreducible cubic polynomial f _m (x) = x ³ − mx ² − (m + 1)x − 1, where m is an integer with m ≥ 4. In this paper, we will apply Siegel’s formula for the values of the zeta function of a totally real algebraic number field at negative odd integers to K _m , and compute the values of the Dedekind zeta function of K _m . This work was supported by grant No.R01-2006-000-11176-0 from the Basic Research Program of KOSEF.     

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

Square classes of totally positive units

In this article, we investigate some conditions for a real cyclic extension K over Q to satisfy the property that every totally positive unit of K is a square. As an application, we give a partial answer to Taussky's conjecture. We then extend our result to real abelian extensions of certain type.     

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.     

An arithmetical property of powers of Salem numbers

Let ζ be a nonzero real number and let α be a Salem number. We show that the difference between the largest and smallest limit points of the fractional parts of the numbers ζαn, when n runs through the set of positive rational integers, can be bounded below by a positive constant depending only on α if and only if the algebraic integer α−1 is a unit.     

A generalization of Voronoi's unit algorithm I

By means of a new method of mapping an algebraic number field into a euclidean space Voronoi's unit algorithm is generalized to all algebraic number fields and it is proved that the generalized Voronoi algorithm computes the fundamental units of all algebraic number fields of unit rank 1, i.e., of the real quadratic fields, of the complex cubic fields, and of the totally complex quartic fields.     

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 Numbers which are Mahler Measures

We investigate which algebraic numbers can be Mahler measures. Adler and Marcus showed that these must be Perron numbers. We prove that certain integer multiples of every Perron number are Mahler measures. The results of Boyd give some necessary conditions on Perron number to be a measure. These do not include reciprocal algebraic integers, so it would be of interest to find one which is not a Mahler measure. We prove a result in this direction. Finally, we show that for every non-negative integer k there is a cubic algebraic integer having norm 2 such that precisely the kth iteration of its Mahler measure is an integer.     

Additive Hilbert's Theorem 90 in the ring of algebraic integers

For a number field K, we give a complete characterization of algebraic numbers which can be expressed by a difference of two K-conjugate algebraic integers. These turn out to be the algebraic integers whose Galois group contains an element, acting as a cycle on some collection of conjugates which sum to zero. Hence there are no algebraic integers which can be written as a difference of two conjugate algebraic numbers but cannot be written as a difference of two conjugate algebraic integers. A generalization of the construction to a commutative ring is also given. Furthermore, we show that for n ?_ 3 there exist algebraic integers which can be written as a linear form in n K-conjugate algebraic numbers but cannot be written by the same linear form in K-conjugate algebraic integers.     

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.     

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.     

Diophantine equations and class numbers

The goals of this paper are to provide: (1) sufficient conditions, based on the solvability of certain diophantine equations, for the non-triviality of the class numbers of certain real quadratic fields; (2) sufficient conditions for the divisibility of the class numbers of certain imaginary quadratic fields by a given integer; and (3) necessary and sufficient conditions for an algebraic integer (which is not a unit) to be the norm of an algebraic integer in a given extension of number fields.