The real matrix with determinant one preserves . Hence obeys the same Weyl relations. It is strongly continuous and irreducible because is invertible and its arguments range over the whole plane. Part (b) gives a unitary intertwining and , so . If both work, commutes with all and is scalar by part (a); its scalar has modulus one. Thus the implementer is unique up to phase.
For the displayed quarter-turn, choose the scaled inverse Fourier transform
The formula starts on Schwartz functions and extends unitarily to by Plancherel and a change of scale. It conjugates to multiplication by , and multiplication by to . Keeping the Weyl phase therefore gives , as required. With the opposite Fourier-kernel sign one obtains the opposite quarter-turn, so that convention must be checked.

Articles by others on the same topic (0)

There are currently no matching articles.