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.     

Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial

Using the theory of elliptic curves, we show that the class number h(−p) of the field appears in the count of certain factors of the Legendre polynomials , where p is a prime >3 and m has the form (p−e)/k, with k=2,3 or 4 and . As part of the proof we explicitly compute the Hasse invariant of the Hessian curve y²+αxy+y=x³ and find an elementary expression for the supersingular polynomial ss_p(x) whose roots are the supersingular j-invariants of elliptic curves in characteristic p. As a corollary we show that the class number h(−p) also shows up in the factorization of certain Jacobi polynomials.     

Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

The vanishing order of certain Hecke L-functions of imaginary quadratic fields

Let −D<−4 denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of exists. Let d be a fundamental discriminant prime to D. Let 2k−1 be an odd natural number prime to the class number of . Let χ be the twist of the (2k−1)th power of a canonical Hecke character of by the Kronecker's symbol . It is proved that the vanishing order of the Hecke L-function L(s,χ) at its central point s=k is determined by its root number when , where the constant implied in the symbol ? depends only on k and ?, and is effective for L-functions with root number −1.     

On the quadratic character of quadratic units

Let be a prime. Let a,b∈Z with p?a(a²+b²). In the paper we mainly determine by assuming p=c²+d² or p=Ax²+2Bxy+Cy² with AC−B²=a²+b². As an application we obtain simple criteria for εD to be a quadratic residue , where D>1 is a squarefree integer such that D is a quadratic residue of p, εD is the fundamental unit of the quadratic field with negative norm. We also establish the congruences for and obtain a general criterion for p|U(p−1)/4, where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1).     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

The evaluation of Gauss sums for characters of 2-power order

Let χ be a character of order 2^t on the splitting field of the polynomial x^2t−1 over the prime field with p≡3,5 (mod 8). In this paper we evaluate explicitly the Gauss sums related to the group of characters generated by χ.     

Midwest cousins of Barnes-Wall lattices

Given a rational lattice and suitable set of linear transformations, we construct a cousin lattice. Sufficient conditions are given for integrality, evenness and unimodularity. When the input is a Barnes-Wall lattice, we get multi-parameter series of cousins. There is a subseries consisting of unimodular lattices which have ranks ²d−1±²d−k−1, for odd integers d?3 and integers . Their minimum norms are moderately high: .     

A note on Farey fractions with odd denominators

In this paper we examine the subset of Farey fractions of order Q consisting of those fractions whose denominators are odd. In particular, we consider the frequencies of the values taken on by Δ=qa′−aq′ where a/q<a′/q′ are consecutive in . After proving an asymptotic result for these frequencies, we generalize the result to the subset of elements of formed by restriction to a subinterval [α,β]⊆[0,1].     

Note on a Fermat-type diophantine equation

Let p>5 be a prime number and ζ a pth root of unity. Let c be an integer divisible only by primes of the form kp−1,(k,p)=1.Let C_p⁽ⁱ⁾ be the eigenspace of the p-Sylow subgroup of ideal class group C of corresponding to ωi,ω being the Teichmuller character.In this article we extend the main theorem in Sitaraman (J. Number Theory 80 (2000) 174) and get the following: For any fixed odd positive integer n<p−4, assume:

(a)

At least one of C_p⁽³⁾,C_p⁽⁵⁾,…,C_p⁽ⁿ⁾ is non-trivial.

(b)

C_p⁽ⁱ⁾=0 for p−n−1?i?p−2.

(c)

for 1?i?n+1.

Let q be an odd prime such that , and such that there is a prime ideal Q over q in whose ideal class is of the form I^pJ where J is non-trivial, not a pth power and J∈C_p⁽³⁾⊕C_p⁽⁵⁾⊕?⊕C_p⁽ⁿ⁾.For such p and q, if x^p+y^p=pcz^p has a non-trivial solution , with (x,y,z)=1, then .Let t(n)=n²²⁴ⁿ⁴. If , then applying a result of Soulé (J. Reine Angew. Math. 517 (1999) 209), we show that the above result holds with only condition (a) because the others are automatically satisfied.We also make a remark about the effect of Soulé's result on the p-divisibility of h_p⁺ (the class number of the maximal real subgroup of ) which is relevant to the existence of integral solutions to x^p+y^p=pcz^p.     

Computation of Galois groups associated to the 2-class towers of some quadratic fields

The p-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group for with d=−445,−1015,−1595,−2379. In each case we are able to narrow the identity of G down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower.     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

Équidistribution presque partout modulo 1 de suites oscillantes perturbées III : cas liouvillien multidimensionnel

We extend the results of uniform distribution modulo 1 given in [B. Rittaud, Équidistribution presque partout modulo 1 de suites oscillantes perturbées, Bull. Soc. Math. France 128 (2000) 451-471; B. Rittaud, Équidistribution presque partout modulo 1 de suites oscillantes perturbées, II: Cas Liouvillien unidimensionnel, Colloq. Math. 96 (1) (2003) 55-73], which deal with sequences of the form , where n(hn), and are polynomially increasing sequences, n(εn) a bounded sequence, essentially a C³-function Zd-periodic, Θ an element of Rd and t a real number. We remove the Diophantine hypothesis on Θ needed in [the first of above mentioned articles], and add a technical hypothesis on hn. We apply this result to the convergence of diagonal averages for d×d matrices.