In this article, we establish an asymptotic estimate on the number of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ which contribute to the cuspidal cohomology of ${\rm GL}_4$ and are obtained from symmetric cube transfer of automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of a given weight and with varying level structure. This generalises the recent work of C. Ambi [2020] about the similar problem for ${\rm GL}_3$.
In this article, we establish an asymptotic lower bound estimate on the contribution of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ to cuspidal cohomology of the ${\rm GL}_4$ which are obtained from automorphic tensor product of two automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of given weights and with varying level structure. In the end, we also prove that the symmetric cube of a representation of ${\rm GL}_2$ and the automorphic tensor product of two representations of ${\rm GL}_2$ can not be equal (up to a twist by a character of ${\rm G…
In this paper, we compute irreducible components which appear in the stable reduction of the Lubin-Tate curve of level two, in the mixed characteristic case. We also compute the action of the central division algebra of invariant 1/2, the action of ${\rm GL}_2$, and the inertia action explicitly. As a result, in a sense, we observe that, in the cohomology group of the stable reduction of the Lubin-Tate curve for ${\rm GL}_2$, the local Langlands correspondence and the local Jacquet-Langlands correspondence for ${\rm GL}_2$ are realized for the cuspidal representations of level 1 or 1/2.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we sho…
In a previous paper [3] we computed cohomology groups H^5 (Gamma_0 (N), \C), where Gamma_0 (N) is a certain congruence subgroup of SL (4, \Z), for a range of levels N. In this note we update this earlier work by extending the range of levels and describe cuspidal cohomology classes and additional boundary phenomena found since the publication of [3]. The cuspidal cohomology classes in this paper are the first cuspforms for GL(4) concretely constructed in terms of Betti cohomology.
In this paper, we study the l-adic cohomology of the Rapoport-Zink tower for GSp(4). We prove that the smooth representation of GSp_4(Q_p) obtained as the i-th compactly supported l-adic cohomology of the Rapoport-Zink tower has no quasi-cuspidal subquotient unless i=2,3,4. Our proof is purely local and does not require global automorphic methods.
In this paper we fully describe the cuspidal and the Eisenstein cohomology of the group $G=GL_2$ over a definite quaternion algebra $D/\Q$. Functoriality is used to show the existence of residual and cuspidal automorphic forms, having cohomology in degree 1. The latter ones turn out to be CAP-representations, though $G$ satisfies Strong Multiplicity One. A non-vanishing result on intertwining operators of induced representations will serve as a starting point for further investigations concerning rationality of critical $L$-values.
In this article we study the nonvanishing of cuspidal cohomology for GL(n). Using endoscopic transfer from various classical groups we construct cuspidal representations of GL(n) of cohomological type while working over a totally real field or a totally imaginary quadratic extension of a totally real field. Generalizing a construction of Laurent Clozel, we also prove nonvanishing of cuspidal cohomology of GL(2n) over any number field but only for coefficient systems coming from parallel weights. Working at an arithmetic level, we also draw some inferences on an endoscopic stratification of inn…
The cuspidal cohomology groups of arithmetic groups in certain infinite dimensional Modules are computed. As a result we get a simultaneous generalization of the Patterson-Conjecture and the Lewis-Correspondence.
Let $G' \subset G$ be an inclusion of reductive groups whose real points have a non-trivial discrete series. Combining ergodic methods of Burger-Sarnak and the author with a positivity argument due to Li and the classification of minimal $K$-types of discrete series, due to Salamanca-Riba, we show that, if $π$ is a cuspidal automorphic representation of $G$ whose archimedean component is a sufficiently general discrete series, then there is a cuspidal automorphic representation of $G'$, of (explicitly determined) discrete series type at infinity, that pairs non-trivially with $π$. When $G$ and…
The automorphic cohomology of a connected reductive algebraic group defined over Q decomposes as a direct algebraic sum of cuspidal and Eisenstein cohomology. In the present paper we construct regular Eisenstein cohomology classes for congruence subgroups of a rational form G of Q-rank 2 of SO(n,2).
We extend the usual notion of Petersson inner product on the space of cuspidal Jacobi forms to include non-cuspidal forms as well. This is done by examining carefully the relation between certain "growth-killing" invariant differential operators on $\mathbf H_2$ and those on $\mathbf{H}_1 \times \mathbf{C}$ (here $\mathbf H_n$ denotes the Siegel upper half space of degree $n$). As applications, we can understand better the growth of Petersson norms of Fourier Jacobi coefficients of Klingen Eisenstein series, which in turn has applications to finer issues about representation numbers of quadrat…
We describe torsion classes in the first cohomology group of $\text{SL}_2(\mathbb{Z})$. In particular, we obtain generalized Dickson's invariants for p-power polynomial rings. Secondly, we describe torsion classes in the zero-th homology group of $\text{SL}_2(\mathbb{Z})$ as a module over the torsion invariants. As application, we obtain various congruences between cuspidal forms of level one and Eisenstein series.
We investigate the homology of a congruence subgroup Gamma of SL_3(Z) with coefficients in the Steinberg modules St(Q^3) and St(E^3), where E is a real quadratic field and the coefficients are Q. By Borel-Serre duality, H_0(Gamma, St(Q^3)) is isomorphic to H^3(Gamma,Q). Taking the image of the connecting homomorphism H_1(Gamma, St(E^3)/St(Q^3)) \to H_0(Gamma, St(Q^3)), followed by the Borel-Serre isomorphism, we obtain a naturally defined Hecke-stable subspace H(Gamma,E) of H^3(Gamma,Q). We conjecture that H(Gamma,E) is independent of E and consists of the cuspidal cohomology H_cusp^3(Gamma,Q)…
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke …
We construct the compatible system of $l$-adic representations associated to a regular algebraic cuspidal automorphic representation of $GL_n$ over a CM (or totally real) field and check local-global compatibility for the $l$-adic representation away from $l$ and finite number of rational primes above which the CM field or the automorphic representation ramify. The main innovation is that we impose no self-duality hypothesis on the automorphic representation.
In this article, the cohomology of the arithmetic group $\mathrm{Sp}_4(\mathbb{Z})$ with coefficients in any finite dimensional highest weight representation $\mathcal{M}_λ$ have been studied. Euler characteristic with coefficients in $\mathcal{M}_λ$ have been carried out in detail. Combining the results obtained on Euler characteristic and the work of Harder on Eisenstein cohomology, the description of the cuspidal cohomology has been achieved. At the end, we employ our study to compute the dimensions for the cohomology spaces $H^{\bullet}(\mathrm{Sp}_4(\mathbb{Z}), \mathcal{M}_λ)$.
We prove a version of Ihara's Lemma for degree q=1,2 cuspidal cohomology of the symmetric space attached to automorphic forms of arbitrary weight (k\geq 2) over an imaginary quadratic field with torsion (prime power) coefficients. This extends an earlier result of the author which concerned the case k=2, q=1. Our method here is different and uses results of Diamond and Blasius-Franke-Grunewald. We discuss the relationship of our main theorem to the problem of the existence of level-raising congruences.
We show the existence of integral models for cuspidal representations of GL(2,q), whose reduction modulo p can be identified with the cokernel of a differential operator on F_{q}[X,Y] defined by J-P. Serre. These integral models come from the crystalline cohomology of the projective curve XY^{q}-X^{q}Y-Z^{q+1}=0. As an application, we can extend a construction of C. Khare and B. Edixhoven (2003) giving a cohomological analogue of the Hasse invariant operator acting on spaces of modp modular forms for GL(2).
For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert modular variety associated to a quaternion algebra $D$ over $F$ that is split at $\mathfrak{p}$ and a $p$-adically admissible representation of $\mbox{PGL}_2(F_{\mathfrak{p}})$. Applied to infinitesimal $p$-adic deformations of the local factor at $\mathfrak{p}$ of a cuspidal automorphic representation $π$ of $D^*(\mathbb{A})$ this yields a natural construction…
We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by using a stratification on the Shimura variety obtained from the Bruhat stratification on a flag variety via the Hodge-Tate period map. We construct a spectral sequence from the local cohomologies to the classical cohomology and use it to obtain classicality and vanishing results. We also develop a theory of p-adic families and construct eigenvarieties. As an ap…
We set up a general framework to compute the exact multiplicity with which certain automorphic representations appear in both the cuspidal and Eisenstein cohomology of locally symmetric spaces. We apply this machinery to Eisenstein series on $GSp_4$ and split $G_2$. In the case of $G_2$, we will also obtain new information about the archimedean components of certain CAP representations using Arthur's conjectures.
In this paper we propose a new way to realize cyclic base change (a special case of Langlands functoriality) for prime degree extensions of characteristic zero local fields. Let $F / E$ be a prime degree $l$ extension of local fields of residue characteristic $p \neq l$. Let $π$ be an irreducible cuspidal $l$-adic representation of $\mathrm{GL}_n(E)$ and $ρ$ be an irreducible cuspidal $l$-adic representation of $\mathrm{GL}_n(F)$ which is Galois-invariant. Under some minor technical conditions on $π$ and $ρ$ (for instance, we assume that both are level zero) we prove that the $\bmod l$-reducti…
The cohomology $H^*(Γ, E) $ of a torsion-free arithmetic subgroup $Γ$ of the special linear $\mathbb{Q}$-group $\mathsf{G} = SL_n$ may be interpreted in terms of the automorphic spectrum of $Γ$. Within this framework, there is a decomposition of the cohomology into the cuspidal cohomology and the Eisenstein cohomology. The latter space is decomposed according to the classes $\{\mathsf{P}\}$ of associate proper parabolic $\mathbb{Q}$-subgroups of $\mathsf{G}$. Each summand $H^*_{\mathrm{\{P\}}}(Γ, E)$ is built up by Eisenstein series (or residues of such) attached to cuspidal automorphic forms …
The paper investigates a significant part of the automorphic, in fact of the so-called Eisenstein cohomology of split odd orthogonal groups over Q. The main result provides a description of residual and regular Eisenstein cohomology classes for maximal parabolic Q-subgroups in case of generic cohomological cuspidal automorphic representations of their Levi subgroups. That is, such identifying necessary conditions on these latter representations as well as on the complex parameters in order for the associated Eisenstein series to possibly yield non-trivial classes in the automorphic cohomology.
In this paper we consider certain families of arithmetic subgroups of SO^0(p,q) and SL_3(R), respectively. We study the cohomology of such arithmetic groups with coefficients in arithmetically defined modules. We show that for natural sequences of such modules the torsion in the cohomology grows exponentially.
We prove various results on the cohomology of arithmetic lattices arising from quaternion algebras over a number field with at least one complex place, including a strong restriction on the allowable weights of cuspidal cohomological automorphic forms and a conditional power saving for their multiplicities when the associated locally symmetric space is a hyperbolic 3-manifold.
We establish a connection between motivic cohomology classes over the Siegel threefold and special values of the degree four $L$-function of some cuspidal automorphic representations of $\mathrm{GSp}(4)$. Our computation relies on our previous work [Le15] and on an integral representation of the $L$-function due to Piatetski-Shapiro.
We use the theta lift to study the multiplicity with which certain automorphic representations of cohomological type occur in a family of congruence covers of an arithmetic manifold. When the family of covers is a so-called `p-adic congruence tower' we obtain sharp asymptotics for the number of representations which occur as lifts. When combined with theorems on the surjectivity of the theta lift due to Howe and Li, and Bergeron, Millson and Moeglin, this allows us to verify certain cases of a conjecture of Sarnak and Xue.
Given a cuspidal Hilbert modular eigenform $π$ of parallel weight 2 and a nonarchimedian place $\mathfrak p$ of the underlying totally real field such that the local component of $π$ at $\mathfrak p$ is the Steinberg representation, one can associate two types of $\mathscr L$-invariants, one defined in terms of the cohomology of arithmetic groups and the other in terms of the Galois representation associated to $π$. We show that the $\mathscr L$-invariants are the same.
By assuming the endoscopic classification of automorphic representations on inner forms of unitary groups, which is currently work in progress by Kaletha, Minguez, Shin, and White, we bound the growth of cohomology in congruence towers of locally symmetric spaces associated to $U(n,1)$. In the case of lattices arising from Hermitian forms, we conjecture that the growth exponents we obtain are sharp in all degrees.
We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The…
Let $G$ be a reductive group over a number field $F$, which is split at a finite place $\mathfrak{p}$ of $F$, and let $π$ be a cuspidal automorphic representation of $G$, which is cohomological with respect to the trivial coefficient system and Steinberg at $\mathfrak{p}$. We use the cohomology of $\mathfrak{p}$-arithmetic subgroups of $G$ to attach automorphic $\mathcal{L}$-invariants to $π$. This generalizes a construction of Darmon (respectively Spieß), who considered the case $G=GL_2$ over the rationals (respectively over a totally real number field). These $\mathcal{L}$-invariants depend …
Let G be a semisimple Lie group with associated symmetric space D, and let Gamma subset G be a cocompact arithmetic group. Let L be a lattice inside a Z Gamma-module arising from a rational finite-dimensional complex representation of G. Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup H_i (Gamma_k; L )_tors as Gamma_k ranges over a tower of congruence subgroups of Gamma. In particular they conjectured that the ratio (log |H_i (Gamma_k ; L)_tors|)/[Gamma : Gamma_k] should tend to a nonzero limit if and only if i= (dim(D)-1)/2 and G…
Many important analytic statements about automorphic forms, such as the analytic continuation of certain L-functions, rely on the well-known rapid decay of K-finite cusp forms on Siegel sets. We extend this here to prove a more general decay statement along sets much larger than Siegel sets, and furthermore state and prove the decay for smooth but not necessarily K-finite cusp forms. We also state a general theorem about the convergence of Rankin-Selberg integrals involving unipotent periods, closing a gap in the literature on L-functions. These properties serve as the analytic basis of a new …
We present a strategy to use the stable trace formula to compute growth in the cohomology of cocompact arithmetic lattices in a reductive group $G$. We then implement it in the case where $G = U(2,1)$, using results of Rogwaski. This recovers a result of Marshall.
In this paper, we study the cohomology of the ramified PEL unitary Rapoport-Zink space of signature $(1,n-1)$ by using the Bruhat-Tits stratification on its special fiber. As such, we apply the same method that we developped for the unramified case in two previous papers. More precisely, we first investigate the cohomology of a given closed Bruhat-Tits stratum. It is isomorphic to a generalized Deligne-Lusztig variety which is in general not smooth, and is associated to a finite group of symplectic similitudes. We determine the weights of the Frobenius and most of the unipotent representations…
We prove a geometric version of a classical result on the characterization of an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_E)$ being the base change of a stable cuspidal packet of the quasi-split unitary group associated to the quadratic extension $E/F$, via the nonvanishing of certain period integrals, called being distinguished. We show that certain cohomology of an automorphic sheaf of $\mathrm{GL}_{n,X'}$ is nonvanishing if and only if the corresponding local system $E$ on $X'$ is conjugate self-dual with respect to an étale double cover $X'/X$ of curves,…
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
Let p and l be two distinct prime numbers and let G be a group. We study the asymptotic behaviour of the mod-l Betti numbers in p-adic analytic towers of finite index subgroups. If X is a finite l-group of automorphisms of G, our main theorem allows to lift lower bounds for the mod-l cohomology growth in the fixed point group G^X to lower bounds for the growth in G. We give applications to S-arithmetic groups and we also obtain a similar result for cohomology with rational coefficients.
We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained as a quotient of its étale cohomology. For any compact $\mathbb{Z}_p[[1 + N \mathbb{Z}_p]]$-algebra $Λ_1$ satisfying certain suitable conditions, we construct a representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ over $Λ_1$ associated to a $Λ_1$-adic cuspidal eigenform of finite slope as a scalar extension of a quotient of the étale cohomology.
Let $p$ be an odd prime number. In this paper, we study the growth of the Sylow $p$-subgroups of the even $K$-groups of rings of integers in a $p$-adic Lie extension. Our results generalize previous results of Coates and Ji-Qin, where they considered the situation of a cyclotomic $\mathbb{Z}_p$-extension. Our method of proof differs from these previous work. Their proof relies on an explicit description of certain Galois group via Kummer theory afforded by the context of a cyclotomic $\mathbb{Z}_p$-extension, whereas our approach is via considering the Iwasawa cohomology groups with coefficien…
