1
$\begingroup$

Hi, I've been thinking about this questions:

Is there a modular form in $M_2 (\Gamma_0(11))$ which only vanishes at the cusp 0? If so how can we find it?

Edit: There was another question which I removed.

$\endgroup$
6
  • $\begingroup$ Yes, take a suitable linear combination of the Eisenstein form with the cuspform $\eta(q)^2 \eta(q^{11})^2$. $\endgroup$ Jan 12, 2012 at 16:36
  • $\begingroup$ This cuspform vanishes at 0, does the Eisenstein form vanish at 0 as well? Also, how do I make sure the linear combination does not vanish anywhere else on the upper half plane? $\endgroup$ Jan 12, 2012 at 17:01
  • 3
    $\begingroup$ Sorry, I didn't notice that you asked for no other zeros at all (though come to think of it what I wrote doesn't make sense anyway for the reason you suggest). OK, let's try again: there is no such form $\phi$, because if it existed then $\phi / (\eta(q)^2 \eta(q^{11}))^2$ would be a function on degree 1 on $X_0(11)$ [pole at the cusp $\infty$, zero at the cusp $0$], which is impossible because $X_0(11)$ is known to have genus 1. $\endgroup$ Jan 12, 2012 at 17:12
  • 2
    $\begingroup$ Alternatively, the space of cusp forms has codimension one, and the Atkin-Lehner involution switches the two cusps. Thus, any form must either vanish at both cusps or vanish at neither. $\endgroup$ Jan 12, 2012 at 20:09
  • $\begingroup$ @Nadim : What do you mean exactly by vanishing ? Do you mean that there is no constant term in the Fourier expansion (at the cusp 0), or do you mean vanishing as a differential form on $X_0(11)$ ? This is not the same, for example the cusp form $\eta(q)^2 \eta(q^11)^2 \frac{dq}{q}$ doesn't vanish anywhere as a differential form. $\endgroup$ Jan 12, 2012 at 20:57

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.