Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $\...
Alexander Kalmynin's user avatar
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 ...
D_S's user avatar
  • 6,180
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 ...
Marcus's user avatar
  • 406
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;\...
Adjoint Functor's user avatar
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, ...
Adjoint Functor's user avatar
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 &...
xir's user avatar
  • 2,054
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^...
Spoilt Milk's user avatar
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 ...
Krishnarjun's user avatar
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) := \{\...
Aersk's user avatar
  • 103
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 ...
xir's user avatar
  • 2,054
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$, $...
xir's user avatar
  • 2,054
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 $...
Henri Cohen's user avatar
  • 13.1k
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 ...
mathoverflowUser's user avatar
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+...
Andrea T's user avatar
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 ...
kevlin's user avatar
  • 61
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 ...
GTA's user avatar
  • 1,024
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 ...
SUNIL PASUPULATI's user avatar
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$, $...
Henri Cohen's user avatar
  • 13.1k
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, ...
Alice's user avatar
  • 41
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 ...
Johnny T.'s user avatar
  • 3,625
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) = \...
TheStudent's user avatar
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/...
Johnny T.'s user avatar
  • 3,625
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) }{...
Ella's user avatar
  • 71
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\...
LWW's user avatar
  • 663
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. ...
R.T.'s user avatar
  • 123
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 $\...
L. Milla's user avatar
  • 598
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}:=\...
L. Milla's user avatar
  • 598
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 ...
Will Dukeminier's user avatar
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 ...
R.T.'s user avatar
  • 123
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 ...
debargha's user avatar
  • 248
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 + ...
TOM's user avatar
  • 427
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 \...
little dog's user avatar
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_{\...
Med's user avatar
  • 400
4 votes
0 answers
611 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))$ ...
Adel BETINA's user avatar
  • 1,066
5 votes
1 answer
785 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 $\...
Bruce Bartlett's user avatar
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 ...
jacob's user avatar
  • 2,834
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)\...
Tian An's user avatar
  • 3,799
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 ...
Hugo Chapdelaine's user avatar
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-adic's user avatar
  • 3,804
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 ...
T. Poindexter's user avatar
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(...
Jianrong Li's user avatar
  • 6,211
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 $...
Stabilo's user avatar
  • 1,479
8 votes
1 answer
667 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 ...
BH NT's user avatar
  • 135
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. ...
Emmanuel Lecouturier's user avatar
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 ...
Will Jagy's user avatar
  • 25.7k
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})$...
Subhajit Jana's user avatar
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)$ ...
user1225's user avatar
  • 367
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) / (...
R. Rosenbaum's user avatar
4 votes
2 answers
1k views

Fourier expansion of Eisenstein series at various cusps

Here is my setting: Let $E\in\mathcal{M}_k(\Gamma_0(N))$ be an Eisenstein series (of trivial Nebentypus) that is a normalized eigenform for all the Hecke operators at level $\Gamma_0(N)$. Assume that ...
Nicolas B.'s user avatar
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}$$ ...
Tito Piezas III's user avatar