Primitive twist at coprime level
ID: primitive-twist-at-coprime-level
For a primitive Dirichlet character modulo , its Gauss sum of a Dirichlet character gives , with . If , take . Then and its lower-right entry is congruent to modulo . Reindexing the sum yields the character . Rational translations preserve vanishing at modular cusps, proving the stated cuspidality as well as the transformation law.
New to topics? Read the docs here!