I present a general theory of overconvergent p-adic automorphic forms and eigenvarieties for connected reductive algebraic groups G whose real points are compact modulo centre, extending earlier constructions due to Buzzard, Chenevier and Yamagami for forms of GL(n). This leads to some new phenomena, including the appearance of intermediate spaces of "semi-classical" automorphic forms; this gives a hierarchy of interpolation spaces (eigenvarieties) interpolating classical automorphic forms satisfying different finite slope conditions (corresponding to a choice of parabolic subgroup of G at p). The construction of these spaces relies on methods of locally analytic representation theory, combined with the theory of compact operators on Banach modules.
We present an approach to proving control theorems for overconvergent automorphic forms on some Harris-Taylor unitary Shimura varieties based on a comparison between the rigid coho- mology of the multiplicative ordinary locus and the rigid cohomology of the overlying Igusa tower, the latter which may be computed using the Harris-Taylor version of the Langlands-Kottwitz method. We also prove a higher level version, generalizing work of Coleman.
We study the rigid cohomology of the ordinary locus in some compact PEL Shimura varieties of type C with values in automorphic local systems and use it to prove a small slope criterion for classicality of overconvergent Hecke eigenforms. This generalises the work of Coleman, and is a first step in an ongoing project to extend the cohomological approach to classicality to higher-dimensional Shimura varieties.
We construct some $n$-dimensional eigenvarieties for finite slope overconvergent eigenforms over some unitary Shimura varieties with signature $(1,n-1)\times(0,n)\times\cdots\times(0,n)$ by adapting Andreatta-Iovita-Pilloni's method. We also show that there are some Galois pseudo-characters over our eigenvarieties by studying analytic continuation of finite slope eigenforms over these Shimura varieties.
This paper generalises previous work of the author to the setting of overconvergent $p$-adic automorphic forms for a definite quaternion algebra over a totally real field. We prove results which are analogues of classical `level raising' results in the theory of mod $p$ modular forms. Roughly speaking, we show that an overconvergent eigenform whose associated local Galois representation at some auxiliary prime $ł$ is (a twist of) a direct sum of trivial and cyclotomic characters lies in a family of eigenforms whose local Galois representation at $ł$ is generically (a twist of) a ramified exten…
In this article, we describe an efficient method for computing Teitelbaum's $p$-adic $\mathcal{L}$-invariant. These invariants are realized as the eigenvalues of the $\mathcal{L}$-operator acting on a space of harmonic cocycles on the Bruhat-Tits tree $\mathcal{T}$, which is computable by the methods of Franc and Masdeu described in [FM14]. The main difficulty in computing the $\mathcal{L}$-operator is the efficient computation of the $p$-adic Coleman integrals in its definition. To solve this problem, we use overconvergent methods, first developed by Darmon, Greenberg, Pollack and Stevens. In…
We construct an Euler system of $p$-adic zeta elements over the eigencurve which interpolates Kato's zeta elements over all classical points. Applying a big regulator map gives rise to a purely algebraic construction of a two-variable $p$-adic $L$-function over the eigencurve. As a first application of these ideas, we prove the equality of the $p$-adic $L$-functions associated with a critical-slope refinement of a modular form by the works of Bellaïche/Pollack-Stevens and Kato/Perrin-Riou.
We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb{P}^1, \mathcal{O}(-k))$, and on …
We show that the systems of prime-to-$p$ Hecke eigenvalues arising from automorphic forms$\pmod p$ for a good prime $p$ associated to an algebraic group $G/\mathbb Q$ of Hodge type are the same as those arising from algebraic modular forms$\pmod p$ associated to an inner form of $G$.
We remove a parity condition from the construction of automorphic Galois representations carried out in the Paris Book Project. We subsequently generalize this construction to the case of `mixed-parity' (but still regular essentially self-dual) automorphic representations over totally real fields, finding associated geometric projective representations. Finally, we optimize some of the Galois lifting results of arxiv:1207.6724 and apply them to the previous mixed-parity setting.
We prove a strong form of the trivial zero conjecture at the central point for the $p$-adic $L$-function of a non-critically refined self-dual cohomological cuspidal automorphic representation of $\mathrm{GL}_2$ over a totally real field, which is Iwahori spherical at places above $p$. In the case of a simple zero we adapt the approach of Greenberg and Stevens, based on the functional equation for the $p$-adic $L$-function of a nearly finite slope family and on improved $p$-adic $L$-functions that we construct using automorphic symbols and overconvergent cohomology. For higher order zeros we d…
We prove the compatibility of local and global Langlands correspondences for $GL_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne and Scholze. More precisely, let $r_p(π)$ denote an $n$-dimensional $p$-adic representation of the Galois group of a CM field $F$ attached to a regular algebraic cuspidal automorphic representation $π$ of $GL_n(\mathbb{A}_F)$. We show that the restriction of $r_p(π)$ to the decomposition group of a place $v\nmid p$ of $F$ corresponds up to semisimplification to $rec(π_v)$, the image of $π_v$ under the local Langlands…
In this paper, we will obtain new algebraic transformations of the $_2F_1$-hypergeometric functions. The main novelty in our approach is the interpretation of identities among $_2F_1$-hypergeometric functions as identities among automorphic forms on different Shimura curves.
Let $ρ$ be the $p$-adic Galois representation attached to a cuspidal, regular algebraic, polarizable automorphic representation of $GL_n$. Assuming only that $ρ$ satisfies an irreducibility condition, we prove the vanishing of the adjoint Bloch--Kato Selmer group attached to $ρ$. This generalizes previous work of the author and James Newton.
The present paper establishes qunatitative estimates on the rate of diophantine approximation in homogeneous varieties of semisimple algebraic groups. The estimates established generalize and improve previous ones, and are sharp in a number of cases. We show that the rate of diophantine approximation is controlled by the spectrum of the automorphic representation, and is thus subject to the generalised Ramanujan conjectures.
We prove a cohomological formula for non-critical residues of degree eight automorphic $L$-functions of $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ in the spirit of Beilinson conjecture. We rely on the cohomological interpretation of an automorphic period integral and on the study of Novodvorsky's integral representation of the $L$-functions.
We consider the genus of $20$ classes of unimodular Hermitian lattices of rank $12$ over the Eisenstein integers. This set is the domain for a certain space of algebraic modular forms. We find a basis of Hecke eigenforms, and guess global Arthur parameters for the associated automorphic representations, which recover the computed Hecke eigenvalues. Congruences between Hecke eigenspaces, combined with the assumed parameters, recover known congruences for classical modular forms, and support new instances of conjectured Eisenstein congruences for $\mathbb{U}(2,2)$ automorphic forms.
Generalising the recent method of Andreatta, Iovita, and Pilloni for cuspidal forms, we construct an eigenvariety for symplectic and unitary groups that parametrises systems of eigenvalues of overconvergent and locally analytic $p$-adic automorphic forms. This is achieved by gluing some intermediates eigenvarieties of a fixed 'degree of cuspidality'. The dimension of these eigenvarieties is explicit and depends on the degree of cuspidality, it is maximal for cuspidal forms and it is $1$ for forms that are 'not cuspidal at all'. Under mild assumption, we are able to prove a conjecture of Urban …
Let $\mathbb{A}$ be the adele ring of a totally real algebraic number field $F$. We push forward an explicit computation of a relative trace formula for periods of automorphic forms along a split torus in $GL(2)$ from a square free level case done by Masao Tsuzuki, to an arbitrary level case. By using a relative trace formula, we study central values of automorphic $L$-functions for cuspidal automorphic representations of $GL(2, \mathbb{A})$ corresponding to Maass forms with arbitrary level.
Let $E$ be a CM number field and $F$ its maximal real subfield. We prove a level-raising result for regular algebraic conjugate self-dual automorphic representations of $GL_n(\mathbb{A}_E)$. This generalizes previously known results of Thorne by removing certain hypotheses occurring in that work. In particular, the level-raising prime $p$ is allowed to be unramified as opposed to inert in $F$, the field $E/F$ is not assumed to be everywhere unramified, and the field $E$ is allowed to be a general CM field.
We extend some results of Gun, Murty, and Rath on elliptic modular forms. We take ANY Fuchsian triangle group with a cusp and look at power series expansions in a natural parameter around that cusp. Consider the automorphic forms for such a triangle group whose power series expansions in the natural parameter have algebraic coefficients. We show that the zeros of such forms are either transcendental or are "CM." By "CM," we mean they correspond to abelian varieties with complex multiplication. This result is the first of its kind in the case of non-arithmetic groups.
Let F be a number field with adele ring A_F, and πan isobaric, algebraic automorphic representation of GL_4(A_F) of a fixed archimedean weight, which is quasi-regular, meaning that at every archimedean place v of F, the 4-dimensional representation σ_v of the Weil group W_{F_v} attached to π_v is multiplicity free. Suppose there is an associated 4-dimensional, Hodge-Tate p-adic representation ρof the absolute Galois group G_F, whose local L-factors agree with those of π(up to a shift) at almost all primes P of F. Then our first result is that the semisimplification of ρdoes not contain any irr…
In this paper, we prove Deligne's conjecture for symmetric sixth $L$-functions of Hilbert modular forms. We extend the result of Morimoto based on a different approach. We define automorphic periods associated to globally generic $C$-algebraic cuspidal automorphic representations of ${\rm GSp}_4$ over totally real number fields whose archimedean components are (limits of) discrete series representations. We show that the algebraicity of critical $L$-values for ${\rm GSp}_4 \times {\rm GL}_2$ can be expressed in terms of these periods. In the case of Kim-Ramakrishnan-Shahidi lifts of ${\rm GL}_…
In this paper, we describe the asymptotic distribution of Hecke eigenvalues in the Laplace eigenvalue aspect for certain families of Hecke-Maass forms on compact arithmetic quotients. Instead of relying on the trace formula, which was the primary tool in preceding studies on the subject, we use Fourier integral operator methods. This allows us to treat not only spherical, but also non-spherical Hecke-Maass forms with corresponding remainder estimates. Our asymptotic formulas are available for arbitrary simple and connected algebraic groups over number fields with cocompact arithmetic subgroups…
Let $F$ be a CM field with totally real subfield $F^+$ and let $π$ be a $C$-algebraic cuspidal automorphic automorphic representation of $\mathrm{U}(a,b)(\mathbf{A}_{F^+})$ whose archimedean components lie in the (non-degenerate limit of) discrete series. We attach to $π$ a Galois representation $R_π:\mathrm{Gal}(\overline F/ F^+)\to{}^C\mathrm{U}(a,b)(\overline{\mathbf Q}_\ell)$ such that, for any complex conjugation element $c$, $R_π(c)$ is as predicted by the Buzzard--Gee conjecture. As a corollary, we deduce that the Galois representations attached to certain irregular, $C$-algebraic (esse…
This is an expository article that concerns the various related notions of algebraic idele class characters, the Groessencharaktere of Hecke, and cohomological automorphic representations of GL(1), all under the general title of algebraic Hecke characters. The first part of the article systematically lays the foundations of algebraic Hecke characters. The only pre-requisites are: basic algebraic number theory, familiarity with the adelic language, and basic sheaf theory. Observations that play a crucial role in the arithmetic of automorphic L-functions are also discussed. The second part of th…
In this paper we discuss the existence of certain classes of cuspidal automorphic representations having non-zero Fourier coefficients for general semisimple algebraic group $G$ defined over a number field $k$ such that its Archimedean group $G_\infty$ is not compact. When $G$ is quasi--split over $k$, we obtain a result on existence of generic cuspidal automorphic representations which generalize a result of Vign\' eras, Henniart, and Shahidi. We also discuss the existence of cuspidal automorphic forms with non--zero Fourier coefficients for congruence of subgroups of $G_\infty$.
Let $G$ be a connected reductive group over a totally real field $F$ which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on $G(\mathbb A_F)$ and that of automorphic forms with supercuspidal components at p, provided that p is larger than the Coxeter number of the absolute Weyl group of $G$. We illustrate how such congruences can be applied in the construction of Galois representations. Our proof is based on type theory for representations of p-adic groups, generalizing the prototypical case of…
We review the following subjects: 1. Basic theory on algebraic curves and their moduli space, 2. Schottky uniformization theory of Riemann surfaces, and its extension called arithmetic uniformization theory, 3. Application to these theories to the arithmetic of the moduli space of algebraic curves, especially to automorphic forms on this space.
These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry and number theory.
We introduce interaction entropies, which can be represented as logarithmic couplings of certain cycles on a class of algebraic curves of arithmetic interest. In particular, via interaction entropies for Legendre-Ramanujan curves $ Y^n=(1-X)^{n-1}X(1-αX)$ ($ n\in\{6,4,3,2\}$), we reformulate the Kontsevich-Zagier integral representations of weight-4 automorphic Green's functions $ G_2^{\mathfrak H/\overline{\varGamma}_0(N)}(z_1,z_2)$ ($N=4\sin^2(π/n )\in\{1,2,3,4\}$), in a geometric context. These geometric entropies allow us to establish algebraic relations between certain weight-4 automorphi…
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find instances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank $12$ over the Eisenstein integers, even and unimodular over $\mathbb…
We establish vanishing results for spaces of automorphic forms in characteristic $0$ and characteristic $p$. We prove that for Hodge-type Shimura varieties, the weight of any nonzero automorphic form in characteristic $0$ satisfies the Griffiths-Schmid conditions, by purely algebraic, characteristic $p$ methods. We state a conjecture for general Hodge-type Shimura varieties regarding the vanishing of the space of automorphic forms in characteristic $p$ in terms of the weight. We verify this conjecture for unitary PEL Shimura varieties of signature $(n-1,1)$ at a split prime.
The aim of this paper is to give a generalization of the theory equivariant functions, initiated in [17, 4], to arbitrary subgroups of PSL2(R). We show that there is a deep relation between the geometry of these groups and some analytic and algebraic properties of these functions. As an application, we give a new proof of the classification of automorphic forms for non discrete groups. Also, we prove the following automorphy condition: If $f$ is an automorphic form for a Fuchsian group of the first kind $Γ$, then $f$ has infinitely many non $Γ$-equivalent critical points.
Let $G$ be the group of $\mathbb R$--points of a semisimple algebraic group $\mathcal G$ defined over $\mathbb Q$. Assume that $G$ is connected and noncompact. We study Fourier coefficients of Poincar\' e series attached to matrix coefficients of integrable discrete series. We use these results to construct explicit automorphic cuspidal realizations, which have appropriate Fourier coefficients $\neq 0$, of integrable discrete series in families of congruence subgroups. In the case of $G=Sp_{2n}(\mathbb R)$, we relate our work to that of Li [15]. For $\mathcal G$ quasi--split over $\mathbb Q$, …
We determine the number of level 1, polarized, algebraic regular, cuspidal automorphic representations of GL_n over Q of any given infinitesimal character, for essentially all n <= 8. For this, we compute the dimensions of spaces of level 1 automorphic forms for certain semisimple Z-forms of the compact groups SO_7, SO_8, SO_9 (and G_2) and determine Arthur's endoscopic partition of these spaces in all cases. We also give applications to the 121 even lattices of rank 25 and determinant 2 found by Borcherds, to level one self-dual automorphic representations of GL_n with trivial infinitesimal c…
We study linear ordinary differential equations which are analytically parametrized on Hermitian symmetric spaces and invariant under the action of symplectic groups. They are generalizations of the classical Lamé equation. Our main result gives a closed relation between such differential equations and automorphic forms for symplectic groups. Our study is based on techniques concerning with the monodromy of complex differential equations, the Baker-Akhiezer functions and algebraic curves attached to rings of differential operators.
