Cancellation of weight-two Eisenstein anomalies
ID: cancellation-of-weight-two-eisenstein-anomalies
For a matrix in the Gamma 0 congruence subgroup, argument dilation conjugates its action to an integral determinant-one matrix for each divisor of . The anomaly of is , so the displayed linear condition cancels it. Necessity follows by testing the matrix with rows and . The combinations , with dividing , span this space.
New to topics? Read the docs here!