We set up a formalism of endoscopy for metaplectic groups. By defining a suitable transfer factor, we prove an analogue of the Langlands–Shelstad transfer conjecture for orbital integrals over any local field of characteristic zero, as well as the fundamental lemma for units of the Hecke algebra in the unramified case. This generalizes prior work of Adams and Renard in the real case and serves as a first step in studying the Arthur–Selberg trace formula for metaplectic groups.

We prove an explicit formula for periods of certain automorphic forms on SO5 × SO4 along the diagonal subgroup SO4 in terms of L-values. Our formula also involves a quantity from the theory of endoscopy, as predicted by the refined Gross–Prasad conjecture.

We present a level-raising result for families of p-adic automorphic forms for a definite quaternion algebra D over ℚ. The main theorem is an analogue of a theorem for classical automorphic forms due to Diamond and Taylor. We show that certain families of forms old at a prime l intersect with families of l-new forms (at a non-classical point). One of the ingredients in the proof of Diamond and Taylor’s theorem (which also played a role in earlier work of Taylor) is the definition of a suitable pairing on the space of automorphic forms. In our situation one cannot define such a pairing on the infinite dimensional space of p-adic automorphic forms, so instead we introduce a space defined with respect to a dual coefficient system and work with a pairing between the usual forms and the dual space. A key ingredient is an analogue of Ihara’s lemma which shows an interesting asymmetry between the usual and the dual spaces.

We study the action of the Hecke operators Un on the set of hypergeometric functions, as well as on formal power series. We show that the spectrum of these operators on the set of hypergeometric functions is the set {na:n∈ℕ,a∈ℤ}, and that the polylogarithms play an important role in the study of the eigenfunctions of the Hecke operators Un on the set of hypergeometric functions. As a corollary of our results on simultaneous eigenfunctions, we also obtain an apparently unrelated result regarding the behavior of completely multiplicative hypergeometric coefficients.

In this paper, we compute Ford fundamental domains for all genus-zero and genus-one congruence subgroups. This is a continuation of previous work, which found all such groups, including ones that are not subgroups of PSL(2,ℤ). To compute these fundamental domains, an algorithm is given that takes the following as its input: a positive square-free integer f, which determines a maximal discrete subgroup Γ0(f)+ of SL(2,ℝ); a decision procedure to determine whether a given element of Γ0(f)+ is in a subgroup G; and the index of G in Γ0(f)+. The output consists of: a fundamental domain for G, a finite set of bounding isometric circles; the cycles of the vertices of this fundamental domain; and a set of generators of G. The algorithm avoids the use of floating-point approximations. It applies, in principle, to any group commensurable with the modular group. Included as appendices are: MAGMA source code implementing the algorithm; data files, computed in a previous paper, which are used as input to compute the fundamental domains; the data computed by the algorithm for each of the congruence subgroups of genus zero and genus one; and an example, which computes the fundamental domain of a non-congruence subgroup.

We generalize the main result of the paper by Bennett and Mulholland [‘On the diophantine equation xn+yn=2αpz2’, C. R. Math. Acad. Sci. Soc. R. Can.28 (2006), 6–11] concerning the solubility of the diophantine equation xn+yn=2αpz2. We also demonstrate, by way of examples, that questions about solubility of a class of diophantine equations of type (3,3,p) or (4,2,p) can be reduced, in certain cases, to studying several equations of the type (p,p,2).

Beilinson [Higher regulators and values of L-functions, Itogi Nauki i Tekhniki Seriya Sovremennye Problemy Matematiki Noveishie Dostizheniya (Current problems in mathematics), vol. 24 (Vserossiisky Institut Nauchnoi i Tekhnicheskoi Informatsii, Moscow, 1984), 181–238] obtained a formula relating the special value of the L-function of H2 of a product of modular curves to the regulator of an element of a motivic cohomology group, thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves, providing evidence for an analogous conjecture in the case of function fields.

In a paper by Badulescu [Global Jacquet–Langlands correspondence, multiplicity one and classification of automorphic representations, Invent. Math. 172 (2008), 383–438], results on the global Jacquet–Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field were established, under the assumption that the local inner forms are split at archimedean places. In this paper, we extend the main local results of that article to archimedean places so that the above condition can be removed. Along the way, we collect several results about the unitary dual of general linear groups over ℝ, ℂ or ℍ which are of independent interest.

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ngô Bao Châu’s proof of the Langlands–Shelstad fundamental lemma. Ngô’s approach is based on a study of the elliptic part of the Hichin fibration. The total space of this fibration is the algebraic stack of Hitchin bundles and its base space is the affine space of ‘characteristic polynomials’. Over the elliptic set, the Hitchin fibration is proper and the number of points of its fibers over a finite field can be expressed in terms of orbital integrals. In this paper, we study the Hitchin fibration over an open set larger than the elliptic set, namely the ‘generically regular semi-simple set’. The fibers are in general neither of finite type nor separated. By analogy with Arthur’s truncation, we introduce the substack of ξ-stable Hitchin bundles. We show that it is a Deligne–Mumford stack, smooth over the base field and proper over the base space of ‘characteristic polynomials’. Moreover, the number of points of the ξ-stable fibers over a finite field can be expressed as a sum of weighted orbital integrals, which appear in the Arthur–Selberg traceformula.

We prove a mean-value result for derivatives of L-functions at the center of the critical strip for a family of forms obtained by twisting a fixed form by quadratic characters with modulus which can be represented as sum of two squares. Such a family of forms is related to elliptic fibrations given by the equation q(t)y2=f(x) where q(t)=t2+1 and f(x) is a cubic polynomial. The aim of the paper is to establish a prototype result for such quadratic families. Though our method can be generalized to prove similar results for any positive definite quadratic form in place of sum of two squares, we refrain from doing so to keep the presentation as clear as possible.

We study the automorphism groups of the reduction of a modular curve X0(N) over primes p∤N.

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V𝔭(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of K. This theorem is in analogy with known results for abelian varieties and Drinfeld modules, and has been sketched previously by Tamagawa. We deduce two consequences of the theorem for the algebraic monodromy groups G𝔭(M) associated to an A-motive M by Tannakian duality. The first requires no semisimplicity condition on M and states that G𝔭(M) may be identified naturally with the Zariski closure of the image of the absolute Galois group of K in the automorphism group of V𝔭(M). The second states that the connected component of G𝔭(M) is reductive if M is semisimple and has a separable endomorphism algebra.

In a previous paper, the potential automorphy of certain Galois representations to GLn for n even was established, following the work of Harris, Shepherd–Barron and Taylor and using the lifting theorems of Clozel, Harris and Taylor. In this paper, we extend those results to n=3 and n=5, and conditionally to all other odd n. The key additional tools necessary are results which give the automorphy or potential automorphy of symmetric powers of elliptic curves, most notably those of Gelbert, Jacquet, Kim, Shahidi and Harris.

We generalise results of Buzzard, Taylor and Kassaei on analytic continuation of p-adic overconvergent eigenforms over ℚ to the case of p-adic overconvergent Hilbert eigenforms over totally real fields F, under the assumption that p splits completely in F. This includes weight-one forms and has applications to generalisations of Buzzard and Taylor’s main theorem. Next, we follow an idea of Kassaei’s to generalise Coleman’s well-known result that ‘an overconvergent Up-eigenform of small slope is classical’ to the case of p-adic overconvergent Hilbert eigenforms of Iwahori level.

Abstract. Let $H$ be the Hilbert class field of a $\text{CM}$ number field $K$ with maximal totally real subfield $F$ of degree $n$ over $\mathbb{Q}$ . We evaluate the second term in the Taylor expansion at $s\,=\,0$ of the Galois-equivariant $L$ -function ${{\Theta }_{{{S}_{\infty }}\,}}\left( s \right)$ associated to the unramified abelian characters of $\text{Gal}\left( H/K \right)$ . This is an identity in the group ring $\mathbb{C}\left[ \text{Gal}\left( H/K \right) \right]$ expressing $\Theta _{{{S}_{\infty }}}^{(n)}\,\left( 0 \right)$ as essentially a linear combination of logarithms of special values $\left\{ \Psi ({{z}_{\sigma }}) \right\}$ , where $\Psi :\,{{\mathbb{H}}^{n}}\,\to \,\mathbb{R}$ is a Hilbert modular function for a congruence subgroup of $S{{L}_{2}}\left( {{\mathcal{O}}_{F}} \right)$ and $\left\{ {{z}_{\sigma }}\,:\,\sigma \,\in \,\text{Gal}\left( H/K \right) \right\}$ are $\text{CM}$ points on a universal Hilbert modular variety. We apply this result to express the relative class number ${{h}_{H}}/{{h}_{K}}$ as a rational multiple of the determinant of an $\left( {{h}_{K}}\,-\,1 \right)\,\times \,\left( {{h}_{K}}\,-\,1 \right)$ matrix of logarithms of ratios of special values $\Psi ({{z}_{\sigma }})$ , thus giving rise to candidates for higher analogs of elliptic units. Finally, we obtain a product formula for $\Psi ({{z}_{\sigma }})$ in terms of exponentials of special values of $L$ -functions.

We introduce a differential operator on quasimodular polynomials that corresponds to the derivative operator on quasimodular forms. We then prove that such a differential operator is compatible with a heat operator on Jacobi-like forms in certain cases. These results show in those cases that the derivative operator on quasimodular forms corresponds to a heat operator on Jacobi-like forms.

Following R. A. Rankin’s method, D. Zagier computed the nth Rankin–Cohen bracket of a modular form g of weight k1 with the Eisenstein series of weight k2, computed the inner product of this Rankin–Cohen bracket with a cusp form f of weight k=k1+k2+2n and showed that this inner product gives, up to a constant, the special value of the Rankin–Selberg convolution of f and g. This result was generalized to Jacobi forms of degree 1 by Y. Choie and W. Kohnen. In this paper, we generalize this result to Jacobi forms defined over ℋ×ℂ(g,1).

We study the moduli spaces of polarised irreducible symplectic manifolds. By a comparison with locally symmetric varieties of orthogonal type of dimension 20, we show that the moduli space of polarised deformation K3[2] manifolds with polarisation of degree 2d and split type is of general type if d≥12.

In this paper we address the issue of existence of cusp forms by using an extension and refinement of a classic method involving (adelic) compactly supported Poincaré series. As a consequence of our adelic approach, we also deal with cusp forms for congruence subgroups.

Colmez has given a recipe to associate a smooth modular representation Ω(W) of the Borel subgroup of GL2(Qp) to a -representation W of by using Fontaine’s theory of (φ,Γ)-modules. We compute Ω(W) explicitly and we prove that if W is irreducible and dim (W)=2, then Ω(W) is the restriction to the Borel subgroup of GL2(Qp) of the supersingular representation associated to W by Breuil’s correspondence.