Degeneracy map for cusp forms
ID: degeneracy-map-for-cusp-forms
If and , conjugating by gives matrices in . This proves the weight transformation of . At any rational modular cusp, factor the rational change of variable into an integral cusp representative followed by an upper-triangular rational matrix of positive slope. The original cusp expansion then stays holomorphic and has zero constant term. Thus this map takes cusp forms of level to those of level .
New to topics? Read the docs here!