Rotational symmetry determines square and hexagonal period lattices

ID: rotational-symmetry-determines-square-and-hexagonal-period-lattices

A rank-two period lattice stable under multiplication by is, up to nonzero complex scaling, . Choose a shortest nonzero period . Every complex number lies within of a Gaussian integer, so for any , subtraction of a suitable leaves a shorter period and hence zero. This proves .
Similarly, stability under a primitive cube root gives . The triangular lattice has covering radius , so the same shortest-period argument applies. Stability under a primitive sixth root is equivalent, since . These facts identify complex tori with automorphisms fixing their origin of orders four and three or six, respectively.

New to topics? Read the docs here!