The extended Bloch groups of biquadratic and dihedral number fields

In this paper, we study the Galois action on the extended Bloch groups of biquadratic and dihedral number fields. We prove that if F is a biquadratic number field, then the index $Q_2(F)$ in Browkin and Gangl's formulas on the Brauer–Kuroda relation can only be 1 or 2. This is exactly what Browkin and Gangl predicted in their paper. Moreover we give the explicit criteria for $Q_2(F)=1$ or 2 in terms of the Tate kernels. We also prove that $Q_2(F)=1$ or p for any dihedral extension $F/\mathbb{Q}$ whose Galois group is the dihedral group of order 2p, where p is an odd prime.     

On linear congruence relations for Kubota-Leopoldt 2-adic L-functions

Our purpose in the paper is to find the most general linear congruence relation of the Hardy-Williams type for linear combinations of special values of Kubota-Leopoldt 2-adic L-functions L₂(k,χω^1−k) with k running over any finite subset of not necessarily consisting of consecutive integers (see Acta Arith. 47 (1986) 263; Publ. Math. Fac. Sci. Besançon, Théorie des Nombres, 1995/1996; Publ. Math. Debrecen 56 (2000) 677 and cf. Mathematics and Its Applications, Vol. 511, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000). If k runs over finite subsets of consisting of consecutive integers see Compositio Math. 111 (1998) 289; Publ. Math. Debrecen 56 (2000) 677; Hardy and Williams, 1986; Compositio Math. 75 (1990) 271; Acta Arith. 71 (1995) 273; 52 (1989) 147; J. Number Theory 34 (1990) 362. In order to obtain the most general congruences of this type we make use of divisibility properties of the generalized Vandermonde determinants obtained in Spie? et al. (Divisibility properties of generalized Vandermonde and Cauchy determinants, Preprint 627, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 2002). This allows us to simplify our main Theorem 2 and obtain Theorem 3 where the most general form of the linear congruence relation is given.     

On the index of circular units in the full group of units of a compositum of quadratic fields

For a compositum of quadratic fields , where d₁,…,ds are square-free odd integers and , we study the group C of circular units of k. We construct a basis of C, compute the index of C in the full group of units of k and derive a lower bound for the divisibility of this index by a power of 2. These results give a lower bound for the divisibility of the class number of the maximal real subfield of k by a power of 2.     

On some cubic or quartic algebraic units

Let ? be an algebraic unit such that rank of the unit group of the order Z[?] is equal to one. It is natural to ask whether ? is a fundamental unit of this order. To prove this result, we showed that it suffices to find explicit positive constants c₁, c₂ and c₃ such that for any such ? it holds that c₁c₂|?|?d??c₃|?|^2c₂, where d? denotes the absolute value of the discriminant of ?, i.e. of the discriminant of its minimal polynomial. We give a proof of this result, simpler than the original ones.     

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

Reciprocal relations between cyclotomic fields

We describe a reciprocity relation between the prime ideal factorization, and related properties, of certain cyclotomic integers of the type ?n(c−ζm) in the cyclotomic field of the m-th roots of unity and that of the symmetrical elements ?m(c−ζn) in the cyclotomic field of the n-th roots. Here m and n are two positive integers, ?n is the n-th cyclotomic polynomial, ζm a primitive m-th root of unity, and c a rational integer. In particular, one of these integers is a prime element in one cyclotomic field if and only if its symmetrical counterpart is prime in the other cyclotomic field. More properties are also established for the special class of pairs of cyclotomic integers q(1−ζp)−1 and p(1−ζq)−1, where p and q are prime numbers.     

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.     

Exceptional units and Euclidean number fields

By a result of H.W. Lenstra, one can prove that a number field is Euclidean with the aid of exceptional units. We describe two methods computing exceptional sequences, i.e., sets of units such that the difference of any two of them is still a unit. The second method is based on a graph theory algorithm for the maximum clique problem. This yielded 42 new Euclidean number fields in degrees 8, 9, 10, 11 and 12. Received: 16 May 2006     

On the group of modular units and the ideal class group

J.-M. Kim, S. Bae and I.-S. Lee showed that there exists an isomorphism between the p-primary part of the ideal class group and p-primary part of the unit group modulo cyclotomic unit group in Q⁺(ζpn) for all sufficiently large n under some conditions. In the present paper, we shall give an analogue of their result for modular units.     

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

Circular units in a bicyclic field

For a real abelian field with a non-cyclic Galois group of order l², l being an odd prime, the index of the Sinnott group of circular units is computed.     

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.     

On the distribution of irreducible algebraic integers

We study large values of the remainder term in the asymptotic formula for the number of irreducible integers in an algebraic number field K. In the case when the class number h of K is larger than 1, under certain technical condition on multiplicities of non-trivial zeros of Hecke L-functions, we detect oscillations larger than what one could expect on the basis of the classical Littlewood’s omega estimate for the remainder term in the prime number formula. In some cases the main result is unconditional. It is proved that this is always the case when h = 2. Author’s address: Faculty of Mathematics and Computer Science, Adam Mickiewicz University, ul. Umultowska 87, 61-614 Poznań, Poland The author was supported in part by KBN Grant # N N201 1482 33.     

Enlargement of the group of circular units of a bicyclic field

We compute the index of a certain extension of Sinnott's group of circular units in the group of all units of a bicyclic field. From this index we obtain some divisibility properties for class numbers of bicyclic fields.     

The Rubin-Stark conjecture for a special class of function field extensions

We prove a strong form of the Brumer-Stark Conjecture and, as a consequence, a strong form of Rubin's integral refinement of the abelian Stark Conjecture, for a large class of abelian extensions of an arbitrary characteristic p global field k. This class includes all the abelian extensions K/k contained in the compositum k_p∞?k_p·k_∞ of the maximal pro-p abelian extension k_p/k and the maximal constant field extension k_∞/k of k, which happens to sit inside the maximal abelian extension k^ab of k with a quasi-finite index. This way, we extend the results obtained by the present author in (Comp. Math. 116 (1999) 321-367).     

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.     

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