Eisenstein series as sections of line bundles on moduli spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T03:27:00Z http://mathoverflow.net/feeds/question/34595 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34595/eisenstein-series-as-sections-of-line-bundles-on-moduli-spaces Eisenstein series as sections of line bundles on moduli spaces unknown (google) 2010-08-05T08:55:09Z 2010-08-05T16:31:29Z <p>It is well known that a modular form of weight k and level \Gamma is a global section of k-power of a Hodge line bundle over some modular curve. e.g. H^0(X,E^k). </p> <p>My question is </p> <p><em><strong>How to characterize Eisenstein series among such sections using geometric datas?</em></strong> </p> <p>For example, we know cusp forms are just sections of H^0(X,E^k(-cusps)).But how about Eisenstein series?</p> <p>Actually in his Introduction to "Abelian Varieties" 1970, Mumford writes:</p> <p>"It is interesting to ask whether further ties between the analytic and algebraic theories exist: e.g. an algebraic defintion of the Eisenstein series as a section of a line bundle on the moduli space. ..."</p> <p>Could somebody explain the analytic-algebraic-representation aspects of Eisenstein series in some detail? </p> <p>Thank you!</p> http://mathoverflow.net/questions/34595/eisenstein-series-as-sections-of-line-bundles-on-moduli-spaces/34653#34653 Answer by Emerton for Eisenstein series as sections of line bundles on moduli spaces Emerton 2010-08-05T16:31:29Z 2010-08-05T16:31:29Z <p>Here is one construction:</p> <p>We have the exact sequence $$0 \to H^0(\omega^{\otimes k}(-\text{cusps})) \to H^0(\omega^{\otimes k}) \to H^0(\text{cusps}, \omega^{\otimes k}_{| \text{cusps}}).$$ (Here I am using $\omega$ for what you called $E$; this is the traditional notation for modular forms people.) It is easy to define a Hecke action on the third $H^0$ so that this exact sequence is Hecke equivariant. </p> <p>The right hand map is surjective if $k > 2$, and its image has codimension one when $k = 2$. In any event, write $\mathcal I$ to denote the image, so that $$0 \to H^0(\omega^{\otimes k}(-\text{cusps})) \to H^0(\omega^{\otimes k}) \to \mathcal I \to 0$$ is short exact. One then shows that this short exact sequence has a unique Hecke equivariant splitting; i.e. there is a uniquely determined Hecke equivariant subspace $\mathcal E \subset H^0(\omega^{\otimes k})$ such that $\mathcal E$ projects isomorphically onto $\mathcal I$. This space $\mathcal E$ is the space of weight $k$ Eisenstein series (for whatever level we are working at).</p>