For certain algebraic Hecke characters χ of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,χ). We further prove that its index is bounded from above by the p-valuation of the order of the Selmer group of the p-adic Galois character associated to χ−1. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,χ), coinciding with the value given by the Bloch–Kato conjecture.

Despite the presence of many famous examples, the precise interplay between basic hypergeometric series and modular forms remains a mystery. We consider this problem for canonical spaces of weight 3/2 harmonic Maass forms. Using recent work of Zwegers, we exhibit forms that have the property that their holomorphic parts arise from Lerch-type series, which in turn may be formulated in terms of the Rogers–Fine basic hypergeometric series.

Let K be a local field of equal characteristic p>2, let XK/K be a smooth proper relative curve, and let ℱ be a rank 1 smooth l-adic sheaf (l≠p) on a dense open subset UK⊂XK. In this paper, under some assumptions on the wild ramification of ℱ, we prove a conductor formula that computes the Swan conductor of the etale cohomology of the vanishing cycles of ℱ. Our conductor formula is a generalization of the conductor formula of Bloch, but for non-constant coefficients.

In the predecessor to this article, we used global equidistribution theorems to prove that given a correspondence between a modular curve and an elliptic curve A, the intersection of any finite-rank subgroup of A with the set of CM-points of A is finite. In this article we apply local methods, involving the theory of arithmetic differential equations, to prove quantitative versions of a similar statement. The new methods apply also to certain infinite-rank subgroups, as well as to the situation where the set of CM-points is replaced by certain isogeny classes of points on the modular curve. Finally, we prove Shimura-curve analogues of these results.

We show that some q-series such as universal mock theta functions are linear sums of theta quotients and mock Jacobi forms of weight 1/2, which become holomorphic parts of real analytic modular forms when they are restricted to torsion points and multiplied by suitable powers of q. We also prove that certain linear sums of q-series are weakly holomorphic modular forms of weight 1/2 due to annihilation of mock Jacobi forms or completion by mock Jacobi forms. As an application, we obtain a relation between the rank and crank of a partition.

Let P(k) be the largest prime factor of the positive integer k. In this paper, we prove that the series is convergent for each constant α<1/2, which gives a more precise form of a result of C. L. Stewart [‘On divisors of Fermat, Fibonacci, Lucas and Lehmer numbers’, Proc. London Math. Soc. 35(3) (1977), 425–447].

Here we derive a recursive formula for even-power moments of Kloosterman sums or equivalently for power moments of two-dimensional Kloosterman sums. This is done by using the Pless power-moment identity and an explicit expression of the Gauss sum for Sp(4,q).

Using elementary means, we derive an explicit formula for a3(n), the number of 3-core partitions of n, in terms of the prime factorization of 3n+1. Based on this result, we are able to prove several infinite families of arithmetic results involving a3(n), one of which specializes to the recent result of Baruah and Berndt which states that, for all n≥0, a3(4n+1)=a3(n).

Qualified difference sets (QDS) composed of unions of cyclotomic classes are discussed. An exhaustive computer search for such QDS and modified QDS that also possess the zero residue has been conducted for all powers n=4,6,8 and 10. Two new families were discovered in the case n=8 and some new isolated systems were discovered for n=6 and n=10.

Given an integer n≥2, let λ(n):=(log n)/(log γ(n)), where γ(n)=∏ p∣np, denote the index of composition of n, with λ(1)=1. Letting ϕ and σ stand for the Euler function and the sum of divisors function, we show that both λ(ϕ(n)) and λ(σ(n)) have normal order 1 and mean value 1. Given an arbitrary integer k≥2, we then study the size of min {λ(ϕ(n)),λ(ϕ(n+1)),…,λ(ϕ(n+k−1))} and of min {λ(σ(n)),λ(σ(n+1)),…,λ(σ(n+k−1))} as n becomes large.

We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group defining the Shimura variety ramifies. We describe ‘good’ p-adic integral models of these Shimura varieties and study their étale local structure. In the present paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties that we developed in a previous paper.

In this paper, we consider certain classes of Eisenstein-type series involving hyperbolic functions, and prove some formulas for them which can be regarded as relevant analogues of our previous results. We can also regard these formulas as certain generalizations of the famous formulas for the ordinary Eisenstein series given by Hurwitz.

We study the Gowers norm for periodic binary sequences and relate it to correlation measures for such sequences. The case of periodic binary sequences derived from inversive pseudorandom numbers is considered in detail.

We compute the spherical functions on the symmetric space Sp2n/Spn×Spn and derive a Plancherel formula for functions on the symmetric space. As an application of the Plancherel formula, we prove an identity which amounts to the fundamental lemma of a relative trace identity between Sp2n and .

The main goal of this paper is to provide asymptotic expansions for the numbers #{p≤x:p prime,sq(p)=k} for k close to ((q−1)/2)log qx, where sq(n) denotes the q-ary sum-of-digits function. The proof is based on a thorough analysis of exponential sums of the form (where the sum is restricted to p prime), for which we have to extend a recent result by the second two authors.

An integer may be represented by a quadratic form over each ring of p-adic integers and over the reals without being represented by this quadratic form over the integers. More generally, such failure of a local-global principle may occur for the representation of one integral quadratic form by another integral quadratic form. We show that many such examples may be accounted for by a Brauer–Manin obstruction for the existence of integral points on schemes defined over the integers. For several types of homogeneous spaces of linear algebraic groups, this obstruction is shown to be the only obstruction to the existence of integral points.

Kudla has proposed a general program to relate arithmetic intersection multiplicities of special cycles on Shimura varieties to Fourier coefficients of Eisenstein series. The lowest dimensional case, in which one intersects two codimension one cycles on the integral model of a Shimura curve, has been completed by Kudla, Rapoport and Yang. In the present paper we prove results in a higher dimensional setting. On the integral model of a Shimura surface we consider the intersection of a Shimura curve with a codimension two cycle of complex multiplication points, and relate the intersection to certain cycle classes constructed by Kudla, Rapoport and Yang. As a corollary we deduce that our intersection multiplicities appear as Fourier coefficients of a Hilbert modular form of half-integral weight.

Let K be a real quadratic number field and let p be a prime number which is inert in K. We denote the completion of K at the place p by Kp. We propose a p-adic construction of special elements in Kp× and formulate the conjecture that they should be p-units lying in narrow ray class fields of K. The truth of this conjecture would entail an explicit class field theory for real quadratic number fields. This construction can be viewed as a natural generalization of a construction obtained by Darmon and Dasgupta who proposed a p-adic construction of p-units lying in narrow ring class fields of K.

Let q≥2 and N≥1 be integers. W. Zhang recently proved that for any fixed ε>0 and qε≤N≤q1/2−ε, where the sum is taken over all nonprincipal characters χ modulo q, L(1,χ) denotes the L-functions corresponding to χ, and αq=qo(1) is some explicit function of q. Here we improve this result and show that the same asymptotic formula holds in the essentially full range qε≤N≤q1−ε.

Let E/ℚ be an elliptic curve and p a prime of supersingular reduction for E. Denote by the anticyclotomic ℤp-extension of an imaginary quadratic field K which satisfies the Heegner hypothesis. Assuming that p splits in K/ℚ, we prove that has trivial Λ-corank and, in the process, also show that and both have Λ-corank two.