All Questions
26 questions
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 $\...
- 63.9k
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\...
- 156k
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 ...
- 20.8k
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 &...
- 334
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) }{...
- 7,193
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$, $...
CommunityBot
- 1
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 ...
- 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
$...
- 13.1k
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 ...
- 20.8k
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 ...
- 101
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 $\...
- 598
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.
...
CommunityBot
- 1
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}:=\...
- 598
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 ...
- 248
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 ...
- 13.1k
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 \...
- 23k
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 + ...
- 79.9k
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)$ ...
- 45.7k
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))$ ...
- 1,066
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)\...
- 3,799
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 ...
- 188k
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 $...
- 105k
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. ...
- 1,109
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 ...
CommunityBot
- 1
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}$$
...
- 12.6k
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 ...
- 2,783