We study the arithmetic of degree $N-1$ Eisenstein cohomology classes for locally symmetric spaces associated to $\mathrm{GL}_N$ over an imaginary quadratic field $k$. Under natural conditions we evaluate these classes on $(N-1)$-cycles associated to degree $N$ extensions $F/k$ as linear combinations of generalised Dedekind sums. As a consequence we prove a remarkable conjecture of Sczech and Colmez expressing critical values of $L$-functions attached to Hecke characters of $F$ as polynomials in Kronecker--Eisenstein series evaluated at torsion points on elliptic curves with multiplication by $k$. We recover in particular the algebraicity of these critical values.
We relate non-critical special values $p$-adic $L$-functions associated to algebraic Hecke characters of an imaginary quadratic number field with class number one to $p$-adic Coleman function called the $p$-adic Eisenstein-Kronecker series, when the conductors of the algebraic Hecke characters are divisible by $p$.
We generalize Sczech's Eisenstein cocycle for $\mathrm{GL}(n)$ over totally real extensions of $\mathbb{Q}$ to finite extensions of imaginary quadratic fields. By evaluating the cocycle on certain cycles, we parametrize complex values of Hecke L-functions previously considered by Colmez, giving a cohomological interpretation of his algebraicity result on special values of the L-functions.
This brief article gives an alternative interpretation, based on a theorem of Berkovich, of the Eisenstein classes in the cohomology of Shimura varieties, used in forthcoming work of the author with K. W. Lan, R. Taylor, and J. Thorne.
Rationality results are proved for the ratios of critical values of Rankin-Selberg L-functions of GL(n) x GL(n') over a totally imaginary field F, by studying rank-one Eisenstein cohomology for the group GL(N)/F, where N = n+n', generalizing the methods and results of previous work with Guenter Harder where the base field was totally real. In contrast to the totally real situation, the internal structure of the totally imaginary base field has a delicate effect on the rationality results.
In his paper, 'On torsion in the cohomology of locally symmetric varieties', Peter Scholze has introduced a new, purely topological method to construct the cohomology classes on arithmetic quotients of symmetric spaces of rational reductive groups originating from the cohomology of the similar quotients of Levi subgroups of maximal parabolic subgroups. We extend this construction beyond the cases he considers, and, in the complex case, to the cohomology of local systems.
In this article, several cohomology spaces associated to the arithmetic groups $\mathrm{SL}_3(\mathbb{Z})$ and $\mathrm{GL}_3(\mathbb{Z})$ with coefficients in any highest weight representation $\mathcal{M}_λ$ have been computed, where $λ$ denotes their highest weight. Consequently, we obtain detailed information of their Eisenstein cohomology with coefficients in $\mathcal{M}_λ$. When $\mathcal{M}_λ$ is not self dual, the Eisenstein cohomology coincides with the cohomology of the underlying arithmetic group with coefficients in $\mathcal{M}_λ$. In particular, for such a large class of represe…
In this article, Eisenstein cohomology of the arithmetic group $G_2(\mathbb{Z})$ with coefficients in any finite dimensional highest weight irreducible representation has been determined. We accomplish this by studying the cohomology of the boundary of the Borel-Serre compactification.
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.
Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices with bottom row (0,0,*) bmod n. In this paper we compute the cohomology spaces H^{nu - 1} (Gamma_0 (n); C) as a Hecke module for various levels n, where nu is the virtual cohomological dimension of Gamma. This represents the first attempt at such computations for GL_3 over an imaginary quadratic field, and complements work of Grunewald--Helling--Mennicke and …
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.
The aim of this article is to study rank-one Eisenstein cohomology for the group GL(N)/F, where F is a totally real field extension of Q. This is then used to prove rationality results for ratios of successive critical values for Rankin-Selberg L-functions for GL(n) x GL(n') over F with the parity condition that nn' is even. The key idea is to interpret Langlands's constant term theorem in terms of Eisenstein cohomology.
We give a new, purely topological construction of Eisenstein cohomology classes for Hilbert-Blumenthal varieties using the polylogarithm for families of topological tori and a decomposition with respect to the units in the center of $GL_2$. These classes are explicitly calculated in de Rham chomology and compared with Harder's Eisenstein classes. For non-trivial coefficient systems the whole Eisenstein cohomology in positive degrees is generated by these topological Eisenstein classes. This gives an alternative proof for the rationality of Harder's Eisenstein operator without using any multipl…
Let $F$ be a CM field, let $p$ be a prime number. The goal of this paper is to show, under mild conditions, that the modulo $p$ cohomology of the locally symmetric spaces $X$ for $GL_2(F)$ with level prime to $p$ is concentrated in degrees belonging to the Borel-Wallach range $[q_0,q_0+\ell_0]$ after localizing at a "strongly non-Eisenstein" maximal ideal of the Hecke algebra. From this result, we deduce expected consequences on the structure of the first and last cohomology groups as modules over the Hecke algebra.
This is an announcement of results on rank-one Eisenstein cohomology of GL(N), with N > 1 an odd integer, and algebraicity theorems for ratios of successive critical values of certain Rankin-Selberg L-functions for GL(n) x GL(n') when n is even and n' is odd.
For an even positive integer $n$, we study rank-one Eisenstein cohomology of the split orthogonal group ${\rm O}(2n+2)$ over a totally real number field $F.$ This is used to prove a rationality result for the ratios of successive critical values of degree-$2n$ Langlands $L$-functions associated to the group ${\rm GL}_1 \times {\rm O}(2n)$ over $F$. The case $n=2$ specializes to classical results of Shimura on the special values of Rankin - Selberg $L$-functions attached to a pair of Hilbert modular forms.
We construct a norm compatible system of Galois cohomology classes in the cyclotomic extension of the field of rationnals giving rise (conjecturally) to the degree four p-adic L-function of the symplectic group GSp(4). These classes are defined as cup products of torsion sections of the elliptic polylogarithm pro-sheaf. We rely on the norm compatibility of the elliptic polylogarithm and on some weight computations in the cohomology of Siegel threefolds.
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 …
Eisenstein classes of Siegel varieties are motivic cohomology classes defined as pull-backs by torsion sections of the polylogarithm prosheaf on the universal abelian scheme. By reduction to the Hilbert-Blumenthal case, we prove that the Betti realization of these classes on Siegel varieties of arbitrary genus have non-trivial residue on zero dimensional strata of the Baily-Borel compactification. A direct corollary is the non-vanishing of a higher regulator map.
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of degree $2$, if and only if $\mathbb{K} = \mathbb{Q} (\sqrt{-3})$. As an application, we show that the Eisenstein series $E^{(\mathbb{K})}_k$, $k=4,6,8,10,12$ are algebraically independent whenever $\…
In this paper we prove that the motivic Eisenstein classes associated to polylogarithms of commutative group schemes can be $p$-adically interpolated in étale cohomology. This generalizes results for elliptic curves obtained in our former work. Already for one dimensional commutative groups the results proved here are much more flexible as they allow to treat degeneration questions easily.
In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms.
Consider a subgroup of finite index of modular group. We give an analytic criterion for a cuspidal divisor to be torsion in the Jacobian of the corresponding modular curve. By BelyI theorem, such a criterion would apply to any curve over a number field. Our main tool is the explicit description, in terms of modular symbols, of what we call Eisenstein cycles. The latter are representations of relative homology classes over which integration of any holomorphic differential forms vanishes. Our approach relies in an essential way on the specific case , where we can consider convenient generalized …
We study the quantum limits of Eisenstein series off the critical line for $\mathrm{PSL}_{2}(\mathcal{O}_{K})\backslash\mathbb{H}^{3}$, where $K$ is an imaginary quadratic field of class number one. This generalises the results of Petridis, Raulf and Risager on $\mathrm{PSL}_{2}(\mathbb{Z})\backslash\mathbb{H}^{2}$. We observe that the measures $\lvert E(p,σ_{t}+it)\rvert^{2}dμ(p)$ become equidistributed only if $σ_{t}\rightarrow 1$ as $t\rightarrow\infty$. We use these computations to study measures defined in terms of the scattering states, which are shown to converge to the absolutely conti…
We show that the periods of the holomorphic Eisenstein series of level 1, parallel weight 2, on a Hilbert modular surface are not rational, even up to scaling. This is deduced from a study of the mixed Hodge structure on the cohomology of the Hilbert modular surface, where we find extension classes related to the units of the real quadratic field. We prove similar results for Hilbert modular varieties of all dimensions, and produce extensions of Galois representations in étale cohomology. The key point is to study the restriction of the canonical extension of the Hodge bundle to the boundary o…
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 develop the topological polylogarithm which provides an integral version of Nori's Eisenstein cohomology classes for $GL_n(\mathbf{Z})$ and yields classes with values in an Iwasawa algebra. This implies directly the integrality properties of special values of $L$-functions of totally real fields and a construction of the associated $p$-adic $L$-function. Using a result of Graf, we also apply this to prove some integrality and $p$-adic interpolation results for the Eisenstein cohomology of Hilbert modular varieties.
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 provide a new and simple automorphic method using Eisenstein series to study the equidistribution of modular symbols modulo primes, which we apply to prove an average version of a conjecture of Mazur and Rubin. More precisely, we prove that modular symbols corresponding to a Hecke basis of weight 2 cusp forms are asymptotically jointly equidistributed mod $p$ while we allow restrictions on the location of the cusps. As an application, we obtain a residual equidistribution result for Dedekind sums. Furthermore, we calculate the variance of the distribution and show a surprising bias with con…
In this paper, we consider normalized newforms $f\in S_k(Γ_0(N),\varepsilon_f)$ whose non-constant term Fourier coefficients are congruent to those of an Eisenstein series modulo some prime ideal above a rational prime $p$. In this situation, we establish a congruence between the anticyclotomic $p$-adic $L$-function of Bertolini-Darmon-Prasanna and the Katz two-variable $p$-adic $L$-function. From this, we derive congruences between images under the $p$-adic Abel-Jacobi map of certain generalized Heegner cycles attached to $f$ and special values of the Katz $p$-adic $L$-function. In particular…
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}_λ)$.
