In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, 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 c ...
s states that any
non-singular
In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In cas ...
algebraic curve ''C'', defined by
algebraic number
An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer (or, equivalently, rational) coefficients. For example, the golden ratio, (1 + \sqrt)/2, is an algebraic number, because it is a root of the po ...
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
* Blood compact, an ancient ritual of the Philippines
* Compact government, a type of colonial rule utilized in British ...
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
In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as ...
of the
Riemann sphere
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers pl ...
, 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, \,\mathcal\,, is the set of points in the Cartesian plane with > 0.
Complex plane
Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to t ...
and Γ is a
subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup ...
of finite
index
Index (or its plural form 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 a Halo megastru ...
in the
modular group
In mathematics, the modular group is the projective special linear group of matrices with integer coefficients and determinant 1. The matrices and are identified. The modular group acts on the upper-half of the complex plane by fractional l ...
) compactified by
cusps. Since the modular group has
non-congruence subgroup
In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example would be invertible 2 × 2 integer matrices of determinant 1, in which the ...
s, 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 grou ...
.
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 derivativ ...
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: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers ...
P
1(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 variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad'' ...
may be taken to be
. Belyi functions may be described combinatorially by
dessins d'enfants
In mathematics, a dessin d'enfant is a type of graph embedding used to study Riemann surfaces and to provide combinatorial Invariant (mathematics), invariants for the action of the absolute Galois group of the rational numbers. The name of these e ...
.
Belyi functions and dessins d'enfants – but not Belyi's theorem – date at least to the work of
Felix Klein
Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group ...
; 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
In mathematics, an existence theorem is a theorem which asserts the existence of a certain object. It might be a statement which begins with the phrase " there exist(s)", or it might be a universal statement whose last quantifier is existential ...
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
*
*
*
Further reading
*
*
{{Algebraic curves navbox
Algebraic curves
Theorems in algebraic geometry