On Shimura varieties of orthogonal type over totally real fields, we prove a product formula and the modularity of Kudla’s generating series of special cycles in Chow groups.

We prove that the relative class number of a nonabelian normal CM-field of degree 2pq (where p and q are two distinct odd primes) is always greater than four. Not only does this result solve the class number one problem for the nonabelian normal CM-fields of degree 42, but it has also been used elsewhere to solve the class number one problem for the nonabelian normal CM-fields of degree 84.

We break the convexity bound in the t-aspect for L-functions attached to cusp forms f for GL2(k) over arbitrary number fields k. The argument uses asymptotics with error term with a power saving, for second integral moments over spectral families of twists L(s,f⊗χ) by Grossencharacters χ, from our previous paper on integral moments.

We identify the majority of Siegel modular eigenforms in degree four and weights up to 16 as being Duke–Imamoḡlu–Ikeda or Miyawaki–Ikeda lifts. We give two examples of eigenforms that are probably also lifts but of an undiscovered type.

Modular forms for a discrete subgroup Γ of SL(2,ℝ) can be identified with holomorphic sections of line bundles over the modular curve U corresponding to Γ, and quasimodular forms generalize modular forms. We construct vector bundles over U whose sections can be identified with quasimodular forms for Γ.

In a recent paper, Calkin et al. [N. Calkin, N. Drake, K. James, S. Law, P. Lee, D. Penniston and J. Radder, ‘Divisibility properties of the 5-regular and 13-regular partition functions’, Integers8 (2008), #A60] used the theory of modular forms to examine 5-regular partitions modulo 2 and 13-regular partitions modulo 2 and 3; they obtained and conjectured various results. In this note, we use nothing more than Jacobi’s triple product identity to obtain results for 5-regular partitions that are stronger than those obtained by Calkin and his collaborators. We find infinitely many Ramanujan-type congruences for b5(n), and we prove the striking result that the number of 5-regular partitions of the number n is even for at least 75% of the positive integers n.

Let a,b,c be relatively prime positive integers such that a2+b2=c2 with b even. In 1956 Jeśmanowicz conjectured that the equation ax+by=cz has no solution other than (x,y,z)=(2,2,2) in positive integers. Most of the known results of this conjecture were proved under the assumption that 4 exactly divides b. The main results of this paper include the case where 8 divides b. One of our results treats the case where a has no prime factor congruent to 1 modulo 4, which can be regarded as a relevant analogue of results due to Deng and Cohen concerning the prime factors of b. Furthermore, we examine parities of the three variables x,y,z, and give new triples a,b,c such that the conjecture holds for the case where b is divisible by 8. In particular, to prove our results, we shall show an important result which asserts that if x,y,z are all even, then x/2,y/2,z/2 are all odd. Our methods are based on elementary congruence and several strong results on generalized Fermat equations given by Darmon and Merel.

We prove that for any positive integers x,d and k with gcd (x,d)=1 and 3<k<35, the product x(x+d)⋯(x+(k−1)d) cannot be a perfect power. This yields a considerable extension of previous results of Győry et al. and Bennett et al., which covered the cases where k≤11. We also establish more general theorems for the case where x can also be a negative integer and where the product yields an almost perfect power. As in the proofs of the earlier theorems, for fixed k we reduce the problem to systems of ternary equations. However, our results do not follow as a mere computational sharpening of the approach utilized previously; instead, they require the introduction of fundamentally new ideas. For k>11, a large number of new ternary equations arise, which we solve by combining the Frey curve and Galois representation approach with local and cyclotomic considerations. Furthermore, the number of systems of equations grows so rapidly with k that, in contrast with the previous proofs, it is practically impossible to handle the various cases in the usual manner. The main novelty of this paper lies in the development of an algorithm for our proofs, which enables us to use a computer. We apply an efficient, iterated combination of our procedure for solving the new ternary equations that arise with several sieves based on the ternary equations already solved. In this way, we are able to exclude the solvability of the enormous number of systems of equations under consideration. Our general algorithm seems to work for larger values of k as well, although there is, of course, a computational time constraint.

This paper provides congruences between unstable and stable automorphic forms for the symplectic similitude group GSp(4). More precisely, we raise the level of certain CAP representations Π arising from classical modular forms. We first transfer Π to π on a suitable inner form G; this is achieved by θ-lifting. For π, we prove a precise level-raising result that is inspired by the work of Bellaiche and Clozel and which relies on computations of Schmidt. We thus obtain a congruent to π, with a local component that is irreducibly induced from an unramified twist of the Steinberg representation of the Klingen parabolic. To transfer back to GSp(4), we use Arthur’s stable trace formula. Since has a local component of the above type, all endoscopic error terms vanish. Indeed, by results due to Weissauer, we only need to show that such a component does not participate in the θ-correspondence with any GO(4); this is an exercise in using Kudla’s filtration of the Jacquet modules of the Weil representation. We therefore obtain a cuspidal automorphic representation of GSp(4), congruent to Π, which is neither CAP nor endoscopic. It is crucial for our application that we can arrange for to have vectors fixed by the non-special maximal compact subgroups at all primes dividing N. Since G is necessarily ramified at some prime r, we have to show a non-special analogue of the fundamental lemma at r. Finally, we give an application of our main result to the Bloch–Kato conjecture, assuming a conjecture of Skinner and Urban on the rank of the monodromy operators at the primes dividing N.

The aim of this article is to classify two-dimensional split trianguline representations of p-adic fields. This is a generalization of a result of Colmez who classified two-dimensional split trianguline representations of for p≠2 by using (φ,Γ)-modules over a Robba ring. In this article, for any prime p and for any p-adic field K, we classify two-dimensional split trianguline representations of using B-pairs as defined by Berger.

In this paper, we prove that the first occurrence of global theta liftings from any orthogonal group to either symplectic groups or metaplectic groups can be characterized completely in terms of the location of poles of certain Eisenstein series. This extends the work of Kudla and Rallis and the work of Moeglin to all orthogonal groups. As applications, we obtain results about basic structures of cuspidal automorphic representations and the domain of holomorphy of twisted standard L-functions.

In this paper we prove the following result: there exists an infinite arithmetic progression of positive odd numbers such that for any term k of the sequence and any nonnegative integer n, each of the 16 integers k−2n, k−2−2n, k−4−2n, k−6−2n, k−8−2n, k−10−2n, k−12−2n, k−14−2n, k2n−1, (k−2)2n−1, (k−4)2n−1, (k−6)2n−1, (k−8)2n−1, (k−10)2n−1, (k−12)2n−1 and (k−14)2n−1 has at least two distinct odd prime factors; in particular, for each term k, none of the eight integers k, k−2, k−4, k−6, k−8, k−10, k−12 or k−14 can be expressed as a sum of two prime powers.

Using the framework of overpartitions, we give a combinatorial interpretation and proof of the q-Bailey identity. We then deduce from this identity a couple of facts about overpartitions. We show that the method of proof of the q-Bailey identity also applies to the (first) q-Gauss identity.

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