Questions tagged [eisenstein-series]
The eisenstein-series tag has no usage guidance.
95 questions
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 \...
- 497
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
19
votes
4
answers
5k
views
Unitary representations of SL(2, R)
I've heard that irreducible unitary representations of noncompact forms of simple Lie groups, the first example of such a group G being ...
- 15.1k
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 ...
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,290
14
votes
2
answers
2k
views
Primer on Eisenstein series
My apologies if this question is a duplicate. I seached, and the closest I could locate is this question, which has very intriguing and intractable (for me) responses.
In my continuing journey of ...
- 2,516
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$, $...
- 13.1k
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
11
votes
1
answer
578
views
Decategorification of Gaitsgory's strange functional equation?
Let $G$ a complex reductive algebraic group, $X$ be a smooth compact complex curve. The moduli stack $Bun_G$ of principal $G$-bundles on $X$ is generally speaking not quasi-compact (so we do not have ...
user74900
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
10
votes
1
answer
568
views
History of points of view on Eisenstein series
What is the history of Eisenstein series? Did the mathematician Eisenstein actually encounter them?
There are, as far as I know, two major perspectives on what Eisenstein series are. The first is in ...
- 6,180
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
10
votes
0
answers
304
views
Generalized Jacobians and modular units
Let $X$ be a proper algebraic smooth curve over a characteristic zero field $k$ and let $J$ be the Jacobian variety of $X$. Let $K$ be the function field of $X$. Assume that we are given $n$ distinct ...
- 1,109
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 + ...
- 427
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\...
- 663
9
votes
1
answer
225
views
Why are characters orthogonal to cusp forms?
Let $G = \operatorname{GL}_2$, and let $V = L^2(Z(\mathbb A)G(\mathbb Q) \backslash G(\mathbb A),\omega)$, for $\omega$ a character of the ideles $\mathbb A^{\ast}$, identified with a central ...
- 6,180
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 ...
- 11.2k
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 ...
- 3,144
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 ...
- 135
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 ...
- 3,804
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
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})$...
- 1,692
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,609
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 ...
- 7,746
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_{\...
- 400
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 ...
- 1,270
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 ...
- 2,834
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 ...
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) }{...
- 71
7
votes
1
answer
168
views
Region of convergence of Eisenstein series is a union of Weyl chambers when groups have discrete series?
Let $G$ be a reductive algebraic group, and let $M$ be a Levi subgroup of $G$. In Urban's paper Eigenvarieties for Reductive Groups, it seems to be assumed that if $G(\mathbb{R})$ and $M(\mathbb{R})$ ...
- 913
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
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 ...
- 61
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 ...
- 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 $\...
- 598
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) = \...
- 937
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
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.
...
- 123
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 $\...
- 1,821
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 ...
- 25.7k
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/...
- 3,625
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 ...
- 323
5
votes
0
answers
649
views
What is different about the Residual Spectrum
In the context of spectral decomposition of functions in $L^2(\Gamma \backslash \mathfrak{h})$, or Selberg trace formula, we come across three different types of spectrum.
First off there is the ...
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 ...
- 3,625
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 ...
- 25.7k
4
votes
1
answer
203
views
Intertwining Operators Associated to Simple Reflections
Let $G$ be a quasi-split reductive group, over a local field, with a Borel subgroup $B=T\cdot N$ and the associated Weyl group $W$. Given a family of induced representations $\pi_s = Ind_B^G \chi\cdot ...
- 141
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(...
- 15.1k
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 ...
- 313
4
votes
1
answer
141
views
The meaning of $L_{\chi}^2(G(\mathbb Q) \backslash G(\mathbb A)^1)$
I'm reading James Arthur's notes on the trace formula and am confused on a point on pages 65 and 66. For $G$ a reductive group over $\mathbb Q$ we are going over the decomposition of the space $L^2(G(...
- 6,180
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 $\...
- 7,193
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, ...
- 111