Macbeath surface


In Riemann surface theory and hyperbolic geometry, the Macbeath surface, also called Macbeath's curve or the Fricke–Macbeath curve, is the genus-7 Hurwitz surface.
The automorphism group of the Macbeath surface is the simple group PSL, consisting of 504 symmetries.

Triangle group construction

The surface's Fuchsian group can be constructed as the principal congruence subgroup of the triangle group in a suitable tower of principal congruence subgroups. Here the choices of quaternion algebra and Hurwitz quaternion order are described at the triangle group page. Choosing the ideal in the ring of integers, the corresponding principal congruence subgroup defines this surface of genus 7. Its systole is about 5.796, and the number of systolic loops is 126 according to R. Vogeler's calculations.

Historical note

This surface was originally discovered by, but named after Alexander Murray Macbeath due to his later independent rediscovery of the same curve. Elkies writes that the equivalence between the curves studied by Fricke and Macbeath "may first have been observed by Serre in a 24.vii.1990 letter to Abhyankar".