Fricke transform of a primitive coprime twist
ID: fricke-transform-of-a-primitive-coprime-twist
Use the determinant-normalized slash operator and . For units with , the matrix identity has . A positive scalar matrix acts trivially. The nebentypus supplies ; reindexing gives . Thus the factor is initially . The primitive Gauss sum of a Dirichlet character identity gives the displayed equivalent factor. No assumption that itself is a Fricke eigenform is needed.
New to topics? Read the docs here!