We define Eisenstein series twisted by modular symbols on the group SL(n), generalizing a construction of the first author. We show that, in the case of series attached to the minimal parabolic subgroup, our series converges for all points in a suitable cone. We conclude with examples for SL(2) and SL(3).
We introduce the zeta function of the prehomogenous vector space of binary cubic forms, twisted by the real analytic Eisenstein series. We prove the meromorphic continuation of this zeta function and identify its poles and their residues. We also identify the poles and residues of the zeta function when restricted to irreducible binary cubic forms. This zeta function can be used to prove the equidistribution of the lattice shape of cubic rings.
We compute the p-adic L-function (in the sense of Pollack-Stevens and Bellaiche) of the "evil twin" Eisenstein series. We use Solomon's Shintani cocycle to construct a p-adic Shintani modular symbol, and show how to specialize this modular symbol to overconvergent modular symbols with the same p-adic L-function as evil/critical-slope Eisenstein series. This gives a new proof of recent results of Bellaiche and Dasgupta.
The Fourier coefficient of a second order Eisenstein series is described as a shifted convolution sum. This description is used to obtain the spectral decomposition of and estimates for the shifted convolution sum.
We form real-analytic Eisenstein series twisted by Manin's noncommutative modular symbols. After developing their basic properties, these series are shown to have meromorphic continuations to the entire complex plane and satisfy functional equations in some cases. This theory neatly contains and generalizes earlier work in the literature on the properties of Eisenstein series twisted by classical modular symbols.
For any odd integer N, we explicitly write down the Eisenstein cycles in the first homology group of modular curves of level N as linear combinations of Manin symbols. These cycles are, by definition, those over which every integral of holomorphic differential forms vanish. Our result can be seen as an explicit version of the Manin-Drinfeld Theorem. Our method is to characterize such Eisenstein cycles as eigenvectors for the Hecke operators. We make crucial use of expressions of Hecke actions on modular symbols and on auxiliary level 2 structures.
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups Γ_0 (pq) with p and q distinct odd primes, giving an answer to a question of Merel in these cases. We also compute the winding elements explicitly for these congruence subgroups. Our results are explicit versions of the Manin-Drinfeld Theorem.
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups $Γ_0(N)$ with $N$ odd square-free. We also compute the winding elements explicitly for these congruence subgroups. This gives an answer to a question of Merel in these cases. Our results are explicit versions of the Manin-Drinfeld Theorem [Thm. 6]. These results are the generalization of the paper [1] results to odd square-free level.
We compute the Fourier expansion of vector valued Eisenstein series for the Weil representation associated to an even lattice. To this end, we define certain twists by Dirichlet characters of the usual Eisenstein series associated to isotropic elements in the discriminant form of the underlying lattice. These twisted functions still form a generating system for the space of Eisenstein series but have better multiplicative properties than the individual Eisenstein series. We adapt a method of Bruinier and Kuss to obtain algebraic formulas for the Fourier coefficients of the twisted Eisenstein s…
In our earlier paper, based on a paper by Bump and Ginzburg, we used an Eisenstein series on the double cover of GL(r) to obtain an integral representation of the twisted symmetric square L-function of GL(r). Using that, we showed that the (incomplete) twisted symmetric square L-function of GL(r) is holomorphic for Re(s) > 1. In this paper, we will determine the possible poles of this Eisenstein series more precisely and show that the (incomplete) twisted symmetric square L-function is entire except possible simple poles at s = 0 and s = 1.
Let $Γ$ be a geometrically finite Fuchsian group and suppose that $χ\colonΓ\to\mathrm{GL}(V)$ is a finite-dimensional representation with non-expanding cusp monodromy. We show that the parabolic Eisenstein series for $Γ$ with twist $χ$ converges on some half-plane. Further, we develop Fourier-type expansions for these Eisenstein series.
Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $Γ$. The analogue of the eta function has a multiplier system that may be expressed in terms of a map …
In a recent work, the present author generalized a fundamental result of Gauss related to quadratic reciprocity, and also showed that the above result of Gauss is equivalent to a special case of a well-known result of Sylvester related to the Frobenius coin problem. In this note, we use this equivalence to show that the above generalization of the result of Gauss naturally leads to an interesting generalization of the result of Sylvester. To be precise, for given positive coprime integers $a$ and $b$, and for a family of values of $k$ in the interval $0 \leq k < (a-1)(b-1)$, we find the number…
We revisit some papers by Eichler and Shimura in order to give an algebraic formulation (based on Farey symbols) for the intersection product on the space of modular symbols, as described by Pollack and Stevens. We define the period homomorphism of an Eisenstein series (Eisenstein-Dedekind-Stevens symbol) and extend the definition of the intersection product to these objects. We construct a computationally convenient basis for the space of Eisenstein series for $Γ$ 0 (N) with rational periods. Given a Farey symbol for a subgroup $Γ$ of the modular group and a subgroup $Γ$ ' of finite index of …
For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
We give an alternative computation of the twisted second moment of critival values of class group $L$-functions attached to an imaginary quadratic field. The method avoids long calculations and yields the expected polynomial growth in the $s$-parameter for the remaining term.
The classical Kronecker limit formula gives the constant term of the non-holomorphic Eisenstein series E(z,s) for SL(2,Z) at s=1 in terms of the Dedekind eta function. Here we compute the analagous formula for an Eisenstein series twisted by modular symbols (periods of weight two holomorphic cusp forms) for general Fuchsian groups of the first kind.
The main purpose of this paper is the geometric construction, and the analysis of the formalism of elliptic Bloch groups. In the setting of absolute cohomology, we obtain a generalization of Beilinson's Eisenstein symbol to divisors of an elliptic curve, whose support is not necessarily torsion. For motivic cohomology, such a generalization is obtained in low degrees. Our main result shows that the Eisenstein symbol can be defined in all degrees if the elliptic analogue of the Beilinson-Soule vanishing conjecture holds.
The main new result is the computation of the degeneration of l-adic Eisenstein classes at the cusps. This is done by relating it to the degeneration of the elliptic polylog. These classes come from K-theory and their Hodge regulator can also be computed (see: Dirichlet motives via modula curves, on the K-theory server). This gives a new proof of a comparison conjecture of Bloch and Kato which was used in the proof of their Tamagawa number conjecture for the Riemann zeta-function. The paper contains appendices on the definition of the classical and elliptic polylog, its degeneration and the co…
We compute the Fourier coefficients of a minimal parabolic Eisenstein distribution on the double cover of SL$(3)$ over $\mathbb{Q}$. Two key aspects of the paper are an explicit formula for the constant term, and formulas for the Fourier coefficients at the ramified place $p=2$. Additionally, the unramified non-degenerate Fourier coefficients of this Eisenstein distribution fit into the combinatorial description provided by Brubaker-Bump-Friedberg-Hoffstein in `Weyl group multiple Dirichlet series. III. Eisenstein series and twisted unstable $A_r$'.
In a recent work of Darmon, Pozzi and Vonk, the authors consider a particular $p$-adic family of Hilbert Eisenstein series $E_k(1,\brch)$ associated with an odd character $\brch$ of the narrow ideal class group of a real quadratic field $F$ and compute the first derivative of a certain one-variable twisted triple product $p$-adic $L$-series attached to $E_k(1,\brch)$ and an elliptic newform $f$ of weight $2$ on $Γ_0(p)$. In this paper, we generalize their construction to include the cyclotomic variable and thus obtain a two-variable twisted triple product $p$-adic $L$-series. Moreover, when $f…
We give explicit expressions for the Fourier coefficients of Eisenstein series twisted by Dirichlet characters and modular symbols on $Γ_0(N)$ in the case where $N$ is prime and equal to the conductor of the Dirichlet character. We obtain these expressions by computing the spectral decomposition of automorphic functions closely related to these Eisenstein series. As an application, we then evaluate certain sums of modular symbols in a way which parallels past work of Goldfeld, O'Sullivan, Petridis, and Risager. In one case we find less cancellation in this sum than would be predicted by the co…
We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.
We show that all Eichler integrals, and more generally all "generalized second order modular forms" can be expressed as linear combinations of corresponding generalized second order Eisenstein series with coefficients in classical modular forms. We determine the Fourier series expansions of generalized second order Eisenstein series in level one, and provide tail estimates via convexity bounds for additively twisted $\mathrm{L}$-functions. As an application, we illustrate a bootstrapping procedure that yields numerical evaluations of, for instance, Eichler integrals from merely the associated …
In this article, we set up a strategy to prove one divisibility towards the main Iwasawa conjecture for the Selmer groups attached to the twisted adjoint modular Galois representations associated to Hida families. This conjecture asserts the equality of the p-adic L-function interpoling the critical values of the symmetric square of the modular forms in these families and the characteristic ideal of the associated Selmer group. The idea is to introduce a third characteristic ideal containing informations on the congruences between cuspidal Siegel modular forms of genus 2 and the Klingen type E…
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition law of a prime in a mod 3 Heisenberg extension of degree 27 over $\mathbb{Q}(\sqrt{-3})$ with restricted ramification, which we construct concretely in the form similar to Rédei's dihedral extension over $\mathbb{Q}$. We also give a cohomological interpretation of our symbols by…
Using deformed or twisted Eisenstein Series, we construct a Jacobi-Serre derivative on even-weight Jacobi forms that generalizes the classical Serre derivative on modular forms. As an application, we obtain Ramanujan equations for the index $1$ Eisenstein series $E_{4,1}, E_{6,1}$ and a newly defined $E_{2,1}$. Finally, we relate the deformed Eisenstein Series directly to the classical first Jacobi theta function.
We prove that the modular symbols appropriately normalized and ordered have a Gaussian distribution for all cofinite subgroups of SL_2(R). We use spectral deformations to study the poles and the residues of Eisenstein series twisted by power of modular symbols.
Higher-order non-holomorphic Eisenstein series associated to a Fuchsian group $Γ$ are defined by twisting the series expansion for classical non-holomorphic Eisenstein series by powers of modular symbols. Their functional identities include multiplicative and additive factors, making them distinct from classical Eisenstein series. Here we prove the meromorphic continuation of these series and establish their functional equations. In addition, we construct high rank vector bundles $\cal V$ from certain unipotent representations $π$ of $Γ$ and show that higher-order non-holomorphic Eisenstein se…
We apply the methods of Fukaya, Kato and Sharifi to refine Mazur's study of the Eisenstein ideal. Given prime numbers $N$ and $p\geq 5$ such that $p\mid φ(N)$, we study the quotient of the cohomology group of modular curve $X_{0}(N)$ by the square of the Eisenstein ideal. We study two invariants $b,c$ attached to this quotient and compute $c$. We propose a conjecture about the invariant $b$ which relates the structure of the ray class group of conductor $N$ to the modular symbols of $X_{0}(N)$. Assuming this conjecture, We compute the invariant $b$.
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 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 study twisted arithmetic divisors on the modular curve X_0(N) with N square-free. For each pair (Δ, r) where Δ>0 and Δ\equiv r^2 \mod 4N, we constructed a twisted arithmetic theta function ϕ_{Δ, r}(τ) which is a generating function of arithmetic twisted Heegner divisors. We prove the modularity of ϕ_{Δ, r}(τ), along the way, we also identify the arithmetic pairing \langle ϕ_{Δ, r}(τ),\widehatω_N \rangle with special value of some Eisenstein series, where \widehatω_N is a normalized metric Hodge line bundle.
We have shown in a preceeding paper how to normalize intertwining operators for classical groups using the twisted endoscopy lifting. In this paper, we prove that the image of such an operator in the cases interesting in the theory of Eisenstein Series, is either 0 or an irreducible representation. As a consequence we compute explicitly the points where Eisenstein Series for square integrable representations are not holomorphic under some hypothesis at the archimedean places: at that places we mainly assume that the infinitesimal character is integral and regular.
By the theory of Eisenstein series, generating functions of various divisor functions arise as modular forms. It is natural to ask whether further divisor functions arise systematically in the theory of mock modular forms. We establish, using the method of Zagier and Zwegers on holomorphic projection, that this is indeed the case for certain (twisted) "small divisors" summatory functions $σ_ψ^{\mathrm{sm}}(n)$. More precisely, in terms of the weight 2 quasimodular Eisenstein series $E_2(τ)$ and a generic Shimura theta function $θ_ψ(τ)$, we show that there is a constant $α_ψ$ for which $$ \math…
We define and study the space of mixed modular symbols for a given finite index subgroup $Γ$ of $SL_2(\mathbf{Z})$. This is an extension of the usual space of modular symbols, which in some cases carries more information about Eisenstein series. We make use of mixed modular symbols to construct some $1$-motives related to the generalized Jacobian of modular curves. In the case $Γ= Γ_0(p)$ for some prime $p$, we relate our construction to the work of Ehud de Shalit on $p$-adic periods of $X_0(p)$.
In previews works, joint with N. Gurevitch, a family of Rankin-Selberg integrals were shown to represent the twisted standard $\mathcal{L}$-function $\mathcal{L}\left(s,π,χ,\mathfrak{st}\right)$ of a cuspidal representation $ π$ of the exceptional group of type $G_2$. This integral representation binds the analytic behavior of this $\mathcal{L}$-functions with that of a degenerate Eisenstein series defined over the family of quasi-split forms of $Spin_8$ associated to an induction from a character on the Heisenberg parabolic subgroup. This paper is divided into two parts. In part 1 we study th…
Mazur, Rubin, and Stein have recently formulated a series of conjectures about statistical properties of modular symbols in order to understand central values of twists of elliptic curve $L$-functions. Two of these conjectures relate to the asymptotic growth of the first and second moments of the modular symbols. We prove these on average by using analytic properties of Eisenstein series twisted by modular symbols. Another of their conjectures predicts the Gaussian distribution of normalized modular symbols ordered according to the size of the denominator of the cusps. We prove this conjecture…
We consider modifications of Manin symbols in first homology groups of modular curves with p-adic integer coefficients for an odd prime p. We show that these symbols generate homology in primitive eigenspaces for the action of diamond operators, with a certain condition on the eigenspace that can be removed on Eisenstein parts. We apply this to prove the integrality of maps taking compatible systems of Manin symbols to compatible systems of zeta elements. In the work of the first two authors on an Iwasawa-theoretic conjecture of the third author, these maps are constructed with certain bounded…
In this paper we compute the cohomology groups of GL(4,Z) with coefficients in symmetric powers of the standard representation twisted by the determinant. This problem arises in Goncharov's approach to the study of motivic multiple zeta values of depth 4. The techniques that we use include Kostant's formula for cohomology groups of nilpotent Lie subalgebras of a reductive Lie algebra, Borel-Serre compactification, a result of Harder on Eisenstein cohomology. Finally, we need to show that the ghost class, which is present in the cohomology of the boundary of the Borel-Serre compactification, di…
The main results of this article concern the definition of a compactly supported cohomology class for the congruence group $Γ_0(p^n)$ with values in the second Milnor $K$-group (modulo 2-torsion) of the ring of $p$-integers of the cyclotomic extension $\Q(μ_{p^n})$. We endow this cohomology group with a natural action of the standard Hecke operators and discuss the existence of special Hecke eigenclasses in its parabolic cohomology. Moreover, for $n=1$, assuming the non-degeneracy of a certain pairing on $p$-units induced by the Steinberg symbol when $(p,k)$ is an irregular pair, i.e. $p|\frac…
We address some questions posed by Goss related to the modularity of Drinfeld modules of rank 1 defined over the field of rational functions in one variable with coefficients in a finite field. For each positive characteristic valued Dirichlet character, we introduce certain projection operators on spaces of Drinfeld modular forms with character of a given weight and type such that when applied to a Hecke eigenform return a Hecke eigenform whose eigensystem has been twisted by the given Dirichlet character. Unlike the classical case, however, the effect on Goss' $u$-expansions for these eigenf…
We study Whittaker coefficients for maximal parabolic Eisenstein series on metaplectic covers of split reductive groups. By the theory of Eisenstein series these coefficients have meromorphic continuation and functional equation. However they are not Eulerian and the standard methods to compute them in the reductive case do not apply to covers. For "cominuscule" maximal parabolics, we give an explicit description of the coefficients as Dirichlet series whose arithmetic content is expressed in an exponential sum. The exponential sum is then shown to satisfy a twisted multiplicativity, reducing …
We give a construction of a wide class of modular symbols attached to reductive groups. As an application we construct a p-adic distribution interpolating the special values of the twisted Rankin-Selberg L-function attached to cuspidal automorphic representations of GL(n) and GL(n-1) over number fields. If the representations are ordinary at p, our distribution is bounded and yields analyticity of the associated p-adic L-function.
We consider modular functions (i.e., the Eisenstein series and Hecke-Maass forms) for the group PSL(2,Z). We fix a quadratic number field E. This gives rise to twisted (by a Hecke character of the field E) periods of a modular function along the torus corresponding to E. We prove meromorphic continuation for a Dirichlet series generated by these twisted periods.
In this paper we develop a new method to study Iwasawa theory and Eisenstein families for unitary groups $\mathrm{U}(r,s)$ of general signature over a totally real field $F$. As a consequence we prove that for a motive corresponding to a regular algebraic cuspidal automorphic representation $π$ on $\mathrm{U}(r,s)_{/F}$ which is ordinary at $p$, twisted by a Hecke character, if its Selmer group has rank $0$, then the corresponding central $L$-value is nonzero. This generalizes a result of Skinner-Urban in their ICM 2006 report in the special case when $F=\mathbb{Q}$ and the motive is conjugate…