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 .     

On conjugacy classes in metaplectic groups

Let E be a finite dimensional symplectic space over a local field of characteristic zero. We show that for every element in the metaplectic double cover of the symplectic group Sp(E), and are conjugate by an element of GSp(E) with similitude −1.     

Derivative of power series attached to Γ-transform of p-adic measures

We extend the result of Anglès (2007) [1], namely for the Iwasawa power series . For the derivative , a numerical polynomial Q on Zp, and a prime π in over p, we show that if and only if i.e. for all x∈Zp. This result comes from a similar assertion for the power series attached to the Γ-transform of a p-adic measure which is related to a certain rational function in .     

Higher power moments of the Riesz mean error term of symmetric square L-function

Let be the error term of the Riesz mean of the symmetric square L-function. We give the higher power moments of and show that if there exists a real number A₀:=A₀(ρ)>3 such that , then we can derive asymptotic formulas for , 3?h<A₀, h∈N. Particularly, we get asymptotic formulas for , h=3,4,5 unconditionally.     

Lifting Galois representations of number fields

Let F be a number field. Given a continuous representation with insoluble image we show, under moderate assumptions at primes dividing ?∞, that for some continuous representation which is unramified outside finitely many primes. We also establish level lowering when F is totally real, is the reduction of a nearly ordinary Hilbert modular form and is distinguished at ?.     

The structure of d-dimensional sets with small sumset

We describe the structure of d-dimensional sets of lattice points, having a small doubling property. Let K be a finite subset of Zd such that dimK=d?2. If and |K|>3⋅d⁴, then K lies on d parallel lines. Moreover, for every d-dimensional finite set K⊆Zd that lies on d?1 parallel lines, if , then K is contained in d parallel arithmetic progressions with the same common difference, having together no more than terms. These best possible results answer a recent question posed by Freiman and cannot be sharpened by reducing the quantity v or by increasing the upper bounds for |K+K|.     

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.     

Note on divisor function for quaternion algebras

Let a be an integral ideal in a quaternion algebra U over rational numbers Q which ramifies precisely at p and ∞, and d(a) be its divisor function. Recently, Kim and Zhang proved a quaternion analogue of the classical formula , and then established an asymptotic formula for the sum . In this note we improved the upper bound for the error term in the asymptotic formula, and then considered the quaternion analogue of another well-known formula .     

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 .     

Galois deformation theory for norm fields and flat deformation rings

Let K be a finite extension of Qp, and choose a uniformizer π∈K, and put . We introduce a new technique using restriction to to study flat deformation rings. We show the existence of deformation rings for -representations “of height ≤h” for any positive integer h, and prove that when h=1 they are isomorphic to “flat deformation rings”. This -deformation theory has a good positive characteristics analogue of crystalline representations in the sense of Genestier-Lafforgue. In particular, we obtain a positive characteristic analogue of crystalline deformation rings, and can analyze their local structure.     

Properties of the Beurling generalized primes

Text

In this paper, we prove a generalization of Mertens' theorem to Beurling primes, namely that , where γ is Euler's constant and Ax is the asymptotic number of generalized integers less than x. Thus the limit exists. We also show that this limit coincides with ; for ordinary primes this claim is called Meissel's theorem. Finally, we will discuss a problem posed by Beurling, namely how small |N(x)−[x]| can be made for a Beurling prime number system Q≠P, where P is the rational primes. We prove that for each c>0 there exists a Q such that and conjecture that this is the best possible bound.

Video

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

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.     

An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants.     

Linnik-type problems for automorphic L-functions

Let m?2 be an integer, and π an irreducible unitary cuspidal representation for GLm(AQ), whose attached automorphic L-function is denoted by L(s,π). Let be the sequence of coefficients in the Dirichlet series expression of L(s,π) in the half-plane Rs>1. It is proved in this paper that, if π is such that the sequence is real, then there are infinitely many sign changes in the sequence , and the first sign change occurs at some , where Qπ is the conductor of π, and the implied constant depends only on m and ε. This generalizes the previous results for GL₂. A result of the same quality is also established for , the sequence of coefficients in the Dirichlet series expression of in the half-plane Rs>1.     

Large deviations for martingales and derivatives

Fix a sequence of positive integers (mn) and a sequence of positive real numbers (wn). Two closely related sequences of linear operators (Tn) are considered. One sequence has given by the Lebesgue derivatives . The other sequence has given by the dyadic martingale when (l−1)/n²?x<l/n² for l=1,…,n². We prove both positive and negative results concerning the convergence of .     

Fibonacci integers

A Fibonacci integer is an integer in the multiplicative group generated by the Fibonacci numbers. For example, 77=21⋅55/(3⋅5) is a Fibonacci integer. Using some results about the structure of this multiplicative group, we determine a near-asymptotic formula for the counting function of the Fibonacci integers, showing that up to x the number of them is between and , for an explicitly determined constant c. The proof is based on both combinatorial and analytic arguments.