Weight-two discriminant root at level eleven
ID: weight-two-discriminant-root-at-level-eleven
The effective group is torsion-free, has index twelve and has two regular cusps. If its weight-two cusp form space is one-dimensional, any nonzero member has order one at each cusp and no interior zeros by the regular-cusp valence formula on a torsion-free modular curve. Its twelfth power and have the same weight and divisor. Their ratio is a holomorphic function without poles on the compactified modular curve, hence a nonzero constant. Normalizing the leading Fourier coefficient to one proves the displayed formula, with the holomorphic root chosen to start with . It equals .
New to topics? Read the docs here!