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.     

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.     

On congruence relations between the fundamental units of biquadratic fields

Given any distinct prime numbers p,q, and r satisfying certain simple congruence conditions, we display a congruence relation between the fundamental units for the biquadratic field , modulo a certain prime ideal of OK. This congruence in particular implies the validity of the equivariant Tamagawa number conjecture formulated by Burns and Flach for the pair (h⁰(SpecK),Z[Gal(K/Q)]).     

A complete determination of Rabinowitsch polynomials

Let m be a positive integer and fm(x) be a polynomial of the form fm(x)=x²+x−m. We call a polynomial fm(x) a Rabinowitsch polynomial if for and consecutive integers x=x₀,x₀+1,…,x₀+s−1, |fm(x)| is either 1 or prime. In this paper, we show that there are exactly 14 Rabinowitsch polynomials fm(x).     

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

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 .     

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.     

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.     

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

Torsion subgroups of Brauer groups and extensions of constant local degree for global function fields

We show that, for all characteristic p global fields k and natural numbers n coprime to the order of the non-p-part of the Picard group Pic⁰(k) of k, there exists an abelian extension L/k whose local degree at every prime of k is equal to n. This answers in the affirmative in this context a question recently posed by Kisilevsky and Sonn. As a consequence, we show that, for all n and k as above, the n-torsion subgroup Br_n(k) of the Brauer group Br(k) of k is algebraic, answering a question of Aldjaeff and Sonn in this context.     

On the non-Archimedean metric Mahler measure

Recently, Dubickas and Smyth constructed and examined the metric Mahler measure and the metric naïve height on the multiplicative group of algebraic numbers. We give a non-Archimedean version of the metric Mahler measure, denoted M_∞, and prove that M_∞(α)=1 if and only if α is a root of unity. We further show that M_∞ defines a projective height on as a vector space over Q. Finally, we demonstrate how to compute M_∞(α) when α is a surd.     

Powers of roots in linear spaces

Suppose K is a field, αn∈K^∗, and n is the least natural number with this property. We study the question on how many powers αj, 0?j<n, lie in a given K-linear space.     

Noyaux de Tate et capitulation

Following Kahn, and Assim and Movahhedi, we look for bounds for the order of the capitulation kernels of higher K-groups of S-integers into abelian S-ramified p-extensions. The basic strategy is to change twists inside some Galois-cohomology groups, which is done via the comparison of Tate Kernels of higher order. We investigate two ways: a global one, valid for twists close to 0 (in a certain sense), and a local one, valid for twists close to 1 in cyclic extensions. The global method produces lower bounds for abelian p-extensions which are S-ramified, but not Zp-embeddable. The local method is close to that of [J. Assim, A. Movahhedi, Bounds for étale capitulation kernels, K-Theory 33 (2004) 199-213], but is improved to take into consideration what happens when S consists of only the p-places. In contrast to the first one, one can expect this second method to produce nontrivial lower bounds in certain Zp-extensions. For example, we construct Zp-extensions in which the capitulation kernel is as big as we want (when letting the twist vary). We also include a complete solution to the problem of comparing Tate Kernels.     

Image of the group ring of the Galois representation associated to Drinfeld modules

Let φ be a Drinfeld A-module of arbitrary rank and arbitrary characteristic over a finitely generated field K, and set GK=Gal(Ksep/K). Let E=EndK(φ). We show that for almost all primes p of A the image of the group ring A[GK] in EndA(Tp(φ)) is the commutant of E. In the special case E=A it follows that the representation of GK on the p-torsion points φ[p](Ksep) of φ is absolutely irreducible for almost all p.     

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.     

Arithmetic of the Ramanujan-Göllnitz-Gordon continued fraction

Text

We extend the results of Chan and Huang [H.H. Chan, S.-S. Huang, On the Ramanujan-Göllnitz-Gordon continued fraction, Ramanujan J. 1 (1997) 75-90] and Vasuki, Srivatsa Kumar [K.R. Vasuki, B.R. Srivatsa Kumar, Certain identities for Ramanujan-Göllnitz-Gordon continued fraction, J. Comput. Appl. Math. 187 (2006) 87-95] to all odd primes p on the modular equations of the Ramanujan-Göllnitz-Gordon continued fraction v(τ) by computing the affine models of modular curves X(Γ) with Γ=Γ₁(8)∩Γ₀(16p). We then deduce the Kronecker congruence relations for these modular equations. Further, by showing that v(τ) is a modular unit over Z we give a new proof of the fact that the singular values of v(τ) are units at all imaginary quadratic arguments and obtain that they generate ray class fields modulo 8 over imaginary quadratic fields.

Video

For a video summary of this paper, please visit http://www.youtube.com/watch?v=FWdmYvdf5Jg.     

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

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.