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!