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!