mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, Belyi's theorem on

algebraic curve In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane cu ...

s states that any non-singular algebraic curve ''C'', defined by

algebraic number In mathematics, an algebraic number is a number that is a root of a function, root of a non-zero polynomial in one variable with integer (or, equivalently, Rational number, rational) coefficients. For example, the golden ratio (1 + \sqrt)/2 is ...

coefficients, represents a

compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...

Riemann surface In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...

which is a ramified covering of the

Riemann sphere In mathematics, the Riemann sphere, named after Bernhard Riemann, is a Mathematical model, model of the extended complex plane (also called the closed complex plane): the complex plane plus one point at infinity. This extended plane represents ...

, 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 non-singular 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 the quotient :''H''/Γ (where ''H'' is the

upper half-plane In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Arbitrary oriented half-planes can be obtained via a planar rotation. Half-planes are an example ...

and Γ is a

subgroup In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation ...

of finite

index Index (: indexes or indices) may refer to: Arts, entertainment, and media Fictional entities * Index (''A Certain Magical Index''), a character in the light novel series ''A Certain Magical Index'' * The Index, an item on the Halo Array in the ...

in the

modular group In mathematics, the modular group is the projective special linear group \operatorname(2,\mathbb Z) of 2\times 2 matrices with integer coefficients and determinant 1, such that the matrices A and -A are identified. The modular group acts on ...

) compactified by cusps. Since the modular group has non-congruence subgroups, it is ''not'' the conclusion that any such curve is a

modular curve In number theory and algebraic geometry, a modular curve ''Y''(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular g ...

Belyi functions

A Belyi function is a

holomorphic map In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex der ...

from a compact Riemann surface ''S'' to the

complex projective line In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane (also called the closed complex plane): the complex plane plus one point at infinity. This extended plane represents the extended complex ...

P¹(C) ramified only over three points, which after a

Möbius transformation In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex number, complex variable ; here the coefficients , , , are complex numbers satisfying . Geometrically ...

may be taken to be

\

. 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 Felix Christian Klein (; ; 25 April 1849 – 22 June 1925) was a German mathematician and Mathematics education, mathematics educator, known for his work in group theory, complex analysis, non-Euclidean geometry, and the associations betwe ...

; he used them in his article to study an 11-fold cover of the complex projective line with monodromy group PSL(2,11)..

Applications

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

inverse Galois problem In Galois theory, the inverse Galois problem concerns whether or not every finite group appears as the Galois group of some Galois extension of the rational numbers \mathbb. This problem, first posed in the early 19th century, is unsolved. There ...

References

* * *

Quotients of the upper half-plane

Belyi functions

Applications

References

Further reading