5
$\begingroup$

This is certainly not a research level question, but I didn't get an answer to my question on MSE, so here goes:

The holomorphic Eisenstein series can be given as $$G_{2k}(z)=\sum_{(c,d)\in{\bf Z}^2\backslash(0,0)}\frac{1}{(cz+d)^{2k}}$$ while the real-analytic Eisenstein series is $$E(z,s)=\frac{1}{2}\sum_{(c,d)=1}\frac{y^s}{|cz+d|^{2s}}$$ satisfying the relation $$2\zeta(2s)E(s,z)=\sum_{(c,d)\in{\bf Z}^2\backslash(0,0)}\frac{\text{Im}(z)^s}{|cz+d|^{2s}}.$$ They look to be very similar, but have different analytic behaviours. I haven't found a discussions on how they are related, so I'm hoping to find some answers.

$\endgroup$
  • $\begingroup$ Thanks! Your comment was enough for me to understand the references I am using. $\endgroup$ – TAW Oct 23 '15 at 2:17
  • $\begingroup$ I'm glad my comment was helpful -- I've reposted it as an answer. $\endgroup$ – David Loeffler Oct 23 '15 at 6:39
3
$\begingroup$

[Comment reposted as an answer]

Up to the scaling by $2 \zeta(2s)$, which is just a matter of conventions, both are special cases of a single more general object: the series $$ E_k(z, s) = \sum_{(c, d) \in \mathbf{Z}^2 \setminus (0,0)} \frac{y^s}{(cz + d)^k |cz + d|^{2s}}, $$ which converges for $Re(s) \gg 0$ (actually for $k + 2 Re(s) > 2$ if I remember correctly) and has meromorphic continuation to all $s \in \mathbf{C}$ (analytic if $k \ne 0$).

For a fixed value of $s$, the function $E_k(-, s)$ transforms like a modular form of weight $k$ under the modular group (although it is not usually holomorphic in the $z$ variable).

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Just to clarify - the $E_-(z,s)$, for a fixed $s$, do they generate the same principal series representation for $SL_2$, except that $E_k$ corresponds to the weight $k$ part of the $SO(2)$ action in real place? $\endgroup$ – Pig Oct 23 '15 at 7:07
  • 1
    $\begingroup$ @user31814, for generic $s$, they all generate the same irreducible principal series of $SL_2(\mathbb R)$, but the holomorphic/anti-holomorphic discrete series appear as proper subrepresentations of certain principal series, so the vectors inside those holo discrete series obviously cannot generate the whole thing. $\endgroup$ – paul garrett Oct 23 '15 at 14:16
  • $\begingroup$ @paulgarrett, thanks! Somehow I have never seen this "combined" object before. $\endgroup$ – Pig Oct 23 '15 at 14:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.