# Belyi's theorem

In mathematics, Belyi's theorem on algebraic curves states that any non-singular algebraic curve C, defined by algebraic number coefficients, represents a compact Riemann surface which is a ramified covering of the Riemann sphere, ramified at three points only.

This is a result of G. V. Belyi from 1979. At the time it was considered surprising, and it spurred Grothendieck to develop his theory of dessins d'enfant, which describes nonsingular algebraic curves over the algebraic numbers using combinatorial data.

## Quotients of the upper half-plane

It follows that the Riemann surface in question can be taken to be

H

with H the upper half-plane and Γ of finite index in the modular group, compactified by cusps. Since the modular group has non-congruence subgroups, it is not the conclusion that any such curve is a modular curve.

## Belyi functions

A Belyi function is a holomorphic map from a compact Riemann surface S to the complex projective line P1(C) ramified only over three points, which after a Möbius transformation may be taken to be $\{0, 1, \infty\}$. Belyi functions may be described combinatorially by dessins d'enfants.

Belyi functions and dessins d'enfants – but not Belyi's theorem – date at least to the work of Felix Klein; he used them in his (Klein 1879) to study an 11-fold cover of the complex projective line with monodromy group PSL(2,11).[1]

## Applications

Belyi's theorem is an existence theorem for Belyi functions, and has subsequently been much used in the inverse Galois problem.

## References

• Serre, J.-P. (1989), Lectures on the Mordell-Weil Theorem, p. 71
• Klein, F. (1879), "Ueber die Transformation elfter Ordnung der elliptischen Functionen (On the eleventh order transformation of elliptic functions)", Mathematische Annalen 15 (3-4): 533–555, doi:10.1007/BF02086276, collected as pp. 140–165 in Oeuvres, Tome 3 edit
• Belyĭ, G. V. (1980). "On Galois Extensions of a Maximal Cyclotomic Field". Mathematics of the USSR-Izvestiya 14 (2): 247. doi:10.1070/IM1980v014n02ABEH001096. edit