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 .
For prime , the two cusps of have widths one and . At infinity the modular discriminant product gives the first pair of orders. At zero use and the parameter . The weight-twelve transforms are and , giving orders and one in .
Articles by others on the same topic
There are currently no matching articles.