Noncuspidal level-one Hecke eigenform

ID: noncuspidal-level-one-hecke-eigenform

A simultaneous eigenfunction of all normalized level-one Hecke operators in positive even weight, with nonzero constant Fourier coefficient, is a multiple of the normalized Eisenstein series. The constant coefficient forces its eigenvalue to be , and forces . Subtracting the matching constant multiple of the Eisenstein series leaves a cusp form. Unless every coefficient vanishes, its prime-index coefficients grow like , contradicting the Fourier coefficient bound for a cusp form when . Weight two has no nonzero modular forms, by vanishing of weight-two level-one modular forms.

New to topics? Read the docs here!