If and , then . Conjugating by changes a lower-left matrix entry to , which is divisible by . A rational upper-triangular factorization at every cusp preserves boundedness and hence cusp holomorphy.
The group has index four. The dimension bound for modular forms on a finite-index subgroup gives dimension at most two in weight four. The Eisenstein series and its oldform by argument dilation are independent, since their constant coefficients agree while their coefficients are and zero.
Articles by others on the same topic
There are currently no matching articles.