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.
For a nonzero positive-weight eigenform at a good prime, the two oldforms are independent. At level multiplied by , the Hecke operator is the bad-prime operator, with matrix . Distinct roots of its characteristic polynomial give eigenforms and . Weight-zero constants are an exception to the independence assertion.
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.