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     

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⋅¹⁰¹¹.     

On the Galois groups of the 2-class towers of some imaginary quadratic fields

Let and knr,2 be the maximal unramified 2-extension of k. To show that knr,2/k is finite, Michael Bush gave 8 possible presentations of finite groups for G=Gal(knr,2/k). However, his methods did not further isolate G. We eliminate 4 of the possibilities, and explain how to isolate G, although carrying out the latter strategy is beyond current technological capabilities. We also discuss related examples.     

Reflection theorem for divisor class groups of relative quadratic function fields

We present the reflection theorem for divisor class groups of relative quadratic function fields. Let K be a global function field with constant field Fq. Let L₁ be a quadratic geometric extension of K and let L₂ be its twist by the quadratic constant field extension of K. We show that for every odd integer m that divides q+1 the divisor class groups of L₁ and L₂ have the same m-rank.     

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.     

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.     

Separable free quadratic algebras over quadratic integers

The aim of the paper is to determine all free separable quadratic algebras over the rings of integers of quadratic fields in terms of the properties of the fundamental unit in the real case. The paper corrects some earlier published results on the subject.     

On absolute Galois splitting fields of central simple algebras

A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper proves an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. An analogous statement holds for division algebras over Henselian valued fields with global residue field.The existence of absolute Galois splitting fields in central simple algebras over global fields is equivalent to a suitable generalization of the weak Grunwald-Wang theorem, which is proved to hold if enough roots of unity are present. In general, it does not hold and counter examples have been used in noncrossed product constructions. This paper shows in particular that a certain computational difficulty involved in the construction of explicit examples of noncrossed product twisted Laurent series rings cannot be avoided by starting the construction with a symbol algebra.     

Number fields unramified away from 2

Consider the set of number fields unramified away from 2, i.e., unramified outside {2,∞}. We show that there do not exist any such fields of degrees 9 through 15. As a consequence, the following simple groups are ruled out for being the Galois group of an extension which is unramified away from 2: Mathieu groups M₁₁ and M₁₂, PSL(3,3), and alternating groups Aj for 8<j<16 (values j?8 were previously known).     

Nonexistence of Bonatti-Langevin examples of Anosov flows on closed four manifolds

Bonatti and Langevin constructed an Anosov flow on a closed 3-manifold with a transverse torus intersecting all orbits except one [C. Bonatti, R. Langevin, Un exemple de flot d'Anosov transitif transverse à un tore et non conjugué à une suspension, Ergodic Theory Dynam. Systems 14 (4) (1994), 633-643]. We shall prove that these flows cannot be constructed on closed 4-manifolds. More precisely, there are no Anosov flows on closed 4-manifolds with a closed, incompressible, transverse submanifold intersecting all orbits except finitely many closed ones. The proof relies on the analysis of the trace of the weak invariant foliations of the flow on the transverse submanifold.     

Classification of metabelian 2-groups G with Gab ≃ (2,2n),n ≥ 2, and rank d(G′)=2; Applications to real quadratic number fields

We characterize all finite metabelian 2-groups G whose abelianizations $G^{\mathrm{ab}}$ are of type $(2,2^n)$, with $n\ge 2$, and for which their commutator subgroups $G^{\prime }$ have $\text{rank}=2$. This is given in terms of the order of the abelianizations of the maximal subgroups and the structure of the abelianizations of those normal subgroups of index 4 in G. We then translate these group theoretic properties to give a characterization of number fields k with 2-class group ${\mathrm{Cl}}_2(k)?(2,2^n)$, $n\ge 2$, such that the rank of ${\mathrm{Cl}}_2(k^1)=2$ where $k^1$ is the Hilbert 2-class field of k. In particular, we apply all this to real quadratic number fields whose discriminants are a sum of two squares.     

Class number indivisibility for quadratic function fields

Let M?5. For any odd prime power q and any prime ??q, we show that there are at least pairwise coprime D∈Fq[T] which are square-free and of odd degree ?M, such that ? does not divide the class number of the complex quadratic functions fields .     

Explicit determination of generalized symmetric and alternating Galois groups

This paper shows a probabilistic algorithm to decide whether the Galois group of a given irreducible polynomial with rational coefficients is the generalized symmetric group C_p?S_m or the generalized alternating group C_p?A_m. In the affirmative case, we give generators of the group with their action on the set of roots of the polynomial.     

A note on the 3-rank of quadratic fields

The difference between the 3-rank of the ideal class group of an imaginary quadratic field and that of the associated real quadratic field is equal to 0 or 1. In this note, we give an infinite family of examples in each case.Received: 9 September 2002     

Homology decompositions for p-compact groups

We construct a homotopy theoretic setup for homology decompositions of classifying spaces of p-compact groups. This setup is then used to obtain a subgroup decomposition for p-compact groups which generalizes the subgroup decomposition with respect to p-stubborn subgroups for a compact Lie group constructed by Jackowski, McClure and Oliver.     

Quadratic equations over finite fields and class numbers of real quadratic fields

Letp be an odd prime and the finite field withp elements. In the present paper we shall investigate the number of points of certain quadratic hypersurfaces in the vector space and derive explicit formulas for them. In addition, we shall show that the class number of the real quadratic field (wherep1 (mod 4)) over the field of rational numbers can be expressed by means of these formulas.     

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

Determination of conductors from Galois module structure

Let E denote an unramified extension of , and set for an odd prime p and . We determine the conductors of the Kummer extensions of F by those elements such that is Galois. This follows from a comparison of the Galois module structure of with the unit filtration of F. Received: 28 August 2000; in final form: 11 October 2001 / Published online: 4 April 2002     

Ergodic properties for some non-expanding non-reversible systems

We study several properties of invariant measures obtained from preimages, for non-invertible maps on fractal sets which model non-reversible dynamical systems. We give two ways to describe the distribution of all preimages for endomorphisms which are not necessarily expanding on a basic set Λ. We give a topological dynamics condition which guarantees that the corresponding measures converge to a unique conformal ergodic borelian measure; this helps in estimating the unstable dimension a.e. with respect to this measure with the help of Lyapunov exponents. When there exist negative Lyapunov exponents of this limit measure, we study the conditional probabilities induced on the non-uniform local stable manifolds by the limit measure, and also its pointwise dimension on stable manifolds.