Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-137/3/b/solution

The point has exact order , and changing by changes the pair only by a complex scaling, so the stated map is well-defined.
Conversely, scale a lattice to write it as . A point of exact order is represented by , where is primitive modulo . The group acts transitively on primitive vectors modulo , so a basis change carries this point to . This proves surjectivity. Two resulting normalized pairs are similar precisely when their basis-change matrix fixes modulo , namely when it lies in . This proves injectivity and the Gamma 1 level structure on a complex lattice bijection

New to topics? Read the docs here!