Macbeath surface

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

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(2,8), consisting of 504 symmetries.[1]

Triangle group construction

The surface's Fuchsian group can be constructed as the principal congruence subgroup of the (2,3,7) 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 \langle 2 \rangle 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 Robert Fricke (1899), but named after Alexander Murray Macbeath due to his later independent rediscovery of the same curve.[2] 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".[3]

See also

Notes

References

  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found.. Translation in Moscow Univ. Math. Bull. 44 (1989), no. 5, 37–40.
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found.. Corrigendum, vol. 28, no. 2, 1986, p. 241, MR 0848433.