Solution

ID: past-exam-of-the-geometry-course-of-the-university-of-oxford/2011/5/e/solution

At and , the chosen map is
The square is not the identity on the cubic, since a generic point has . Thus .
Choose the cubic's point as the origin in its complex torus description. Since fixes it, its torus form is , with . Exact order four implies ; . Therefore is stable under multiplication by .
To identify its shape without an unproved uniqueness assertion, choose a shortest nonzero period . For any , approximate by a Gaussian integer within distance . The difference belongs to and is shorter than , so it must vanish. Hence
The lattice is determined up to a nonzero complex scaling: it is square.

New to topics? Read the docs here!