Prime stabilization of an oldform

ID: prime-stabilization-of-an-oldform

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.

New to topics? Read the docs here!