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 $\...
3 votes
1 answer
155 views

Fourier expansion of half-integral weight Eisenstein series associated with Kohnen's plus space

The Eisenstein series associated with Kohnen's plus space in $\Gamma_{0}(4)$ is expressed as follows, \begin{align} \begin{split} E_{k + \tfrac{1}{2}}^{\infty}(\tau) =& \sum\limits_{\...
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\...
7 votes
1 answer
329 views

References for the construction of Beilinson's motivic Eisenstein classes

According to some authors, it is built in A.A.Beilinson "Higher regulator of modular curves" a class $\mathbf{Eis}_{\phi}$ in the motivic cohomology of the modular curve where $\phi$ is a ...
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
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
98 views

Extrema of real analytic Eisenstein series and more general modular functions

The real analytic Eisenstein series defined by the Poincare sum $$E(s,z)=\sum_{(m,n)\neq (0,0)} {y^s\over |mz+n|^{2s}}$$ for $z\in{\mathbb H}$ and ${\rm Re}(s)>1$ is a manifestly $SL(2,{\mathbb Z})$...
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 $...
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 ...
1 vote
0 answers
101 views

Decomposing functions on the fundamental domain of the torus into cusp forms, eisenstein series

I am trying to do some elementary calculations to understand the properties of the following spectral resolution on $H/SL(2,\mathbf{Z})$. (Half plane mod modular group; fundamental domain of the torus)...
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 ...
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 $\...
2 votes
0 answers
304 views

Question about the Fourier expansion of adelic Eisenstein series for $\operatorname{GL}_2$

My reference is Daniel Bump's book, Automorphic Forms and Representations, Chapter 3.7. Let $k$ be a number field, $G = \operatorname{GL}_2$, $B$ and $T$ the usual Borel subgroup and maximal torus ...
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 ...
16 votes
3 answers
2k views

How do modular forms of half-integral weight relate to the (quasi-modular) Eisenstein series?

The Eisenstein series $$ G_{2k} = \sum_{(m,n) \neq (0,0)} \frac{1}{(m + n\tau)^{2k}} $$ are modular forms (if $k>1$) of weight $2k$ and quasi-modular if $k=1$. It is clear that given modular forms $...
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 ...
7 votes
1 answer
564 views

Critical values of L-functions and weights of Eisenstein Series

I have been reading Serre's paper on p-adic modular forms and there seems to be a connection between critical values of L-functions and weights of Eisenstein series in the following sense: For the ...
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 + ...
3 votes
1 answer
254 views

Rate of convergence of Siegel Eisenstein series

Let $\Gamma_n=Sp_{2n}(\mathbb{Z})$ and write $\gamma=\left(\matrix{A & B \\ C & D}\right)\in\Gamma_n$ for its block decomposition. Further let $\Gamma_n^0$ be the subset consisting of ...
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))$ ...
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)\...
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 ...
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 $...
4 votes
3 answers
568 views

Functions on hyperbolic space and modular curves

The decomposition of $L^{2}\left(S^{2}\right)$ under $SO\left(3,\mathbb{R}\right)$ is well-known. Focus now on the hyperbolic plane $H$ presented as the quotient $SL\left(2,\mathbb{R}\right)/SO\left(...
4 votes
0 answers
164 views

Counting cosets of matrices of determinant > 1 under the action of a congruence subgroup

I tried asking this on math exchange, but no luck, so thought I'd try here. Let $M_2(m,\mathbb{Z}) $ be the $2\times 2$ matrices with integer entries and determinant $m$. Let $\Gamma^0(N)$ be the ...
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 ...
4 votes
1 answer
188 views

Simple comparison of positive ternary quadratic form representation counts

Something came up yesterday in a referee request and I was surprised to find that I did not know the facts in full generality. This is about positive quadratic forms in three variables with integer ...
1 vote
1 answer
299 views

Real cusp forms

Most literature on modular functions (invariant or covariant with weight k under the full modular PSL_2(Z) group) treats holomorphic functions and introduce the notion of cusp forms (modular functions ...
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}$$ ...
3 votes
0 answers
441 views

On nonholomorphic Eisenstein series

Could you suggest me a reference where the following non-holomorphic generalization of the Eisenstein series is discussed? $$ G_{k,l}(\tau,z) = \sum_{m,n} (z+m+n\tau)^{-k}(\bar z+m+n\bar \tau)^{-l} $...
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 ...
8 votes
2 answers
2k views

Relation between Theta series and Eisensteinseries

In "Mackey - Unitary Group Representation in Physics, Probability and Number Theory" on page 326, George Mackey mentions a result of Ludwig Siegel, which was later generalized to semi-simple Lie ...