Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
722 views

Is there a similar formula like Ramanunjan's Eisenstein series identity for $\sum_{k=1}^{n-1}k^2 \sigma(k)\sigma(n-k)$?

This question is related to the last question about van der Pol's identity for the sum of divisors. In Touchard (1953) it is mentioned that the sum of divisors $\sigma(n)$ satisfies the following ...
4 votes
0 answers
124 views

A coefficient in Dirichlet series associated with a cofinite subgroup of $\mathrm{SL}(2,\mathbb R)$

Let $\Gamma$ be a discrete subgroup of $\operatorname{SL}(2,\mathbb R)$, acting on the upper half-plane $\mathbb H$. Suppose that $\Gamma\backslash \mathbb H$ is non-compact and its compactification $\...
9 votes
1 answer
638 views

Algebraic independence of $P,Q,R$ or $E_2,E_4,E_6$ over $\mathbb C(z)$

Let $P,Q,R$ be the Fourier series of the Eisenstein series $E_2,E_4,E_6$, that is, $$ P(q)=1-24\sum_{n=1}^{\infty}\sigma_1(n)q^n, $$ $$ Q(q)=1+240\sum_{n=1}^{\infty}\sigma_3(n)q^n, $$ $$ R(q)=1-504\...
2 votes
1 answer
92 views

Image of the intertwining operator for GL(2) is $K$-invariant at the "pole" $s=1$

I am taking a look at the residues of Eisenstein series and have a question about a local computation. Let $k$ be a local field, $G = \operatorname{GL}_2(k)$, and $P$ (resp. $K$) the standard ...
2 votes
1 answer
390 views

Fourier series of Eisenstein series — elegant and very good approximation

I played around with the Fourier series of the Eisenstein series resp. divisor sums and did some calculations, see below. Although the deduction is not rigorous / wrong (as the power series for the ...
3 votes
0 answers
242 views

Explicit expression of automorphic representations as automorphic forms

Let‘s take $G=GL_n$ over a number field $F$ for example. It's already known that every irreducible automorphic representation $\pi$ is a irreducible component of a induced representation $I(G,P;\...
4 votes
0 answers
189 views

About the structure of smooth automorphic forms

Recently I read Prof. Cogdell's notes: Lectures on L-functions, Converse Theorems, and Functoriality for $GL_n$. (Co) In chap.2.3, the conception of smooth automorphic forms is introdued. Explicitly, ...
3 votes
1 answer
129 views

Non-holomorphicity of Hecke regularization of weight-2 level-1 Eisenstein series

Originally asked on stackexchange since I figured it was a very elementary and silly error, but since I haven't had any response or interest in a couple days, I thought I'd post it here. I have a &...
2 votes
0 answers
174 views

Eisenstein series evaluated at $2i$

Consider the real analytic Eisenstein series defined by $$ E(z,s) := \sum_{\gamma\in\Gamma_\infty\setminus\Gamma} Im(\gamma z)^s $$ where as usual, $\Gamma=SL(2,\mathbb{Z})$ and $\Gamma_\infty$ is the ...
1 vote
1 answer
189 views

Analytic continuation of the Eisenstein series defined over Hecke and Fricke subgroups

It is well known that the (real analytic) Eisenstein series is defined, in the slash notation, as follows $$E_{s}(\tau) = \sum\limits_{\gamma\in\Gamma_{\infty}\backslash\text{SL}(2,\mathbb{Z})}\left.y^...
1 vote
0 answers
242 views

Constant coefficient of Eisenstein series

Let $\chi$ be a character of $\mathbb{Q}^{\times}\setminus\mathbb{A}^{\times}$. We define an induced representation of $Mp_2(\mathbb{A})\simeq SL_2(\mathbb{A})\times \mathbb{C}^1$, $$I(s,\chi) := \{\...
7 votes
2 answers
451 views

Bound on an expression involving J-function coefficients

I would like to show that $$(m+1)\,c_m- \sum_{n=1}^{m-1} c_n \,\sigma_{m-n} > 0$$ for all $m$, where $c_i$ is the $i$th coefficient of Klein's $J$-function $$J(q)= \frac{1728 \;E_4^3(q) }{...
3 votes
1 answer
229 views

Index and weight of Weierstrass $\sigma$-function as a Jacobi form, versus a statement in a note by Zagier

Let $$\sigma_L(w; \tau):=\frac{w}{\exp\left(\sum_{k\ge 2} 2G_k(q)\frac{w^k}{k!}\right)}$$ be the version of the Weierstrass $\sigma$-function which is used to orient $\text{tmf}$; here $w=2\pi i z$, $...
10 votes
0 answers
152 views

Is there some precise way in which modular cocycle $c/(c\tau +d)$ "is" the generator of $H^1(\mathcal{M}_{ell}, \omega^2) \cong \mathbb{Z}/12$?

It is semiclassical that the extension class $\text{Ext}^1(\omega^{-1},\omega)\cong H^1(\mathcal{M}_{ell},\omega^2)$ over the modular stack $\mathcal{M}_{ell}/\mathbb{Z}$ is nonvanishing, being cyclic ...
6 votes
0 answers
176 views

Factorizing classical Eisenstein series

In the course of my research, I found some surprising (for me) factorizations of Eisenstein series in levels $1$, $2$, $3$, and $4$. For instance, in level $1$ set with standard modular form notation $...
1 vote
0 answers
183 views

Multidimensional series: an application of quantum field theory

While computing the quantum vacuum energy of a real scalar field defined on $\mathbb{R}\times \mathbb{T}^3$, I encountered the following sum: $$ \sum_{n_1^2+n_2^2+n_3^2\geq 1}^{\infty} \frac{1}{(n_1^2+...
5 votes
1 answer
616 views

Question on an application of Langlands' result on the constant term of Eisenstein series (Is this a typo?)

I would like to understand an argument in https://link.springer.com/content/pdf/10.1007/BF01393904.pdf, which uses Langlands' result on the constant term of Eisenstein series, but I'm not getting it ...
6 votes
3 answers
430 views

An explicit formula for a cuspidal form of weight $2$ and arbitrarily large prime level

In Miyake's book on modular forms explicit formulas for the $q$-expansions of a basis of the space Eisenstein series of arbitrary level and weight were given. I guess similar formulas for a basis of ...
3 votes
0 answers
291 views

Derivatives of Eisenstein series

A book of Moeglin-Waldspurger says that there was a conjecture that every automorphic form arises as the derivative of an Eisenstein series which is proved there for function field case and proved by ...
1 vote
0 answers
355 views

What is definition of Cohen–Eisenstein series?

I only find Cohen–Eisenstein series of weight 3/2 (in the paper A note on the Fourier coefficients of a Cohen-Eisenstein series). I founded some general definition in "Modular Forms with Integral and ...
13 votes
0 answers
217 views

Hypergeometric representation of Eisenstein series

It is well known (Fricke ?) that $E_4^{1/4}$ and $E_6^{1/6}$ can be represented as Gauss hypergeometric functions of $1728/j$ and $1728/(1728-j)$ respectively. The same result is true in levels $2$, $...
1 vote
0 answers
311 views

Why can there be holomorphic modular forms of negative half integral weight?

In Shimura's paper "ON THE HOLOMORPHY OF CERTAIN DIRICHLET SERIES", he constructed a family of Eisenstein series $E(z,s)$ by summing factor of automorphy. $E(z,s)$ is of negative half-integral weight, ...
6 votes
1 answer
558 views

Analogues of Hecke relations for Maass forms

If a (suitably normalised) holomorphic cusp newform has q-expansion $$f(z) = \sum_n \lambda_f(n) e(nz),$$ then we know the Hecke relations for $(mn,q)=1$, $$(\star) \qquad \lambda_f(m)\lambda_f(n) = \...
6 votes
1 answer
600 views

How to compute Coefficients in Chudnovsky's Formula?

My aim is to understand all three coefficients arising in the Chudnovsky-Formula (see also Question 300385). Two of them are easily computed, but I failed with the third: It is known that for all $\...
5 votes
1 answer
446 views

An easier reference than "On the Functional Equations Satisfied by Eisenstein Series"?

I'd like to learn about Eisenstein series so I started reading "On the Functional Equations Satisfied by Eisenstein Series"by Langlands. http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/...
7 votes
2 answers
708 views

Eisenstein Series on Siegel Space

I am looking for any reference dealing explicitly with Eisenstein series on Siegel space (the simplest case of $\rm{SP}_4$ is fine). Anything would be welcome, but in particular I'm interested in the ...
6 votes
0 answers
467 views

Eisenstein series of Hilbert modular forms

I am reading Shimura's paper "The Special Values of the Zeta Functions Associated With Hilbert Modular Forms" and I do not exactly understand his definition of the Eisenstein series in section 3. ...
21 votes
1 answer
1k views

Why does this quasi-modular function have integral values?

It is a well-known result that the modular function $1728J(\tau) := \frac{1728E_4(\tau)^3}{E_4(\tau)^3-E_6(\tau)^2}$ has integral values if $\tau$ has class number 1 - for example at $\tau_{163}:=\...
11 votes
0 answers
231 views

Eisenstein series for non congruence subgoups

What is the present status of the Eisenstein series for noncongruence subgroups? I am aware of work of A. Scholl and Rohrlich work on the subject. Is there any specific examples that has been ...
5 votes
0 answers
147 views

For Hida theory on $GU(2,2)$ can $p$ be inert in the imaginary quadratic field $K$?

I am familiar with the theory of Hida families of modular forms, so Hida theory on $GL_2$, but I am not familiar with Hida theory on any other algebraic groups. My question concerns Hida families of ...
6 votes
1 answer
484 views

Eisenstein series for quadratic number fields

I am familiar with the theory of modular forms and weight k Eisenstein series, and I am wondering if such a theory exists when the base field is not $\mathbb{Z}$. Is there a theory of modular forms ...
8 votes
1 answer
668 views

Atkin-Lehner theory for nonholomorphic Eisenstein series

I am currently reading something about nonholomorphic Eisenstein series $E_\mathfrak{a}(z,1/2+it)$ for $\Gamma_0(q)$, where $\mathfrak{a}$ is a cusp (cf. Iwaniec, H. Spectral Methods of Automorphic ...
39 votes
2 answers
4k views

How can one understand the Eisenstein series E2 in terms of automorphic representation?

The weight 2, level 1 Eisenstein series $E_2(z)$ is a non-holomorphic automorphic form. It is defined as the analytic continuation to $s = 0$ of the series $$ E_2(z, s) = \sum_{\substack{m, n \in \...
9 votes
1 answer
485 views

Properties of coefficients in expansion of $E_6/E_4$ and $E_8/E_6$

Let $a(n)$ and $b(n)$ be define by the following; $E_6/E_4 = 1 - 744q + 159768q^2 - 36866976q^3 + 8507424792q^4 - 1963211493744q^5 + \cdots = \Sigma a(n)q^n,$ $E_8/E_6 = 1 + 984q + 574488q^2 + ...
7 votes
1 answer
467 views

Analytic properties of Eisenstein series

Let $\Gamma$ be a discrete subgroup of $SL_2(\mathbb{R})$ which has a cusp at $\infty.$ suppose that $\mu(\Gamma\setminus\mathbb{H})<\infty,$ consider the Eisenstein series :$$E(z,s,\Gamma)=\sum_{\...
3 votes
1 answer
510 views

about lemma 5.9 of Mazur's famous Eisenstein ideal paper

In Lemma 5.9 of Chapter II of his famous Eisenstein ideal paper, Mazur proved that when $1/N$ is invertible in the ring $R$, if $\phi$ is a holomorphic modular form in $\omega^k$ over $\Gamma_0(N)$ ...
4 votes
0 answers
612 views

Eisenstein series of weight one

Let $\psi$ be an odd Dirichlet character of $G_{\mathbb{Q}}$ with conductor equal to $N$ and $p \nmid N$ be a prime number. Assume that $\psi(Frob_p)=1$. Denote by $E_{\psi,1} \in S_1(\Gamma_1(N))$ ...
5 votes
1 answer
786 views

Special values of real analytic Eisenstein series

Given $\tau$ in the upper half plane, define the normalized real-analytic Eisenstein series by $$ E(\tau, s) = \frac{1}{2} \sum_{(m,n)}' \frac{y^s}{|m\tau + n|^{2s}} $$ It is initially defined for $\...
17 votes
4 answers
2k views

Where do the real analytic Eisenstein series live?

In obtaining the spectral decomposition of $L^2(\Gamma \backslash G)$ where $G=SL_2(\mathbb{R})$, and $\Gamma$ is an arithmetic subgroup (I am satisfied with $\Gamma = SL (2,\mathbb{Z})$) we have a ...
8 votes
1 answer
369 views

Eisenstein series over a definite division algebra

Let $D$ be the definite quaternion division algebra over $\mathbb{Q}$. $\mathcal{O}$ is a maximal order inside $D$, let's fix $\mathcal{O}$ to be the Hurwitz quaternion. Let $\Gamma=PGL_2(\mathcal{O})$...
12 votes
1 answer
998 views

How much can an Eisenstein series be truncated?

For ease of exposition, I will stick to the simplest case: consider the Eisenstein series for $SL_2(\bf R)$ $$E(z,s)=\sum_{\gamma\in P_{\bf Z}\backslash SL_2(\bf Z)}\text{Im}(\gamma z)^s=\sum_{(c,d)\...
8 votes
1 answer
459 views

Simplest case of Langlands-Shahidi method

I would like to read the simplest examples of Langlands-Shahidi method carried out to prove the functional equation of $L$-function. Could the constant term of $\mathrm{GL}(2)$-Eisenstein series be ...
7 votes
1 answer
639 views

History of spectral methods to the study of real analytic $GL_2$-Eisenstein series

I'm trying to sort out the history of spectral methods in the study of real analytic $GL_2$-Eisenstein series. From what I read so far, I would say that the subject was really kicked off by the ...
7 votes
1 answer
1k views

Fourier expansion of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions. Further reading I found ...
2 votes
1 answer
429 views

A computation about Whittaker functions and Eisenstein series

I have some questions about the computation of Eisenstein series and Whittaker functions in the book. The question is on page 29, Theorem 4.3. My questions are in the following. (1) I think that $B(...
1 vote
1 answer
1k views

Eisenstein series of weight $2$ for $\Gamma_0(N)$ : where am I wrong?

Let $A_{N,2}$ be the set of triples $(\psi,\varphi,t)$ such that $\psi$ and $\varphi$ are primitive Dirichlet characters modulo $u$ and $v$ with $(\psi\varphi)(-1)=1$, and $t$ is an integer such that $...
7 votes
0 answers
422 views

Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...
5 votes
1 answer
648 views

Ternary quadratic form theta series as Hecke eigenforms and class number one

At Simple comparison of positive ternary quadratic form representation counts Jeremy answered: "The reason is that the theta series for the sums of three squares form is an eigenfunction for all the ...
8 votes
1 answer
926 views

Eisenstein series and 163?

Given $q = e^{2\pi i \tau}$ and the Eisenstein series $E_{2k}(\tau)$, i.e., $$E_2(\tau) = 1-24\sum_{n=1}^\infty \frac{n q^n}{1-q^n}$$ $$E_4(\tau) = 1+240\sum_{n=1}^\infty \frac{n^3 q^n}{1-q^n}$$ ...
2 votes
0 answers
596 views

Numerical methods for Eisenstein series

Are there any existing numerical libraries for Eisenstein series? In particular I am interested in calculating values of parabolic Eisenstein series on $ SL(n,\mathbb Z) \setminus GL(n,\mathbb R) / (...